Authors
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 interpretation 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)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Knowledge and its Limits.Timothy Williamson - 2000 - Oxford University Press.
Knowledge and its Limits.Timothy Williamson - 2000 - Tijdschrift Voor Filosofie 64 (1):200-201.
On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2020 - Dissertation, University of St Andrews
Modal Empiricism and Knowledge of De Re Possibilities: A Critique of Roca-Royes' Account.Duško Prelević - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):488–498.
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
What One May Come to Know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
On Modal Μ-Calculus and Non-Well-Founded Set Theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
Lowe on Modal Knowledge.Joachim Horvath - 2014 - Thought: A Journal of Philosophy 3 (3):208-217.
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.

Analytics

Added to PP index
2017-06-14

Total views
125 ( #78,226 of 2,411,756 )

Recent downloads (6 months)
15 ( #46,552 of 2,411,756 )

How can I increase my downloads?

Downloads

My notes