Kripke, Saul
Saul Aaron Kripke ( 13. november 1940 [ 2] [3] [4] , Bay Shore [d] , New York – 15. september 2022 [1] ) var en amerikansk filosof og logiker . Professor emeritus ved Harvard University , Distinguished Professor ved Graduate School and University Center ved City University of New York . Vinderen af Rolf Schock-prisen i filosofi og logik (2001) er ifølge en undersøgelse blandt de ti vigtigste filosoffer gennem de sidste 200 år.
Hans hovedværker handler om matematisk logik , sprogfilosofi , matematikfilosofi , metafysik , epistemologi , mængdeteori .
I sit tidlige arbejde ydede han et væsentligt bidrag til udviklingen af modal logik . Efterfølgende arbejde har haft en dybtgående indvirkning på analytisk filosofi , hvor det vigtigste bidrag betragtes som den metafysiske beskrivelse af modalitet , der inkorporerer ideen om mulige verdener som forklaret i et system kendt som Kripkes semantik . En anden vigtig bedrift er demonstrationen af, at der er nødvendige a posteriori sandheder såsom "vand er H 2 O". Han bidrog også til studiet af Wittgensteins filosofi , den oprindelige fortolkning blev kendt som "Kripkenstein" . Kripkes mest berømte værk er Navngivning og nødvendighed (1980).
Biografi
Den ældste af tre børn af kandidater fra Jewish Theological Seminary , Mayer Kripke (1914-2014) [5] , rabbiner for Beth El Synagogue (den eneste konservative menighed i Omaha , Nebraska [6] ), og Dorothy Kripke (født Karp, 1912–2000), forfatter til pædagogiske bøger for jødiske børn. Faderens familie emigrerede til USA fra Litauen .
Fra barndommen blev han betragtet som et vidunderbarn : i en alder af seks lærte han selvstændigt hebraisk , i en alder af ni havde han læst alle Shakespeares værker , studeret Descartes filosofi og beskæftiget sig med komplekse matematiske problemer, indtil han blev færdig med folkeskolen [7] . Han skrev de første videnskabelige artikler om modal logik, mens han stadig var skoledreng. Efter at have forladt skolen i 1958 gik han ind på Harvard University , hvor han dimitterede med en summa cum laude bachelorgrad i matematik. Allerede på sit andet studieår underviste Kripke i et kursus i logik på Massachusetts Institute of Technology . Usædvanligt for en videnskabsmand fra det 20. århundrede er Kripkes eneste akademiske grad en bachelorgrad ; han har ingen andre akademiske grader.
Efter eksamen i 1962 modtog han et Fulbright-stipendium . I 1963 blev han inkluderet i Harvard Society of Fellows . Derefter underviste han i flere år på Harvard , i 1967 flyttede han til Rockefeller University i New York, i 1977 - til Princeton University . I 1988 modtog Harvard Berman Award for bidrag til humaniora. Siden 2002 har han undervist på Graduate School and University Center ved City University of New York på Manhattan, hvor han i 2003 modtog titlen Distinguished Professor.
Det er værd at bemærke, at Kripke selv næsten ingen artikler skrev: i stedet studerede han et bestemt emne, derefter ved en bekvem offentlig begivenhed - et seminar eller foredrag - talte han om sine konklusioner, ofte indledte han en sokratisk dialog med publikum - og derefter samtalen blev transskriberet, og efter en serieredigering godkendte Saul Kripke at offentliggøre resultatet. Som følge heraf er det meste af værket ikke udgivet, eksisterer kun i form af lydoptagelser eller personligt distribuerede manuskripter. Filosoffen forklarede selv sin vane ganske enkelt: " Jeg hader bare at sidde og skrive - det var nok for mig i skolen. Plus, min håndskrift er ulækker ” [7] .
Virker
Nøgleværker:
- Kripkes semantik for modal logik – skitseret i flere essays, som Kripke begyndte at arbejde med som teenager;
- 1970 Navngivning og nødvendighed forelæsningsrække givet ved Princeton University ( udgivet 1972 og 1980) havde en stor indflydelse på sprogfilosofien ;
- fortolkning af Wittgensteins filosofi ;
- teori om sandhed .
Han bidrog også til mængdeteori ved at foreslå og motivere en af varianterne af aksiomatisk mængdeteori , kendt som Kripke-Platek teorien .
Modal logik
Kripkes første to værker, A Completeness Theorem in Modal Logic og Semantical Considerations on Modal Logic (skrevet mens han stadig gik i skole), var helliget modal logik. De mest almindelige logikker i modalfamilien er skabt ud fra den svage logik K - opkaldt efter Kripke for hans bidrag til udviklingen af denne retning: han introducerede Kripkes de facto standard semantik (relationel semantik eller rammesemantik).
En Kripke-skala med én relation er et par , hvor er et vilkårligt sæt (ofte kaldet mængden af mulige verdener), og er relationen på (sættet af pile eller ordnede par).
En Kripke-model er et par , hvor er et estimat på en skala, der forbinder hver variabel med det sæt af verdener, hvor denne variabel anses for sand. Formelt præsenteres vurderingen som en funktion fra mængden af variable til mængden af alle delmængder . Sandheden på et punkt i Kripke-modellen er angivet med et tegn og bestemmes ved induktion på længden af formlen :
, hvis , hvis eller , hvis
"Navngivning og nødvendighed"
I Naming and Necessity (1971) kritiserer Kripke de deskriptivistiske teorier om egennavne og studerer forskellige varianter af de deskriptivistiske teorier hos Frege , Russell , Wittgenstein , Searle og en række andre filosoffer. Ifølge deskriptivistiske teorier er egennavne enten synonyme med beskrivelser, eller også bestemmes referencen af egennavne af tilknytningen af et navn til en beskrivelse eller en klynge af beskrivelser, der er entydigt opfyldt af et givet objekt. Kripke afviser begge disse former for deskriptivisme. Han giver forskellige eksempler med det formål at afsløre deskriptivismens utilstrækkelighed som en teori om de faktorer, der bestemmer referencen af navne (f.eks. kunne Aristoteles dø i en alder af to, og derfor ville han ikke opfylde nogen af de beskrivelser, der er forbundet med hans navn ville det desuden være en fejl at nægte, at han var Aristoteles).
Som et alternativ har Kripke skitseret den kausale referenceteori, hvorefter et navn refererer til et objekt ved at have en kausal forbindelse til objektet gennem talerfællesskaber. Han påpeger, at egennavne, i modsætning til de fleste beskrivelser, er stive betegnelser . Et egennavn refererer til et navngivet objekt i enhver mulig verden, hvori det objekt eksisterer, mens de fleste beskrivelser refererer til forskellige objekter i forskellige mulige verdener. For eksempel angiver navnet "Nixon" den samme person i alle mulige verdener, hvori Nixon eksisterer, men beskrivelsen (beskrivelsen) "den person, der vandt det amerikanske præsidentvalg i 1968" kan indikere Nixon, Humphrey eller nogen endda i forskellige mulige verdener. Kripke gjorde også opmærksom på en efterfølgende nødvendighed - fakta, der nødvendigvis er sande, men sådan at de kun kan kendes gennem empirisk forskning. Eksempler på efterfølgende nødvendigheder omfatter udsagn som "Hesperus er fosfor", "Cicero er Tullius", "vand er H 2 O" og andre identiteter, hvor to navne refererer til det samme objekt. Til sidst formulerede Kripke et argument mod materialismen vedrørende identitet i sindets filosofi, det vil sige imod den opfattelse, at enhver mental kendsgerning er identisk med en fysisk kendsgerning.
Kripke mener, at den eneste måde at forsvare dette synspunkt på er at fortolke identiteten som en a posteriori nødvendig identitet, men en sådan identitet - for eksempel identiteten af smerte og stimulering af C-fibre - kunne ikke være nødvendig, i betragtning af at smerte er mulig, hvilket ikke har noget at gøre med C-fiber irritation. Lignende argumenter er blevet fremført af David Chalmers. Kripke holdt også sine berømte John Locke-forelæsninger om filosofi i 1973 i Oxford. Med titlen "Reference and Existence" er de på mange måder en fortsættelse af de ideer, der er fremsat i Navngivning og nødvendighed, og indeholder interessant materiale om problemet med aliaser og perceptuelle fejl.
"Et puslespil om tro"
Kripkes hovedantagelser i Navngivning og nødvendighed om egennavne er, at betydningen af et navn blot er den genstand, som navnet refererer til, og et navns reference bestemmes af årsagssammenhængen mellem "navngivning" og brugen af navnet. Han erkendte dog muligheden for, at udsagn, der indeholder navne, kunne have yderligere semantiske egenskaber: disse egenskaber kunne forklare, hvorfor to navne, der refererer til den samme person, kan have forskellige sandhedsværdier i udsagn om nogen, så overbevisninger.
I sin artikel "Et puslespil om tro" udvikler Kripke sin idé og afviser selv denne mulighed. Hans argumentation kan kort rekonstrueres som følger. Ideen om, at to navne, der refererer til den samme enhed, kan have forskellige semantiske kvaliteter, burde forklare, hvorfor disse navne kan lede forskelligt i udsagn om en persons overbevisning. Men det samme fænomen kan også forekomme med navne, der tilsyneladende har identiske semantiske kvaliteter.
Kripke udfører et tankeeksperiment: en fransk dreng, Pierre, der ikke taler fremmedsprog, mener, at " Londres est joli " ("London er smukt"). Han flytter til London uden at vide, at det engelske navn London svarer til det franske Londres. Han genkender engelsk i dagligdags samtaler uden at oversætte franske ord til engelsk, og som et resultat genkender han navnet " London " fra det grimme område, hvor han bor. Han synes, " London " er grimt. Hvis Kripkes mening er korrekt, så mener Pierre nu samtidig, at " Londres est joli ", og at London er grimt. Dette kan ikke forklares med forskellige semantiske egenskaber ved navne, hvoraf Kripke konkluderer, at det ikke giver de forventede resultater at tillægge navne yderligere semantiske egenskaber.
Sol Kripke Center
For at bevare og fremme videnskabsmandens arbejde blev Saul Kripke Center oprettet ved Research College ved City University of New York , der organiserede tematiske begivenheder og førte et digitalt arkiv af upublicerede optagelser, forelæsningsnotater, Kripkes korrespondance siden 1950'erne.
Religiøse synspunkter
Kripke er en ortodoks jøde og mener, at troen hjælper ham i hans filosofiske arbejde. I et interview med Andreas Saustat om, hvordan religiøse synspunkter påvirkede hans filosofi, rapporterede han:
”Jeg har ikke de fordomme, som mange mennesker har i dag. Jeg tror ikke på et naturalistisk syn på verden. Min tankegang er ikke baseret på fordomme eller noget verdensbillede, og jeg tror ikke på materialisme ” [8] .
Familie
Søster - Madeline Kripke ( Eng. Madeline Kripke ; 1943-2020), bibliofil og samler.
Hustru - Margaret Gilbert ( eng. Margaret Gilbert ; f. 1942), også en filosof, søster til historikeren Martin Gilbert .
Fællesskaber og belønninger
- Fulbright Scholar (1962-1963)
- Society of Fellows , Harvard University (1963-1966).
- Guggenheim Fellowship (1968, 1977) [9] .
- Doctor of Humane Letters, æresgrad, University of Nebraska , 1977.
- Fellow, American Academy of Arts and Sciences (1978).
- Tilsvarende Fellow, British Academy (1985).
- Howard Behrman Award, Princeton University , 1988.
- Fellow, Academia Scientiarum et Artium Europaea (1993).
- Doctor of Humane Letters, æresgrad, Johns Hopkins University , 1997.
- Doctor of Humane Letters, æresgrad, University of Haifa , Israel, 1998.
- Stipendiat, Det Norske Videnskabsakademi (2000-).
- Schock-prisen i logik og filosofi, Svensk Videnskabsakademi , 2001.
- Doctor of Humane Letters, æresgrad, University of Pennsylvania , 2005.
- Fellow, American Philosophical Society (2005).
Kompositioner
Bøger
- Navngivning og nødvendighed. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 og genoptryk 1972.
- Wittgenstein om regler og privat sprog: en elementær udstilling. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
- Filosofiske problemer. Collected Papers Vol. 1. New York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
- Reference og eksistens - John Locke-forelæsningerne. New York: Oxford University Press , 2013. ISBN 978-0-19-992838-5
Artikler og abstracts
- 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. "'Fleksible' prædikater for formel talteori", 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, s. 162.
- 1964. "Transfinite Recursions on Admissible Ordinals, II" (abstrakt), The Journal of Symbolic Logic , Vol. 29, nr. 3, s. 162.
- 1964. "Admissible Ordinals and the Analytic Hierarchy" (abstrakt), The Journal of Symbolic Logic , Vol. 29, nr. 3, s. 162.
- 1965. "Semantical Analysis of Intuitionistic Logic I", In Formal Systems and Recursive Functions , redigeret af M. Dummett og JN Crossley. Amsterdam: North-Holland Publishing Co.
- 1965. "Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi", I The Theory of Models , redigeret af JW Addison, L. Henkin og A. Tarski. Amsterdam: North-Holland Publishing Co.
- 1967. Forskningsmeddelelse: "Deduktionsbevarende 'Rekursive 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, s. 29-32.
- 1967. "Transfinite Recursion, Constructible Sets, and Analogues of Cardinals", Resuméer af samtaler udarbejdet i forbindelse 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 Resuméer af samtaler udarbejdet i forbindelse med Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), pp. IV-T-1 til IV-T-7.
- 1967. "Deduktionsbevarende 'Rekursive Isomorphisms' between Theories" (med Marian Boykan Pour-El), Fundamenta Mathematicae 61:141-163.
- 1971. "Identity and Necessity", I Identity and Individuation , redigeret af M. K. Munitz. New York: New York University Press.
- 1972 (1980). "Naming and Necessity", In Semantics of Natural Language , redigeret af D. Davidson og G. Harman. Dordrecht; Boston: Reidel. Opstiller den kausale referenceteori .
- 1975. "Outline of a Theory of Truth," Journal of Philosophy 72:690-716. Sætter sin sandhedsteori (mod Alfred Tarski), hvor et objektsprog kan indeholde sit eget sandhedsprædikat.
- 1976. "Is There a Problem about Substitutional Quantification?", i Truth and Meaning: Essays in Semantics , redigeret af Gareth Evans og John McDowell. Oxford: Oxford University Press.
- 1976. "A Theory of Truth I. Preliminary Report", abstract, Journal of Symbolic Logic , Vol. 41, nr. 2, s. 556.
- 1976. A Theory of Truth II. Foreløbig rapport", abstract, Journal of Symbolic Logic , Vol. 41, nr. 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 , redigeret af A. Margalit. Dordrecht og Boston: Reidel.
- 1982. "Nonstandard Models of Peano Arithmetic" (med S. Kochen), i Logic and Algorithmics: International Symposium Hold 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 Naving", Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy) , Montreal, Montmorency-udgaver: 241-247.
- 1992. "Sammendrag: Individuelle begreber: deres logik, filosofi og nogle af deres anvendelser." 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 af projektionsproblemet", Linguistic Inquiry 40(3):367-386.
- 2009. "The Collapse of the Hilbert Program" (abstrakt) Bulletin of Symbolic Logic 15(2):229-231.
- 2011. "Den første person", Filosofiske problemer. Collected Papers Vol. I, Oxford University Press [10] .
- 2011. "Two Paradoxes of Knowledge", Filosofiske problemer. Collected Papers Vol. I, Oxford University Press.
- 2011. Nozick om viden, filosofiske problemer. Collected Papers Vol. I, Oxford University Press.
- 2011. "En gåde om tid og tanke", Filosofiske problemer. Collected Papers Vol. I, Oxford University Press.
- 2011. "Tomløse navne og fiktive enheder", Filosofiske problemer. Collected Papers Vol. I, Oxford University Press.
- 2011. "Ubegrænset eksport og nogle moraler for sprogfilosofien", Filosofiske problemer. 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.
Upublicerede manuskripter og foredrag
- 1963. "Historie og idealisme: teorien om R. G. Collingwood".
- 1973. John Locke Forelæsninger: "Reference and Existence". (Transskription tilgængelig i Philosophy Library, Oxford University)
- 1975. Tre forelæsninger om sandhed. Princeton University [12] .
- 197-. "Om fuldstændigheden og afgøreligheden af intuitionistisk propositionel logik".
- 1978. Tid og identitet. Kursus leveret ved Princeton University i 1978. Teksten til forelæsningerne er ikke offentliggjort, men flere "samizdat"-versioner af den er i omløb. Nogle af ideerne præsenteret i disse forelæsninger er diskuteret af Ted Sider i hans bog Four-Dimensionalism: An Ontology of Persistence and Time .
- 19-. "Ikke-standardmodeller og Godels sætning: Et modelteoretisk bevis på Godels sætning" [13]
- 1984. Lektioner om funktionalisme og automater. (Leveret ved International Wittgenstein Symposium, 1984. Transskriberet af Roderick Chisholm. [14]
- 198-. "Et bevis på gamma."
- 198-. "En note om Zabludowskis kritik af Goodmans teori om projektion".
- 1986. "Rigid Designation and the Contingent A Priori: The Meter Stick Revisited" (Notre Dame, 1986).
- 1988/89. Seminarer om sandhed. Tre-semester seminar i Princeton i 1988-89, kun de første to semestre er blevet transskriberet af Jim Cain [15] .
- 19- "Semantisk analyse af intuitionistisk logik II. Uafgøreligheden af det monadiske fragment" (Udateret manuskript).
- 19- "Semantisk analyse af intuitionistisk logik III" (Udateret manuskript).
- 1989 No Fool's Red? Nogle overvejelser om den primære/sekundære kvalitetsforskel"(inkluderer kommentarer af David Velleman). University of Michigan, 1989.
- 1992. Whitehead-forelæsninger: "Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers." Leveret ved Harvard University, 1992.
- 1992. Individuelle begreber: deres logik, filosofi og nogle af deres anvendelser. Transskriberet af Stephen Webb.
- 1996. The Ordered Pair: A Philosophical Paradigm Revisited.
- 1996. "Elementær rekursionsteori og dens anvendelser på formelle systemer." Transskriberet af Mario Gomez Torrente og John Barker [16] .
- 1999. "Vejen til Gödel". (Læst på Haifa University, Israel, 1999. Der findes flere transskriptioner.
- 2006. "From Church's Thesis to the First Order Algorithm Theorem", Tel Aviv University, 13. juni 2006 [17] .
- 2007. "Roundtable on eksternalisme" ( Hilary Putnam , Tyler Burge, Saul Kripke og Michael Devitt). University College Dublin, Irland [18] .
- 2007. Hilbert-programmets sammenbrud. Indiana University, Præsidentforelæsning [19] .
- 2008. Matematisk ufuldstændighed resulterer i Peano Arithmetic, et revisionistisk syn på den tidlige historie.
Interviews og artikler om Kripke i pressen
- " New Frontiers in American Philosophy " af Taylor Branch, New York Times Magazine , 14. august 1977.
- " Saul Kripke, genial logiker ." Interview af Andreas Saugstad, 25. februar 2001.
- " Celebrating CUNY's Genius Philosopher " af Gary Shapiro, The New York Sun , 27. januar 2006.
- « Filosof, 65, foredrag, der ikke handler om 'Hvad er jeg?' men 'Hvad er jeg?' af Charles McGrath, The New York Times , 28. januar 2006.
- " The Best Five Books on the Philosophy of Language" af Scott Soames, 15. oktober 2010.
På russisk
- Kripke SA 1) Fuldstændighedsteorem i modal logik; 2) Uafgørlighed af den unære modale prædikatregning; 3) Semantisk analyse af 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 og nødvendighed // Nyt i fremmedsprogvidenskaben. Problem. XIII. M., 1982.
- Kripke S. Meningssammenhængenes gåde // Nyt i fremmedsprogvidenskaben. Problem. XVIII. M., 1986.
- Kripke S. A. Wittgenstein om regler og individuelt sprog / Oversættelse af V. Rudnev // Logos. - 1999. - Nr. 1. - S. 151-185.
- Kripke S. A. Wittgenstein om regler og individuelt sprog / Pr. V. A. Ladova, V. A. Surovtseva. Under total udg. V. A. Surovtseva. - Tomsk: Publishing House Vol. un-ta, 2005. - 152 s. — (Bibliotek for analytisk filosofi). ISBN 5-7511-1906-1
- Kripke S. Wittgenstein om regler og individuelt sprog / Oversættelse af V. A. Ladov, V. A. Surovtsev / Redigeret af V. A. Surovtsev. - M .: "Kanon +" ROOI "Rehabilitering", 2010. - 256 s.
Se også
Noter
- ↑ 1 2 Weinberg J. Saul Kripke (1940-2022 ) - 2022.
- ↑ http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
- ↑ Saul Aaron Kripke // Brockhaus Encyclopedia (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Saul A Kripke // Babelio (fr.) - 2007.
- ↑ Nekrolog i The New York Times
- ↑ Rabbiner Myer Kripke, tidlig Buffett-ven og investor, dør som 100-årig . Hentet 30. september 2017. Arkiveret fra originalen 30. august 2018. (ubestemt)
- ↑ 12 Charles McGrath . Philosopher, 65, Foredrag, der ikke handler om 'Hvad er jeg?' men 'Hvad er jeg?' . The New York Times (28. januar 2006). Dato for adgang: 26. maj 2017. Arkiveret fra originalen 7. april 2008. (ubestemt)
- ↑ Andreas Saugstad. Saul Kripke, genial logiker . David Boles, Blogs (25. februar 2001). Hentet 26. maj 2017. Arkiveret fra originalen 31. marts 2016. (ubestemt)
- ↑ Saul Kripke . John Simon Guggenheim Foundation . gf.org. Hentet 15. april 2019. Arkiveret fra originalen 15. april 2019.
- ↑ Videoer, som artiklen er baseret på
- ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast, som artiklen er baseret på]
- ↑ Diskussion
- ↑ Resumé af Hilary Putnam.
- ↑ Edward P. Stabler, "Kripke on functionalism and automata (link unavailable) ", Synthese , Vol. 70 nr. 1 (1987).
- ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
- ↑ [1]
- ↑ Video og abstrakt
- ↑ Podcast
- ↑ Videoforedrag
Litteratur
på russisk
- Bessonov A. V. Kripkes teori om sandhed // Proceedings of the Siberian Branch of the USSR Academy of Sciences . Samfundsvidenskab serien. - 1977. - Udgave 1. - nr. 1. - S. 134-138.
- Dorofeev G. Kripkes skema og Kirkens afhandling i intuitionistisk analyse // Third All-Union Conference on Mathematical Logic. - Novosibirsk, 1974.
- Makeeva L. B. Kripke // New Philosophical Encyclopedia : i 4 bind / før. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
- Kripke, Sol / Makeeva L. B. // Herrens dåb - Svale [Elektronisk ressource]. - 2010. - S. 36. - ( Great Russian Encyclopedia : [i 35 bind] / chefredaktør Yu. S. Osipov ; 2004-2017, v. 16). — ISBN 978-5-85270-347-7 .
- Serikov A.E. Baker og Hacker vs. Kripke: om relevansen af den gamle diskussion // Bulletin of the Samara Academy for the Humanities. Serien "Filosofi. Filologi". - 2010. - Nr. 1 (7). - S. 100-122.
- Khlebalin A. V. Problemet med grundlaget og betingelserne for at løse Kripke-paradokset // Filosofi: historie og modernitet. 2004-2005. Lør. videnskabelige artikler - Novosibirsk-Omsk, 2005. - S. 3-13.
på engelsk
- Consuelo Preti (2002), Om Kripke. Wadsworth. ISBN 0-534-58366-0
- Christopher Hughes (2004), Kripke: Navne, nødvendighed og identitet. ISBN 0-19-824107-0 .
- GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
- Martin Kusch (2006), En skeptisk guide til mening og regler. Forsvarer Kripkes Wittgenstein. Acumben: Publishing Limited.
- Arif Ahmed (2007), Saul Kripke. New York, NY; London: Kontinuum. ISBN 0-8264-9262-2 .
Tematiske steder |
|
---|
Ordbøger og encyklopædier |
|
---|
I bibliografiske kataloger |
---|
|
|
Rolf Schock Prisvindere |
---|
Logik og filosofi |
|
---|
Matematik |
|
---|
musik |
|
---|
visuel kunst |
|
---|