Saul Kripke
E58260
Saul Kripke was an American philosopher and logician renowned for his groundbreaking work in modal logic, the philosophy of language, and metaphysics, particularly his theories of naming and necessity.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Saul Kripke canonical | 28 |
How this entity was disambiguated
This entity first appeared as the object of triple T429763 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Saul Kripke Context triple: [Ludwig Wittgenstein, influenced, Saul Kripke]
-
A.
Willard Van Orman Quine
Willard Van Orman Quine was a 20th-century American analytic philosopher and logician known for his work on ontological relativity, the indeterminacy of translation, and the critique of the analytic–synthetic distinction.
-
B.
Michael Dummett
Michael Dummett was a British philosopher renowned for his work in the philosophy of language, logic, and mathematics, and for his influential interpretations of analytic philosophy.
-
C.
Rudolf Carnap
Rudolf Carnap was a leading 20th-century philosopher and key figure in logical positivism, known for his work on the philosophy of science, logic, and the logical analysis of language.
-
D.
Ludwig Wittgenstein
Ludwig Wittgenstein was a 20th-century Austrian-British philosopher whose groundbreaking work in logic, language, and the philosophy of mind profoundly shaped analytic philosophy.
-
E.
Kurt Gödel
Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Saul Kripke Target entity description: Saul Kripke was an American philosopher and logician renowned for his groundbreaking work in modal logic, the philosophy of language, and metaphysics, particularly his theories of naming and necessity.
-
A.
Willard Van Orman Quine
Willard Van Orman Quine was a 20th-century American analytic philosopher and logician known for his work on ontological relativity, the indeterminacy of translation, and the critique of the analytic–synthetic distinction.
-
B.
Michael Dummett
Michael Dummett was a British philosopher renowned for his work in the philosophy of language, logic, and mathematics, and for his influential interpretations of analytic philosophy.
-
C.
Rudolf Carnap
Rudolf Carnap was a leading 20th-century philosopher and key figure in logical positivism, known for his work on the philosophy of science, logic, and the logical analysis of language.
-
D.
Ludwig Wittgenstein
Ludwig Wittgenstein was a 20th-century Austrian-British philosopher whose groundbreaking work in logic, language, and the philosophy of mind profoundly shaped analytic philosophy.
-
E.
Kurt Gödel
Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
- F. None of above. chosen
Statements (55)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ philosopher ⓘ university teacher ⓘ writer ⓘ |
| academicDegree | Bachelor of Arts ⓘ |
| awardReceived |
Schock Prize in Logic and Philosophy
ⓘ
surface form:
Rolf Schock Prize in Logic and Philosophy
Rolf Schock Prizes ⓘ
surface form:
Schock Prize (1993)
|
| countryOfCitizenship | United States of America ⓘ |
| dateOfBirth | 1940-11-13 ⓘ |
| dateOfDeath | 2022-09-15 ⓘ |
| educatedAt | Harvard University ⓘ |
| employer |
City University of New York
ⓘ
Princeton University ⓘ Princeton University Press ⓘ
surface form:
Princeton University Press (as author)
Rockefeller University ⓘ |
| familyName |
Kripke fixed-point theory of truth
ⓘ
surface form:
Kripke
|
| fieldOfWork |
logic
ⓘ
metaphysics ⓘ modal logic ⓘ philosophy ⓘ philosophy of language ⓘ philosophy of mind ⓘ |
| givenName | Saul ⓘ |
| influenced |
David Kaplan
ⓘ
Hilary Putnam ⓘ Kit Fine ⓘ Timothy Williamson ⓘ |
| influencedBy |
Gottlob Frege
ⓘ
Ludwig Wittgenstein ⓘ Saul A. Kripke’s parents (rabbinic background) ⓘ |
| knownFor |
Kripke fixed-point theory of truth
ⓘ
surface form:
Kripke semantics
causal theory of reference ⓘ contingent a priori truths ⓘ interpretation of Wittgenstein ⓘ necessary a posteriori truths ⓘ rigid designators ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf |
American Academy of Arts and Sciences
ⓘ
British Academy ⓘ |
| nativeLanguage | English ⓘ |
| notableWork |
Semantical Considerations on Modal Logic
ⓘ
surface form:
A Completeness Theorem in Modal Logic
Semantical Considerations on Modal Logic ⓘ
surface form:
A Semantical Analysis of Modal Logic I
Semantical Considerations on Modal Logic ⓘ
surface form:
A Semantical Analysis of Modal Logic II
Identity and Necessity ⓘ Naming and Necessity ⓘ Kripke fixed-point theory of truth ⓘ
surface form:
Outline of a Theory of Truth
Semantical Considerations on Modal Logic ⓘ Wittgenstein on Rules and Private Language ⓘ |
| placeOfBirth |
Bay Shore
ⓘ
surface form:
Bay Shore, New York
|
| placeOfDeath |
Plainsboro Township
ⓘ
surface form:
Plainsboro, New Jersey
|
| positionHeld |
Distinguished Professor of Philosophy at CUNY Graduate Center
ⓘ
Professor of Philosophy at Princeton University ⓘ |
| religion | Judaism ⓘ |
| sexOrGender | male ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Saul Kripke Description of subject: Saul Kripke was an American philosopher and logician renowned for his groundbreaking work in modal logic, the philosophy of language, and metaphysics, particularly his theories of naming and necessity.
Referenced by (28)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Reference and Modality