Editing Saul Kripke

{{Short description|American philosopher and logician (1940–2022)}}
{{Infobox philosopher
|region           = [[Western philosophy]]
|era              = [[Contemporary philosophy]]
|image       = Kripke.JPG
|caption     = Kripke in 2005
|name             = Saul Kripke
|birth_date       = {{Birth date|mf=yes|1940|11|13}}
|birth_place      = [[Bay Shore, New York]], U.S.
|death_date        = {{death date and age|2022|9|15|1940|11|13}}
|death_place=[[Plainsboro, New Jersey]], U.S.
|education        = [[Harvard University]] ([[B. A.|BA]])
|institutions     = [[Princeton University]]<br />[[Graduate Center, CUNY|CUNY Graduate Center]]
|school_tradition = [[Analytic philosophy|Analytic]]
|main_interests   = [[Logic]]&nbsp;(particularly [[Modal logic|modal]])<br />[[Philosophy of language]]<br />[[Metaphysics]]<br />[[Set theory]]<br />[[Epistemology]]<br />[[Philosophy of mind]]<br />[[History of analytic philosophy]]
|notable_ideas    = {{collapsible list|
[[Kripke–Platek set theory]]<br/>Work on [[theory of reference]] ([[causal theory of reference]], [[causal-historical theory of reference]],<ref>{{Cite encyclopedia |title=Names |encyclopedia=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |url=https://plato.stanford.edu/archives/fall2016/entries/names/ |last=Cumming |first=Sam |date=March 19, 2013 |editor-last=Zalta |editor-first=Edward N. |edition=Fall 2016 |language=en}}</ref> [[direct reference theory]], criticism of the [[Frege–Russell view]])<br />[[Admissible ordinal]]<br />[[Kripke structure]]<br />[[Rigid designator|Rigid]] vs. [[flaccid designator]]<br />[[A posteriori necessity|''A posteriori'' necessity]]<br />The possibility of [[Analytic–synthetic distinction|analytic ''a posteriori'']] judgments<ref>{{cite journal | last = Palmquist | first = Stephen | journal = The Review of Metaphysics | volume = 41 | issue = 2 | title =''A Priori'' Knowledge in Perspective: (II) Naming, Necessity and the Analytic A Posteriori |date=December 1987 | pages = 255–282 }}</ref><ref>Georg Northoff, ''Minding the Brain: A Guide to Philosophy and Neuroscience'', Palgrave, p. 51.</ref><br />[[Semantic theory of truth]] ([[Kripke's theory of truth|Kripke's theory]])<br />[[Analytic–synthetic distinction|Non-analytic]], ''[[A priori and a posteriori|a posteriori]]'' [[Contingency (philosophy)|necessary]] [[truth]]s<ref>Michael Giudice, ''Understanding the Nature of Law: A Case for Constructive Conceptual Explanation'', Edward Elgar Publishing, 2015, p. 92.</ref><br />[[Contingency (philosophy)|Contingent]] ''[[A priori and a posteriori|a priori]]''<ref>Saul Kripke (1986). "Rigid Designation and the Contingent A Priori: The Meter Stick Revisited" (Notre Dame).</ref><br />[[Kripke semantics]]<br />[[Disquotational principle]]<br />[[Accessibility relation]]<br />[[Rule-following paradox]] ([[Kripkenstein]])<br />[[Humphrey objection]]
}}
|awards           = [[Rolf Schock Prizes]] in Logic and Philosophy (2001)
}}

'''Saul Aaron Kripke''' ({{IPAc-en|ˈ|k|r|ɪ|p|k|i}}; November 13, 1940 – September 15, 2022) was an American [[analytic philosophy|analytic]] [[philosopher]] and [[logician]]. He was Distinguished Professor of Philosophy at the [[Graduate Center of the City University of New York]] and [[emeritus]] professor at [[Princeton University]]. From the 1960s until his death, he was a central figure in a number of fields related to [[mathematical logic|mathematical]] and [[modal logic]], [[philosophy of language]] and [[philosophy of mathematics|mathematics]], [[metaphysics]], [[epistemology]], and [[recursion theory]].

Kripke made influential and original contributions to [[logic]], especially modal logic. His principal contribution is a [[semantics]] for modal logic involving [[possible world]]s, now called [[Kripke semantics]].<ref>Jerry Fodor, "[http://www.lrb.co.uk/v26/n20/jerry-fodor/waters-water-everywhere Water's water everywhere]", ''London Review of Books'', 21 October 2004</ref> He received the 2001 [[Schock Prize]] in Logic and Philosophy.

Kripke was also partly responsible for the revival of [[metaphysics]] and [[Scientific essentialism|essentialism]] after the decline of [[logical positivism]], claiming [[Metaphysical necessity|necessity]] is a metaphysical notion distinct from the [[Epistemology|epistemic]] notion of ''[[a priori and a posteriori|a priori]]'', and that there are [[Logical truth|necessary truths]] that are known ''[[Empirical evidence|a posteriori]]'', such as that [[water]] is H<sub>2</sub>O. A 1970 Princeton lecture series, published in book form in 1980 as ''[[Naming and Necessity]]'', is considered one of the most important philosophical works of the 20th century. It introduced the concept of [[name]]s as [[rigid designator]]s, designating (picking out, denoting, referring to) the same object in every possible world, as contrasted with [[description]]s. It also established Kripke's [[causal theory of reference]], disputing the [[Descriptivist theory of names|descriptivist theory]] found in [[Gottlob Frege]]'s concept of [[Sense and reference|sense]] and [[Bertrand Russell]]'s [[theory of descriptions]]. Kripke is often seen in opposition to the other great late-20th-century philosopher to eschew logical positivism: [[Willard Van Orman Quine|W. V. O. Quine]]. Quine rejected essentialism and modal logic.<ref>[https://ruor.uottawa.ca/bitstream/10393/20002/3/Geelen_Jeremy_2011_thesis.pdf Quine versus Kripke on the Metaphysics of Modality]</ref><ref>[https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1602&context=gc_etds What the Tortoise said to Kripke] by Romina Padro</ref>

Kripke also gave an original reading of [[Ludwig Wittgenstein]], known as "[[Kripkenstein]]", in his ''[[Wittgenstein on Rules and Private Language]]''. The book contains his rule-following argument, a paradox for [[skepticism]] about [[Meaning (philosophy of language)|meaning]]. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts.

==Life and career==
Saul Kripke was the oldest of three children born to [[Dorothy K. Kripke]] and [[Myer S. Kripke]].<ref>{{cite book|last=Kripke|first=Saul|title=Philosophical Troubles: Collected Papers Volume 1|year=2011|publisher=Oxford University Press|location=Oxford|isbn=978-0-19-973015-5|pages=xii}}</ref> His father was the leader of Beth El Synagogue, the only Conservative congregation in [[Omaha]], [[Nebraska]]; his mother wrote [[Jewish]] educational books for children. Saul and his two sisters, [[Madeline Kripke|Madeline]] and Netta, attended Dundee Grade School and [[Omaha Central High School]]. Kripke was labeled a [[Child prodigy|prodigy]], teaching himself [[Biblical Hebrew|Ancient Hebrew]] by the age of six, reading [[William Shakespeare|Shakespeare]]'s complete works by nine, and mastering the works of [[Descartes]] and complex mathematical problems before finishing elementary school.<ref name="Charles McGrath">{{cite news
| url = https://www.nytimes.com/2006/01/28/books/28krip.html?pagewanted=1&ei=5088&en=9b8c06355a8dc486&ex=1296104400&adxnnl=0&partner=rssnyt&emc=rss&adxnnlx=1156068875-xI9kVaL9WqHJhRK5STWHrw
| title = Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?'
| author = Charles McGrath
| work = [[The New York Times]]
| date = 2006-01-28
| access-date = 2008-01-23
}}</ref><ref>''A Companion to Analytic Philosophy (Blackwell Companions to Philosophy)'', by A. P. Martinich (Editor), E. David Sosa (Editor), 38. Saul Kripke (1940–).</ref> He wrote his first completeness theorem in [[modal logic]] at 17, and had it published a year later. After graduating from high school in 1958, Kripke attended [[Harvard University]] and graduated ''[[summa cum laude]]'' in 1962 with a [[bachelor's degree]] in mathematics. During his sophomore year at Harvard, he taught a graduate-level logic course at nearby [[MIT]].<ref>{{cite web| url = https://www.gc.cuny.edu/Faculty/Core-Bios/Saul-Kripke| title = Saul Kripke – The Graduate Center, CUNY| access-date = 2019-08-18| archive-date = 2022-01-19| archive-url = https://web.archive.org/web/20220119200058/https://www.gc.cuny.edu/Faculty/Core-Bios/Saul-Kripke| url-status = dead}}</ref> Upon graduation he received a [[Fulbright Fellowship]], and in 1963 was appointed to the [[Society of Fellows]]. Kripke later said, "I wish I could have skipped college. I got to know some interesting people but I can't say I learned anything. I probably would have learned it all anyway just reading on my own."<ref>{{cite news|url=https://www.nytimes.com/2006/01/28/books/philosopher-65-lectures-not-about-what-am-i-but-what-is-i.html|title=Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?'|first=Charles|last=McGrath|date=January 28, 2006|newspaper=The New York Times}}</ref> His cousin is [[Eric Kripke]], known for creating the television show ''[[The Boys (TV series)|The Boys]]''.<ref>{{Cite web |title=x.com |url=https://twitter.com/therealKripke/status/1801796579474686140 |access-date=2024-06-15 |website=X (formerly Twitter)}}</ref>

After briefly teaching at Harvard, Kripke moved in 1968 to [[Rockefeller University]] in New York City, where he taught until 1976. In 1978 he took a chaired professorship at [[Princeton University]].<ref>{{Cite web|url=https://www.britannica.com/biography/Saul-Kripke|title=Saul Kripke &#124; Life, Philosophy, Works, & Facts &#124; Britannica|website=www.britannica.com|accessdate=13 March 2023}}</ref> In 1988 he received the university's Behrman Award for distinguished achievement in the humanities. In 2002 Kripke began teaching at the [[CUNY Graduate Center]], and in 2003 he was appointed a distinguished professor of philosophy there.

Kripke has received honorary degrees from the [[University of Nebraska]], Omaha (1977), [[Johns Hopkins University]] (1997), [[University of Haifa]], Israel (1998), and the [[University of Pennsylvania]] (2005). He was a member of the [[American Philosophical Society]] and an elected Fellow of the [[American Academy of Arts and Sciences]], and in 1985 was a Corresponding Fellow of the [[British Academy]].<ref>{{Cite web|url=https://www.thebritishacademy.ac.uk/fellows/|title=Fellows of the British Academy|website=The British Academy|accessdate=13 March 2023}}</ref> He won the [[Rolf Schock Prizes|Schock Prize]] in Logic and Philosophy in 2001.<ref>{{cite web | url=http://www.rolfschockprizes.se/en-GB/priset/tidigarepristagare.10.html | title=Kungl. Vetenskapsakademien | access-date=2018-01-07 | archive-date=2018-01-08 | archive-url=https://web.archive.org/web/20180108045340/http://www.rolfschockprizes.se/en-GB/priset/tidigarepristagare.10.html | url-status=dead }}</ref>

Kripke was married to philosopher [[Margaret Gilbert]].

Kripke died of [[pancreatic cancer]] on September 15, 2022, in Plainsboro, New Jersey, at the age of 81.<ref>{{cite web | url=https://saulkripkecenter.org/index.php/2022/09/16/saul-aaron-kripke-1940-2022/ | title=Saul Aaron Kripke (1940-2022) – Saul Kripke Center | date=16 September 2022 }}</ref><ref>{{cite news | url=https://www.nytimes.com/2022/09/21/education/learning/saul-kripke-dead.html | title=Saul Kripke, Philosopher Who Found Truths in Semantics, Dies at 81 | newspaper=The New York Times | date=21 September 2022 | last1=Roberts | first1=Sam }}</ref><ref>{{cite web | url=https://dailynous.com/2022/09/16/saul-kripke-1940-2022/ | title=Saul Kripke (1940-2022) | date=16 September 2022 }}</ref>

==Work==
[[File:LTL model.png|thumb|185px|right|Example Kripke model for [[linear temporal logic]], a particular modal logic]]
Kripke's contributions to philosophy include:

# [[Kripke semantics]] for [[modal logic|modal and related logics]], published in several essays beginning in his teens.
# His 1970 Princeton lectures ''[[Naming and Necessity]]'' (published in 1972 and 1980), which significantly restructured [[philosophy of language]].
# His interpretation of [[Wittgenstein]].
# His theory of [[truth]].

He has also contributed to recursion theory (see [[admissible ordinal]] and [[Kripke–Platek set theory]]).

===Modal logic===
Two of Kripke's earlier works, "A Completeness Theorem in Modal Logic" (1959) <ref>{{cite journal |last1=Kripke |first1=Saul A. |title=A completeness theorem in modal logic |journal=Journal of Symbolic Logic |date=March 1959 |volume=24 |issue=1 |pages=1–14 |doi=10.2307/2964568|jstor=2964568 |s2cid=44300271 }}</ref> and "Semantical Considerations on Modal Logic" (1963), the former written when he was a teenager, were on [[modal logic]]. The most familiar logics in the modal family are constructed from a weak logic called K, named after Kripke. Kripke introduced the now-standard [[Kripke semantics]] (also known as relational semantics or frame semantics) for modal logics. Kripke semantics is a formal semantics for non-classical logic systems. It was first made for modal logics, and later adapted to [[intuitionistic logic]] and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the making of non-classical logics, because the model theory of such logics was absent before Kripke.

A '''Kripke frame''' or '''modal frame''' is a pair <math>\langle W,R\rangle</math>, where ''W'' is a non-empty set, and ''R'' is a [[binary relation]] on ''W''. Elements of ''W'' are called ''nodes'' or ''worlds'', and ''R'' is known as the [[accessibility relation]]. Depending on the properties of the accessibility relation ([[Transitive relation|transitivity]], reflexivity, etc.), the corresponding frame is described, by extension, as being transitive, reflexive, etc.

A '''Kripke model''' is a triple <math>\langle W,R,\Vdash\rangle</math>, where <math>\langle W,R\rangle</math> is a Kripke frame, and [[Turnstile (symbol)|<math>\Vdash</math>]] is a relation between nodes of ''W'' and modal formulas, such that:

* <math>w\Vdash\neg A</math> if and only if <math>w\nVdash A</math>,
* <math>w\Vdash A\to B</math> if and only if <math>w\nVdash A</math> or <math>w\Vdash B</math>,
* <math>w\Vdash\Box A</math> if and only if <math>\forall u\,(w\; R\; u</math> implies <math>u\Vdash A)</math>.

We read <math>w\Vdash A</math> as "''w'' satisfies ''A''", "''A'' is satisfied in ''w''", or "''w'' forces ''A''". The relation <math>\Vdash</math> is called the ''satisfaction relation'', ''evaluation'', or ''[[Forcing (mathematics)|forcing]] relation''. The satisfaction relation is uniquely determined by its value on propositional variables.

A formula ''A'' is '''valid''' in:

* a model <math>\langle W,R,\Vdash\rangle</math>, if <math>w\Vdash A</math> for all ''w''&nbsp;∈&nbsp;''W'',
* a frame <math>\langle W,R\rangle</math>, if it is valid in <math>\langle W,R,\Vdash\rangle</math> for all possible choices of <math>\Vdash</math>,
* a class ''C'' of frames or models, if it is valid in every member of ''C''.

We define Thm(''C'') to be the set of all formulas that are valid in ''C''. Conversely, if ''X'' is a set of formulas, let Mod(''X'') be the class of all frames which validate every formula from ''X''.

A modal logic (i.e., a set of formulas) ''L'' is '''sound''' with respect to a class of frames ''C'', if ''L''&nbsp;⊆&nbsp;Thm(''C''). ''L'' is '''complete''' with respect to ''C'' if ''L''&nbsp;⊇&nbsp;Thm(''C'').

Semantics is useful for investigating a logic (i.e., a derivation system) only if the semantical [[entailment]] relation reflects its syntactical counterpart, the ''consequence'' relation (''derivability''). It is vital to know which modal logics are sound and complete with respect to a class of Kripke frames, and for them, to determine which class it is.

For any class ''C'' of Kripke frames, Thm(''C'') is a [[normal modal logic]] (in particular, theorems of the minimal normal modal logic, ''K'', are valid in every Kripke model). However, the converse does not hold generally. There are Kripke incomplete normal modal logics, which is unproblematic, because most of the modal systems studied are complete of classes of frames described by simple conditions.

A normal modal logic ''L'' '''corresponds''' to a class of frames ''C'', if ''C''&nbsp;=&nbsp;Mod(''L''). In other words, ''C'' is the largest class of frames such that ''L'' is sound wrt ''C''. It follows that ''L'' is Kripke complete if and only if it is complete of its corresponding class.

Consider the schema '''T''' : <math>\Box A\to A</math>. '''T''' is valid in any [[reflexive relation|reflexive]] frame <math>\langle W,R\rangle</math>: if <math>w\Vdash \Box A</math>, then <math>w\Vdash A</math> since ''w''&nbsp;''R''&nbsp;''w''. On the other hand, a frame which validates '''T''' has to be reflexive: fix ''w''&nbsp;∈&nbsp;''W'', and define satisfaction of a propositional variable ''p'' as follows: <math>u\Vdash p</math> if and only if ''w''&nbsp;''R''&nbsp;''u''. Then <math>w\Vdash \Box p</math>, thus <math>w\Vdash p</math> by '''T''', which means ''w''&nbsp;''R''&nbsp;''w'' using the definition of <math>\Vdash</math>. '''T''' corresponds to the class of reflexive Kripke frames.

It is often much easier to characterize the corresponding class of ''L'' than to prove its completeness, thus correspondence serves as a guide to completeness proofs. Correspondence is also used to show ''incompleteness'' of modal logics: suppose ''L''<sub>1</sub>&nbsp;⊆&nbsp;''L''<sub>2</sub> are normal modal logics that correspond to the same class of frames, but ''L''<sub>1</sub> does not prove all theorems of ''L''<sub>2</sub>. Then ''L''<sub>1</sub> is Kripke incomplete. For example, the schema <math>\Box(A\equiv\Box A)\to\Box A</math> generates an incomplete logic, as it corresponds to the same class of frames as '''GL''' (viz. transitive and converse well-founded frames), but does not prove the '''GL'''-[[Tautology (logic)|tautology]] <math>\Box
A\to\Box\Box A</math>.

==== Canonical models ====

For any normal modal logic ''L'', a Kripke model (called the '''canonical model''') can be constructed, which validates precisely the theorems of ''L'', by an adaptation of the standard technique of using [[maximal consistent set]]s as models. Canonical Kripke models play a role similar to the [[Lindenbaum–Tarski algebra]] construction in algebraic semantics.

A set of formulas is ''L''-''consistent'' if no contradiction can be derived from them using the axioms of ''L'', and [[modus ponens]]. A ''maximal L-consistent set'' (an ''L''-''MCS'' for short) is an ''L''-consistent set which has no proper ''L''-consistent superset.

The '''canonical model''' of ''L'' is a Kripke model <math>\langle W,R,\Vdash\rangle</math>, where ''W'' is the set of all ''L''-''MCS'', and the relations ''R'' and <math>\Vdash</math> are as follows:

: <math>X\;R\;Y</math> if and only if for every formula <math>A</math>, if <math>\Box A\in X</math> then <math>A\in Y</math>,
: <math>X\Vdash A</math> if and only if <math>A\in X</math>.

The canonical model is a model of ''L'', as every ''L''-''MCS'' contains all theorems of ''L''. By [[Zorn's lemma]], each ''L''-consistent set is contained in an ''L''-''MCS'', in particular every formula unprovable in ''L'' has a counterexample in the canonical model.

The main application of canonical models are completeness proofs. Properties of the canonical model of '''K''' immediately imply completeness of '''K''' with respect to the class of all Kripke frames. This argument does ''not'' work for arbitrary ''L'', because there is no guarantee that the underlying ''frame'' of the canonical model satisfies the frame conditions of ''L''.

We say that a formula or a set ''X'' of formulas is '''canonical''' with respect to a property ''P'' of Kripke frames, if

* ''X'' is valid in every frame which satisfies ''P'',
* for any normal modal logic ''L'' which contains ''X'', the underlying frame of the canonical model of ''L'' satisfies ''P''.

A union of canonical sets of formulas is itself canonical. It follows from the preceding discussion that any logic axiomatized by a canonical set of formulas is Kripke complete, and [[compactness theorem|compact]].

The axioms T, 4, D, B, 5, H, G (and thus any combination of them) are canonical. GL and Grz are not canonical, because they are not compact. The axiom M by itself is not canonical ([[Robert Goldblatt|Goldblatt]], 1991), but the combined logic '''S4.1''' (in fact, even '''K4.1''') is canonical.

In general, it is [[decision problem|undecidable]] whether a given axiom is canonical. We know a nice sufficient condition: H. Sahlqvist identified a broad class of formulas (now called [[Sahlqvist formula]]s) such that:

* a Sahlqvist formula is canonical,
* the class of frames corresponding to a Sahlqvist formula is [[first-order logic|first-order]] definable,
* there is an algorithm which computes the corresponding frame condition to a given Sahlqvist formula.

This is a powerful criterion: for example, all axioms listed above as canonical are (equivalent to) Sahlqvist formulas. A logic has the [[finite model property]] (FMP) if it is complete with respect to a class of finite frames. An application of this notion is the decidability question: it follows from Post's theorem that a recursively axiomatized modal logic L which has FMP is decidable, provided it is decidable whether a given finite frame is a model of L. In particular, every finitely axiomatizable logic with FMP is decidable.

There are various methods for establishing FMP for a given logic. Refinements and extensions of the canonical model construction often work, using tools such as filtration or unravelling. As another possibility, completeness proofs based on cut-free sequent calculi usually produce finite models directly.

Most of the modal systems used in practice (including all listed above) have FMP.

In some cases, we can use FMP to prove Kripke completeness of a logic: every normal modal logic is complete wrt a class of modal algebras, and a finite modal algebra can be transformed into a Kripke frame. As an example, Robert Bull proved using this method that every normal extension of S4.3 has FMP, and is Kripke complete.

Kripke semantics has a straightforward generalization to logics with more than one modality. A Kripke frame for a language with
<math>\{\Box_i\mid\,i\in I\}</math> as the set of its necessity operators consists of a non-empty set ''W'' equipped with binary relations ''R<sub>i</sub>'' for each ''i''&nbsp;∈&nbsp;''I''. The definition of a satisfaction relation is modified as follows:

: <math>w\Vdash\Box_i A</math> if and only if <math>\forall u\,(w\;R_i\;u\Rightarrow u\Vdash A).</math>

==== Carlson models ====

A simplified semantics, discovered by Tim Carlson, is often used for polymodal [[provability logic]]s.<ref>{{cite journal |last1=Carlson |first1=Tim |title=Modal logics with several operators and provability interpretations |journal=[[Israel Journal of Mathematics]] |date=February 1986 |volume=54 |issue=1 |pages=14–24 |doi=10.1007/BF02764872 |doi-access= |mr=852465|s2cid=120461106 }}</ref> A '''Carlson model''' is a structure <math>\langle W,R,\{D_i\}_{i\in I},\Vdash\rangle</math> with a single accessibility relation ''R'', and subsets ''D<sub>i</sub>''&nbsp;⊆&nbsp;''W'' for each modality. Satisfaction is defined as:

: <math>w\Vdash\Box_i A</math> if and only if <math>\forall u\in D_i\,(w\;R\;u\Rightarrow u\Vdash A).</math>

Carlson models are easier to visualize and to work with than usual polymodal Kripke models; there are, however, Kripke complete polymodal logics which are Carlson incomplete.

In ''Semantical Considerations on Modal Logic'', published in 1963, Kripke responded to a difficulty with classical [[quantification theory]]. The motivation for the world-relative approach was to represent the possibility that objects in one world may fail to exist in another. But if standard quantifier rules are used, every term must refer to something that exists in all the possible worlds. This seems incompatible with our ordinary practice of using terms to refer to things that exist contingently.

Kripke's response to this difficulty was to eliminate terms. He gave an example of a system that uses the world-relative interpretation and preserves the classical rules. But the costs are severe. First, his language is artificially impoverished, and second, the rules for the propositional modal logic must be weakened.

Kripke's possible worlds theory has been used by narratologists (beginning with Pavel and Dolezel) to understand "reader's manipulation of alternative plot developments, or the characters' planned or fantasized alternative action series." This application has become especially useful in the analysis of [[hyperfiction]].<ref>Fludernik, Monika. "Histories of Narrative Theory: From Structuralism to Present." ''A Companion to Narrative Theory.'' Ed. Phelan and Rabinowitz. Blackwell Publishing, MA:2005.</ref>

===Intuitionistic logic===
Kripke semantics for [[intuitionistic logic]] follows the same principles as the semantics of modal logic, but uses a different definition of satisfaction.

An '''intuitionistic Kripke model''' is a triple
<math>\langle W,\le,\Vdash\rangle</math>, where <math>\langle W,\le\rangle</math> is a [[partially ordered set|partially ordered]] Kripke frame, and <math>\Vdash</math> satisfies the following conditions:
* if ''p'' is a propositional variable, <math>w\le u</math>, and <math>w\Vdash p</math>, then <math>u\Vdash p</math> (''persistency'' condition),
* <math>w\Vdash A\land B</math> if and only if <math>w\Vdash A</math> and <math>w\Vdash B</math>,
* <math>w\Vdash A\lor B</math> if and only if <math>w\Vdash A</math> or <math>w\Vdash B</math>,
* <math>w\Vdash A\to B</math> if and only if for all <math>u\ge w</math>, <math>u\Vdash A</math> implies <math>u\Vdash B</math>,
* not <math>w\Vdash\bot</math>.

Intuitionistic logic is sound and complete with respect to its Kripke semantics, and it has the Finite Model Property.

'''Intuitionistic first-order logic'''

Let ''L'' be a [[first-order logic|first-order]] language. A Kripke model of ''L'' is a triple
<math>\langle W,\le,\{M_w\}_{w\in W}\rangle</math>, where
<math>\langle W,\le\rangle</math> is an intuitionistic Kripke frame, ''M<sub>w</sub>'' is a
(classical) ''L''-structure for each node ''w''&nbsp;∈&nbsp;''W'', and the following compatibility conditions hold whenever ''u''&nbsp;≤&nbsp;''v'':
* the domain of ''M<sub>u</sub>'' is included in the domain of ''M<sub>v</sub>'',
* realizations of function symbols in ''M<sub>u</sub>'' and ''M<sub>v</sub>'' agree on elements of ''M<sub>u</sub>'',
* for each ''n''-ary predicate ''P'' and elements ''a''<sub>1</sub>,...,''a<sub>n</sub>''&nbsp;∈&nbsp;''M<sub>u</sub>'': if ''P''(''a''<sub>1</sub>,...,''a<sub>n</sub>'') holds in ''M<sub>u</sub>'', then it holds in ''M<sub>v</sub>''.
Given an evaluation ''e'' of variables by elements of ''M<sub>w</sub>'', we define the satisfaction relation <math>w\Vdash A[e]</math>:
* <math>w\Vdash P(t_1,\dots,t_n)[e]</math> if and only if <math>P(t_1[e],\dots,t_n[e])</math> holds in ''M<sub>w</sub>'',
* <math>w\Vdash(A\land B)[e]</math> if and only if <math>w\Vdash A[e]</math> and <math>w\Vdash B[e]</math>,
* <math>w\Vdash(A\lor B)[e]</math> if and only if <math>w\Vdash A[e]</math> or <math>w\Vdash B[e]</math>,
* <math>w\Vdash(A\to B)[e]</math> if and only if for all <math>u\ge w</math>, <math>u\Vdash A[e]</math> implies <math>u\Vdash B[e]</math>,
* not <math>w\Vdash\bot[e]</math>,
* <math>w\Vdash(\exists x\,A)[e]</math> if and only if there exists an <math>a\in M_w</math> such that <math>w\Vdash A[e(x\to a)]</math>,
* <math>w\Vdash(\forall x\,A)[e]</math> if and only if for every <math>u\ge w</math> and every <math>a\in M_u</math>, <math>u\Vdash A[e(x\to a)]</math>.
Here ''e''(''x''→''a'') is the evaluation which gives ''x'' the value ''a'', and otherwise agrees with ''e''.

===''Naming and Necessity''===

{{main|Naming and Necessity}}
[[File:Naming and Necessity.jpg|thumb|Cover of ''[[Naming and Necessity]]'' ]]
The three lectures that form ''[[Naming and Necessity]]'' constitute an attack on the [[descriptivist theory of names]]. Kripke attributes variants of descriptivist theories to [[Gottlob Frege|Frege]], [[Bertrand Russell|Russell]], [[Ludwig Wittgenstein|Wittgenstein]], and [[John Searle]], among others. According to descriptivist theories, proper names either are synonymous with descriptions, or have their reference determined by virtue of the name's being associated with a description or cluster of descriptions that an object uniquely satisfies. Kripke rejects both these kinds of descriptivism. He gives several examples purporting to render [[Descriptivist theory of names|descriptivism]] implausible as a theory of how names get their references determined (e.g., surely [[Aristotle]] could have died at age two and so not satisfied any of the descriptions we associate with his name, but it would seem wrong to deny that he was still Aristotle).

As an alternative, Kripke outlined a [[Causal theory of names|causal theory of reference]], according to which a name refers to an object by virtue of a causal connection with the object as mediated through communities of speakers. He points out that proper names, in contrast to most descriptions, are [[rigid designation|rigid designators]]: that is, a proper name refers to the named object in every [[possible worlds|possible world]] in which the object exists, while most descriptions designate different objects in different possible worlds. For example, "Richard Nixon" refers to the same person in every possible world in which Nixon exists, while "the person who won the [[1968 United States presidential election|United States presidential election of 1968"]] could refer to [[Richard Nixon|Nixon]], Humphrey, or others in different possible worlds.

Kripke also raised the prospect of ''[[A Posteriori Necessity|a posteriori necessities]]''—facts that are [[necessarily true]], though they can be known only through empirical investigation. Examples include "[[Hesperus]] is [[Phosphorus (morning star)|Phosphorus]]", "[[Cicero]] is [[Cicero|Tully]]", "Water is H<sub>2</sub>O", and other identity claims where two names refer to the same object. According to Kripke, the Kantian distinctions between analytic and synthetic, ''a priori'' and ''a posteriori'', and contingent and necessary do not map onto one another. Rather, analytic/synthetic is a semantic distinction, ''a priori''/''a posteriori'' is an epistemic distinction, and contingent/necessary is a metaphysical distinction.

Finally, Kripke gave an argument against [[physicalism|identity materialism]] in the [[philosophy of mind]], the view that every mental particular is identical with some physical particular. Kripke argued that the only way to defend this identity is as an ''a posteriori'' necessary identity, but that such an identity—e.g., that pain is [[C fiber|C-fibers]] firing—could not be necessary, given the (clearly conceivable) possibility that pain could be separate from the firing of C-fibers, or the firing of C-fibers be separate from pain. (Similar arguments have since been made by [[David Chalmers]].<ref>Chalmers, David. 1996. ''The Conscious Mind.'' [[Oxford University Press]] pp. 146–9.</ref>) In any event, the psychophysical identity theorist, according to Kripke, incurs a dialectical obligation to explain the apparent logical possibility of these circumstances, since according to such theorists they should be impossible.

Kripke delivered the [[John Locke Lectures]] in philosophy at [[Oxford]] in 1973. Titled ''Reference and Existence'', they were in many respects a continuation of ''Naming and Necessity'', and deal with the subjects of fictional names and perceptual error. In 2013 Oxford University Press published the lectures as a book, also titled ''Reference and Existence''.

In a 1995 paper, philosopher [[Quentin Smith]] argued that key concepts in Kripke's new theory of reference originated in the work of [[Ruth Barcan Marcus]] more than a decade earlier.<ref>{{cite journal | last=Smith | first=Quentin | date=2 August 2001 | title=Marcus, Kripke, and the Origin of the New Theory of Reference | journal=Synthese | volume=104 | issue=2 | pages=179–189 | url=http://www.qsmithwmu.com/marcus,_kripke,_and_the_origin_of_the_new_theory_of_reference.htm | archive-url=https://web.archive.org/web/20070610092511/http://www.qsmithwmu.com/marcus,_kripke,_and_the_origin_of_the_new_theory_of_reference.htm | url-status=dead | archive-date=10 June 2007 | access-date=2007-05-28 | doi=10.1007/BF01063869 | s2cid=44151212 }}</ref> Smith identified six significant ideas in the New Theory that he claimed Marcus had developed: (1) that proper names are direct references that do not consist of contained definitions; (2) that while one can single out a single thing by a description, this description is not equivalent to a proper name of this thing; (3) the modal argument that proper names are directly referential, and not disguised descriptions; (4) a formal modal logic proof of the [[necessity of identity]]; (5) the concept of a [[rigid designator]], though Kripke coined that term; and (6) ''a posteriori'' identity. Smith argued that Kripke failed to understand Marcus's theory at the time but later adopted many of its key conceptual themes in his New Theory of Reference.

Other scholars have subsequently offered detailed responses arguing that no plagiarism occurred.<ref>{{cite journal |url=http://web.gc.cuny.edu/Philosophy/faculty/neale/papers/NealeKripke.pdf |archive-url=https://web.archive.org/web/20100714235537/http://web.gc.cuny.edu/Philosophy/faculty/neale/papers/NealeKripke.pdf |url-status=dead |archive-date=14 July 2010 | author=Stephen Neale | author-link=Stephen Neale |title=No Plagiarism Here | journal=[[Times Literary Supplement]] | pages=12–13 | date = 9 February 2001 | access-date = 2009-11-13 |format =.PDF |doi=10.1007/BF01063869 |volume=104 |issue=2|s2cid=44151212 }}</ref><ref>John Burgess, "Marcus, Kripke, and Names" ''Philosophical Studies'', 84: 1, pp. 1–47.</ref>

===="A Puzzle about Belief"====
{{further|disquotational theory of truth}}
In ''Naming and Necessity'', Kripke argues for [[direct reference theory]] (that the meaning of a name is simply the object it refers to). Nevertheless, he acknowledges the possibility that propositions containing names may have some additional semantic properties,<ref>Kripke, 1980, p. 20</ref> properties that could explain why two names referring to the same person may give different [[truth value]]s in propositions about beliefs. For example, Lois Lane believes that Superman can fly, although she does not believe that Clark Kent can fly. According to the [[mediated reference theory]] of names, this is explained by the fact that the names "Superman" and "Clark Kent", though referring to the same person, have distinct semantic properties.

But in his article "A Puzzle about Belief" (1988) Kripke seems to oppose even this possibility. His argument can be reconstructed as follows: The idea that two names referring to the same object may have different semantic properties is supposed to explain the fact that the intersubstitution of [[Coreference|coreferring]] names in propositions about beliefs can alter truth value (as in Lois Lane's case). But the same phenomenon occurs even without the intersubstitution of coreferring names: Kripke invites us to imagine a French, monolingual boy, Pierre, who believes the proposition expressed by "''Londres est jolie''" ("London is beautiful"). Pierre moves to London without realizing that London = Londres. He then learns English the same way a child would learn the language, that is, not by translating words from French to English. Pierre learns the name "London" from the unattractive part of the city where he lives, and so comes to believe that London is not beautiful. Pierre will now assent to the sentences "Londres est jolie" and "London is not beautiful". With only translation and disquotation, the puzzle can be generated: Pierre both believes that London is pretty and doesn't believe that London is pretty. This paradox arises without making use of intersubstitution of coreferring names. Kripke shows later in the article how this puzzle can be generated ''within a single language'', using only disquotation. The upshot of this, according to Kripke, is that intersubstitution of coreferring names cannot be blamed for the difficulty created by belief contexts. If this is right, contra proponents of mediated reference theory, the inconsistency of belief contexts involving coreferring names cannot be taken as evidence against his direct reference theory of names.

===Wittgenstein===
{{more citations needed|date=August 2017}}
First published in 1982, Kripke's ''[[Wittgenstein on Rules and Private Language]]'' contends that the central argument of [[Wittgenstein]]'s ''[[Philosophical Investigations]]'' centers on a devastating [[rule-following paradox]] that undermines the possibility of our ever following rules in our use of language. Kripke writes that this paradox is "the most radical and original skeptical problem that philosophy has seen to date", and that Wittgenstein does not reject the argument that leads to the rule-following paradox, but accepts it and offers a "skeptical solution" to ameliorate the paradox's destructive effects.

Most commentators accept that ''Philosophical Investigations'' contains the rule-following paradox as Kripke presents it, but few have agreed with his attributing a skeptical solution to Wittgenstein. Kripke himself expresses doubts in ''Wittgenstein on Rules and Private Language'' as to whether Wittgenstein would endorse his interpretation of ''Philosophical Investigations.'' He says that the work should not be read as an attempt to give an accurate statement of Wittgenstein's views, but rather as an account of Wittgenstein's argument "as it struck Kripke, as it presented a problem for him".

The portmanteau "Kripkenstein" has been coined for Kripke's interpretation of ''Philosophical Investigations''. Kripkenstein's main significance was a clear statement of a new kind of skepticism, dubbed "meaning skepticism": the idea that for isolated individuals there is no fact in virtue of which they mean one thing rather than another by the use of a word. Kripke's "skeptical solution" to meaning skepticism is to ground meaning in the behavior of a community.

Kripke's book generated a large secondary literature, divided between those who find his skeptical problem interesting and perceptive, and others, such as [[Gordon Baker]], [[Peter Hacker]], and [[Colin McGinn]], who argue that his meaning skepticism is a pseudo-problem that stems from a confused, selective reading of Wittgenstein. Kripke's position has been defended against these and other attacks by the Cambridge philosopher [[Martin Kusch]], and Wittgenstein scholar David G. Stern considers Kripke's book "the most influential and widely discussed" work on Wittgenstein since the 1980s.<ref>Stern, David G. 2006. ''Wittgenstein's Philosophical Investigations: An Introduction''. Cambridge University Press. p. 2</ref>

===Truth===
In his 1975 article "Outline of a Theory of Truth", Kripke showed that a language can consistently contain its own [[truth]] predicate, something deemed impossible by [[Alfred Tarski]], a pioneer in formal theories of truth. The approach involves letting truth be a partially defined property over the set of grammatically well-formed sentences in the language. Kripke showed how to do this recursively by starting from the set of expressions in a language that do not contain the truth predicate, and defining a truth predicate over just that segment: this action adds new sentences to the language, and truth is in turn defined for all of them. Unlike Tarski's approach, however, Kripke's lets "truth" be the union of all of these definition-stages; after a denumerable infinity of steps the language reaches a "fixed point" such that using Kripke's method to expand the truth-predicate does not change the language any further. Such a fixed point can then be taken as the basic form of a natural language containing its own truth predicate. But this predicate is undefined for any sentences that do not, so to speak, "bottom out" in simpler sentences not containing a truth predicate. That is, " 'Snow is white' is true" is well-defined, as is " ' "Snow is white" is true' is true," and so forth, but neither "This sentence is true" nor "This sentence is not true" receive truth-conditions; they are, in Kripke's terms, "ungrounded."
[[File:Saul Kripke's Gödel lecture at UCSB.jpg|thumb|227x227px|Saul Kripke gives a lecture about [[Gödel's incompleteness theorems|Gödel]] at the [[University of California, Santa Barbara]].]]
[[Gödel's first incompleteness theorem]] demonstrates that self-reference cannot be avoided naively, since propositions about seemingly unrelated objects (such as integers) can have an informal self-referential meaning, and this idea – manifested by the [[diagonal lemma]] – is the basis for [[Tarski's undefinability theorem|Tarski's theorem]] that truth cannot be consistently defined. But Kripke's truth predicate does not give a truth value (true/false) to propositions such as the one built in Tarski's proof, since it is provable by [[Mathematical Induction|induction]] that it is undefined at stage <math>n</math> for every finite <math>n</math>.

Kripke's proposal is problematic in the sense that while the language contains a "truth" predicate of itself (at least a partial one), some of its sentences – such as the liar sentence ("this sentence is false") – have an undefined truth value, but the language does not contain its own "undefined" predicate. In fact it cannot, as that would create a new version of the [[liar paradox]], the ''strengthened liar paradox'' ("this sentence is false or undefined"). Thus while the liar sentence is undefined in the language, the language cannot express that it is undefined.<ref>{{Cite encyclopedia |title=Self-Reference |encyclopedia=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |url=https://plato.stanford.edu/archives/fall2017/entries/self-reference/ |last=Bolander |first=Thomas |date=August 31, 2017 |editor-last=Zalta |editor-first=Edward N. |edition=Fall 2017 |language=en}}</ref>

==Saul Kripke Center==

The Saul Kripke Center at the [[Graduate Center of the City University of New York]] is dedicated to preserving and promoting Kripke's work. Its director is Romina Padro. The Saul Kripke Center holds events related to Kripke's work and is creating a digital archive of previously unpublished recordings of Kripke's lectures, lecture notes, and correspondence dating back to the 1950s.<ref>[https://kripkecenter.commons.gc.cuny.edu/ Saul Kripke Center website]: Most of these recordings and lecture notes were created by [[Nathan Salmon]] while he was a student and, later, a colleague of Kripke's.</ref> In his favorable review of Kripke's ''Philosophical Troubles'', the philosopher Mark Crimmins wrote, "That four of the most admired and discussed essays in 1970s philosophy are here is enough to make this first volume of Saul Kripke's collected articles a must-have... The reader's delight will grow as hints are dropped that there is a great deal more to come in this series being prepared by Kripke and an ace team of philosopher-editors at the Saul Kripke Center at The Graduate Center of the City University of New York."<ref>{{cite journal|url=http://ndpr.nd.edu/news/43850-philosophical-troubles-collected-papers-volume-1|title=Review of Philosophical Troubles: Collected Papers, Volume 1|first=Mark|last=Crimmins|date=30 October 2013|journal=Notre Dame Philosophical Reviews}}</ref>

==Works==

* ''[[Naming and Necessity]]''. Cambridge, Mass.: Harvard University Press, 1972. {{ISBN|0-674-59845-8}}
* ''[[Wittgenstein on Rules and Private Language|Wittgenstein on Rules and Private Language: an Elementary Exposition]]''. Cambridge, Mass.: Harvard University Press, 1982. {{ISBN|0-674-95401-7}}. 
* ''Philosophical Troubles. Collected Papers Vol. 1''. New York: Oxford University Press, 2011. {{ISBN|9780199730155}}
* ''[[Reference and Existence – The John Locke Lectures]]''. New York: Oxford University Press, 2013. {{ISBN|9780199928385}}

==Awards and recognition==

*[[Fulbright Scholar]] (1962–1963)
*[[Society of Fellows]], [[Harvard University]] (1963–1966).
*Doctor of Humane Letters, honorary degree, [[University of Nebraska]], 1977.
*Fellow, [[American Academy of Arts and Sciences]] (1978–).
*Corresponding Fellow, [[British Academy]] (1985–).
*Howard Behrman Award, [[Princeton University]], 1988.
*Fellow, Academia Scientiarum et Artium Europaea (1993–).
*Doctor of Humane Letters, honorary degree, [[Johns Hopkins University]], 1997.
*Doctor of Humane Letters, honorary degree, [[University of Haifa]], Israel, 1998.
*Fellow, Norwegian Academy of Sciences (2000–).
*[[Schock Prize]] in Logic and Philosophy, [[Swedish Academy of Sciences]], 2001.
*Doctor of Humane Letters, honorary degree, [[University of Pennsylvania]], 2005.
*Fellow, [[American Philosophical Society]] (2005–).

==See also==
{{Portal|Philosophy}}
* [[American philosophy]]
* [[List of American philosophers]]
* [[Barry Kripke]] (a character on ''[[The Big Bang Theory]]'' who is believed to be named after Saul)<ref>{{Cite web|last=Davies|first=Alex|date=2019-11-13|title=Big Bang Theory: Who is Barry Kripke really named after? Real-life inspiration revealed|url=https://www.express.co.uk/showbiz/tv-radio/1203017/Big-Bang-Theory-Barry-Kripke-name-inspiration-Saul-Eric-Kripke|access-date=2022-01-23|website=Express.co.uk|language=en}}</ref>

==References==
{{Reflist}}

==Further reading==
* [[Arif Ahmed (philosopher)|Arif Ahmed]] (2007), ''Saul Kripke''. New York, NY; London: Continuum. {{ISBN|0-8264-9262-2}}.
* Alan Berger (editor) (2011) ''Saul Kripke.'' {{ISBN|978-0-521-85826-7}}.
* Jonathan Berg (2014) ''Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke''. {{ISBN|9781137400932}}
* [[Taylor Branch]] (August 14, 1977), "[https://www.nytimes.com/1977/08/14/archives/new-frontiers-in-american-philosophy-philosophy.html New Frontiers in American Philosophy]". ''The New York Times Magazine''.
* John Burgess (2013), ''Saul Kripke: Puzzles and Mysteries.'' {{ISBN|978-0-7456-5284-9}}.
* G. W. Fitch (2005), ''Saul Kripke''. {{ISBN|0-7735-2885-7}}.
* Christopher Hughes (2004), ''Kripke : Names, Necessity, and Identity''. {{ISBN|0-19-824107-0}}.
* Paul W. Humphreys and James H. Fetzer (editors) (1998) ''The New Theory of Reference: Kripke, Marcus, and Its Origins'' {{ISBN|978-0-7923-4898-6}}
* Martin Kusch (2006), ''A Sceptical Guide to Meaning and Rules: Defending Kripke's Wittgenstein''. Acumben: Publishing Limited.
* [[Colin McGinn]] (1984), ''Wittgenstein on Meaning''. {{ISBN|0631137645}} {{ISBN|978-0631137641}}.
* Harold Noonan (2013), ''Routledge Philosophy Guidebook to Kripke and Naming and Necessity''. {{ISBN|978-1135105167}}
* Christopher Norris (2007), ''Fiction, Philosophy and Literary Theory: Will the Real Saul Kripke Please Stand Up?'' London: Continuum
* Consuelo Preti (2002), ''On Kripke''. Wadsworth. {{ISBN|0-534-58366-0}}.
* [[Nathan Salmon]] (1981), ''Reference and Essence''. {{ISBN|1-59102-215-0}} {{ISBN|978-1591022152}}.
* [[Scott Soames]] (2002), ''Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity''. {{ISBN|0-19-514529-1}}.

==External links==
{{Wikiquote}}
{{Commons category|Saul Kripke}}
* [https://kripkecenter.commons.gc.cuny.edu/papers-and-abstracts/ Saul Kripke's papers and abstracts]
* [http://web.gc.cuny.edu/philosophy/people/kripke.html CUNY Graduate Center Philosophy Department faculty page] {{Webarchive|url=https://web.archive.org/web/20090930190953/http://web.gc.cuny.edu/Philosophy/people/kripke.html |date=2009-09-30 }}
* [http://philosophy.commons.gc.cuny.edu/category/faculty/kripke/ Saul Kripke's archive on the CUNY Philosophy Commons]
* [http://philosophy.commons.gc.cuny.edu/john-burgess-kripke-center-lecture-the-origin-of-necessity-and-the-necessity-of-origin/ Second Annual Saul Kripke Lecture by John Burgess on the Necessity of Origin at the CUNY Graduate Center, November 13, 2012]
* {{MathGenealogy|id=13743}}
* [http://goinside.com/2001/02/25/saul-kripke-genius-logician/ "Saul Kripke, Genius Logician"], a short, non-technical interview by Andreas Saugstad, February 25, 2001.
* [http://web.gc.cuny.edu/philosophy/events/kripke_conference.htm The conference in honor of Kripke's sixty-fifth birthday] with a video of his speech "The First Person", January 25–26, 2006
* [https://web.archive.org/web/20080922181235/http://www.vanleer.org.il/eng/videoShow.asp?id=317 Video of his talk "From Church's Thesis to the First Order Algorithm Theorem,"] June 13, 2006.
* [http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast of his talk "Unrestricted Exportation and Some Morals for the Philosophy of Language,"] {{Webarchive|url=https://web.archive.org/web/20151125182007/http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 |date=2015-11-25 }} May 21, 2008.
* [http://www.lrb.co.uk/v26/n20/fodo01_.html London Review of Books article by Jerry Fodor discussing Kripke's work] {{Webarchive|url=https://web.archive.org/web/20090416131652/http://www.lrb.co.uk/v26/n20/fodo01_.html |date=2009-04-16 }}
* [http://www.nysun.com/article/26585 Celebrating CUNY's Genius Philosopher], by Gary Shapiro, January 27, 2006, in [[The New York Sun]].
* {{usurped|1=[https://web.archive.org/web/20111224042922/http://www.wisdomsupreme.com/dictionary/saul-kripke.php information from 'Wisdom Supreme' website]}}
* [https://www.nytimes.com/2006/01/28/books/28krip.html A New York Times article about his 65th birthday]
* [http://hardproblem.ru/events/a-round-table-with-scott-soames-on-argument-on-pain/ Roundtable on Kripke's critique of mind-body identity with Scott Soames as the main presenter] May 26, 2010.

{{Analytic philosophy}}

{{Metaphysics}}
{{Epistemology}}
{{Philosophy of language}}
{{Schock Prize laureates}}
{{Ludwig Wittgenstein}}

{{Authority control}}

{{DEFAULTSORT:Kripke, Saul}}
[[Category:1940 births]]
[[Category:2022 deaths]]
[[Category:20th-century American philosophers]]
[[Category:21st-century American philosophers]]
[[Category:American male non-fiction writers]]
[[Category:American people of Lithuanian-Jewish descent]]
[[Category:Philosophers from New York (state)]]
[[Category:American metaphysics writers]]
[[Category:Analytic philosophers]]
[[Category:Harvard University alumni]]
[[Category:Princeton University faculty]]
[[Category:Jewish American academics]]
[[Category:Jewish American non-fiction writers]]
[[Category:Jewish philosophers]]
[[Category:Kripke family]]
[[Category:Members of the European Academy of Sciences and Arts]]
[[Category:Members of the Norwegian Academy of Science and Letters]]
[[Category:American metaphysicians]]
[[Category:Modal logicians]]
[[Category:People from Bay Shore, New York]]
[[Category:Writers from Omaha, Nebraska]]
[[Category:American philosophers of language]]
[[Category:American philosophers of mind]]
[[Category:American philosophers of logic]]
[[Category:Rolf Schock Prize laureates]]
[[Category:Philosophers from Nebraska]]
[[Category:Set theorists]]
[[Category:Corresponding fellows of the British Academy]]
[[Category:Mathematicians from New York (state)]]
[[Category:Omaha Central High School alumni]]
[[Category:Wittgensteinian philosophers]]
[[Category:Deaths from pancreatic cancer in New Jersey]]
[[Category:Jews from Nebraska]]
[[Category:Jews from New York (state)]]
[[Category:Members of the American Philosophical Society]]