Saul A. Kripke

Saul A. Kripke is an American philosopher and logician widely regarded as one of the most influential thinkers in analytic philosophy during the 20th century. His work fundamentally changed how philosophers think about necessity, identity, reference, and modal logic. Kripke's groundbreaking book "Naming and Necessity" (1980) revolutionized theories of reference and meaning, introducing influential concepts like rigid designation and the causal theory of names. His contributions to modal logic, particularly "possible world semantics," provided a mathematical framework for understanding necessity and possibility. Working as a prodigy from an early age, Kripke wrote his first completeness theorem in modal logic while still in high school, and by 1962 was a full professor at Harvard University. He later held positions at Rockefeller University and Princeton, where he became a central figure in both mathematical logic and metaphysics. His other major works include "Wittgenstein on Rules and Private Language" (1982) and writings on truth and paradox that influenced developments in formal semantics. Kripke received the 2001 Schock Prize in Logic and Philosophy, considered philosophy's equivalent to the Nobel Prize.

Readers consistently note Kripke's dense, technical writing style requires multiple re-readings to grasp core concepts. Many describe "Naming and Necessity" as a challenging but rewarding read that changed their understanding of language and reference. Liked: - Clear examples that make complex ideas accessible - Revolutionary arguments about names and necessity - Precise logical reasoning - The informal lecture style of "Naming and Necessity" Disliked: - Abstract terminology without sufficient explanation - Assumes extensive background knowledge - Some arguments move too quickly between steps - Limited practical applications for non-specialists Ratings: Goodreads: - "Naming and Necessity": 4.2/5 (2,100+ ratings) - "Wittgenstein on Rules": 4.1/5 (900+ ratings) Amazon: - "Naming and Necessity": 4.4/5 (120+ reviews) - Common review comment: "Difficult but worth the effort" One reader noted: "Kripke's arguments are like mathematical proofs - you have to follow each step carefully, but the conclusions are powerful once you understand them."

Naming and Necessity (1980) A series of lectures turned book that presents a new theory of reference and necessity, introducing concepts like rigid designation and the causal theory of names.

Wittgenstein on Rules and Private Language (1982) A detailed analysis of Wittgenstein's philosophy of language and mathematics, focusing on rule-following and the possibility of a private language.

Reference and Existence: The John Locke Lectures (2013) A collection of lectures examining the relationship between fiction, reference, and existence through analysis of empty names and fictional entities.

Philosophical Troubles: Collected Papers, Volume 1 (2011) A compilation of Kripke's papers on topics including truth, identity, time, and the theory of reference.

Collected Papers, Volume 2 (2019) A second volume of Kripke's academic papers covering metaphysics, epistemology, philosophy of language, and logic.

W.V.O. Quine created systematic work on logic, meaning, and ontological commitment that shaped analytic philosophy's development. His book "Word and Object" explores meaning and translation in ways that complement Kripke's investigations of reference and necessity.

David Lewis developed influential theories about possible worlds and counterfactuals that built upon Kripke's modal logic foundations. His work on convention and reference intersects with Kripke's ideas while taking them in new metaphysical directions.

Ludwig Wittgenstein established frameworks for understanding language, meaning, and rules that Kripke directly engaged with and reinterpreted. His investigations of private language and rule-following became central topics in Kripke's philosophical analysis.

Gottlob Frege created foundational theories of sense, reference, and mathematical logic that Kripke's work both builds upon and challenges. His distinctions between sense and reference provided the backdrop for Kripke's new theory of names.

Ruth Barcan Marcus developed crucial early work in quantified modal logic and theories of necessity that influenced Kripke's semantic framework. Her contributions to modal logic and identity anticipated several of Kripke's key insights about rigid designation.