Kripke, Saul

Saul Aaron Kripke , född 13  november 1940 [ 2] [3] [4] i Bay Shore [d] , New York – 15 september 2022 [1] ) var en amerikansk filosof och logiker . Professor emeritus vid Harvard University , framstående professor vid Graduate School and University Center vid City University of New York . Vinnare av Rolf Schock-priset i filosofi och logik (2001) är enligt en undersökning bland de tio viktigaste filosoferna under de senaste 200 åren.

Hans huvudsakliga arbeten handlar om matematisk logik , språkfilosofi , matematikfilosofi , metafysik , epistemologi , mängdlära .

I sitt tidiga arbete gjorde han ett betydande bidrag till utvecklingen av modal logik . Efterföljande arbete har haft en djupgående inverkan på analytisk filosofi , det viktigaste bidraget anses vara den metafysiska beskrivningen av modalitet , som innehåller idén om möjliga världar som förklaras i ett system känt som Kripkes semantik . En annan viktig prestation är demonstrationen att det finns nödvändiga sanningar i efterhand som "vatten är H 2 O". Han bidrog också till studiet av Wittgensteins filosofi , den ursprungliga tolkningen blev känd som "Kripkenstein" . Kripkes mest kända verk är Naming and Necessity (1980).

Biografi

Det äldsta av tre barn till utexaminerade från Jewish Theological Seminary  , Mayer Kripke (1914-2014) [5] , rabbin för Beth El Synagogue (den enda konservativa församlingen i Omaha , Nebraska [6] ), och Dorothy Kripke (född Karp, 1912–2000), författare till pedagogiska böcker för judiska barn. Faderns familj emigrerade till USA från Litauen .

Från barndomen ansågs han vara ett underbarn : vid sex års ålder lärde han sig självständigt hebreiska , vid nio års ålder hade han läst alla Shakespeares verk, studerat Descartes filosofi och hanterat komplexa matematiska problem tills han tog examen från grundskolan [7] . Han skrev de första vetenskapliga artiklarna om modal logik medan han fortfarande var skolpojke. Efter att ha lämnat skolan 1958 gick han in på Harvard University , där han tog examen med en summa cum laude kandidatexamen i matematik. Redan under sitt andra studieår undervisade Kripke i en kurs i logik vid Massachusetts Institute of Technology . Ovanligt för en 1900-talsforskare är Kripkes enda akademiska examen en kandidatexamen ; han har inga andra akademiska examina.

Efter examen 1962 fick han ett Fulbright-stipendium . 1963 ingick han i Harvard Society of Fellows . Sedan undervisade han i flera år vid Harvard , 1967 flyttade han till Rockefeller University i New York, 1977 - till Princeton University . 1988 fick Harvard Berman Award för bidrag till humaniora. Sedan 2002 har han undervisat vid Graduate School and University Center vid City University of New York på Manhattan, där han 2003 fick titeln Distinguished Professor.

Det är värt att notera att Kripke själv nästan inte skrev några artiklar: istället studerade han ett visst ämne, sedan vid ett bekvämt offentligt evenemang - ett seminarium eller en föreläsning - pratade han om sina slutsatser, ofta inledde han en sokratisk dialog med publiken - och sedan konversationen transkriberades och efter en serieredigering godkände Saul Kripke att publicera resultatet. Som ett resultat av detta är det mesta av verket inte publicerat, existerar endast i form av ljudinspelningar eller personligt distribuerade manuskript. Filosofen själv förklarade sin vana enkelt: " Jag hatar bara att sitta och skriva - det räckte för mig i skolan. Dessutom är min handstil äcklig ” [7] .

Fungerar

Nyckelverk:

• Kripkes semantik för modal logik  - beskrivs i flera essäer som Kripke började arbeta med som tonåring;
• föreläsningsserien Naming and Necessity från  1970 som gavs vid Princeton University ( publicerad 1972 och 1980) hade ett stort inflytande på språkfilosofin ;
• tolkning av Wittgensteins filosofi ;
• teori om sanning .

Han bidrog också till mängdteorin genom att föreslå och motivera en av varianterna av axiomatisk mängdlära , känd som Kripke-Platek-teorin .

Modal logik

Kripkes första två verk, A Completeness Theorem in Modal Logic och Semantical Considerations on Modal Logic (skrivna medan de fortfarande gick i skolan), ägnades åt modal logik. De vanligaste logikerna i modalfamiljen skapas från den svaga logiken K - uppkallad efter Kripke för hans bidrag till utvecklingen av denna riktning: han introducerade Kripkes de facto standardsemantik (relationell semantik eller ramsemantik).

En Kripke-skala med en relation är ett par , där  är en godtycklig uppsättning (ofta kallad uppsättningen av möjliga världar), och  är relationen på (uppsättningen av pilar eller ordnade par).

En Kripke-modell är ett par , där  är en uppskattning på en skala som associerar varje variabel med den uppsättning världar där denna variabel anses sann. Formellt presenteras bedömningen som en funktion från mängden variabler till mängden av alla delmängder . Sanningen vid en punkt i Kripke-modellen betecknas med ett tecken och bestäms genom induktion på längden av formeln :

"Namngivning och nödvändighet"

I Naming and Necessity (1971) kritiserar Kripke de deskriptivistiska teorierna om egennamn och studerar olika varianter av de deskriptivistiska teorierna hos Frege  , Russell , Wittgenstein , Searle och ett antal andra filosofer. Enligt deskriptivistiska teorier är antingen egennamn synonyma med beskrivningar, eller så bestäms referensen till egennamn av associeringen av ett namn med en beskrivning eller ett kluster av beskrivningar som är unikt tillfredsställda av något givet objekt. Kripke avvisar båda dessa typer av deskriptivism. Han ger olika exempel som syftar till att avslöja deskriptivismens otillräcklighet som en teori om de faktorer som bestämmer referensen till namn (till exempel kunde Aristoteles dö vid två års ålder, och därför skulle han inte uppfylla någon av de beskrivningar som är förknippade med hans namn skulle det dessutom vara ett misstag att förneka att han var Aristoteles).

Som ett alternativ har Kripke skisserat den kausala referensteorin, enligt vilken ett namn refererar till ett objekt genom att ha en kausal koppling till objektet genom gemenskaper av talare. Han påpekar att egennamn, till skillnad från de flesta beskrivningar, är stela beteckningar . Ett egennamn hänvisar till ett namngivet objekt i varje möjlig värld där det objektet finns, medan de flesta beskrivningar hänvisar till olika objekt i olika möjliga världar. Namnet "Nixon" indikerar till exempel samma person i alla möjliga världar där Nixon finns, men beskrivningen (beskrivningen) "personen som vann det amerikanska presidentvalet 1968" kan indikera Nixon, Humphrey eller någon till och med i olika möjliga världar. Kripke uppmärksammade också en nödvändighet i efterhand – fakta som med nödvändighet är sanna, men sådana att de bara kan bli kända genom empirisk forskning. Exempel på a posteriori nödvändigheter inkluderar uttalanden som "Hesperus är fosfor", "Cicero är Tullius", "vatten är H 2 O" och andra identiteter där två namn refererar till samma objekt. Slutligen formulerade Kripke ett argument mot materialism angående identitet i sinnesfilosofin, det vill säga mot uppfattningen att varje mentalt faktum är identiskt med något fysiskt faktum.

Kripke menar att det enda sättet att försvara denna uppfattning är att tolka identiteten som en a posteriori nödvändig identitet, men en sådan identitet – till exempel identiteten för smärta och stimulering av C-fibrer – skulle inte kunna vara nödvändig med tanke på att smärta är möjlig, vilket inte har med C-fiberirritation att göra. Liknande argument har framförts av David Chalmers. Kripke höll också sina berömda John Locke-föreläsningar om filosofi 1973 i Oxford. Med titeln "Referens och existens" är de på många sätt en fortsättning på idéerna som anges i Namngivning och nödvändighet, och innehåller intressant material om problemet med alias och perceptuella fel.

"Ett pussel om tro"

Kripkes huvudsakliga antaganden i Namngivning och nödvändighet angående egennamn är att betydelsen av ett namn helt enkelt är det föremål som namnet syftar på, och referenten till ett namn bestäms av orsakssambandet mellan "namngivning" och användningen av namnet. Han insåg dock möjligheten att påståenden som innehåller namn kan ha ytterligare semantiska egenskaper: dessa egenskaper kan förklara varför två namn som refererar till samma person kan ha olika sanningsvärden i påståenden om någon, sedan övertygelser.

I sin artikel "A Puzzle about Belief" utvecklar Kripke sin idé och förnekar även denna möjlighet. Hans argument kan kort rekonstrueras enligt följande. Tanken att två namn som refererar till samma enhet kan ha olika semantiska kvaliteter borde förklara varför dessa namn kan leda olika i uttalanden om någons övertygelse. Men samma fenomen kan också förekomma med namn som tydligen har identiska semantiska kvaliteter.

Kripke genomför ett tankeexperiment: en fransk pojke, Pierre, som inte talar främmande språk, tror att " Londres est joli " ("London är vackert"). Han flyttar till London, utan att veta att det engelska namnet London motsvarar det franska Londres. Han känner igen engelska i vardagliga konversationer utan att översätta franska ord till engelska, och som ett resultat känner han igen namnet " London " från det fula området där han bor. Han tycker att " London " är fult. Om Kripkes åsikt stämmer, så anser nu Pierre samtidigt att " Londres est joli " och att London  är fult. Detta kan inte förklaras med olika semantiska egenskaper hos namn, av vilka Kripke drar slutsatsen att att tillskriva ytterligare semantiska egenskaper till namn inte ger de förväntade resultaten.

Sol Kripke Center

För att bevara och främja vetenskapsmannens arbete skapades Saul Kripke Center vid Research College of City University of New York , organiserade tematiska evenemang och ledde ett digitalt arkiv med opublicerade inspelningar, föreläsningsanteckningar, Kripkes korrespondens sedan 1950-talet.

Religiösa åsikter

Kripke är ortodox jude och tror att tron ​​hjälper honom i hans filosofiska arbete. I en intervju med Andreas Saustat om hur religiösa åsikter påverkade hans filosofi, rapporterade han:

”Jag har inte de fördomar som många har idag. Jag tror inte på en naturalistisk syn på världen. Mitt tänkande bygger inte på fördomar eller någon världsbild, och jag tror inte på materialism ” [8] .

Familj

Syster - Madeline Kripke ( Eng.  Madeline Kripke ; 1943-2020), bibliofil och samlare.

Hustru - Margaret Gilbert ( eng.  Margaret Gilbert ; f. 1942), också en filosof, syster till historikern Martin Gilbert .

Gemenskaper och belöningar

• Fulbright Scholar  (1962-1963)
• Society of Fellows ,  Harvard University  (1963-1966).
• Guggenheim Fellowship (1968, 1977) [9] .
• Doctor of Humane Letters, hedersexamen,  University of Nebraska , 1977.
• Fellow,  American Academy of Arts and Sciences  (1978).
• Motsvarande fellow,  British Academy  (1985).
• Howard Behrman Award,  Princeton University , 1988.
• Fellow, Academia Scientiarum et Artium Europaea (1993).
• Doctor of Humane Letters, hedersexamen,  Johns Hopkins University , 1997.
• Doctor of Humane Letters, hedersexamen,  University of Haifa , Israel, 1998.
• Stipendiat, Norska Vetenskapsakademien (2000-).
• Schockpriset  i logik och filosofi,  Vetenskapsakademien 2001.
• Doctor of Humane Letters, hedersexamen,  University of Pennsylvania , 2005.
• Fellow,  American Philosophical Society  (2005).

Kompositioner

Böcker

• Namngivning och nödvändighet. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 och nytryck 1972.
• Wittgenstein om regler och privat språk: en elementär utläggning. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
• Filosofiska problem. Collected Papers Vol. 1. New York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
• Referens och existens — John Locke-föreläsningarna. New York: Oxford University Press , 2013. ISBN 978-0-19-992838-5

Artiklar och sammandrag

• 1959. "A Completeness Theorem in Modal Logic", Journal of Symbolic Logic 24(1):1-14.
• 1959. "Distinguished Constituents" (abstrakt), The Journal of Symbolic Logic , 24(4):323.
• 1959. "Semantical Analysis of Modal Logic" (abstrakt), The Journal of Symbolic Logic , 24(4):323-324.
• 1959. "The Problem of Entailment" (abstrakt), The Journal of Symbolic Logic , 24(4):324.
• 1962. "'Flexible' Predicates of Formal Number Theory", Proceedings of the American Mathematical Society , 13(4):647-650.
• 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
• 1964. "Transfinite Recursions on Admissible Ordinals, I" (abstrakt), The Journal of Symbolic Logic , Vol. 29, nr. 3, sid. 162.
• 1964. "Transfinite Recursions on Admissible Ordinals, II" (abstrakt), The Journal of Symbolic Logic , Vol. 29, nr. 3, sid. 162.
• 1964. "Admissible Ordinals and the Analytic Hierarchy" (abstrakt), The Journal of Symbolic Logic , Vol. 29, nr. 3, sid. 162.
• 1965. "Semantisk analys av intuitionistisk logik I", i formella system och rekursiva funktioner , redigerad av M. Dummett och JN Crossley. Amsterdam: North-Holland Publishing Co.
• 1965. "Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi", I Theory of Models , redigerad av JW Addison, L. Henkin och A. Tarski. Amsterdam: North-Holland Publishing Co.
• 1967. Forskningsmeddelande: "Deduktionsbevarande 'Rekursiva Isomorphisms' between Theories" (med Marian Boykan Pour-El), Bulletin of the American Mathematical Society , 73:145-148.
• 1967. "An Extension of a Theorem of Gaifman-Hales-Solovay", Fundamenta Mathematicae , Vol. 61, sid. 29-32.
• 1967. "Transfinite Recursion, Constructible Sets, and Analogues of Cardinals", Sammanfattningar av samtal förberedda i samband med Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA, pp. IV-0-1 - IV-0-12.
• 1967. "On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra", i Summaries of Talks Prepared in Connection with Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), s. IV-T-1 till IV-T-7.
• 1967. "Deduktionsbevarande 'Rekursiva isomorfismer' mellan teorier" (med Marian Boykan Pour-El), Fundamenta Mathematicae 61:141-163.
• 1971. "Identity and Necessity", I Identity and Individuation , redigerad av M. K. Munitz. New York: New York University Press.
• 1972 (1980). "Namning och nödvändighet", I Semantics of Natural Language , redigerad av D. Davidson och G. Harman. Dordrecht; Boston: Reidel. Redogör för den kausala referensteorin .
• 1975. "Outline of a Theory of Truth", Journal of Philosophy 72:690-716. Ställer sin teori om sanning (mot Alfred Tarski), där ett objektspråk kan innehålla sitt eget sanningspredikat.
• 1976. "Is There a Problem about Substitutional Quantification?", i Truth and Meaning: Essays in Semantics , redigerad av Gareth Evans och John McDowell. Oxford: Oxford University Press.
• 1976. "A Theory of Truth I. Preliminary Report", abstrakt, Journal of Symbolic Logic , Vol. 41, nr. 2, sid. 556.
• 1976. A Theory of Truth II. Preliminär rapport", sammandrag, Journal of Symbolic Logic , Vol. 41, nr. 2, sid. 556-557.
• 1977. "Speaker's Reference and Semantic Reference," Midwest Studies in Philosophy 2:255-276.
• 1979. "A Puzzle about Belief", In Meaning and Use , redigerad av A. Margalit. Dordrecht och Boston: Reidel.
• 1982. "Nonstandard Models of Peano Arithmetic" (med S. Kochen), i Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker , H. Lauchli (red.), University of Geneva: 277-295.
• 1986. "A Problem in the Theory of Reference: The Linguistic Division of Labor and the Social Character of Naming", Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy) , Montreal, Editions Montmorency: 241-247.
• 1992. "Sammanfattning: Individuella begrepp: deras logik, filosofi och några av deras användningsområden." Proceedings and Addresses of the American Philosophical Association 66: 70-73
• 2005. "Russell's Notion of Scope", Mind 114:1005-1037
• 2008. "Frege's Theory of Sense and Reference: Some Exegetical Notes", Theoria 74:181-218
• 2009. "Presupposition and Anaphora: Remarks on the formulering av projektionsproblemet", Linguistic Enquiry 40(3):367-386.
• 2009. "The Collapse of the Hilbert Program" (Abstract) Bulletin of Symbolic Logic 15(2):229-231.
• 2011. "The First Person", Filosofiska problem. Collected Papers Vol. I, Oxford University Press [10] .
• 2011. "Kunskapens två paradoxer", Filosofiska problem. Collected Papers Vol. Jag, Oxford University Press.
• 2011. Nozick om kunskap, filosofiska problem. Collected Papers Vol. Jag, Oxford University Press.
• 2011. "Ett pussel om tid och tanke", Filosofiska problem. Collected Papers Vol. Jag, Oxford University Press.
• 2011. "Vakuous Names and Fictional Entities", Philosophical Troubles. Collected Papers Vol. Jag, Oxford University Press.
• 2011. "Obegränsad export och vissa moral för språkfilosofin", Filosofiska problem. Collected Papers Vol. I, Oxford University Press [11] .
• 2013. "The Church-Turing 'Thesis' as a Special Corollary of Gödels Completeness Theorem", i Computability: Turing, Gödel, Church, and Beyond, Copeland, BJ, Posy, C., and Shagrir, O. (eds), Cambridge, Mass., MIT Press.

Opublicerade manuskript och föreläsningar

• 1963. "Historia och idealism: teorin om R. G. Collingwood".
• 1973. John Locke föreläser: "Referens och existens". (Transkript finns i Philosophy Library, Oxford University)
• 1975. Tre föreläsningar om sanning. Princeton University [12] .
• 197-. "Om fullständigheten och beslutbarheten av intuitionistisk propositionell logik".
• 1978. Tid och identitet. Kurs levererad vid Princeton University 1978. Texten till föreläsningarna har inte publicerats, men flera "samizdat"-versioner av den är i omlopp. Några av idéerna som presenteras i dessa föreläsningar diskuteras av Ted Sider i hans bok Four-Dimensionalism: An Ontology of Persistence and Time .
• 19-. "Icke-standardmodeller och Godels sats: Ett modellteoretiskt bevis på Godels sats" [13]
• 1984. Lektioner om funktionalism och automater. (Leverades vid International Wittgenstein Symposium, 1984. Transkriberad av Roderick Chisholm. [14]
• 198-. "Ett bevis på gamma."
• 198-. "En anteckning om Zabludowskis kritik av Goodmans teori om projektion".
• 1986. "Rigid Designation and the Contingent A Priori: The Meter Stick Revisited" (Notre Dame, 1986).
• 1988/89. Seminarier om sanning. Tre-terminsseminarium på Princeton 1988-89, endast de två första terminerna har transkriberats av Jim Cain [15] .
• 19- "Semantisk analys av intuitionistisk logik II. Det monadiska fragmentets oavgörbarhet" (Odaterat manuskript).
• 19- "Semantisk analys av intuitionistisk logik III" (Odaterat manuskript).
• 1989 No Fool's Red? Några överväganden om den primära/sekundära kvalitetsskillnaden"(inkluderar kommentarer av David Velleman). University of Michigan, 1989.
• 1992. Whitehead-föreläsningar: "Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers." Levererad vid Harvard University, 1992.
• 1992. Individuella begrepp: deras logik, filosofi och några av deras användningsområden. Transkriberad av Stephen Webb.
• 1996. The Ordered Pair: A Philosophical Paradigm Revisited.
• 1996. "Elementär rekursionsteori och dess tillämpningar på formella system." Transkriberad av Mario Gomez Torrente och John Barker [16] .
• 1999. "Vägen till Gödel". (Läs vid Haifa University, Israel, 1999. Det finns flera avskrifter.
• 2006. "From Church's Thesis to the First Order Algorithm Theorem", Tel Aviv University, 13 juni 2006 [17] .
• 2007. "Roundtable on Externalism" ( Hilary Putnam , Tyler Burge, Saul Kripke och Michael Devitt). University College Dublin, Irland [18] .
• 2007. Kollapsen av Hilbert-programmet. Indiana University, presidentföreläsning [19] .
• 2008. Matematisk ofullständighet resulterar i Peano Arithmetic, en revisionistisk syn på den tidiga historien.

Intervjuer och artiklar om Kripke i pressen

• " New Frontiers in American Philosophy " av Taylor Branch, New York Times Magazine , 14 augusti 1977.
• " Saul Kripke, genial logiker ." Intervju av Andreas Saugstad, 25 februari 2001.
• " Celebrating CUNY's Genius Philosopher " av Gary Shapiro, The New York Sun , 27 januari 2006.
• « Filosof, 65, föreläsningar inte om "Vad är jag?" men "Vad är jag?" av Charles McGrath, The New York Times , 28 januari 2006.
• " The Best Five Books on the Philosophy of Language" av Scott Soames, 15 oktober 2010.

På ryska

• Kripke SA 1) Fullständighetsteorem i modal logik; 2) Oavgörbarhet för den unära modala predikatkalkylen; 3) Semantisk analys av modal logik, del 1-2 // Face R. Modal logik. M., 1974. S. 223-323.
• Kripke S. Semantic consideration of modal logic // Semantics of modal and intensional logics. M., 1981.
• Kripke S. Identitet och nödvändighet // Nytt i främmande lingvistik. Problem. XIII. M., 1982.
• Kripke S. Åsiktssammanhangens gåta // Nytt i främmande lingvistik. Problem. XVIII. M., 1986.
• Kripke S. A. Wittgenstein om regler och individuellt språk / Översättning av V. Rudnev // Logos. - 1999. - Nr 1. - S. 151-185.
• Kripke S. A. Wittgenstein om regler och individuellt språk / Per. V. A. Ladova, V. A. Surovtseva. Under totalt ed. V. A. Surovtseva. - Tomsk: Publishing House Vol. un-ta, 2005. - 152 sid. — (Bibliotek för analytisk filosofi). ISBN 5-7511-1906-1
• Kripke S. Wittgenstein om regler och individuellt språk / Översättning av V. A. Ladov, V. A. Surovtsev / Redigerad av V. A. Surovtsev. - M .: "Kanon +" ROOI "Rehabilitering", 2010. - 256 sid.

Se även

• Big Bang Theory-karaktären Barry Kripke tros vara en hyllning till Saul Kripke
• Padilla Galvez, Jesus[ förtydliga ]

Anteckningar

1. ↑ 1 2 Weinberg J. Saul Kripke (1940-2022  ) - 2022.
2. ↑ http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
3. ↑ Saul Aaron Kripke // Brockhaus Encyclopedia  (tyska) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
4. ↑ Saul A Kripke // Babelio  (fr.) - 2007.
5. ↑ Dödsannons i New York Times
6. ↑ Rabbi Myer Kripke, tidig Buffett-vän och investerare, dör vid 100 år . Hämtad 30 september 2017. Arkiverad från originalet 30 augusti 2018. (obestämd)
7. ↑ 12 Charles McGrath . Philosopher, 65, föreläsningar inte om "Vad är jag?" men "Vad är jag?" . New York Times (28 januari 2006). Tillträdesdatum: 26 maj 2017. Arkiverad från originalet 7 april 2008.  (obestämd)
8. ↑ Andreas Saugstad. Saul Kripke, genial logiker . David Boles, Bloggar (25 februari 2001). Hämtad 26 maj 2017. Arkiverad från originalet 31 mars 2016. (obestämd)
9. ↑ Saul  Kripke . John Simon Guggenheim Foundation . gf.org. Hämtad 15 april 2019. Arkiverad från originalet 15 april 2019.
10. ↑ Videor som artikeln bygger på
11. ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast som artikeln bygger på]
12. ↑ Diskussion
13. ↑ Sammanfattning av Hilary Putnam.
14. ↑ Edward P. Stabler, "Kripke om funktionalism och automater  (länk ej tillgänglig) ", Synthese , Vol. 70 nr. 1 (1987).
15. ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
16. ↑ [1]
17. ↑ Video och abstrakt
18. ↑ Podcast
19. ↑ Videoföreläsningar

Litteratur

• Bessonov A. V.  Kripkes teori om sanning // Proceedings of the Siberian Branch of the USSR Academy of Sciences . Samhällsvetenskap serien. - 1977. - Nummer 1. - Nr 1. - S. 134-138.
• Dorofeev G. Kripkes schema och kyrkans avhandling i intuitionistisk analys // Third All-Union Conference on Mathematical Logic. - Novosibirsk, 1974.
• Makeeva L. B. Kripke  // New Philosophical Encyclopedia  : i 4 volymer  / före. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.
• Kripke, Sol  / Makeeva L. B.  // Herrens dop - Svala [Elektronisk resurs]. - 2010. - S. 36. - ( Great Russian Encyclopedia  : [i 35 volymer]  / chefredaktör Yu. S. Osipov  ; 2004-2017, v. 16). — ISBN 978-5-85270-347-7 .
• Serikov A.E. Baker and Hacker vs. Kripke: om relevansen av den gamla diskussionen // Bulletin of the Samara Academy for the Humanities. Serien "Filosofi. Filologi". - 2010. - Nr 1 (7). - S. 100-122.
• Khlebalin A. V. Problemet med grunden och förutsättningarna för att lösa Kripke-paradoxen // Filosofi: historia och modernitet. 2004-2005. lö. vetenskapliga artiklar - Novosibirsk-Omsk, 2005. - S. 3-13.

• Consuelo Preti (2002), På Kripke. Wadsworth. ISBN 0-534-58366-0
• Christopher Hughes (2004), Kripke: Namn, nödvändighet och identitet. ISBN 0-19-824107-0 .
• GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
• Martin Kusch (2006), En skeptisk guide till mening och regler. Försvara Kripkes Wittgenstein. Acumben: Publishing Limited.
• Arif Ahmed (2007), Saul Kripke. New York, NY; London: Kontinuum. ISBN 0-8264-9262-2 .

Tematiska platser	Matematisk släktforskning zbMATH Öppna
Ordböcker och uppslagsverk	Stor dansk Stor katalanska Stor norsk Stor ryss italienska runt världen Britannica (online) Brockhaus Treccani Universalis
I bibliografiska kataloger BIBSYS: 90104202 BNC : a11559408 BNE : XX990115 BNF : 119101083 CiNii : DA00388005 CONOR : 6134371 GND : 118813455 ICCU : CFIV050272 ISNI : 0000 0001 1080 8458 J9U : 987007264093605171 LCCN : n79128358 NDL : 00446355 NKC : jn20011019100 NLA : 35973328 NLP : A12822838 NSK : 000200530 NTA : 06870853X NUKAT : n97014263 PTBNP : 921735 LIBRIS : tr58c4zc2wlrzf5 SUDOC : 026954079 VIAF : 108251834 WorldCat VIAF : 108251834