-
365Philosophical Troubles. Collected Papers Vol I (edited book)Oxford University Press. 2011.This important new book is the first of a series of volumes collecting essential work by an influential philosopher. It presents a mixture of published and unpublished works from various stages of Kripke's storied career. Included here are seminal and much discussed pieces such as “Identity and Necessity,” “Outline of a Theory of Truth,” and “A Puzzle About Belief.” More recent published work include “Russell's Notion of Scope” and “Frege's Theory of Sense and Reference” among others. Several of…Read more
-
154The Undecidability of Monadic Modal Quantification TheoryMathematical Logic Quarterly 8 (2): 113-116. 1962.
-
174Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional CalculiIn J. W. Addison (ed.), The theory of models, North-holland Pub. Co.. pp. 206-20. 1965.
-
410The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness TheoremIn B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond, Mit Press. 2013.Traditionally, many writers, following Kleene (1952), thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing’s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis, what Turing (1936) calls “argument I,” has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advoc…Read more
-
533Is There a Problem About Substitutional Quantification?In Gareth Evans & John Henry McDowell (eds.), Truth and meaning: essays in semantics, Clarendon Press. pp. 324-419. 1976.
-
449A Puzzle about Time and ThoughtIn Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
288The collapse of the Hilbert program: why a system cannot prove its own 1-consistency (Abstract)Bulletin of Symbolic Logic 15 (2): 229-231. 2009.
-
175The Road to GödelIn Jonathan Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke, Palgrave-macmillan. 2014.
-
379Russell’s Notion of ScopeMind 114 (456): 1005-1037. 2005.Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem…Read more
-
722Nozick on KnowledgeIn Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
2C. The Mental-Physical ContrastIn David M. Rosenthal (ed.), The Nature of Mind, Oxford University Press. pp. 236. 1991.
-
236Unrestricted Exportation and Some Morals for the Philosophy of LanguageIn Saul A. Kripke (ed.), Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
1079Reference and Existence: The John Locke LecturesOxford University Press. 2013.Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book -- including the …Read more
-
502The First PersonIn Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
483Semantical Analysis of Modal Logic I. Normal Propositional CalculiZeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6): 67-96. 1963.
-
1220Outline of a theory of truthJournal of Philosophy 72 (19): 690-716. 1975.A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences
-
87Fine Kit. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 , pp. 125–156.Fine Kit. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 , pp. 277–306.Fine Kit. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 , pp. 293–307 (review)Journal of Symbolic Logic 50 (4): 1083-1093. 1985.
-
1003Wittgenstein on rules and private language: an elementary expositionHarvard University Press. 1982.In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule
-
3Selection from Naming and NecessityIn Tim Crane & Katalin Farkas (eds.), Metaphysics: A Guide and Anthology, Oxford University Press Uk. 2004.
Saul Kripke
(1940 - 2022)
New York City, New York, United States of America
Areas of Interest
7 more