Full List of Publications by Saul Kripke

Books

  • Reference and Existence: The John Locke Lectures for 1973. New York: Oxford University Press, 2013.
  • Philosophical Troubles: Collected Papers, Volume 1. New York: Oxford University Press, 2011.
  • Wittgenstein on Rules and Private Language. Cambridge: Harvard University Press, 1982.
  • Naming and Necessity. Cambridge: Harvard University Press, 1980.

Papers & Abstracts

  • “Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Non-Constructive Mathematical Proofs.” Forthcoming in Indagationes Mathematicae, special issue: L.E.J. Brouwer, fifty years later.
  • “‘And’ and ‘But’: A Note.” Thought. Available for early view. DOI: 10.1002/tht3.237
  • (2017) “History and Idealism: The Theory of R.G. Collingwood.” Collingwood and British Idealism StudiesVol. 23, No. 1, pp. 9 – 29.
  • (2017) “Quantified Modality and Essentialism.” Nous, Vol. 51, No. 2, pp. 221 – 234.
  • (2017) “Quantified Modal Logic and Quine’s Critique: Some Further Observations.” Nous, Vol. 51, No. 2, pp. 235 – 237.
  • (2015) “Yet Another Dogma of Empiricism.” Philosophy and Phenomenological Research. Vol 91, No. 2, pp. 381 – 385.
  • (2014) “The Road to Gödel.” In J. Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke. Palgrave Macmillan.
  • (2014). “Fregean Quantification Theory”. in Journal of Philosophical Logic. Vol. 43, No. 5, pp. 879-88.
  • (2013). “Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem,” in B. J. Copeland, C. Posy, and O. Shagrir (eds.),Computability: Gödel, Turing, Church, and Beyond, Cambridge: MIT Press.
  • (2009). “Presupposition and Anaphora: Remarks on the Formulation of the Projection Problem,” Linguistic Inquiry, Vol. 40, No. 3., pp. 367-386.
  • (2009). “The Collapse of the Hilbert Program” (abstract), Bulletin of Symbolic Logic, Vol. 15, No.2, pp. 229-31.
  • (2008). “Frege’s Theory of Sense and Reference: Some Exegetical Notes,” Theoria, Vol. 74, No. 3, pp. 181-218.
  • (2005). “Russell’s Notion of Scope,” Mind, Vol. 114, pp. 1005-1037. (Special Edition on the 100th anniversary of Bertrand Russell’s paper “On Denoting” in Mind1905.)
  • (1992). “Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.”Proceedings and Addresses of the American Philosophical Association, Vol. 66, No. 2, pp. 70-73. Summary of invited paper given at the American Philosophical Association Eastern Division Meeting, Washington, D.C.
  • (1986). “A Problem in the Theory of Reference: the Linguistic Division of Labor and the Social Character of Naming,” in Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy), Editions du Beffroi, Editions Montmorency (Montreal), pp. 241-247.
  • (1982). “Nonstandard Models of Peano Arithmetic” (with S. Kochen), in Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker, H. Lauchli (ed.), Monograph No. 30 of L’Enseignement Mathematique, University of Geneva (Geneva, Switzerland), pp. 277-295.
  • (1981). “Wittgenstein on Rules and Private Language: An Elementary Exposition,” in Perspectives on the Philosophy of Wittgenstein, I. Block (ed.), Oxford, Basil Blackwell, pp. 238-312.
  • (1979). “A Puzzle About Belief,” in Meaning and Use, A. Margalit (ed.), Dordrecht, D. Reidel, pp. 239-283.
  • (1977). “Speaker’s Reference and Semantic Reference,” Midwest Studies in Philosophy, II, pp. 255-276.
  • (1976). “A Theory of Truth II. Preliminary Report,” abstract, Journal of Symbolic Logic, Vol. 41, No. 2, pp. 556-557.
  • (1976). “A Theory of Truth I. Preliminary Report,” abstract, Journal of Symbolic Logic, Vol. 41, No. 2, pp. 556.
  • (1976). “Is There a Problem About Substitutional Quantification?” in Truth and Meaning, G. Evans and J. McDowell (eds.), London, Oxford University Press, pp. 325-419.
  • (1975). “Outline of a Theory of Truth,” Journal of Philosophy, Vol 72, No. 19, pp. 690-716.
  • (1972). “Naming and Necessity,” in Semantics of Natural Language, 2nd edition, D. Davidson and G. Harman (eds.), Dordrecht, Reidel Publishing Co., pp. 253-355; Addenda pp. 763-769.
  • (1971). “Identity and Necessity,” in Identity and Individuation, Milton K. Munitz (ed.), New York, New York University Press, pp. 135-164.
  • (1967). “Transfinite Recursion, Constructible Sets, and Analogues of Cardinals,” in Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U.C.L.A., pp. IV-0-1 through IV-0-12.
  • (1967). “On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra,” in Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U.C.L.A., pp. IV-T-1 through IV-T-7.
  • (1967). Research Announcement: “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El), Bulletin of the American Mathematical Society, Vol. 73, pp. 145-148.
  • (1967). “An Extension of a Theorem of Gaifman-Hales-Solovay,” Fundamenta Mathematicae, Vol. 61, pp. 29-32.
  • (1967). “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El), Fundamenta Mathematicae, Vol. 61, pp. 141-163.
  • (1965). “Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi,” in The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley), J. W. Addison, L. Henkin, and A. Tarski (eds.), Amsterdam, North Holland Publishing Co., pp. 206-220.
  • (1964). “Transfinite Recursions on Admissible Ordinals, II,” abstract, Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • (1964). “Admissible Ordinals and the Analytic Hierarchy,” abstract, Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • (1964). “Transfinite Recursions on Admissible Ordinals, I,” abstract, Journal of Symbolic Logic, Vol. 29, No. 3, p. 162.
  • (1963). “Semantical Analysis of Intuitionistic Logic I,” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium at Oxford), J. N. Crossley and M. A. E. Dummett (eds), Amsterdam, North Holland Publishing Co., pp. 92-129.
  • (1963). “Semantical Analysis of Modal Logic I. Normal Propositional Calculi,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, Vol. 9, pp. 67-96.
  • (1963). “Semantical Considerations on Modal Logic,” Acta Philosophica Fennica, Vol. 16, pp. 83-94.
  • (1962). “‘Flexible’ Predicates of Formal Number Theory,” Proceedings of the American Mathematical Society, 13, 4, pp. 647-650.
  • (1962). “The Undecidability of Monadic Modal Quantification Theory,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, Vol. 8, pp. 113-116.
  • (1959). “Distinguished Constituents,” abstract, Journal of Symbolic Logic, 24, 4, p. 323.
  • (1959). “Semantical Analysis of Modal Logic,” abstract, Journal of Symbolic Logic, 24, 4, pp. 323-324.
  • (1959). “The Problem of Entailment,” abstract, Journal of Symbolic Logic, 24, 4, p.324.
  • (1959). “A Completeness Theorem in Modal Logic,” Journal of Symbolic Logic, 24, 1, pp. 1-14.

Reviews & Discussions

  • (1985). Critical review of three papers by Kit Fine, all entitled “Model Theory for Modal Logic,” The Journal of Symbolic Logic, Vol 50, No 4, pp. 1083-1093. [Fine’s papers appeared in The Journal of Philosophical Logic. Part I in Volume 7 (1978), pp. 125-156; Part II, Volume 7 (1978), pp. 277-306; Part III, Volume 10 (1981), pp. 293-307.]
  • (1983). Review of Kit Fine, “Failures of the Interpolation Lemma in Quantified Modal Logic,” Journal of Symbolic Logic, Vol 48, No 2, pp. 486-488. [Fine’s paper appeared in Journal of Symbolic Logic, 44, (1979), pp. 201-220]
  • (1974). G. Harman, W.V. Quine, S. Kripke, D. Lewis, M.A.E. Dummett, and B. Partee, “Second General Discussion Session,” (Proceedings of a Conference on ‘Language, Intentionality, and Translation-Theory’), Synthese, Vol. 27, pp. 509-521.
  • (1974). D. Davidson, D. Kaplan, W.V. Quine, B. Partee, M.A.E. Dummett, G. Harman, H. Putnam, S. Kripke, W. Sellars, D. Lewis, and C. Parsons, “First General Discussion Session” (Proceedings of a Conference on ‘Language, Intentionality, and Translation-Theory’), Synthese, Vol. 27, pp. 471-508.
  • (1967). Review of E. J. Lemmon, “Algebraic Semantics for Modal Logic I,” Mathematical Reviews, Vol. 34, No. 5, pp. 1021-1022. [Lemmon’s paper appeared in Journal of Symbolic Logic, 31 (1966), pp. 46-65.]
  • (1967). Review of E. J. Lemmon, “Algebraic Semantics for Modal Logic II,” [Journal of Symbolic Logic, 31 (1966), pp. 191-218], Mathematical Reviews, Vol. 34, No. 5, p. 1022.
  • (1963). R.B. Marcus, W.V. Quine, S. Kripke, T. McCarthy, and D. Føllesdal, “Discussion” (Colloquium on ‘Modalities and Intensional Languages’), Boston Studies in the Philosophy of Science: Proceedings, Vol. 1. Colloquium for the Philosophy of Science, Boston, 1961-62, M.W. Wartofsky (ed.), Dordrecht, Reidel Publishing Co., pp. 105-116.