Kripke, Saul

Saul Aaron Kripke ( 13.  marraskuuta 1940 [ 2] [3] [4] , Bay Shore [d] , New York – 15. syyskuuta 2022 [ 1] ) oli yhdysvaltalainen filosofi ja loogikko . Emeritusprofessori Harvardin yliopistossa , arvostettu professori Graduate Schoolissa ja yliopistokeskuksessa of the City University of New Yorkissa . Rolf Schock -palkinnon voittaja filosofiassa ja logiikassa (2001) on erään tutkimuksen mukaan kymmenen viimeisen 200 vuoden tärkeimmän filosofin joukossa.

Hänen pääteoksensa ovat matemaattinen logiikka , kielen filosofia , matematiikan filosofia , metafysiikka , epistemologia ja joukkoteoria .

Varhaisessa työssään hän osallistui merkittävästi modaalilogiikan kehittämiseen . Myöhemmällä työllä on ollut syvällinen vaikutus analyyttiseen filosofiaan , ja merkittävimpänä panoksena on pidetty modaalisuuden metafyysistä kuvausta , joka sisältää ajatuksen mahdollisista maailmoista , kuten Kripken semantiikkana tunnetussa järjestelmässä selitetään . Toinen tärkeä saavutus on osoitus siitä, että on olemassa välttämättömiä jälkikäteen totuuksia, kuten "vesi on H 2 O". Hän osallistui myös Wittgensteinin filosofian tutkimukseen , alkuperäinen tulkinta tunnettiin nimellä "Kripkenstein" . Kripken tunnetuin teos on Naming and Necessity (1980).

Elämäkerta

Vanhin kolmesta juutalaisen teologisen seminaarin lapsesta  , Mayer Kripke (1914-2014) [5] , Beth El Synagogan rabbi ( Nebraskan Omahan ainoa konservatiivinen seurakunta [ 6] ) ja Dorothy Kripke (s. Karp, 1912–2000), juutalaisille lapsille suunnattujen opetuskirjojen kirjoittaja. Isän perhe muutti Liettuasta Yhdysvaltoihin .

Lapsuudesta lähtien häntä pidettiin ihmelapsena : kuuden vuoden iässä hän oppi itsenäisesti hepreaa , yhdeksänvuotiaana hän oli lukenut kaikki Shakespearen teokset, opiskellut Descartesin filosofiaa ja käsitellyt monimutkaisia ​​matemaattisia ongelmia peruskoulun valmistumiseen asti. [7] . Hän kirjoitti ensimmäiset tieteelliset artikkelit modaalilogiikasta ollessaan vielä koulupoika. Päättyään koulusta vuonna 1958 hän siirtyi Harvardin yliopistoon , josta hän valmistui summa cum laude -kandidaatin tutkinnolla matematiikassa. Jo toisena opiskeluvuotenaan Kripke opetti logiikkakurssin Massachusetts Institute of Technologyssa . 1900-luvun tiedemiehelle epätavallista, että Kripken ainoa akateeminen tutkinto on kandidaatin tutkinto , hänellä ei ole muita akateemisia tutkintoja.

Valmistuttuaan vuonna 1962 hän sai Fulbright-stipendin . Vuonna 1963 hänet valittiin Harvard Society of Fellows . Sitten hän opetti useita vuosia Harvardissa , vuonna 1967 hän muutti Rockefeller Universityyn New Yorkiin, vuonna 1977 - Princetonin yliopistoon . Vuonna 1988 Harvard sai Berman-palkinnon panoksesta humanistisiin tieteisiin. Vuodesta 2002 lähtien hän on opettanut New Yorkin kaupungin yliopiston tutkijakoulussa ja yliopistokeskuksessa Manhattanilla, jossa hän sai vuonna 2003 Distinguished Professor -arvon.

On syytä huomata, että Kripke itse ei kirjoittanut juuri lainkaan artikkeleita: sen sijaan hän opiskeli tiettyä aihetta, sitten sopivassa julkisessa tilaisuudessa - seminaarissa tai luennossa - hän puhui johtopäätöksistään, käyden usein sokraattista vuoropuhelua yleisön kanssa - ja sitten keskustelu litteroitiin, ja sarjamuokkauksen jälkeen Saul Kripke hyväksyi tuloksen julkaisemisen. Tämän seurauksena suurinta osaa teoksesta ei julkaista, se on olemassa vain äänitallenteena tai henkilökohtaisesti jaettuna käsikirjoituksena. Filosofi itse selitti tapansa yksinkertaisesti: " Inhoan vain istua ja kirjoittaa - se riitti minulle koulussa. Lisäksi käsialani on inhottavaa ” [7] .

Toimii

Avaintyöt:

• Kripken semantiikka modaalilogiikkaan -  hahmoteltu useissa esseissä, joita Kripke aloitti teini-iässä;
• Princetonin yliopistossa vuonna 1970 pidetyllä Naming and Necessity -luentosarjalla ( julkaistu 1972 ja 1980) oli suuri vaikutus kielen filosofiaan ; 
• Wittgensteinin filosofian tulkinta ;
• totuuden teoria .

Hän osallistui myös joukkoteoriaan ehdottamalla ja motivoimalla yhtä aksiomaattisen joukkoteorian muunnelmista , joka tunnetaan nimellä Kripke-Platekin teoria .

Modaalinen logiikka

Kripken kaksi ensimmäistä teosta, A Completeness Theorem in Modal Logic ja Semantical Regulations on Modal Logic (kirjoitettu vielä koulussa), olivat omistettu modaalilogiikalle. Modaaliperheen yleisimmät logiikat on luotu heikosta logiikasta K - joka on nimetty Kripken mukaan hänen panoksestaan ​​tämän suunnan kehittämiseen: hän esitteli Kripken de facto standardisemantiikan (relaatiosemantiikan tai kehyssemantiikan) .

Kripke-asteikko , jolla on yksi relaatio, on pari , jossa  on mielivaltainen joukko (kutsutaan usein mahdollisten maailmojen joukoksi) ja  on relaatio on (nuolien tai järjestellisten parien joukko).

Kripke-malli on pari , jossa  on arvio asteikolla, joka yhdistää jokaisen muuttujan maailmojen joukkoon, jossa tätä muuttujaa pidetään tosi. Muodollisesti arvio esitetään funktiona muuttujajoukosta kaikkien osajoukkojen joukkoon . Totuus Kripke-mallin pisteessä on merkitty merkillä ja määräytyy kaavan pituuden induktiolla :

"Nimiminen ja välttämättömyys"

Teoksessa Naming and Necessity (1971) Kripke kritisoi deskriptivistisiä erisnimiteorioita tutkiessaan Fregen  , Russellin , Wittgensteinin , Searlen ja useiden muiden filosofien deskriptivististen teorioiden eri muunnelmia. Deskriptivististen teorioiden mukaan joko erisnimet ovat synonyymejä kuvausten kanssa, tai muuten erisnimien viittaus määräytyy nimen liittämisestä kuvaukseen tai kuvausten rypäleeseen, jonka jokin tietty objekti yksiselitteisesti tyydyttää. Kripke torjuu nämä molemmat deskriptivismin tyypit. Hän antaa erilaisia ​​esimerkkejä, joiden tarkoituksena on paljastaa deskriptivismin riittämättömyys teoriana niistä tekijöistä, jotka määräävät nimien viittauksen (esim. Aristoteles saattoi kuolla kahden vuoden iässä, ja siksi hän ei täyttäisi mitään kuvauksista, jotka liittyvät hänen nimensä, lisäksi olisi virhe kieltää hänen olevan Aristoteles).

Vaihtoehtona Kripke on hahmotellut referenssin kausaaliteorian, jonka mukaan nimi viittaa esineeseen siten, että sillä on kausaalinen yhteys esineeseen puhujayhteisöjen kautta. Hän huomauttaa, että erisnimet, toisin kuin useimmat kuvaukset, ovat jäykkiä nimityksiä . Erityisnimi viittaa nimettyyn esineeseen kaikissa mahdollisissa maailmoissa, joissa kyseinen esine on olemassa, kun taas useimmat kuvaukset viittaavat erilaisiin objekteihin eri mahdollisissa maailmoissa. Esimerkiksi nimi "Nixon" tarkoittaa samaa henkilöä kaikissa mahdollisissa maailmoissa, joissa Nixon on olemassa, mutta kuvaus (kuvaus) "henkilö, joka voitti Yhdysvaltain presidentinvaalit vuonna 1968" voi viitata Nixoniin, Humphreyyn tai johonkin jopa eri maihin. mahdollisia maailmoja. Kripke kiinnitti huomion myös jälkikäteen välttämättömyyteen - tosiasiat, jotka ovat välttämättä totta, mutta sellaisia, että ne voidaan tietää vain empiirisen tutkimuksen kautta. Esimerkkejä jälkikäteen olevista välttämättömyyksistä ovat lausunnot, kuten "Hesperus on fosfori", "Cicero on Tullius", "vesi on H2O " ja muut identiteetit, joissa kaksi nimeä viittaa samaan kohteeseen. Lopuksi Kripke muotoili argumentin materialismia vastaan ​​mielenfilosofian identiteetin suhteen, toisin sanoen sitä näkemystä vastaan, että jokainen mentaalinen tosiasia on identtinen jonkin fyysisen tosiasian kanssa.

Kripke uskoo, että ainoa tapa puolustaa tätä näkemystä on tulkita identiteetti jälkikäteen välttämättömäksi identiteetiksi, mutta tällainen identiteetti – esimerkiksi kivun ja C-kuitujen stimulaation identiteetti – ei voisi olla välttämätön, kun otetaan huomioon se tosiasia, että kipu on mahdollista, mikä ei liity mitenkään C-kuituärsytykseen. Samanlaisia ​​väitteitä on esittänyt David Chalmers. Kripke piti myös kuuluisat John Locke -luennot filosofiasta vuonna 1973 Oxfordissa. Ne, joiden otsikkona on "Viite ja olemassaolo", ovat monella tapaa jatkoa Naming and Necessity -julkaisussa esitetyille ideoille, ja ne sisältävät mielenkiintoista materiaalia aliasten ja havaintovirheiden ongelmasta.

"Palapeli uskomuksesta"

Kripken tärkeimmät oletukset nimeämisessä ja välttämättömyydessä erisnimistä ovat, että nimen merkitys on yksinkertaisesti objekti, johon nimi viittaa, ja nimen referentti määräytyy "nimeämisen" ja nimen käytön välisen kausaalisen suhteen perusteella. Hän kuitenkin ymmärsi mahdollisuuden, että nimiä sisältävillä väitteillä saattaa olla semanttisia lisäominaisuuksia: nämä ominaisuudet voisivat selittää, miksi kahdella samaan henkilöön viittaavalla nimellä voi olla eri totuusarvot jotakin henkilöä koskevissa väitteissä, sitten vakaumuksissa.

Artikkelissaan "A Puzzle about Belief" Kripke kehittää ideaansa ja kiistää jopa tämän mahdollisuuden. Hänen argumenttinsa voidaan lyhyesti rekonstruoida seuraavasti. Ajatuksen siitä, että kahdella samaan kokonaisuuteen viittaavalla nimellä voi olla erilaisia ​​semanttisia ominaisuuksia, pitäisi selittää, miksi nämä nimet voivat johtaa eri tavalla jonkun uskomuksia koskevissa lausumissa. Mutta sama ilmiö voi esiintyä myös nimillä, joilla on ilmeisesti identtiset semanttiset ominaisuudet.

Kripke suorittaa ajatuskokeilun: ranskalainen poika Pierre, joka ei puhu vieraita kieliä, uskoo, että "Lontoo on kaunis" (" Londres est joli "). Hän muuttaa Lontooseen tietämättä, että englanninkielinen nimi London vastaa ranskalaista Londresia. Hän tunnistaa englannin jokapäiväisissä keskusteluissa kääntämättä ranskalaisia ​​sanoja englanniksi, ja sen seurauksena hän tunnistaa nimen " Lontoo " rumasta alueesta, jolla hän asuu. Hänen mielestään " Lontoo " on ruma. Jos Kripken mielipide on oikea, niin Pierre uskoo nyt samanaikaisesti, että " Londres est joli " ja että Lontoo  on ruma. Tätä ei voida selittää nimien erilaisilla semanttisilla ominaisuuksilla, joista Kripke päättelee, että lisäsemanttisten ominaisuuksien antaminen nimille ei anna odotettuja tuloksia.

Sol Kripke Center

Tutkijan työn säilyttämiseksi ja edistämiseksi perustettiin Saul Kripke Center New Yorkin kaupungin yliopiston tutkimuskollegioon , joka järjestää temaattisia tapahtumia ja johtaa digitaalista arkistoa julkaisemattomista äänitteistä, luentomuistiinpanoista, Kripken kirjeenvaihdosta. 1950-luvulta lähtien.

Uskonnolliset näkemykset

Kripke on ortodoksinen juutalainen ja uskoo, että usko auttaa häntä hänen filosofisessa työssään. Andreas Saustatin haastattelussa siitä, kuinka uskonnolliset näkemykset vaikuttivat hänen filosofiaan, hän raportoi:

”Minulla ei ole sellaisia ​​ennakkoluuloja, joita monilla nykyään on. En usko naturalistiseen maailmankatsomukseen. Ajatteluni ei perustu ennakkoluuloihin tai mihinkään maailmankatsomukseen, enkä usko materialismiin ” [8] .

Perhe

Sisar - Madeline Kripke ( eng.  Madeline Kripke ; 1943-2020), bibliofiili ja keräilijä.

Vaimo - Margaret Gilbert ( eng.  Margaret Gilbert ; s. 1942), myös filosofi, historioitsija Martin Gilbertin sisar .

Yhteisöt ja palkinnot

• Fulbright Scholar  (1962-1963)
• Society of Fellows ,  Harvardin yliopisto  (1963-1966).
• Guggenheim Fellowship (1968, 1977) [9] .
• Humane Letters -tutkinnon tohtori, kunniatutkinto,  Nebraskan yliopisto , 1977.
• Fellow,  American Academy of Arts and Sciences  (1978).
• British Academyn kirjeenvaihtaja   (1985).
• Howard Behrman -palkinto,  Princetonin yliopisto , 1988.
• Fellow, Academia Scientiarum et Artium Europaea (1993).
• Humane Letters -tutkinnon tohtori, kunniatutkinto,  Johns Hopkins University , 1997.
• Humane Letters tohtori, kunniatutkinto,  Haifan yliopisto , Israel, 1998.
• Fellow, Norjan tiedeakatemia (2000-).
• Schock-palkinto  logiikassa ja filosofiassa,  Ruotsin tiedeakatemia , 2001.
• Humane Letters -tutkinnon tohtori,  Pennsylvanian yliopisto , 2005.
• Fellow,  American Philosophical Society  (2005).

Sävellykset

Kirjat

• Nimeäminen ja välttämättömyys. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 ja uusintapainokset 1972.
• Wittgenstein säännöistä ja yksityisestä kielestä: perusnäyttely. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
• Filosofiset ongelmat. Collected Papers Voi. 1. New York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
• Viittaus ja olemassaolo – John Locken luennot. New York: Oxford University Press , 2013. ISBN 978-0-19-992838-5

Artikkelit ja tiivistelmät

• 1959. "A Completeness Theorem in Modal Logic", Journal of Symbolic Logic 24(1):1-14.
• 1959. "Distinguished Constituents" (tiivistelmä), The Journal of Symbolic Logic , 24(4):323.
• 1959. "Semantical Analysis of Modal Logic" (tiivistelmä), The Journal of Symbolic Logic , 24(4):323-324.
• 1959. "The Problem of Entailment" (tiivistelmä), 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. "Monadicisen modaalisen kvantifiointiteorian päättämättömyys", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8:113-116
• 1963. "Semanttiset näkökohdat modaalilogiikasta", Acta Philosophica Fennica 16:83-94
• 1963. "Modaallogiikka I:n semanttinen analyysi: Normaali modaalilauselasku", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9:67-96
• 1964. "Transfinite Recursions on Admissible Ordinals, I" (tiivistelmä), The Journal of Symbolic Logic , Voi. 29, ei. 3, s. 162.
• 1964. "Transfinite Recursions on Admissible Ordinals, II" (tiivistelmä), The Journal of Symbolic Logic , Voi. 29, ei. 3, s. 162.
• 1964. "Admissible Ordinals and the Analytic Hierarchy" (tiivistelmä), The Journal of Symbolic Logic , Voi. 29, ei. 3, s. 162.
• 1965. "Intuitionistic Logic I:n semanttinen analyysi", julkaisussa Formal Systems and Recursive Functions , toimittaneet M. Dummett ja JN Crossley. Amsterdam: North-Holland Publishing Co.
• 1965. "Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi", teoksessa Theory of Models , toimittaneet JW Addison, L. Henkin ja A. Tarski. Amsterdam: North-Holland Publishing Co.
• 1967. Tutkimusilmoitus: "Deduktiota säilyttävät 'rekursiiviset isomorfismit' teorioiden välillä" (Marian Boykan Pour-Elin kanssa), Bulletin of the American Mathematical Society , 73:145-148.
• 1967. "An Extension of a Theorem of Gaifman-Hales-Solovay", Fundamenta Mathematicae , Voi. 61, s. 29-32.
• 1967. "Transfinite Recursion, Constructible Sets and Analogues of Cardinals", Yhteenvedot keskusteluista, jotka on laadittu yhteydessä Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA, s. IV-0-1 - IV-0-12.
• 1967. "On the Application of Boolean-valued Models to Solutions of Boolen Algebra", tiivistelmissä keskusteluista, jotka on laadittu yhteydessä Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), s. IV-T-1 - IV-T-7.
• 1967. "Deduktiota säilyttävät 'rekursiiviset isomorfismit' teorioiden välillä" (Marian Boykan Pour-Elin kanssa), Fundamenta Mathematicae 61:141-163.
• 1971. "Identity and Necessity", julkaisussa Identity and Individuation , toimittanut M. K. Munitz. New York: New York University Press.
• 1972 (1980). "Naming and Necessity", julkaisussa Semantics of Natural Language , toimittajina D. Davidson ja G. Harman. Dordrecht; Boston: Reidel. Esittää viittauksen kausaalisen teorian .
• 1975. "Outline of a Theory of Truth", Journal of Philosophy 72:690-716. Asettaa totuusteoriansa (Alfred Tarskia vastaan), jossa objektikieli voi sisältää oman totuuspredikaattinsa.
• 1976. "Is There a Problem about Substitutional Quantification?", teoksessa Truth and Meaning: Essays in Semantics , toimittajina Gareth Evans ja John McDowell. Oxford: Oxford University Press.
• 1976. "A Theory of Truth I. Preliminary Report", tiivistelmä, Journal of Symbolic Logic , Voi. 41, nro. 2, s. 556.
• 1976. Totuuden teoria II. Preliminary Report", tiivistelmä, Journal of Symbolic Logic , Voi. 41, nro. 2, s. 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 , toimittanut A. Margalit. Dordrecht ja Boston: Reidel.
• 1982. "Epästandardit Peano Aritmetic mallit" (S. Kochenin kanssa), julkaisussa Logic and Algorithmics: International Symposium Held in Honour of Ernst Specker , H. Lauchli (toim.), Geneven yliopisto: 277-295.
• 1986. "Viiteteorian ongelma: työn kielellinen jako ja nimeämisen sosiaalinen luonne", Filosofia ja kulttuuri (XVII. Maailman filosofian kongressin julkaisu) , Montreal, Editions Montmorency: 241-247.
• 1992. "Yhteenveto: Yksilölliset käsitteet: niiden logiikka, filosofia ja jotkut niiden käyttötarkoituksista." Proceedings and Addresses of the American Philosophical Association 66: 70-73
• 2005. "Russellin käsitys laajuudesta", Mind 114:1005-1037
• 2008. "Fregen aistien teoria ja viittaus: joitain eksegeettisiä huomautuksia", Theoria 74:181-218
• 2009. "Presupposition and Anafora: Huomautuksia projektioongelman muotoilusta", Linguistic Inquiry 40(3):367-386.
• 2009. "Hilbert-ohjelman romahtaminen" (tiivistelmä) Bulletin of Symbolic Logic 15(2):229-231.
• 2011. "Ensimmäinen henkilö", Filosofiset ongelmat. Collected Papers Voi. I, Oxford University Press [10] .
• 2011. "Two Paradoxes of Knowledge", Filosofiset ongelmat. Collected Papers Voi. Minä, Oxford University Press.
• 2011. Nozick on Knowledge, Philosophical Troubles. Collected Papers Voi. Minä, Oxford University Press.
• 2011. "Palapeli ajasta ja ajatuksesta", Filosofiset ongelmat. Collected Papers Voi. Minä, Oxford University Press.
• 2011. "Tyhjiä nimiä ja kuvitteellisia kokonaisuuksia", Filosofisia ongelmia. Collected Papers Voi. Minä, Oxford University Press.
• 2011. "Rajoittamaton vienti ja jotkut kielenfilosofian moraalit", Filosofiset ongelmat. Collected Papers Voi. I, Oxford University Press [11] .
• 2013. "The Church-Turing 'Thesis' as a Special Corollary of Gödel's Completeness Theorem", julkaisussa Computability: Turing, Gödel, Church, and Beyond, Copeland, BJ, Posy, C. ja Shagrir, O. (toim.), Cambridge, Mass., MIT Press.

Julkaisemattomat käsikirjoitukset ja luennot

• 1963. "Historia ja idealismi: R. G. Collingwoodin teoria".
• 1973. John Locke Lectures: "Viite ja olemassaolo". (Osakirjoitus saatavilla Oxfordin yliopiston Filosofiakirjastosta)
• 1975. Kolme luentoja totuudesta. Princetonin yliopisto [12] .
• 197-. "Intuitionistisen ehdotuslogiikan täydellisyydestä ja päätettävyydestä".
• 1978. Aika ja identiteetti. Kurssi pidettiin Princetonin yliopistossa vuonna 1978. Luentojen tekstiä ei ole julkaistu, mutta siitä on liikkeellä useita "samizdat" -versioita. Ted Sider käsittelee joitakin näillä luennoilla esitetyistä ajatuksista kirjassaan Four-Dimensionalism: An Ontology of Persistence and Time .
• 19-. "Epästandardit mallit ja Godelin lause: malliteoreettinen todiste Godelin lauseesta" [13]
• 1984. Lessons on Functionalism and Automata. (Esitetty kansainvälisessä Wittgenstein-symposiumissa, 1984. Literaatti Roderick Chisholm. [14]
• 198-. "Todiste gammasta."
• 198-. "Huomautus Zabludowskin Goodmanin projektioteorian kritiikkiin".
• 1986. "Jäykkä nimitys ja kontingentti A Priori: Mittarisauva uudelleen" (Notre Dame, 1986).
• 1988/89. Seminaarit totuudesta. Kolmen lukukauden seminaari Princetonissa vuosina 1988-89, vain kaksi ensimmäistä lukukautta on litteroinut Jim Cain [15] .
• 19- "Intuitionistisen logiikan semanttinen analyysi II. Monadisen fragmentin päättämättömyys" (Päittämätön käsikirjoitus).
• 19- "Intuitionistic Logic III:n semanttinen analyysi" (päivättämätön käsikirjoitus).
• 1989 No Fool's Red? Joitakin huomioita ensisijaisesta/toissijaisesta laatuerosta" (sisältää David Vellemanin kommentit). Michiganin yliopisto, 1989.
• 1992. Whitehead Luennot: "Logismi, Wittgenstein ja De Re uskomukset luonnollisista numeroista." Esitetty Harvardin yliopistossa 1992.
• 1992. Yksittäiset käsitteet: niiden logiikka, filosofia ja jotkin niiden käyttötarkoitukset. Literaatti Stephen Webb.
• 1996. The Ordered Pair: A Philosophical Paradigm Revisited.
• 1996. "Elementary Rekursioteoria ja sen sovellukset muodollisiin järjestelmiin." Literoinut Mario Gomez Torrente ja John Barker [16] .
• 1999. "Tie Gödeliin". (Luettu Haifan yliopistossa Israelissa, 1999. On olemassa useita kopioita.
• 2006. "From Church's Thesis to the First Order Algorithm Theorem", Tel Avivin yliopisto, 13. kesäkuuta 2006 [17] .
• 2007. "Pyöreän pöydän ulkopuolisuus" ( Hilary Putnam , Tyler Burge, Saul Kripke ja Michael Devitt). University College Dublin, Irlanti [18] .
• 2007. Hilbert-ohjelman romahdus. Indiana University, presidentin luento [19] .
• 2008. Matemaattisen epätäydellisyyden tulokset Peano Arithmeticissa, revisionistisessa varhaishistorian näkemyksessä.

Haastatteluja ja artikkeleita Kripkestä lehdistössä

• " New Frontiers in American Philosophy ", kirjoittanut Taylor Branch, New York Times Magazine , 14. elokuuta 1977.
• " Saul Kripke, nerologiikka ." Andreas Saugstadin haastattelu, 25. helmikuuta 2001.
• " Celebrating CUNY's Genius Philosopher ", kirjoittanut Gary Shapiro, The New York Sun , 27. tammikuuta 2006.
• « Filosofi, 65, luentoja ei aiheesta "Mikä minä olen?" mutta "Mikä minä olen?" Charles McGrath, The New York Times , 28. tammikuuta 2006.
• " Viisi parasta kielenfilosofian kirjaa" , kirjoittanut Scott Soames, 15. lokakuuta 2010.

venäjäksi

• Kripke SA 1) Täydellisyyslause modaalilogiikassa; 2) Unaarimodaalipredikaattilaskennan ratkaisemattomuus; 3) Modaalilogiikan semanttinen analyysi, osat 1-2 // Face R. Modaalilogiikka. M., 1974. S. 223-323.
• Kripke S. Modaalilogiikan semanttinen tarkastelu // Modaali- ja intensiologiikan semantiikka. M., 1981.
• Kripke S. Identiteetti ja välttämättömyys // Uutta vieraassa kielitieteessä. Ongelma. XIII. M., 1982.
• Kripke S. Mielipidekontekstien arvoitus // Uutta vieraassa kielitieteessä. Ongelma. XVIII. M., 1986.
• Kripke S. A. Wittgenstein säännöistä ja yksittäisestä kielestä / Käännös V. Rudnev // Logos. - 1999. - nro 1. - S. 151-185.
• Kripke S. A. Wittgenstein säännöistä ja yksittäisestä kielestä / Per. V. A. Ladova, V. A. Surovtseva. Yhteensä alle toim. V. A. Surovtseva. - Tomsk: Publishing House Voi. un-ta, 2005. - 152 s. — (Analyyttisen filosofian kirjasto). ISBN 5-7511-1906-1
• Kripke S. Wittgenstein säännöistä ja yksittäisestä kielestä / Käännös V. A. Ladov, V. A. Surovtsev / Toimittanut V. A. Surovtsev. - M .: "Kanon +" ROOI "Kuntoutus", 2010. - 256 s.

Katso myös

• Big Bang Theory -hahmon Barry Kripken uskotaan olevan kunnianosoitus Saul Kripkelle
• Padilla Galvez, Jeesus[ selventää ]

Muistiinpanot

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  (saksa) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
4. ↑ Saul A Kripke // Babelio  (fr.) - 2007.
5. ↑ Muistokirjoitus The New York Timesissa
6. ↑ Rabbi Myer Kripke, varhainen Buffettin ystävä ja sijoittaja, kuolee 100-vuotiaana . Haettu 30. syyskuuta 2017. Arkistoitu alkuperäisestä 30. elokuuta 2018. (määrätön)
7. ↑ 12 Charles McGrath . Filosofi, 65, luentoja ei aiheesta "Mikä minä olen?" mutta "Mikä minä olen?" . New York Times (28. tammikuuta 2006). Käyttöpäivä: 26. toukokuuta 2017. Arkistoitu alkuperäisestä 7. huhtikuuta 2008.  (määrätön)
8. ↑ Andreas Saugstad. Saul Kripke, nerologiikka . David Boles, Blogit (25. helmikuuta 2001). Haettu 26. toukokuuta 2017. Arkistoitu alkuperäisestä 31. maaliskuuta 2016. (määrätön)
9. ↑ Saul  Kripke . John Simon Guggenheimin säätiö . gf.org. Haettu 15. huhtikuuta 2019. Arkistoitu alkuperäisestä 15. huhtikuuta 2019.
10. ↑ Videot, joihin artikkeli perustuu
11. ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast, johon artikkeli perustuu]
12. ↑ Keskustelu
13. ↑ Yhteenveto : Hilary Putnam.
14. ↑ Edward P. Stabler, "Kripke on funktionalismista ja automatoista  (linkki ei saatavilla) ", Synthese , Voi. 70 nro. 1 (1987).
15. ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
16. ↑ [1]
17. ↑ Video ja abstrakti
18. ↑ Podcast
19. ↑ Videoluennot

Kirjallisuus

• Bessonov A. V.  Kripken totuusteoria // Proceedings of the Siperian Branch of the USSR Science Academy . Yhteiskuntatieteiden sarja. - 1977. - Numero 1. - Nro 1. - S. 134-138.
• Dorofeev G. Kripken kaava ja kirkon väitöskirja intuitionistisessa analyysissä // Kolmas All-Union Conference on Mathematical Logic. - Novosibirsk, 1974.
• Makeeva L. B. Kripke  // New Philosophical Encyclopedia  : 4 osassa  / ennen. tieteellinen toim. V. S. Stepinin neuvo. — 2. painos, korjattu. ja ylimääräistä - M .  : Ajatus , 2010. - 2816 s.
• Kripke, Sol  / Makeeva L. B.  // Herran kaste - Pääskynen [Sähköinen resurssi]. - 2010. - S. 36. - ( Great Russian Encyclopedia  : [35 osassa]  / päätoimittaja Yu. S. Osipov  ; 2004-2017, v. 16). — ISBN 978-5-85270-347-7 .
• Serikov A.E. Baker ja Hacker vs. Kripke: vanhan keskustelun merkityksellisyydestä // Samaran humanististen tieteiden akatemian tiedote. Sarja "Filosofia. Filologia". - 2010. - Nro 1 (7). - S. 100-122.
• Khlebalin A. V. Kripken paradoksin perustamisongelma ja edellytykset // Filosofia: historia ja nykyaika. 2004-2005. la tieteellisiä papereita - Novosibirsk-Omsk, 2005. - S. 3-13.

• Consuelo Preti (2002), On Kripke. Wadsworth. ISBN 0-534-58366-0
• Christopher Hughes (2004), Kripke: Nimet, välttämättömyys ja identiteetti. ISBN 0-19-824107-0 .
• GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
• Martin Kusch (2006), Skeptinen opas merkitykseen ja sääntöihin. Kripken Wittgensteinin puolustaminen. Acumben: Publishing Limited.
• Arif Ahmed (2007), Saul Kripke. New York, NY; Lontoo: Continuum. ISBN 0-8264-9262-2 .

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna
Sanakirjat ja tietosanakirjat	Suuri tanskalainen Suuri katalaani Hienoa norjalaista Iso venäläinen italialainen maailman ympäri Britannica (verkossa) Brockhaus Treccani Universalis
Bibliografisissa luetteloissa 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