- Saul Kripke
color = #B0C4DE
name = Saul Kripke
birth = birth date and age|1940|11|13
school_tradition = Analytic
Logic(particularly modal) Philosophy of language
Causal theory of reference Kripkenstein
Gottlob Frege· Bertrand Russell Alfred Tarski· Ludwig Wittgenstein
Saul Aaron Kripke (born on
November 13, 1940in Bay Shore, New York) is an American philosopher and logician, now emeritusfrom Princeton. He teaches as distinguished professor of philosophy at CUNY Graduate Center. Kripke has been influential in a number of fields related to logicand philosophy of language. Much of his work remains unpublished or exists only as tape-recordings and privately circulated manuscripts. Kripke was the recipient of the 2001 Schock Prizein Logic and Philosophy.
Saul Kripke is the eldest of three children born to Dorothy and
RabbiMyer Kripke. His father was the leader of Beth El Synagogue, the only Conservative congregation in Omaha, Nebraska. His mother wrote Jewish educational children's books. Saul and his two sisters, Madeline and Netta, attended Dundee Grade Schoolin Omaha and Omaha Central High School. He wrote his first essay at the age of sixteen on the semanticsof modal logics. After graduating from high school in 1958, Kripke attended Harvard University, earning a bachelor's degreein mathematics. During his year at Harvard, Kripke taught a graduate-level logic course at nearby MIT. For some years he taught at Harvard, moved to Rockefeller Universityin New York Cityin 1967, then to Princeton Universityfull-time in 1977. In 2002 Kripke started teaching at the CUNY Graduate Centerin midtown Manhattan, and was appointed a distinguished professor of philosophy there in 2003. Kripke married (and subsequently divorced) the philosopher Margaret Gilbert.
Kripke is best known for four contributions to philosophy:
Kripke semanticsfor modal and related logics, published in several essays beginning while he was still in his teens.
# His 1970 Princeton lectures "
Naming and Necessity" (published in 1972 and 1980), that significantly restructured the philosophy of languageand, as some have put it, "made metaphysics respectable again" [http://escholarship.amherst.edu/philosophy_theses/184/] .
# His interpretation of the philosophy of
# His theory of
Two of Kripke's earlier works ("A Completeness Theorem in Modal Logic" - written while he was still a teenager - and "Semantical Considerations on Modal Logic") were on the subject of
modal logic. The most familiar logics in the modal family are constructed from a weak logic called K, named after Kripke for his contributions to modal logic.
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. If standard quantifier rules are used, however, 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. However, 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" (Fludernik). It has become especially useful in the analysis of hyperfiction. [Fludernik, Monika. "Histories of Narrative Theory: From Structuralism to Present." "A Companion to Narrative Theory." Ed. Phelan and Rabinowitz. Blackwell Publishing, MA:2005.]
"Naming and necessity"
Kripke's three lectures constitute an attack on descriptivist theories of
proper names. Kripke attributes variants of descriptivist theories to Frege, Russell, Ludwig Wittgensteinand 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 descriptivism implausible as a theory of how names get their reference determined (e.g., surely Aristotlecould have died at age two and so not satisfied any of the descriptions we associate with his name, and yet it would seem wrong to deny that he was Aristotle). As an alternative, Kripke adumbrated a 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. Kripke holds that the meaning of a name simply is the object it refers to. To show this, he points out that proper names, in contrast to most descriptions, are "rigid designators": A proper name refers to the named object in every possible world in which the object exists, while most descriptions designate different objects in different possible worlds. For example, 'Nixon' refers to the same person in every possible world in which Nixon exists, while 'the person who won the United States presidential election of 1968' could refer to Nixon, Humphrey, or others in different possible worlds.
Causal theories of reference have also been elaborated and developed by
Michael Devitt, Keith Donnellan, David Kaplan, Hilary Putnam, Nathan Salmon, Scott Soames, Gareth Evans, and others, and are perhaps more widely held than descriptivist theories now. Notable holdouts include John Searle, Richard Rorty, and Alonzo Church; also notable is the fact that Hilary Putnamhas drawn back from such a completely causal account.
Kripke also raised the prospect of "a posteriori" necessities—facts that are necessarily true, though they can be known only through empirical investigation. Examples include “
Hesperusis Phosphorus”, “ Cicerois Tully”, “Water is H2O” and other identity claims where two names refer to the same object.
Finally, Kripke gave an argument against identity materialism in the
philosophy of mind, the view that every mental fact is identical with some physical fact ("See talk"). Kripke argued that the only way to defend this identity is as an "a posteriori" necessary identity, but that such an identity—e.g., pain is C-fibers firing—could not be necessary, given the possibility of pain that has nothing to do with C-fibers firing. Similar arguments have been proposed by David Chalmers.
Kripke delivered the
John Locke lecturesin philosophy at Oxfordin 1973. Titled "Reference and Existence", they are in many respects a continuation of "Naming and Necessity", and deal with the subjects of fictional namesand perceptual error. They have never been published and the transcript is officially available only in a reading copy in the university philosophy library, which cannot be copied or cited without Kripke's permission. In fact many copies are informally circulated among philosophers. Its influence, though considerable, is thus difficult to trace. However, it has been extensively referred to by some philosophers, particularly Gareth Evans and Nathan Salmon.
Claims of Historical Influence
In a 1995 paper, philosopher
Quentin Smithargued that key concepts in Kripke's new theory of referencehad originated from the work of Ruth Barcan Marcusmore than a decade earlier. [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=vol. 104 |issue=no. 2 |pages=pp. 179–189 | url=http://www.qsmithwmu.com/marcus,_kripke,_and_the_origin_of_the_new_theory_of_reference.htm |accessdate=2007-05-28 | doi=10.1007/BF01063869] Smith identified six significant ideas to the New Theory which he claimed that Marcus had developed:
* The idea that proper names are direct references, which don't consist of contained definitions.
* While one can single out a single thing by a description, this description is not equivalent with a proper name of this thing.
* The modal argument that proper names are directly referential, and not disguised descriptions.
* A formal modal logic proof of the necessity of identity.
* The concept of a
rigid designator, although the actual name of the concept was coined by Kripke.
* The idea of
a posteriori identity. Smith proceeded to argue that Kripke failed to understand Marcus' theory at the time, yet later adopted many of its key conceptual themes in his New Theory of Reference.
Several scholars have subsequently offered detailed responses showing that no plagiarism occurred. [cite journal |url=http://www.rci.rutgers.edu/~neale/papers/NealeKripke.pdf | author=Stephen Neale |title=No Plagiarism Here | journal=Times Literary Supplement| pages=pp. 12–13 | date=9 February 2001 | accessdate=2007-05-28 |format=.PDF |doi=10.1007/BF01063869 |volume=104] .
A Puzzle about Belief
Kripke’s main propositions in Naming and Necessity concerning proper names are, that the meaning of a name simply is the object it refers to, and that a name’s referent is determined by a causal link between some sort of “baptism” and the utterance of the name. Nevertheless he acknowledges the possibility that propositions containing names may have some additional semantic properties [Kripke, 1980, p. 20] , properties that could explain why two names referring to the same person may give different truth values in propositions about beliefs. (Lois Lane believes that Superman can fly, although she does not believe that Clark Kent can fly. This can be accounted for if the names “Superman” and “Clark Kent”, though referring to the same person, have distinct semantic properties.)
In the article “A Puzzle about Belief” Kripke seems to oppose even this possibility. His argument can be reconstructed in the following way: The idea that two names referring to the same object may have different semantic properties, is supposed to explain that coreferring names behave differently in propositions about beliefs. (Like in Lois Lane's case.) But the same phenomenon occurs even with coreferring names that obviously have the same semantic properties:
Kripke invites us to imagine a French, monolingual boy, Pierre, who believes the following: “Londres est jolie.” (“London is beautiful.”) Pierre moves to London without realising 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 he lives in, so he comes to believe that London is not beautiful. If Kripke’s account is correct Pierre now believes both that London is beautiful and that London is not beautiful. This cannot be explained by coreferring names having different semantic properties. According to Kripke, this shows that attributing additional semantic properties to names, will not explain what it is supposed to explain.
Kripke also contributed to the study of the later Wittgenstein in lectures published as "Wittgenstein on Rules and Private Language", although his work here has been faulted for misrepresenting the historical Wittgenstein. Indeed, many philosophers refer to the subject of Kripke's book as "
Kripkenstein," on the grounds that the argument it presents would not have been endorsed by Wittgenstein. (For alternative readings of Wittgenstein, see Colin McGinn's "Wittgenstein on Meaning".) The real significance of "Kripkenstein" was to put forward a clear statement of a new kind of scepticism, dubbed "meaning scepticism", which is the idea that for an isolated individual there is no fact in virtue of which he/she means one thing rather than another by the use of a word. Kripke's "sceptical solution" to meaning scepticism is to ground meaning in the behaviour of a community. Kripke's book generated a large secondary literature, divided between those who find his sceptical problem interesting and perceptive, and others (such as Gordon Bakerand Peter Hacker) who argue that his meaning scepticism is a pseudo-problem that stems from a confused, selective reading of Wittgenstein. Kripke's position has recently been defended against these and other attacks by the Cambridge philosopher Martin Kusch(2006).
In his 1975 article "Outline of a Theory of Truth", Kripke showed that a language can consistently contain its own
truthpredicate, which was deemed impossible by Alfred Tarski, a pioneer in the area of formal theories of truth. The trick 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 which do not contain the truth predicate, defining a truth predicate over just that segment: this 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."
Meaning of "I"
In late January 2006, Kripke attended a conference celebrating his 65th birthday and work at the Graduate Center of the City University of New York, and delivered a 70-minute talk on "The First Person", discussing the meaning and reference of the pronoun "I". [cite news
url = http://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
The New York Times
accessdate = 2008-01-23] [cite video
url = http://video.google.com/videoplay?docid=-5052564943603675982
title = The First Person
author = Saul Kripke
accessdate = 2008-07-20]
Kripke is a devoutly religious Jew. Additionally, in an interview with
Andreas Saugstad, he stated "I don't have the prejudices many have today, I don't believe in a naturalist world view. I don't base my thinking on prejudices or a world view and do not believe in materialism."
Notable publications by Kripke
* 1959. "A Completeness Theorem in Modal Logic", "Journal of Symbolic Logic" 24(1):1–14.
* 1962. "The Undecidability of Monadic Modal Quantification Theory", "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" 8:113–116
* 1963. "Semantical Considerations on Modal Logic", "Acta Philosophica Fennica" 16:83–94
* 1963. "Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi", "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" 9:67–96
* 1965. "Semantical Analysis of Intuitionistic Logic I", In "Formal Systems and Recursive Functions", edited by M. Dummett and J. N. Crossley. Amsterdam: North-Holland Publishing Co.
* 1965. "Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi", In "The Theory of Models", edited by J. W. Addison, L. Henkin and A. Tarski. Amsterdam: North-Holland Publishing Co.
* 1971. "Identity and Necessity", In "Identity and Individuation", edited by M. K. Munitz. New York: New York University Press.
* 1972 (1980). "Naming and Necessity", In "Semantics of Natural Language", edited by D. Davidson and G. Harman. Dordrecht; Boston: Reidel. Sets out the
causal theory of reference.
* 1975. "Outline of a Theory of Truth", "Journal of Philosophy" 72:690–716. Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate.
* 1976. "Is There a Problem about Substitutional Quantification?", In "Truth and Meaning: Essays in Semantics", edited by Gareth Evans and John McDowell. Oxford: Oxford University Press.
* 1977. "Speaker's Reference and Semantic Reference", "Midwest Studies in Philosophy" 2:255–276
* 1979. "A Puzzle about Belief", In "Meaning and Use", edited by A. Margalit. Dordrecht and Boston: Reidel.
* 1980. "Naming and Necessity". Cambridge, Mass.: Harvard University Press. ISBN 0-674-59845-8 and reprints 1972.
* 1982. "Wittgenstein on Rules and Private Language: an Elementary Exposition". Cambridge, Mass.: Harvard University Press. ISBN 0-674-95401-7. Sets out his interpretation of
* 2005. "Russell's Notion of Scope", "Mind" 114:1005–1037
Literature about Kripke
*Arif Ahmed (2007), "Saul Kripke". New York, NY; London: Continuum. ISBN 0826492622.
*G.W. Fitch (2005), "Saul Kripke". ISBN 0-7735-2885-7.
*Christopher Hughes (2004), "Kripke : Names, Necessity, and Identity". ISBN 0-19-824107-0.
*Consuelo Preti (2002), "On Kripke". Wadsworth. ISBN 0534583660
*Scott Soames (2002), "Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity". ISBN 0-19-514529-1.
* [http://web.gc.cuny.edu/philosophy/people/kripke.html CUNY faculty page]
* [http://www.philosophyprofessor.com/philosophers/saul-kripke.php information from 'Philosophy Professor' website]
* [http://goinside.com/01/2/kripke.html Saul Kripke, Genius Logician] A short, non-technical interview by Andreas Saugstad, February 25, 2001.
* [http://www.nysun.com/article/26585 Celebrating CUNY's Genius Philosopher] , by Gary Shapiro, January 27, 2006, in
The New York Sun.
* [http://web.gc.cuny.edu/philosophy/events/kripke_conference.html The conference in honor of Kripke's sixty-fifth birthday] with a video of his speech "The First Person"
* [http://www.lrb.co.uk/v26/n20/fodo01_.html London Review of Books article by Jerry Fodor discussing Kripke's work]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Saul Kripke — Kripke en 2005. Saul Aaron Kripke (1940, Omaha, Nebraska) es un filósofo y lógico estadounidense. Actualmente es profesor emérito de la Universidad de Princeton. Kripke ha realizado importantes y originales contribuciones en diversos campos… … Wikipedia Español
Saul Kripke — Saul Kripke. Saul Aaron Kripke (né en novembre 1940 à Omaha dans le Nebraska) est un philosophe et logicien américain, professeur émérite de Princeton, et professeur de philosophie à l’université de la Ville de New York (CUNY). Il a eu une… … Wikipédia en Français
Saul Kripke — Saul Aaron Kripke (* 1940 in Bay Shore, New York) ist ein US amerikanischer Philosoph und Logiker. In den Fachgebieten der Logik und der Sprachphilosophie hatten seine Arbeit großen Einfluss. Er zählt zu den bekanntesten lebenden Philosophen und… … Deutsch Wikipedia
Saul Aaron Kripke — (* 13. November 1940 in Bay Shore, Long Island, New York) ist ein US amerikanischer Philosoph und Logiker. Er schrieb wegweisende Beiträge zur Logik, insbesondere auf dem Feld der Modallogik, und Sprachphilosophie, insbesondere zur Namenstheorie … Deutsch Wikipedia
Saul Aaron Kripke — Saul Kripke Saul Kripke. Saul Aaron Kripke (né en novembre 1940 à Omaha, Nebraska) est un philosophe et logicien américain, professeur émérite de Princeton, et professeur de philosophie à la cité universitaire de la ville de New York (City… … Wikipédia en Français
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Saul (given name) — Saul is the given name. It is of Hebrew origin ( Shaul ), meaning ask/question .People with this given name include: * Saul Alinsky, American liberal political activist * Saul Bass, graphic designer whose works include credits to films like… … Wikipedia
Kripke structure — A Kripke structure is a type of nondeterministic finite state machine used in model checking to represent the behaviour of a system. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state… … Wikipedia
Kripke–Platek set theory — The Kripke–Platek axioms of set theory (KP) (IPAEng|ˈkrɪpki ˈplɑːtɛk) are a system of axioms of axiomatic set theory, developed by Saul Kripke and Richard Platek. The axiom system is written in first order logic; it has an infinite number of… … Wikipedia
Saul A. Kripke — Saul Aaron Kripke (* 1940 in Bay Shore, New York) ist ein US amerikanischer Philosoph und Logiker. In den Fachgebieten der Logik und der Sprachphilosophie hatten seine Arbeit großen Einfluss. Er zählt zu den bekanntesten lebenden Philosophen und… … Deutsch Wikipedia