Abstract
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.
Similar content being viewed by others
References
Anderson, Alan Ross and Nuel D. Belnap, Jr.: 1975,Entailment, Vol. I, Princeton University Press, Princeton.
Anderson, C. Anthony: 1983, ‘The Paradox of the Knower’,Journal of Philosophy 80, 338–55.
Asher, Nicholas and Hans Kamp: 1989, ‘Self-Reference, Attitudes and Paradox’, in Gennaro Chierchia, Barbara H. Partee, and Raymond Turner (eds.),Properties, Types and Meaning, Vol. I, Kluwer Academic, Dordrecht, pp. 85–158.
Boolos, George S. and Richard C. Jeffrey: 1982,Computability and Logic, 2nd ed., Cambridge University Press, New York.
Bull, R. A.: 1969, ‘On Modal Logic with Propositional Quantifiers’,Journal of Symbolic Logic 34, 257–63.
Burge, Tyler: 1978, ‘Buridan and Epistemic Paradox’,Philosophical Studies 34, 21–35.
Burge, Tyler: 1984, ‘Epistemic Paradox’,Journal of Philosophy 81, 5–28.
Church, Alonzo: 1956,Introduction to Mathematical Logic, Princeton University Press, Princeton.
Fine, Kit: 1970, ‘Propositional Quantifiers in Modal Logic’,Theoria 36, 336–46.
Fine, Kit: 1977, Technical Appendix to A. N. Prior and Kit Fine,Worlds, Times, and Selves, Duckworth, London, pp. 162–68.
Grim, Patrick: 1988, ‘Truth, Omniscience, and the Knower’,Philosophical Studies 54, 9–41.
Grim, Patrick: 1991,The Incomplete Universe: Totality, Knowledge, and Truth, MIT Press/Bradford Books, Cambridge.
Hunter, Geoffrey: 1971,Metalogic, University of California Press, Berkeley.
Kaplan, David: 1970, Abstract of ‘S5 with Quantifiable Propositional Variables’,Journal of Symbolic Logic 35, 355.
Kaplan, David and Richard Montague: [1960]/1974, ‘A Paradox Regained’,Notre Dame Journal of Formal Logic 1, 79–90 (reprinted: 1974, in Richmond H. Thomason (ed.),Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, pp. 271–85).
Montague, Richard: [1963]/1974, ‘Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability’,Acta Philosophica Fennica, Vol. 16, Societas Philosophica Fennica, Helsinki, pp. 153–67 (reprinted: 1974, in Richmond H. Thomason (ed.),Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, pp. 286–302).
Putnam, Hilary: [1967]/1983, ‘Mathematics Without Foundations’,Journal of Philosophy 64, 5–22 (reprinted: 1983, in Paul Benacerraf and Hilary Putnam (eds.),Philosophy of Mathematics, 2nd ed., Cambridge University Press, Cambridge, pp. 295–311).
Reinhardt, William N.: 1980, ‘Necessity Predicates and Operators’,Journal of Philosophical Logic 9, 437–50.
Riviéres, J. des and H. Levesque: 1986, ‘The Consistency of Syntactical Treatments of Modality’, in Joseph Y. Halpern (ed.),Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, Morgan Kaufman, Los Angeles, pp. 115–30.
Skyrms, Brian: 1978, ‘An Immaculate Conception of Modality’,Journal of Philosophy 75, 368–87.
Thomason, Richmond H.: 1977, ‘Indirect Discourse is Not Quotational’,Monist 60, 340–54.
Author information
Authors and Affiliations
Additional information
I am deeply indebted to Robert F. Barnes and Evan W. Conyers, without whom these ideas might not have germinated and certainly would not have grown. Many of the results offered here evolved in the course of mutual discussion and correspondence. I am also grateful to an anonymous reviewer forSynthese for many very helpful suggestions.
The current paper contains the technical results promised in Footnote 25 of Grim (1988) and Footnote 26, Chapter 3, of Grim (1991).
Rights and permissions
About this article
Cite this article
Grim, P. Operators in the paradox of the knower. Synthese 94, 409–428 (1993). https://doi.org/10.1007/BF01064487
Issue Date:
DOI: https://doi.org/10.1007/BF01064487