Сол Крипкая: биография

Неопубліковані рукописи і лекції

• 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 с.

Сайт: Википедия