Non-Transitive Self-Knowledge: Luminosity via Modal μ-Automata

Download Edit this record How to cite View on PhilPapers
Abstract
This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing self-knowledge on the model of fixed points in monadic second-order modal logic, i.e. the modal μ-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- an epistemic interpretatation of the Kripke functors of a μ-automaton permits the iterations of the transition functions to entrain a principled means by which to account for necessary conditions on self-knowledge.
Keywords
No keywords specified (fix it)
Categories
No categories specified
(categorize this paper)
PhilPapers/Archive ID
KHUNSL
Upload history
Archival date: 2017-06-14
View other versions
Added to PP index
2017-06-14

Total views
117 ( #35,328 of 55,930 )

Recent downloads (6 months)
11 ( #46,416 of 55,930 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.