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 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, when its propositional content is contained in her total knowledge.We will argue that this idea mirrors the philosophical conception of immanent closure by Yablo, giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization.

Truthmakers Semantics and Epistemic Logic

SAITTA, VITA
2024-04-22

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 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, when its propositional content is contained in her total knowledge.We will argue that this idea mirrors the philosophical conception of immanent closure by Yablo, giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization.
22-apr-2024
Epistemic Logic, Truthmaker Semantics, Logical Omniscience, Subject Matter, Total Knowledge.
File in questo prodotto:
File Dimensione Formato  
phdunige_ 4626833.pdf

accesso aperto

Descrizione: The aim of this work is to employ Truthmaker Semantics to address the problem of Logical Omniscience in epistemic logic.
Tipologia: Tesi di dottorato
Dimensione 1.16 MB
Formato Adobe PDF
1.16 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11567/1171779
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact