Simple Semantics for Logics of Indeterminate Epistemic Closure

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Abstract

According to Jago (2014a), logical omniscience is really part of a deeper paradox. He develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not require appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure.
Original languageEnglish
Title of host publicationThe Logica Yearbook 2021
EditorsIgor Sedlár
Place of PublicationRickmansworth
PublisherCollege Publications
Pages37-55
Number of pages18
Volume2021
ISBN (Electronic)978-1-84890-414-9
Publication statusPublished - 1 Aug 2022

Publication series

NameThe Logica Yearbook

Keywords

  • logic
  • knowledge
  • hyperintensionality

Fingerprint

Dive into the research topics of 'Simple Semantics for Logics of Indeterminate Epistemic Closure'. Together they form a unique fingerprint.

Cite this