Saul Kripke: Full List of Publications
Books
Collected Papers, Vol. I,
Oxford University Press, forthcoming.
Wittgenstein on Rules and Private Language, Cambridge, MA, Harvard University Press, 1982.
Naming and Necessity, Cambridge, MA, Harvard University Press, 1980.
(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 Mind 1905.)
(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.
(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.
Wittgenstein on Rules and Private Language, Cambridge, MA, Harvard University Press, 1982.
Naming and Necessity, Cambridge, MA, Harvard University Press, 1980.
Papers & Abstracts
(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 Mind 1905.)
(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.