-
502The First PersonIn Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
485Semantical Analysis of Modal Logic I. Normal Propositional CalculiZeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6): 67-96. 1963.
-
1232Outline 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.
-
1012Wittgenstein 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.
-
8A priori knowledge, necessity, and contingencyIn Paul K. Moser (ed.), A priori knowledge, Oxford University Press. 1987.
-
40Deduction-preserving ‘Recursive Isomorphisms’ between TheoriesFundamenta Mathematicae 61 141-163. 1967.
-
514On Two Paradoxes of KnowledgeIn Saul A. Kripke (ed.), Philosophical Troubles. Collected Papers Vol I, Oxford University Press. 2011.
-
380Semantical Analysis of Intuitionistic Logic IIn Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963, North Holland. pp. 92-130. 1963.
-
293Presupposition and Anaphora: Remarks on the Formulation of the Projection ProblemLinguistic Inquiry 40 (3): 367-386. 2009.Writers on presupposition, and on the ‘‘projection problem’’ of determining the presuppositions of compound sentences from their component clauses, traditionally assign presuppositions to each clause in isolation. I argue that many presuppositional elements are anaphoric to previous discourse or contextual elements. In compound sentences, these can be other clauses of the sentence. We thus need a theory of presuppositional anaphora, analogous to the corresponding pronominal theory.
-
851Identity and necessityIn Milton Karl Munitz (ed.), Identity and individuation, New York University Press. pp. 135-164. 1971.are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".
-
46Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic (review)Journal of Symbolic Logic 48 (2): 486-488. 1983.
-
367Philosophical 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
-
157The Undecidability of Monadic Modal Quantification TheoryMathematical Logic Quarterly 8 (2): 113-116. 1962.
-
175Semantical 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.
-
175The Road to GödelIn Jonathan Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke, Palgrave-macmillan. 2014.
-
289The collapse of the Hilbert program: why a system cannot prove its own 1-consistency (Abstract)Bulletin of Symbolic Logic 15 (2): 229-231. 2009.
Saul Kripke
(1940 - 2022)
New York City, New York, United States of America
Areas of Interest
7 more