<p>In recent years the study of topic or subject matter has found application in the analysis of epistemic attitudes such as knowledge and belief. To know or believe <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi ,\)</EquationSource> </InlineEquation> one needs to grasp <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation>’s topic, i.e. what <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation> is about. This yields a hyperintensional treatment of epistemic attitudes: if two necessary equivalent sentences differ in subject matter, they cannot be substituted <i>salva veritate</i> in the context of those attitudes. In this paper, I aim to extend this approach to propositional justification. I argue that, in contrast to epistemic attitudes, having propositional justification for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation> does not require grasping the totality of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation>’s topic, but only part of it. This is the case because one may possess evidence for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation> even without grasping the totality of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4789_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation>’s topic. I define what it means to be evidence for a proposition, borrowing some notions from the logical grounding literature. Building on extant frameworks modelling evidential support and subject matter, I then put forward a modal clause for propositional justification. Finally, I prove—together with the failure of some undesired principles—a ground-theoretic closure principle for the justification operator and show how it entails closure under Strong Kleene logic.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics

  • Niccolò Rossi

摘要

In recent years the study of topic or subject matter has found application in the analysis of epistemic attitudes such as knowledge and belief. To know or believe \(\varphi ,\) one needs to grasp \(\varphi \) ’s topic, i.e. what \(\varphi \) is about. This yields a hyperintensional treatment of epistemic attitudes: if two necessary equivalent sentences differ in subject matter, they cannot be substituted salva veritate in the context of those attitudes. In this paper, I aim to extend this approach to propositional justification. I argue that, in contrast to epistemic attitudes, having propositional justification for \(\varphi \) does not require grasping the totality of \(\varphi \) ’s topic, but only part of it. This is the case because one may possess evidence for \(\varphi \) even without grasping the totality of \(\varphi \) ’s topic. I define what it means to be evidence for a proposition, borrowing some notions from the logical grounding literature. Building on extant frameworks modelling evidential support and subject matter, I then put forward a modal clause for propositional justification. Finally, I prove—together with the failure of some undesired principles—a ground-theoretic closure principle for the justification operator and show how it entails closure under Strong Kleene logic.