Persona #197

Saul Kripke

1940–2022 · American philosopher; principal twentieth-century theorist of necessity, naming, and modal metaphysics

Rigid designators and the necessity of identity — modal metaphysics reconstructed against the descriptivist tradition

Kripke published his first major paper in semantics for modal logic at age nineteen (1959), providing the possible-worlds semantics that became the standard model-theoretic framework for modal logic. "Naming and Necessity" (three Princeton lectures, 1970; published 1980) overturned the Frege-Russell descriptivist tradition: proper names are rigid designators that refer to the same object in every possible world; identity statements involving rigid designators are necessarily true if true at all. The same lectures revived essentialism, the necessity of origin, and a posteriori necessities (e.g., "water is H₂O"). "Wittgenstein on Rules and Private Language" (1982, "Kripkenstein") opened a major new direction in the philosophy of language. Kripke held the Saul Kripke chair at CUNY; his philosophical influence on analytic philosophy of the late twentieth century is enormous and continuing.

Key works

  • A Completeness Theorem in Modal Logic (1959)
  • Semantical Considerations on Modal Logic (1963)
  • Naming and Necessity (1980, lectures 1970)
  • Wittgenstein on Rules and Private Language (1982)
  • Philosophical Troubles (Collected Papers I, 2011)

Declared Influences

Analytic Metaphysics / Logical Atomism 35% Platonism (Classical) 20% Rationalism 15% Critical Realism 15% Multiverse Theory 10%
Analytic Metaphysics / Logical Atomism · 35%
Platonism (Classical) · 20%
Rationalism · 15%
Critical Realism · 15%
Multiverse Theory · 10%

Kripke is one of the principal twentieth-century analytic metaphysicians; the revival of essentialism, the analysis of necessity, and the rigid-designator semantics he provided are foundational across the field.

"Necessity may be a feature of the world in itself, not just of how we think or speak about the world." (Naming and Necessity)

Kripke's realism about modal facts, possible worlds, and essential properties is structurally Platonist about modality in a way his colleagues like David Lewis (modal realist) took further but Kripke himself articulated.

"Possible worlds are stipulated, not discovered through telescopes." (Naming and Necessity, on the methodological status)

Kripke's rehabilitation of a priori knowledge of necessities, alongside his discovery of a posteriori necessities, is a sophisticated post-empiricist rationalism.

"The a priori is not the necessary, nor the necessary the a priori." (Naming and Necessity, distinguishing the categories)

Kripke's commitment to real, mind-independent facts about reference, identity, and natural kinds places him within a broadly realist analytic tradition.

"'Heat is the motion of molecules' is necessarily true, because heat just is the motion of molecules — even though we discovered this empirically." (Naming and Necessity)

Kripke's possible-worlds semantics, while methodologically committed to a fiction of possible worlds, has been one of the principal philosophical resources for contemporary multiverse and modal-realist thinking (David Lewis being the most extreme heir).

"Possible worlds are total ways the world could have been." (Naming and Necessity)

Internal Tensions

Kripke's necessity-of-origin and natural-kind essentialism have been attacked from anti-essentialist quarters (Mellor, Bird) and defended by mainstream analytic metaphysicians. The Kripkenstein reading of Wittgenstein has been disputed (Baker and Hacker, McDowell) as more about Kripke than about Wittgenstein. Kripke published little for the four decades after Naming and Necessity, leaving major work in private circulation; the Kripke Center is gradually releasing it.

I. Time

Standard physical time within each world; possible-worlds framework treats time-as-it-could-have-been alongside time-as-it-is.

Attributes
Extent: Infinite Ontological Status: Substantival Grain: Continuous Freedom: Non-Deterministic Traversability: Linear Direction: Uni-directional Dimensionality: One

II. Space

Standard substantival space.

Attributes
Extent: Infinite Ontological Status: Substantival Curvature: Flat Dimensionality: Three Locality: Local

III. Matter

Standard substantival matter with essential properties.

Attributes
Extent: Infinite Ontological Status: Substantival Conservation: Conserved Dimensionality: Three Locality: Local

IV. Observer

Plural finite reasoners with mediated access to modal and natural-kind truths. No metaphysical agency.

Attributes
Time Instance: Single Space Instance: Single Knowledge Extent: Mediated Knowledge Retainment: Partial Physicality: Embodied Agency: Active Number: Plural Metaphysical Agency: None

V. Energy

Standard physics.

Attributes
Extent: Infinite Ontological Status: Substantival Conservation: Conserved Dispersibility: Irreversible

VI. Information

Information conserved at the world-scale; personal soul not part of the framework.

Attributes
Ontological Status: Substantival Cosmic Conservation: Conserved Personal Conservation: Non-conserved Granularity: Continuous

Classified works

Works in the atlas that Saul Kripke authored or that draw on this persona's writings, with full attribute fingerprints of their own.

Authored · Mature (Kripke's second major book after Naming and Necessity, 1980)
Wittgenstein on Rules and Private Language
1982 (Harvard UP; based on 1976 Wolfson College lecture, 1977 Princeton seminars) · Philosophical monograph
Authored · Earliest
A Completeness Theorem in Modal Logic
1959 (Kripke aged 18) · Mathematical-logical paper
Authored · Early
Semantical Considerations on Modal Logic
1963 · Mathematical-logical paper
Authored · Late
Philosophical Troubles
2011 (essays 1962-2008) · Philosophical essay collection
Cites
On the Plurality of Worlds
David Lewis · 1986
Cites
Time and Modality
Arthur N. Prior · 1957
Cites
Inquiry
Robert Stalnaker · 1984
Cites
Ways a World Might Be
Robert Stalnaker · 2003
Cites
Our Knowledge of the Internal World
Robert Stalnaker · 2008
Cites
From a Logical Point of View
Willard Van Orman Quine · 1953 (essays 1939-1952)
Cites
Parts of Classes
David Lewis · 1991
Cites
Papers in Metaphysics and Epistemology
David Lewis · 1999
Cites
Papers in Philosophical Logic
David Lewis · 1998

Computed school proximity

The persona's attribute fingerprint scored against all 202 schools using the same quiz scorer. Useful as a sanity check on the hand-curated influences above.

Philosophical neighbors

Other personas whose attribute fingerprint sits closest to Saul Kripke's — intellectual neighbors across traditions and eras.

How Saul Kripke resolves each dilemma

56 resolved positions across 4 dimensions, including 3 distinctive where the majority of schools go the other way · 1 unaligned.

Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.

Time · 9 dilemmas · 3 distinctive

Persistence, the future, and the direction of becoming.

Distinctive · only 15% of schools agree (31/202)
Is the universe running out of usable energy?
The heat death of the universe — entropy maxed out, no further work possible — is among the more sobering implications of mainstream physics. Whether it is structurally inescapable depends on what kind of finitude the cosmos has.
Both time and matter are unbounded; 'running out' is misframed.
On this view, the cosmos has neither a temporal horizon nor a material exhaustion point. The framing of running out presupposes bounds that the cosmos doesn't have. Energy gradients perpetuate; new configurations emerge; the categories that make heat-death scary don't apply at the cosmic scale.
Roads not taken Time is unbounded but matter is finite; usable energy can fail without time failing. (47%) · Time both has and lacks bounds depending on the level you ask at; finitude is conventional. (26%) · The cosmos has bounds; heat death is a real horizon. (12%)
Distinctive · only 15% of schools agree (31/202)
Are natural resources fundamentally finite, or only practically so?
Whether we can grow our way out of resource constraints — or whether the cosmos sets limits the economy ultimately must obey — depends on what kind of finitude matter has.
Resources are practically inexhaustible on cosmic scales; terrestrial limits are engineering.
On this view, matter and time are both unbounded at the largest scales. Terrestrial resource limits are real engineering and political constraints but not metaphysical ones; the cosmos can in principle support whatever expansion intelligence is capable of.
Roads not taken Time goes on but matter is bounded; we are eventually constrained even with infinite time. (47%) · The finitude question is level-dependent; resource ethics happens at the level that constrains us. (26%) · Resources are finite in the strict sense; living well requires accepting the limit. (12%)
Distinctive · only 15% of schools agree (31/202)
Could we owe future generations more than is materially possible to provide?
If we owe future people a habitable planet and the material means to flourish, and the cosmos is bounded in ways that make those obligations impossible at some scale, the obligation and the possibility come apart. Where they come apart turns on what kind of finitude we live in.
Both time and matter are unbounded; we cannot in principle owe more than is possible.
On this view, the cosmos has the resources to support whatever flourishing future generations are capable of, given sufficient time and intelligence. The impossibility concern is misplaced; the real questions are about trajectories and choices, not about resource ceilings.
Roads not taken Time is unbounded but matter is not; we can owe more across long time than the matter can provide. (47%) · The owing-and-possibility question is level-dependent; we owe what is appropriate at the level we act on. (26%) · The cosmos is bounded; our obligations to future generations are bounded with it. (12%)
6 mainstream positions
Matter · 7 dilemmas, all mainstream
Observer · 37 dilemmas, all mainstream
Could causation work backwards? Causation runs one way — the arrow of time is real and structural. 68% Is the asymmetry between memory and anticipation a real feature of time, or just of us? The asymmetry is real because time itself has a real direction. 68% Is the arrow of time a real feature of the cosmos, or only of how we describe it? The arrow is real and structural; the asymmetry isn't an artifact of description. 68% Is environmental damage ever truly permanent? Damage is real and permanent on the relevant timescales. There is no recovery; there is only limitation. 66% Can a civilization recover from collapse? Civilizational complexity is hard to build and easy to lose; recovery is at best partial. 66% Does the second law of thermodynamics mean something morally? Entropy is what time is. The moral weight, if any, is the weight of working against the current. 66% Is truth universal, tradition-bound, situated, or constructed? Truth is mind-independent, universal, accessible in principle to all. 65% When does a person begin? A person exists from conception — when a new being comes into existence. 54% What is marriage? Marriage has a given form — it’s a kind of thing we recognize, not make. 54% Does environmental harm in another country bind me morally? Moral obligation tracks the relations one is in; distance does matter, structurally. 50% Can prayer for someone far away affect them? Prayer changes the pray-er, not the prayed-for. 49% Are coincidences ever more than coincidence? Coincidence is exactly what the math says it is. The pattern is in the noticer. 49% What is our place in nature? Active in a real nature — we cultivate, steward, transform. 48% Should we colonize space? Cultivating worlds beyond Earth is the next form of stewardship. 48% Is genetic engineering of food stewardship or domination? Genetic modification is cultivation by other means. 48% Is divine omniscience compatible with human freedom? The observer is in time; foreknowledge across times raises real freedom problems. 46% Does meditation reveal something genuinely timeless? Meditators are bounded observers reporting unusual brain states; the 'timeless' is metaphorical. 46% Does prayer change God's mind? If there is an addressee at all, it is in time; prayer is communication, and may genuinely change what comes next. 46% Are the dead morally present to the living? Observers are bounded by their own moment, and no further agency makes the dead present. 44% What kind of religious-theological authority does the tradition recognize? The category does not apply — the school is non-religious. 44% Who is the moral primary — the individual, the community, the cosmos, the class, or the species? The discrete person is the moral primary. 40% Is reality fundamentally digital? No — continuous fields, classical limits, analog deep structure. 37% Are there indivisible units of experience? No — continuous Jamesian stream, phenomenological lived time. 37% Is memory stored or reconstructed? Reconstructed — continuous re-narrating, no fixed engrams. 37% Does history have a direction or meaning? History is not where the deepest truth lives. 37% What makes someone the same person over time? You are your body — continuity is bodily continuity. 36% Is the late-stage dementia patient still the person their spouse married? Same body, same person — even when the cognitive pattern has changed. 36% If a teleporter copied and destroyed you, would you have survived? Different body, different person — you died in the scanner. 36% Do animals have moral standing comparable to humans? Animal minds are real because biology is the substrate of mind. 32% Could a fetal brain organoid in a petri dish be conscious? Brain tissue can in principle do what brains do; the question is integration. 32% Should we trust expert testimony when we can't verify it? Trust expertise whose conclusions a competent mind can in principle reproduce. 32% Is religious revelation a real source of knowledge? Revelation is evaluable by reason — and not above it. 32% Does an LLM 'know' the things it correctly produces? An LLM can produce correct outputs but not reason to them; useful, not knowing. 32% What happens to "you" when you die? Death is genuinely the end. 30% Could an AI have a mind that matters? No — mind is what a biological brain does, and an LLM has no brain. 30% How is knowledge of reality produced? Through a priori reasoning and conceptual demonstration. 25% Is salvation, liberation, or fulfillment individual or communal?
Information · 4 dilemmas, all mainstream

Films Referencing This Persona (8)

Either directly referenced in the film, or reading the film through one of this persona's top schools.

Experiments Engaging This Persona's Schools

Surface via influence-schools that respond to the experiment. Each entry shows the school through which the connection runs.

Mary's Room
via analytic-metaphysics · Reframes the question
Following late Jackson and representationalists (Tye, Lycan): Mary learns no new fact, only a new first-person mode of presentation of the same physical fact. The …
The Chinese Room
via analytic-metaphysics · Holds it inconclusive
The intuition pump is powerful but not probative: it shows we *can imagine* syntax-without-semantics, not that the imagined scenario is coherent at the scales required …
The Ship of Theseus
via analytic-metaphysics · Reframes the question
Four-dimensionalism (Lewis, Sider): A and B are distinct space-time worms that share an early temporal segment. Each is "Theseus's ship" relative to a different counting …
Plato's Cave
via platonism-classical · Affirms / takes the bait
The founding image: reality is hierarchical; philosophical education is the soul's ascent from shadow to Form.
The Ring of Gyges
via platonism-classical · Affirms / takes the bait
The founding challenge to instrumentalism: Socrates' answer (justice is constitutive of soul-health) sets the agenda for two millennia of ethics.
Hilbert's Hotel
via platonism-classical · Affirms / takes the bait
Actual infinity is mathematically real; Hilbert's hotel correctly describes its properties. The strangeness reflects our finite intuitions, not a defect in the mathematics.
Galileo's Falling Bodies
via rationalism · Affirms / takes the bait
A model of how *a priori* reasoning constrains physics: no experiment is needed because the Aristotelian doctrine is internally incoherent. Mathematics and logic do the …
Descartes' Evil Demon
via rationalism · Affirms / takes the bait
The demon is the methodological scaffolding for the *cogito* and for the reconstructive project of the *Meditations*. The argument is canonical; the reconstruction (via God) …
Buridan's Ass
via rationalism · Denies / rejects the premise
Genuine reasons rarely tie at the level of resolution that matters; the case is artificial. Where ties do occur, indifference and arbitrary selection are themselves …
The Double-Slit Experiment
via multiverse-theory · Reframes the question
Everettian/many-worlds: there is no collapse. Each detection outcome is realised on a separate branch; interference is between amplitudes of branches in which the particle "took" …
Bell Test Experiments
via multiverse-theory · Reframes the question
Everettian: there is no faster-than-light influence because there is no single outcome to influence. Locality is preserved at the level of the branching wavefunction; "non-locality" …
The Delayed-Choice Quantum Eraser
via multiverse-theory · Reframes the question
Everettian readings dissolve the paradox: nothing is "set" at D0 until decoherence selects a branch. There is no retrocausation, only branching correlations; the sorting after …
← #196 Alan Turing All Personas #198 Derek Parfit →