David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 94 (3):409 - 428 (1993)
Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense.
|Keywords||No keywords specified (fix it)|
No categories specified
(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
Volker Halbach (2008). On a Side Effect of Solving Fitch's Paradox by Typing Knowledge. Analysis 68 (2):114 - 120.
Johannes Stern (2014). Montague's Theorem and Modal Logic. Erkenntnis 79 (3):551-570.
Walter Dean & Hidenori Kurokawa (2014). The Paradox of the Knower Revisited. Annals of Pure and Applied Logic 165 (1):199-224.
Similar books and articles
C. Anthony Anderson (1983). The Paradox of the Knower. Journal of Philosophy 80 (6):338-355.
Seth Yalcin (2007). Epistemic Modals. Mind 116 (464):983-1026.
Eric Pacuit (2007). Understanding the Brandenburger-Keisler Paradox. Studia Logica 86 (3):435 - 454.
Samuel Alexander (2013). An Axiomatic Version of Fitch's Paradox. Synthese 190 (12):2015-2020.
Stephen Maitzen (1998). The Knower Paradox and Epistemic Closure. Synthese 114 (2):337-354.
Patrick Grim (1991). The Incomplete Universe. Cambridge, Mass.: Mit Press.
JC Beall (2000). Fitch's Proof, Verificationism, and the Knower Paradox. Australasian Journal of Philosophy 78 (2):241 – 247.
Nicholas J. J. Smith (2000). The Principle of Uniform Solution (of the Paradoxes of Self-Reference). Mind 109 (433):117-122.
Charles B. Cross (2001). The Paradox of the Knower Without Epistemic Closure. Mind 110 (438):319-333.
Paul Égré (2005). The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Journal of Logic, Language and Information 14 (1):13-48.
Added to index2009-01-28
Total downloads10 ( #152,266 of 1,100,084 )
Recent downloads (6 months)4 ( #90,379 of 1,100,084 )
How can I increase my downloads?