Saul Kripke: philosopher, logician, and influential theorist of reference
Overview of Saul Kripke’s life and major ideas: Kripke semantics, Naming and Necessity, rigid designation, theory of truth, and his influence on analytic philosophy and logic.
Overview
Saul Kripke (born November 13, 1940, Bay Shore, New York; died September 15, 2022, Plainsboro, New Jersey) was a leading American philosopher and logician whose work reshaped analytic philosophy in the second half of the 20th century. He is best known for the ideas collected in Naming and Necessity and for introducing a formal semantics for modal logic that now bears his name.
Image gallery
5 Images
Major contributions and central ideas
Kripke introduced several concepts that became fixtures of contemporary philosophy of language and metaphysics. His notion of a rigid designator—a term that picks out the same object in every possible world where that object exists—challenged descriptivist accounts of naming. He argued for distinctions such as the necessary a posteriori (truths that are necessary but known empirically) and emphasized the difference between metaphysical necessity and epistemic possibility. In formal logic he developed model-theoretic tools, now called Kripke semantics, which clarify modal notions like possibility and necessity by using structures of possible worlds with accessibility relations.
Technical work and the theory of truth
Beyond naming and modal logic, Kripke made influential technical advances. He offered a treatment of formal truth predicates using fixed-point constructions that allow a language to contain its own truth predicate without collapsing into paradox in certain controlled ways. His work spans proof theory, model theory, and philosophical interpretation of formal results.
Life, lectures, and publication history
Kripke first gained wide attention through a sequence of lectures in the early 1970s that were later revised and published as Naming and Necessity (1980). Over his career he held appointments at major research universities and became known for rigorous, clear argumentation and for combining formal techniques with philosophical insight.
Influence, reception, and notable facts
Kripke’s ideas influenced work in philosophy of language, metaphysics, modal logic, and semantics. The terms "Kripke frame," "rigid designator," and "necessary a posteriori" are widely used. His approach opened new dialogues between formal logicians and analytic philosophers, and his writings continue to be central to undergraduate and graduate curricula.
Further reading
Author
AlegsaOnline.com Saul Kripke: philosopher, logician, and influential theorist of reference Leandro Alegsa
URL: https://en.alegsaonline.com/art/130550