PHILOSOPHY: people
City University of New York Graduate Center
Saul Kripke
Distinguished Professor
Links:
- Kripke Center
- Saul Kripke: Philosophy, Language and Logic (January 25-26, 2006)
Research Interests
- Philosophy of Language
- Metaphysics
- Logic
Courses Recently Taught
- Philosophy of Mathematics (Fall 2008)
- Philosophy of Mathematics (Spring 2008)
- Topics in Philosophy of Language (Fall 2007)
- Frege's Philosophy of Language (Spring 2007)
- Epistemic Justification of Logic (Fall 2006)
- Russell's Philosophy and Logic (Spring 2006)
- The Collapse of Hilbertism (Fall 2005)
- Logicism, Wittgenstein, and De Re Belief about Natural Numbers (Spring 2005)
- Topics in Philosophy of Language (Fall 2004)
- History of Logic and Set Theory (Spring 2004)
- Topics in Philosophy of Language; co-taught with Paul Horwich (Fall 2003)
- Topics in Philosophy of Language; co-taught with Alex Orenstein (Fall 2002)
- Naming and Necessity and Its Background; co-taught with Michael Devitt (Spring 2002)
Online Lectures
- "The First Person" and "Questions and Answers" (The City University of New York, Graduate Center, January 2006)
- "From Church's Thesis to the First Order Algorithm Theorem" (Tel Aviv University, June 13, 2006) Abstract
- "The Collapse of the Hilbert Program". (Indiana University, Presidential Lecture, 2007)
- "Unrestricted Exportation and Some Morals for the Philosophy of Language," [MP3] (The City University of New York, Graduate Center, May 21, 2008).
Representative Publications
- Naming and Necessity. In D. Davidson and Harman, eds., Semantics of Natural Language. Dordrecht: Reidel, 253-355 and 763-769. (1972) Also Harvard University Press, Cambridge, Mass. (1980)
- Wittgenstein on Rules and Private Language. Harvard University Press, Cambridge, Mass. (1982)
- “The Collapse of the Hilbert Program,” (Abstract) forthcoming in Bulletin of Symbolic Logic.
- “Frege’s Theory of Sense and Reference: Some Exegetical Notes,” Theoria, Vol. 74, No. 3, pp. 181-218. (2008)
- “Russell’s Notion of Scope,” Mind, 114, pp. 1005-1037 (Special Edition on the 100th anniversary of Bertrand Russell’s paper “On Denoting” in Mind 1905) (2005)
- “Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.” Proceedings and Addresses of the American Philosophical Association, Vol. 66, No. 2, October 1992, pp. 70-73. Summary of invited paper given at American Philosophical Association Eastern Division Meeting, Washington, D.C., December 1992.
- “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. (1986)
- “Nonstandard Models of Peano Arithmetic” (with S. Kochen), in Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker, ed. by Hans Lauchli, Monograph No. 30 of L’Enseignement Mathematique, University of Geneva (Geneva, Switzerland), pp. 277-295. (1982)
- "A Puzzle about Belief," in A Margalit (ed.), Meaning and Use. Dordrecht: Reidel, 239-283. (1979)
- "Speaker Reference and Semantic Reference," in French, Uehling, and Wettstein, Contemporary Perspectives in the Philosophy of Language. Minneapolis: University of Minnesota Press, 6-27. (1977)
- "Is there a Problem about Substitutional Quantification?," in G. Evans and J. McDowell (eds.), Truth and Meaning; Essays in Semantics (Oxford), 324-419. (1976)
- “Outline of a Theory of Truth,” The Journal of Philosophy, Vol 72, No. 19, pp. 690-716. (1975)
- "Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi," in The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley), ed. by J. W. Addison, L. Henkin, and A. Tarski, North Holland Publishing Co. (Amsterdam), pp. 206-220. (1965)
- "Transfinite Recursions on Admissible Ordinals, I" (abstract), The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162. (1964)
- "Transfinite Recursions on Admissible Ordinals, II" (abstract), The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162. (1964)
- "Admissible Ordinals and the Analytic Hierarchy" (abstract), The Journal of Symbolic Logic, Vol. 29, No. 3, p. 162. (1964)
- "Semantical Considerations on Modal Logic," Acta Philosophica Fennica, Vol. 16, pp.83-94. (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 Analysis of Intuitionistic Logic I," in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium at Oxford, July, 1963), ed. by J. N. Crossley and M. A. E. Dummett, North Holland Publishing Co. (Amsterdam), pp. 92-129. (1963)
- "'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. (1962)
- "A Completeness Theorem in modal Logic," Journal of Symbolic Logic, 24, (1095), 1-14. (1959)
- "Distinguished Constituents" (abstract), The Journal of Symbolic Logic, 24, 4, p. 323. (1959)
- "Semantical Analysis of Modal Logic" (abstract), The Journal of Symbolic Logic, 24, 4, pp. 323-324. (1959)
- "The Problem of Entailment" (abstract), The Journal of Symbolic Logic, 24, 4, p.324. (1959)