Kripke, Saul

Saul Aaron Kripke ( 13  noiembrie 1940 [ 2] [ 3] [4] , Bay Shore [d] , New York - 15 septembrie 2022 [1] ) a fost un filozof și logician american . Profesor emerit la Universitatea Harvard , profesor distins la Graduate School and University Center al City University of New York . Câștigătorul Premiului Rolf Schock pentru filosofie și logică (2001), potrivit unui sondaj, se numără printre cei mai importanți zece filosofi din ultimii 200 de ani.

Principalele sale lucrări sunt despre logica matematică , filosofia limbajului , filosofia matematicii , metafizica , epistemologia , teoria mulţimilor .

În lucrările sale timpurii, el a avut o contribuție semnificativă la dezvoltarea logicii modale . Lucrările ulterioare au avut un impact profund asupra filozofiei analitice , cea mai semnificativă contribuție fiind considerată descrierea metafizică a modalității , încorporând ideea de lumi posibile așa cum este explicată într-un sistem cunoscut sub numele de semantica lui Kripke . O altă realizare importantă este demonstrarea că sunt necesare adevăruri a posteriori precum „apa este H 2 O”. De asemenea, a contribuit la studiul filozofiei lui Wittgenstein , interpretarea originală a devenit cunoscută sub numele de „Kripkenstein” . Cea mai faimoasă lucrare a lui Kripke este Naming and Necessity (1980).

Biografie

Cel mai mare dintre cei trei copii absolvenți ai seminarului teologic evreiesc  , Mayer Kripke (1914-2014) [5] , rabinul Sinagogii Beth El (singura congregație conservatoare din Omaha , Nebraska [6] ) și Dorothy Kripke (născută Karp, 1912–2000), autor de cărți educaționale pentru copiii evrei. Familia tatălui a emigrat în SUA din Lituania .

Din copilărie a fost considerat un copil minune : la vârsta de șase ani, a învățat independent ebraica , până la vârsta de nouă ani a citit toate operele lui Shakespeare , a studiat filosofia lui Descartes și s-a ocupat de probleme matematice complexe până la absolvirea școlii elementare. [7] . El a scris primele articole științifice despre logica modală în timp ce era încă școlar. După ce a părăsit școala în 1958, a intrat la Universitatea Harvard , unde a absolvit cu o diplomă de licență summa cum laude în matematică. Deja în al doilea an de studiu, Kripke a predat un curs de logică la Institutul de Tehnologie din Massachusetts . Neobișnuit pentru un om de știință din secolul al XX-lea, singura diplomă academică a lui Kripke este o diplomă de licență ; nu are alte diplome academice.

După absolvire, în 1962, a primit o bursă Fulbright . În 1963 a fost inclus în Harvard Society of Fellows . Apoi a predat câțiva ani la Harvard , în 1967 s-a mutat la Universitatea Rockefeller din New York, în 1977 - la Universitatea Princeton . În 1988, Harvard a primit Premiul Berman pentru contribuții la științe umaniste. Din 2002, predă la Graduate School and University Center al City University of New York din Manhattan, unde în 2003 a primit titlul de Distinguished Professor.

Este de remarcat faptul că Kripke însuși nu a scris aproape niciun articol: în schimb, a studiat un anumit subiect, apoi la un eveniment public convenabil - un seminar sau o prelegere - a vorbit despre concluziile sale, intrând adesea într-un dialog socratic cu publicul - și apoi conversația a fost transcrisă și, după o serie de editare, Saul Kripke a aprobat publicarea rezultatului. Ca urmare, cea mai mare parte a lucrării nu este publicată, există doar sub formă de înregistrări audio sau manuscrise distribuite personal. Filosoful însuși și-a explicat obiceiul simplu: „ Nu-mi place să stau și să scriu - asta a fost suficient pentru mine la școală. În plus, scrisul meu de mână este dezgustător ” [7] .

Lucrări

Lucrări cheie:

• Semantica lui Kripke pentru logica modală  – subliniată în mai multe eseuri la care Kripke a început să lucreze în adolescență;
• seria de prelegeri Naming and Necessity din  1970 susținută la Universitatea Princeton ( publicată în 1972 și 1980) a avut o influență majoră asupra filozofiei limbajului ;
• interpretarea filozofiei lui Wittgenstein ;
• teoria adevărului .

De asemenea, a contribuit la teoria mulțimilor propunând și motivând una dintre variantele teoriei axiomatice a mulțimilor , cunoscută sub numele de teoria Kripke-Platek .

Logica modală

Primele două lucrări ale lui Kripke, A Completeness Theorem in Modal Logic și Semantical Considerations on Modal Logic (scrise în timp ce încă era la școală), au fost dedicate logicii modale. Cele mai comune logici din familia modală sunt create din logica slabă K - numită după Kripke pentru contribuția sa la dezvoltarea acestei direcții: el a introdus semantica standard de facto a lui Kripke (semantica relațională sau semantica cadru).

O scară Kripke cu o relație este o pereche , unde  este o mulțime arbitrară (numită adesea mulțimea de lumi posibile) și  este relația pe (mulțimea de săgeți sau perechi ordonate).

Un model Kripke este o pereche , unde  este o estimare pe o scară care asociază fiecare variabilă cu setul de lumi în care această variabilă este considerată adevărată. În mod formal, evaluarea este prezentată ca o funcție de la setul de variabile la setul tuturor submulților . Adevărul într-un punct din modelul Kripke este notat printr-un semn și este determinat prin inducție pe lungimea formulei :

„Numirea și necesitatea”

În Naming and Necessity (1971), Kripke critică teoriile descriptiviste ale numelor proprii, studiind diferite variante ale teoriilor descriptiviste ale lui Frege  , Russell , Wittgenstein , Searle și alți alți filozofi. Conform teoriilor descriptiviste, fie numele proprii sunt sinonime cu descrieri, fie referința numelor proprii este determinată de asocierea unui nume cu o descriere sau un grup de descrieri care sunt satisfăcute în mod unic de un anumit obiect dat. Kripke respinge ambele tipuri de descriptivism. El oferă diverse exemple menite să dezvăluie inadecvarea descriptivismului ca teorie a acelor factori care determină referirea numelor (de exemplu, Aristotel ar putea muri la vârsta de doi ani și, prin urmare, nu ar îndeplini niciuna dintre descrierile care sunt asociate cu numele lui, de altfel, ar fi o greşeală să negi că ar fi fost Aristotel).

Ca alternativă, Kripke a subliniat teoria cauzală a referinței, conform căreia un nume se referă la un obiect având o legătură cauzală cu obiectul prin intermediul comunităților de vorbitori. El subliniază că numele proprii, spre deosebire de majoritatea descrierilor, sunt desemnatori rigidi . Un nume propriu se referă la un obiect numit în fiecare lume posibilă în care există acel obiect, în timp ce majoritatea descrierilor se referă la diferite obiecte din diferite lumi posibile. De exemplu, numele „Nixon” indică aceeași persoană în toate lumile posibile în care Nixon există, dar descrierea (descrierea) „persoana care a câștigat alegerile prezidențiale din SUA în 1968” poate indica Nixon, Humphrey sau pe cineva chiar în diferite țări. lumi posibile. Kripke a atras atenția și asupra necesității a posteriori - fapte care sunt în mod necesar adevărate, dar astfel încât să poată fi cunoscute doar prin cercetări empirice. Exemple de necesități a posteriori includ afirmații precum „Hesperus este fosfor”, „Cicero este Tullius”, „apa este H 2 O” și alte identități în care două nume se referă la același obiect. În cele din urmă, Kripke a formulat un argument împotriva materialismului în ceea ce privește identitatea în filosofia minții, adică împotriva concepției că fiecare fapt mental este identic cu un fapt fizic.

Kripke consideră că singura modalitate de a apăra această viziune este interpretarea identităţii ca pe o identitate necesară a posteriori, dar o astfel de identitate — de exemplu, identitatea durerii şi stimularea fibrelor C — nu ar putea fi necesară, dat fiind faptul că durerea este posibilă, ceea ce nu are nimic de-a face cu iritarea fibrei C. Argumente similare au fost avansate de David Chalmers. Kripke a susținut, de asemenea, celebrele sale prelegeri John Locke despre filosofie în 1973, la Oxford. Intitulate „Referință și existență”, ele sunt în multe privințe o continuare a ideilor expuse în Naming and Necessity și conțin material interesant despre problema pseudonimelor și erorilor de percepție.

„Un puzzle despre credință”

Principalele ipoteze ale lui Kripke în Naming and Necessity cu privire la numele proprii sunt că sensul unui nume este pur și simplu obiectul la care se referă numele, iar referentul unui nume este determinat de relația cauzală dintre „denumirea” și utilizarea numelui. Cu toate acestea, el a recunoscut posibilitatea ca propozițiile care conțin nume să aibă proprietăți semantice suplimentare: aceste proprietăți ar putea explica de ce două nume care se referă la aceeași persoană ar putea avea valori diferite de adevăr în propoziții despre cineva, apoi convingeri.

În articolul său „Un puzzle despre credință”, Kripke își dezvoltă ideea și neagă chiar și această posibilitate. Argumentul său poate fi reconstruit pe scurt după cum urmează. Ideea că două nume care se referă la aceeași entitate pot avea calități semantice diferite ar trebui să explice de ce aceste nume pot conduce diferit în afirmații despre credințele cuiva. Dar același fenomen poate apărea și cu nume care aparent au calități semantice identice.

Kripke conduce un experiment de gândire: un băiat francez, Pierre, care nu vorbește limbi străine, crede că „ Londres est joli ” („Londra este frumoasă”). Se mută la Londra, fără să știe că numele englezesc London îi corespunde celui francez Londres. El recunoaște limba engleză în conversațiile de zi cu zi fără a traduce cuvintele franceze în engleză și, ca urmare, recunoaște numele „ Londona ” din zona urâtă în care trăiește. El crede că „ Londra ” este urâtă. Dacă opinia lui Kripke este corectă, atunci Pierre crede acum simultan că „ Londres est joli ” și că Londra  este urâtă. Acest lucru nu poate fi explicat prin proprietăți semantice diferite ale numelor, din care Kripke concluzionează că atribuirea unor proprietăți semantice suplimentare numelor nu dă rezultatele așteptate.

Sol Kripke Center

Pentru a păstra și promova munca omului de știință, Centrul Saul Kripke a fost creat la Colegiul de Cercetare al Universității City din New York , organizând evenimente tematice și conducând o arhivă digitală de înregistrări inedite, note de curs, corespondența lui Kripke. din anii 1950.

Vederi religioase

Kripke este un evreu ortodox și crede că credința îl ajută în opera sa filozofică. Într-un interviu cu Andreas Saustat despre modul în care opiniile religioase i-au influențat filosofia, el a raportat:

„Nu am prejudecățile pe care le au mulți oameni astăzi. Nu cred într-o viziune naturalistă asupra lumii. Gândirea mea nu se bazează pe prejudecăți sau pe vreo viziune asupra lumii și nu cred în materialism ” [8] .

Familie

Sora - Madeline Kripke ( ing.  Madeline Kripke ; 1943-2020), bibliofilă și colecționar.

Soție - Margaret Gilbert ( ing.  Margaret Gilbert ; n. 1942), și ea filozof, sora istoricului Martin Gilbert .

Comunități și recompense

• Bursier Fulbright  (1962-1963)
• Society of Fellows ,  Universitatea Harvard  (1963-1966).
• Guggenheim Fellowship (1968, 1977) [9] .
• Doctor în Litere Umane, titlu onorific,  Universitatea din Nebraska , 1977.
• Fellow,  Academia Americană de Arte și Științe  (1978).
• Fellow corespondent,  Academia Britanică  (1985).
• Premiul Howard Behrman,  Universitatea Princeton , 1988.
• Fellow, Academia Scientiarum et Artium Europaea (1993).
• Doctor în Litere Umane, diplomă onorifică,  Universitatea Johns Hopkins , 1997.
• Doctor în Litere Umane, titlu onorific,  Universitatea din Haifa , Israel, 1998.
• Fellow, Academia Norvegiană de Științe (2000-).
• Premiul Schock pentru  Logică și Filosofie,  Academia Suedeză de Științe , 2001.
• Doctor în Litere Umane, diplomă onorifică,  Universitatea din Pennsylvania , 2005.
• Fellow,  American Philosophical Society  (2005).

Compoziții

Cărți

• Denumirea și necesitatea. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 și retipăriri 1972.
• Wittgenstein despre reguli și limbaj privat: o expunere elementară. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
• Necazuri filozofice. Lucrări adunate vol. 1. New York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
• Referință și existență — Prelegerile John Locke. New York: Oxford University Press , 2013. ISBN 978-0-19-992838-5

Articole și rezumate

• 1959. „A Completeness Theorem in Modal Logic,” Journal of Symbolic Logic 24(1):1-14.
• 1959. „Distinguished Constituents” (rezumat), The Journal of Symbolic Logic , 24(4):323.
• 1959. „Semantical Analysis of Modal Logic” (rezumat), The Journal of Symbolic Logic , 24(4):323-324.
• 1959. „The Problem of Entailment” (rezumat), The Journal of Symbolic Logic , 24(4):324.
• 1962. „Predicatele „flexibile” ale teoriei numerelor formale”, Proceedings of the American Mathematical Society , 13(4):647-650.
• 1962. „The Indecidibility 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. „Recursiuni transfinite asupra ordinalelor admisibile, I” (rezumat), Jurnalul de logică simbolică , voi. 29, nr. 3, p. 162.
• 1964. „Recursiuni transfinite asupra ordinalelor admisibile, II” (rezumat), Jurnalul de logică simbolică , voi. 29, nr. 3, p. 162.
• 1964. „Ordinele admisibile și ierarhia analitică” (rezumat), Jurnalul de logică simbolică , voi. 29, nr. 3, p. 162.
• 1965. „Semantical Analysis of Intuitionistic Logic I”, În Formal Systems and Recursive Functions , editat de M. Dummett și JN Crossley. Amsterdam: North-Holland Publishing Co.
• 1965. „Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi”, În Theory of Models , editat de JW Addison, L. Henkin și A. Tarski. Amsterdam: North-Holland Publishing Co.
• 1967. Anunț de cercetare: „Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (cu Marian Boykan Pour-El), Buletinul Societății Americane de Matematică , 73:145-148.
• 1967. „O extensie a unei teoreme a lui Gaifman-Hales-Solovay”, Fundamenta Mathematicae , voi. 61, pp. 29-32.
• 1967. „Recursiune transfinită, seturi construibile și analogi ale cardinalilor”, Rezumate ale discuțiilor pregătite în legătură cu Institutul de vară pentru teoria seturilor axiomatice, Societatea Americană de Matematică, UCLA, pp. IV-0-1 - IV-0-12.
• 1967. „On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra”, în Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), pp. IV-T-1 până la IV-T-7.
• 1967. „Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (cu Marian Boykan Pour-El), Fundamenta Mathematicae 61:141-163.
• 1971. „Identitate and Necessity”, În Identity and Individuation , editat de M. K. Munitz. New York: New York University Press.
• 1972 (1980). „Naming and Necessity”, În Semantics of Natural Language , editat de D. Davidson și G. Harman. Dordrecht; Boston: Reidel. Stabilește teoria cauzală a referinței .
• 1975. „Schitul unei teorii a adevărului”, Journal of Philosophy 72:690-716. Își stabilește teoria adevărului (împotriva lui Alfred Tarski), în care un limbaj obiect poate conține propriul său predicat de adevăr.
• 1976. „Is There a Problem about Substitutional Quantification?”, în Truth and Meaning: Essays in Semantics , editat de Gareth Evans și John McDowell. Oxford: Oxford University Press.
• 1976. „A Theory of Truth I. Preliminary Report”, rezumat, Journal of Symbolic Logic , voi. 41, nr. 2, pp. 556.
• 1976. O teorie a adevărului II. Raport preliminar”, rezumat, Journal of Symbolic Logic , voi. 41, nr. 2, pp. 556-557.
• 1977. „Referința vorbitorului și referința semantică”, Midwest Studies in Philosophy 2:255-276.
• 1979. „A Puzzle about Belief”, In Meaning and Use , editat de A. Margalit. Dordrecht și Boston: Reidel.
• 1982. „Nonstandard Models of Peano Arithmetic” (cu S. Kochen), în Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker , H. Lauchli (ed.), 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. „Rezumat: Concepte individuale: logica lor, filozofia și unele dintre utilizările lor”. Proceedings and Addresses of the American Philosophical Association 66: 70-73
• 2005. „Noțiunea de scop a lui Russell”, Mind 114:1005-1037
• 2008. „Teoria simțului și referinței a lui Frege: câteva note exegetice”, Theoria 74:181-218
• 2009. „Presupoziție și anaforă: Observații privind formularea problemei proiecției”, Linguistic Inquiry 40(3):367-386.
• 2009. „Prăbușirea programului Hilbert” (Rezumat) Buletinul de logică simbolică 15(2):229-231.
• 2011. „Persoana I”, Necazuri filozofice. Lucrări adunate vol. I, Oxford University Press [10] .
• 2011. „Două paradoxuri ale cunoașterii”, Probleme filozofice. Lucrări adunate vol. Eu, Oxford University Press.
• 2011. Nozick on Knowledge, Philosophical Troubles. Lucrări adunate vol. Eu, Oxford University Press.
• 2011. „Un puzzle despre timp și gândire”, Probleme filozofice. Lucrări adunate vol. Eu, Oxford University Press.
• 2011. „Nume vacue și entități fictive”, Probleme filozofice. Lucrări adunate vol. Eu, Oxford University Press.
• 2011. „Exportarea fără restricții și unele morale pentru filosofia limbajului”, Probleme filosofice. Lucrări adunate vol. I, Oxford University Press [11] .
• 2013. „The Church-Turing ‘Thesis’ as a Special Corolary of Gödel’s Completeness Theorem”, în Computability: Turing, Gödel, Church, and Beyond, Copeland, BJ, Posy, C., and Shagrir, O. (eds), Cambridge, Mass., MIT Press.

Manuscrise și prelegeri inedite

• 1963. „Istorie și idealism: teoria lui R. G. Collingwood”.
• 1973. John Locke Lectures: „Reference and Existence”. (Transcript disponibil în Biblioteca de Filosofie, Universitatea Oxford)
• 1975. Trei prelegeri despre adevăr. Universitatea Princeton [12] .
• 197-. „Despre completitudinea și determinabilitatea logicii propoziționale intuitive”.
• 1978. Timpul şi identitatea. Curs susținut la Universitatea Princeton în 1978. Textul prelegerilor nu a fost publicat, dar mai multe versiuni „samizdat” ale acestuia sunt în circulație. Unele dintre ideile prezentate în aceste prelegeri sunt discutate de Ted Sider în cartea sa Four-Dimensionalism: An Ontology of Persistence and Time .
• 19-. „Modele non-standard și teorema lui Godel: o demonstrație teoretică a modelului teoremei lui Godel” [13]
• 1984. Lecţii despre funcţionalism şi automate. (Livrată la Simpozionul Internațional Wittgenstein, 1984. Transcris de Roderick Chisholm. [14]
• 198-. „O dovadă a Gammei”.
• 198-. „O notă despre critica lui Zabludowski a teoriei proiecției lui Goodman”.
• 1986. „Desemnarea rigidă și contingentul A Priori: Stickul de metru revăzut” (Notre Dame, 1986).
• 1988/89. Seminarii despre Adevăr. Seminar de trei semestre la Princeton în 1988-89, doar primele două semestre au fost transcrise de Jim Cain [15] .
• 19- „Analiza semantică a logicii intuiționiste II. Indecidibilitatea fragmentului monadic” (Manuscris nedatat).
• 19- „Analiza semantică a logicii intuiționiste III” (Manuscris nedatat).
• 1989 No Fool's Red? Câteva considerații privind distincția de calitate primară/secundară” (include comentariile lui David Velleman). Universitatea din Michigan, 1989.
• 1992. Whitehead Lectures: „Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers”. Livrată la Universitatea Harvard, 1992.
• 1992. Concepte individuale: logica, filozofia și unele dintre utilizările lor. Transcris de Stephen Webb.
• 1996. The Ordered Pair: A Philosophical Paradigm Revisited.
• 1996. „Teoria recursiunii elementare și aplicațiile sale la sistemele formale”. Transcris de Mario Gomez Torrente și John Barker [16] .
• 1999. „Drumul spre Gödel”. (Citită la Universitatea Haifa, Israel, 1999. Există mai multe transcrieri.
• 2006. „From Church's Thesis to the First Order Algorithm Theorem”, Universitatea din Tel Aviv, 13 iunie 2006 [17] .
• 2007. „Masa rotundă privind externalismul” ( Hilary Putnam , Tyler Burge, Saul Kripke și Michael Devitt). University College Dublin, Irlanda [18] .
• 2007. Prăbușirea programului Hilbert. Universitatea din Indiana, Prelegere prezidențială [19] .
• 2008. Incompletețea matematică rezultă în aritmetica Peano, o viziune revizionistă asupra istoriei timpurii.

Interviuri și articole despre Kripke în presă

• „ New Frontiers in American Philosophy ” de Taylor Branch, New York Times Magazine , 14 august 1977.
• „ Saul Kripke, logician geniu ”. Interviu realizat de Andreas Saugstad, 25 februarie 2001.
• „ Cărbătorirea geniului filosof al lui CUNY ” de Gary Shapiro, The New York Sun , 27 ianuarie 2006.
• « Filosof, 65 de ani, Prelegeri nu despre „Ce sunt eu?” dar „Ce sunt eu?” de Charles McGrath, The New York Times , 28 ianuarie 2006.
• „ Cele mai bune cinci cărți despre filosofia limbajului” de Scott Soames, 15 octombrie 2010.

În rusă

• Kripke SA 1) Teorema completității în logica modală; 2) Indecidibilitatea calculului predicatului modal unar; 3) Analiza semantică a logicii modale, părțile 1-2 // Fața R. Logica modală. M., 1974. S. 223-323.
• Kripke S. Considerarea semantică a logicii modale // Semantica logicii modale și intensionale. M., 1981.
• Kripke S. Identitate și necesitate // Nou în lingvistica străină. Problema. XIII. M., 1982.
• Kripke S. Enigma contextelor de opinie // Nou în lingvistica străină. Problema. XVIII. M., 1986.
• Kripke S. A. Wittgenstein despre reguli și limbaj individual / Traducere de V. Rudnev // Logos. - 1999. - Nr. 1. - S. 151-185.
• Kripke S. A. Wittgenstein despre reguli și limbaj individual / Per. V. A. Ladova, V. A. Surovtseva. Sub total ed. V. A. Surovtseva. - Tomsk: Editura Vol. un-ta, 2005. - 152 p. — (Biblioteca de filozofie analitică). ISBN 5-7511-1906-1
• Kripke S. Wittgenstein despre reguli și limbaj individual / Traducere de V. A. Ladov, V. A. Surovtsev / Editat de V. A. Surovtsev. - M .: „Kanon +” ROOI „Reabilitare”, 2010. - 256 p.

Vezi și

• Personajul Big Bang Theory, Barry Kripke, este considerat a fi un omagiu adus lui Saul Kripke
• Padilla Galvez, Isus[ clarifica ]

Note

1. ↑ 1 2 Weinberg J. Saul Kripke (1940-2022  ) - 2022.
2. ↑ http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
3. ↑ Saul Aaron Kripke // Enciclopedia Brockhaus  (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
4. ↑ Saul A Kripke // Babelio  (fr.) - 2007.
5. ↑ Necrolog în The New York Times
6. ↑ Rabinul Myer Kripke, prieten și investitor din Buffett timpuriu, moare la 100 de ani . Preluat la 30 septembrie 2017. Arhivat din original la 30 august 2018. (nedefinit)
7. ↑ 12 Charles McGrath . Filosof, 65 de ani, Prelegeri nu despre „Ce sunt eu?” dar „Ce sunt eu?” . The New York Times (28 ianuarie 2006). Data accesului: 26 mai 2017. Arhivat din original pe 7 aprilie 2008.  (nedefinit)
8. ↑ Andreas Saugstad. Saul Kripke, logician de geniu . David Boles, Bloguri (25 februarie 2001). Preluat la 26 mai 2017. Arhivat din original la 31 martie 2016. (nedefinit)
9. ↑ Saul  Kripke . Fundația John Simon Guggenheim . gf.org. Consultat la 15 aprilie 2019. Arhivat din original la 15 aprilie 2019.
10. ↑ Videoclipuri pe care se bazează articolul
11. ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast pe care se bazează articolul]
12. ↑ Discuție
13. ↑ Rezumat de Hilary Putnam.
14. ↑ Edward P. Stabler, „Kripke on functionalism and automata  (link unavailable) ”, Synthese , voi. 70 nr. 1 (1987).
15. ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
16. ↑ [1]
17. ↑ Video și rezumat
18. ↑ Podcast
19. ↑ Prelegeri video

Literatură

•  Teoria adevărului a lui Bessonov A. V. Kripke // Proceedings of the Siberian Branch of the URSS Academy of Sciences . Seria Științe Sociale. - 1977. - Numărul 1. - Nr. 1. - S. 134-138.
• Schema lui Dorofeev G. Kripke și teza lui Church în analiza intuiționistă // A treia conferință a întregii uniuni de logică matematică. - Novosibirsk, 1974.
• Makeeva L. B. Kripke  // New Philosophical Encyclopedia  : în 4 volume  / înainte. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M .  : Gândirea , 2010. - 2816 p.
• Kripke, Sol  / Makeeva L. B.  // Botezul Domnului - Rândunica [Resursă electronică]. - 2010. - S. 36. - ( Marea Enciclopedie Rusă  : [în 35 de volume]  / redactor-șef Yu. S. Osipov  ; 2004-2017, v. 16). — ISBN 978-5-85270-347-7 .
• Serikov A.E. Baker și Hacker vs Kripke: despre relevanța vechii discuții // Buletinul Academiei Samara pentru Științe Umaniste. Seria „Filosofie. Filologie". - 2010. - Nr. 1 (7). - S. 100-122.
• Khlebalin A. V. Problema fundamentului și condițiile pentru rezolvarea paradoxului Kripke // Filosofie: istorie și modernitate. 2004-2005. sat. lucrări științifice - Novosibirsk-Omsk, 2005. - S. 3-13.

• Consuelo Preti (2002), Despre Kripke. Wadsworth. ISBN 0-534-58366-0
• Christopher Hughes (2004), Kripke: Nume, necesitate și identitate. ISBN 0-19-824107-0 .
• GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
• Martin Kusch (2006), A sceptic Guide to Meaning and Rules. Apărând Wittgenstein-ul lui Kripke. Acumben: Publishing Limited.
• Arif Ahmed (2007), Saul Kripke. New York, NY; Londra: Continuum. ISBN 0-8264-9262-2 .

Site-uri tematice	Genealogie matematică zbMATH Deschide
Dicționare și enciclopedii	mare danez Mare catalană Mare norvegian Rusă mare Italiană in jurul lumii Britannica (online) Brockhaus Treccani Universalis
În cataloagele bibliografice 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