research
Non-Transitive Self-Knowledge: Luminosity via Modal μ-Automata
- Publication date
- Publisher
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: □ϕ → □□ϕ -- an epistemic interpretation of a μ-automaton permits fixed points to entrain a principled means by which to account for necessary conditions on self-knowledge