A Truthmaker-based Epistemic Logic

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.