-
2C. The Mental-Physical ContrastIn David M. Rosenthal (ed.), The Nature of Mind, Oxford University Press. pp. 236. 1991.
-
3Selection from Naming and NecessityIn Tim Crane & Katalin Farkas (eds.), Metaphysics: a guide and anthology, Oxford University Press. 2004.
-
1269Reference 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
-
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.
-
1661Outline 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.
-
509Semantical 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.
Saul Kripke
(1940 - 2022)
New York City, New York, United States of America
Areas of Interest
7 more