David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 14 (1):13-48 (2005)
This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy.
|Keywords||Believer Paradox epistemic logic hierarchy solutions to the semantic paradoxes Knower Paradox provability logic self-reference syntactical treatments of modalities|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
Martin Fischer (2013). Some Remarks on Restricting the Knowability Principle. Synthese 190 (1):63-88.
Similar books and articles
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Charles B. Cross (2001). The Paradox of the Knower Without Epistemic Closure. Mind 110 (438):319-333.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Stephen Maitzen (1998). The Knower Paradox and Epistemic Closure. Synthese 114 (2):337-354.
Nicholas J. J. Smith (2000). The Principle of Uniform Solution (of the Paradoxes of Self-Reference). Mind 109 (433):117-122.
George Boolos (1993). The Logic of Provability. Cambridge University Press.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
JC Beall (2000). Fitch's Proof, Verificationism, and the Knower Paradox. Australasian Journal of Philosophy 78 (2):241 – 247.
Patrick Grim (1993). Operators in the Paradox of the Knower. Synthese 94 (3):409 - 428.
Added to index2009-01-28
Total downloads16 ( #117,930 of 1,679,336 )
Recent downloads (6 months)2 ( #111,749 of 1,679,336 )
How can I increase my downloads?