{"title":"A Truthmaker-based Epistemic Logic","authors":"Vita Saitta","doi":"10.1007/s10992-024-09758-3","DOIUrl":null,"url":null,"abstract":"<p>The aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a semantic framework based on <span>\\(\\varvec{W}\\)</span>-models extended with a partial function, which selects the <i>body of knowledge</i> of the agents, namely the set of verifiers of the agent’s <i>total knowledge</i>. The semantic clause for knowledge follows the intuition that an agent knows some information <span>\\(\\varvec{\\phi }\\)</span>, when the <i>propositional content</i> that <span>\\(\\varvec{\\phi }\\)</span> is <i>contained</i> in her total knowledge. We will argue that this idea mirrors the philosophical conception of <i>immanent closure</i> by Yablo (2014), giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"36 1","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2024-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"JOURNAL OF PHILOSOPHICAL LOGIC","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s10992-024-09758-3","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}
引用次数: 0
Abstract
The aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a semantic framework based on \(\varvec{W}\)-models extended with a partial function, which selects the body of knowledge of the agents, namely the set of verifiers of the agent’s total knowledge. The semantic clause for knowledge follows the intuition that an agent knows some information \(\varvec{\phi }\), when the propositional content that \(\varvec{\phi }\) is contained in her total knowledge. We will argue that this idea mirrors the philosophical conception of immanent closure by Yablo (2014), giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization.
期刊介绍：
The Journal of Philosophical Logic aims to provide a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal invites papers in all of the traditional areas of philosophical logic, including but not limited to: various versions of modal, temporal, epistemic, and deontic logic; constructive logics; relevance and other sub-classical logics; many-valued logics; logics of conditionals; quantum logic; decision theory, inductive logic, logics of belief change, and formal epistemology; defeasible and nonmonotonic logics; formal philosophy of language; vagueness; and theories of truth and validity. In addition to publishing papers on philosophical logic in this familiar sense of the term, the Journal also invites papers on extensions of logic to new areas of application, and on the philosophical issues to which these give rise. The Journal places a special emphasis on the applications of philosophical logic in other disciplines, not only in mathematics and the natural sciences but also, for example, in computer science, artificial intelligence, cognitive science, linguistics, jurisprudence, and the social sciences, such as economics, sociology, and political science.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
