:

:


  • 1996. Elementary Recursion Theory and its Applications to Formal Systems. Transcribed by Mario Gomez Torrente and John Barker. Index available here.
  • 2008. Mathematical Incompleteness Results in Peano Arithmetic, a Revisionist View of the Early History.
  • 19 - Semantical Analysis of Intuitionistic Logic II. Undecidability of the Monadic Fragment (Undated manuscript).
  • 1975. Three Lectures on Truth. Princeton University. Discussed here.
  • 2006. "From Church's Thesis to the First Order Algorithm Theorem," Tel Aviv University, June 13, 2006. Video available here and abstract available here.
  • 198 -. A Proof of Gamma."
  • 1996. "The Ordered Pair: A Philosophical Paradigm Revisited".
  • 197 -. On The Completeness and Decidability of Intuitionistic Propositional Logic.
  • 1984. Lessons on Functionalism and Automata. (Delivered at the International Wittgenstein Symposium, 1984. Transcribed by Roderick Chisholm.
  • 1992. Individual Concepts: Their Logic, Philosophy, and Some of Their Uses. Transcribed by Stephen Webb.
  • 1988/89. Seminars on Truth. Three-semester seminar at Princeton in 1988-89, only the first two semesters have been transcribed by Jim Cain. See here.
  • 1978. Time and Identity. Seminar given at Princeton University, 1978. Several versions of this material have circulated. Some of its ideas are discussed by Ted Sider in his bookFour-Dimensionalism: An Ontology of Persistence and Time
  • 19 - Non-Standard Models and Godel's Theorem: A Model- Theoretic Proof of Godel's Theorem . Summary by Hilary Putnam.
  • 1989. No Fool's Red? Some Considerations on the Primary / Secondary Quality Distinction (includes comments by David Velleman). University of Michigan, 1989.
  • 2007. Roundtable on Externalism (Hilary Putnam, Tyler Burge, Saul Kripke, and Michael Devitt). University College Dublin, Ireland. Podcast available here.
  • 198 -. A Note on Zabludowski's Critique of Goodman's Theory of Projection.
  • 1963. History and Idealism: the Theory of R. G. Collingwood .
  • 1973. John Locke Lectures: Reference and Existence. (Transcript available in the Philosophy Library, Oxford University)
  • 2007. The Collapse of the Hilbert Program. Indiana University, Presidential Lecture. Video available here.
  • 1992. Whitehead Lectures: Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers. Delivered at Harvard University, 1992.
  • 1986. Rigid Designation and the Contingent A Priori: The Meter Stick Revisited (Notre Dame, 1986).
  • 1999. The Road to G?del. (Read at Haifa University, Israel, 1999. Several transcripts exist.
  • 19 - Semantical Analysis of Intuitionistic Logic III (Undated manuscript).

'

  • Saul Kripke, Genius Logician. Interview by Andreas Saugstad, February 25, 2001.
  • The Best Five Books on the Philosophy of Language by Scott Soames, October 15, 2010.
  • Philosopher, 65, Lectures Not About 'What Am I? ' but 'What Is I? ' by Charles McGrath,The New York Times, January 28, 2006.
  • Celebrating CUNY's Genius Philosopher by Gary Shapiro,The New York Sun, January 27, 2006.
  • New Frontiers in American Philosophy by Taylor Branch,New York Times Magazine, August 14, 1977.

  • . . ³ / . / / . - 1999. - 1. - . 151-185.
  • , . . ³ / . . . , . . . ϳ . . . . . - : - . -, 2005. - 152 . - ( ). ISBN 5-7511-1906-1
  • . ³ / . . , . . / ϳ . . . - .: + β , 2010. - 256 .
: