-
211The Undecidability of Monadic Modal Quantification TheoryMathematical Logic Quarterly 8 (2): 113-116. 1962.
-
599Semantical Analysis of Modal Logic I. Normal Propositional CalculiZeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6): 67-96. 1963.
-
1659Outline 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
-
166Fine 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–307Journal of Symbolic Logic 50 (4): 1083-1093. 1985.
-
10A 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.
-
508Semantical Analysis of Intuitionistic Logic IIn Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions, North Holland. pp. 92-130. 1963.
-
365Presupposition 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.
-
859Identity 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~".
-
322The collapse of the Hilbert program: why a system cannot prove its own 1-consistency (Abstract)Bulletin of Symbolic Logic 15 (2): 229-231. 2009.
-
85Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic (review)Journal of Symbolic Logic 48 (2): 486-488. 1983.
-
543Philosophical Troubles: Collected Papers, Volume 1 (edited book)Oup Usa. 2011.This important new book is the first of a series of volumes collecting the essential articles by the eminent and highly influential philosopher Saul A. Kripke. It presents a mixture of published and unpublished articles from various stages of Kripke's storied career.
Saul Kripke
(1940 - 2022)
New York City, New York, United States of America
Areas of Interest
7 more