Kripke, Saul
Saul Aaron Kripke ( 1940 . november 13. [ 2 ] [ 3 ] [ 4 ] , Bay Shore [ d ] , New York – 2022 . szeptember 15. [ 1 ] ) amerikai filozófus és logikus . Professzor emeritus a Harvard Egyetemen , kitüntetett professzor a New York-i City University Graduate School és Egyetemi Központjában . A Rolf Schock filozófiai és logikai díj nyertese ( 2001) egy felmérés szerint az elmúlt 200 év tíz legfontosabb filozófusa közé tartozik.
Fő művei a matematikai logika , nyelvfilozófia , matematikafilozófia , metafizika , ismeretelmélet , halmazelmélet .
Korai munkásságában jelentős mértékben hozzájárult a modális logika fejlődéséhez . A későbbi munkák mély hatást gyakoroltak az analitikus filozófiára , a legjelentősebb hozzájárulás a modalitás metafizikai leírása , amely magában foglalja a lehetséges világok gondolatát, amint azt Kripke szemantikájaként ismert rendszerben magyarázzák . Egy másik fontos eredmény annak bemutatása, hogy léteznek olyan utólagos igazságok, mint a „víz H 2 O”. Közreműködött Wittgenstein filozófiájának tanulmányozásában is , az eredeti értelmezés "Kripkenstein" vált ismertté . Kripke leghíresebb munkája az Elnevezés és szükségszerűség (1980).
Életrajz
A Zsidó Teológiai Szemináriumban végzett három gyermek közül a legidősebb Mayer Kripke (1914-2014) [5] , a Beth El zsinagóga rabbija (az egyetlen konzervatív gyülekezet a nebraskai Omaha városában [6] ) és Dorothy Kripke (született Karp, 1912–2000), zsidó gyerekeknek szóló ismeretterjesztő könyvek szerzője. Az apa családja Litvániából emigrált az USA-ba .
Gyermekkorától csodagyereknek számított : hat évesen önállóan megtanult héberül , kilenc éves korára Shakespeare összes művét elolvasta, Descartes filozófiáját tanulta és összetett matematikai problémákkal foglalkozott egészen az általános iskola elvégzéséig. [7] . Még iskolás korában írta az első tudományos cikkeket a modális logikáról. Az iskola befejezése után 1958-ban beiratkozott a Harvard Egyetemre , ahol matematikából summa cum laude bachelor diplomát szerzett. Kripke már második tanulmányi évében logikát tanított a Massachusetts Institute of Technology -n . Egy 20. századi tudóstól szokatlan módon Kripke egyetlen tudományos fokozata az alapképzés , nincs más tudományos fokozata.
Az érettségi után 1962-ben Fulbright-ösztöndíjat kapott . 1963-ban a Harvard Society of Fellows tagja lett . Ezután több évig tanított a Harvardon , 1967-ben a New York-i Rockefeller Egyetemre , 1977-ben a Princeton Egyetemre került . 1988-ban a Harvard megkapta a Berman-díjat a humán tudományokhoz való hozzájárulásáért. 2002 óta a manhattani New York-i City University Graduate School and University Centerében tanít , ahol 2003-ban megkapta a Distinguished Professor címet.
Érdemes megjegyezni, hogy maga Kripke szinte semmilyen cikket nem írt: ehelyett egy bizonyos témát tanulmányozott, majd egy kényelmes nyilvános rendezvényen - szemináriumon vagy előadáson - beszélt következtetéseiről, gyakran szókratészi párbeszédbe kezdett a hallgatósággal -, majd a beszélgetést átírták, és egy sorozatszerkesztés után Saul Kripke jóváhagyta az eredmény közzétételét. Emiatt a mű nagy része nem jelenik meg, csak hangfelvételek vagy személyesen terjesztett kéziratok formájában létezik. Maga a filozófus egyszerűen magyarázta szokását: „ Utálok ülni és írni – ez elég volt nekem az iskolában. Ráadásul a kézírásom undorító ” [7] .
Művek
Kulcsfontosságú munkák:
Hozzájárult a halmazelmélethez azzal is, hogy az axiomatikus halmazelmélet egyik változatát , a Kripke-Platek elméletet javasolta és motiválta .
Modális logika
Kripke első két munkája, a Teljességi tétel a modális logikában és a Szemantikai megfontolások a modális logikáról (amit még az iskolában írt) a modális logikának szentelték. A modális családban legelterjedtebb logikákat a gyenge K logikából hozták létre, amely Kripke nevéhez fűződik az irány fejlesztéséhez való hozzájárulásáért: ő vezette be Kripke de facto szabványos szemantikáját (relációs szemantikát vagy keretszemantikát).
Az egy relációval rendelkező Kripke-skála egy pár , ahol egy tetszőleges halmaz (gyakran a lehetséges világok halmazának nevezik), és a reláció on (nyilak vagy rendezett párok halmaza).
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
![(W,R)](https://wikimedia.org/api/rest_v1/media/math/render/svg/64315732ea150a49917cf2624768b33332cbfa5d)
![W](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a9c4c547f4d6111f81946cad242b18298d70b7)
![R\részhalmaz W\szor W](https://wikimedia.org/api/rest_v1/media/math/render/svg/068a7a43db55c3cc9fac64e825afe932ded0fe14)
![W](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a9c4c547f4d6111f81946cad242b18298d70b7)
A Kripke-modell egy pár , ahol egy becslés egy olyan skálán, amely az egyes változókat azon világok halmazához társítja, amelyekben ez a változó igaznak tekinthető. Formálisan az értékelés függvényként jelenik meg a változók halmazától az összes részhalmaz halmazáig . A Kripke-modell egy pontjában az igazságot egy előjel jelöli, és a képlet hosszának indukciója határozza meg :
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![(F,V)](https://wikimedia.org/api/rest_v1/media/math/render/svg/48b8113809d7a9418161d36cfcab8a33c65257d0)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![PL](https://wikimedia.org/api/rest_v1/media/math/render/svg/f62de5fa65ee246c0938bf516a8d285df56adb26)
![W](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a9c4c547f4d6111f81946cad242b18298d70b7)
![\modellek](https://wikimedia.org/api/rest_v1/media/math/render/svg/89dbad9a523091069a540122aeb15e41d1fe18b8)
![M, x\models p](https://wikimedia.org/api/rest_v1/media/math/render/svg/c769baa07689ee7b52a017335d794da458efa719)
, ha , ha vagy , ha
![M, x\modell A \-B](https://wikimedia.org/api/rest_v1/media/math/render/svg/d679ca7e70e2d082f8644c02d51920ccdad288ac)
![Mx\not\modell A](https://wikimedia.org/api/rest_v1/media/math/render/svg/58196e39853d5569069068c4baadfc66d9fdb461)
![M, x\models\Box A](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c43dbd8f6d59f255aecba8746e3199fe1423892)
"Elnevezés és szükségszerűség"
A Naming and Necessity (1971) című művében Kripke bírálja a tulajdonnevek deskriptivista elméleteit, Frege , Russell , Wittgenstein , Searle és számos más filozófus deskriptivista elméleteinek különböző változatait tanulmányozva. A deskriptivista elméletek szerint vagy a tulajdonnevek a leírások szinonimája, vagy pedig a tulajdonnevek hivatkozását egy névnek egy leíráshoz való társítása vagy olyan leírások csoportja határozza meg, amelyeket egy adott objektum egyedileg kielégít. Kripke elutasítja mindkét fajta leírást. Különféle példákat hoz fel arra, hogy feltárja a deskriptivizmus, mint a névreferenciát meghatározó tényezők elméletének elégtelenségét (például Arisztotelész kétéves korában meghalhat, és ezért nem teljesíti a hozzá kapcsolódó leírások egyikét sem. a nevét ráadásul hiba lenne tagadni, hogy Arisztotelész volt).
Alternatív megoldásként Kripke felvázolta az ok-okozati vonatkozáselméletet, amely szerint a név úgy utal egy tárgyra, hogy a beszélők közösségein keresztül oksági kapcsolatban áll a tárggyal. Rámutat arra, hogy a tulajdonnevek a legtöbb leírással ellentétben merev jelölések . A tulajdonnév egy elnevezett objektumra utal minden lehetséges világban, amelyben az objektum létezik, míg a legtöbb leírás különböző objektumokra utal a különböző lehetséges világokban. Például a "Nixon" név ugyanazt a személyt jelöli minden lehetséges világban, amelyben Nixon létezik, de a leírás (leírás) "az a személy, aki megnyerte az amerikai elnökválasztást 1968-ban" utalhat Nixonra, Humphreyre vagy valakire, akár más országokban is. lehetséges világok. Kripke egy utólagos szükségszerűségre is felhívta a figyelmet – olyan tényekre, amelyek szükségszerűen igazak, de csak empirikus kutatással ismerhetők meg. Az utólagos szükségszerűségek példái közé tartoznak az olyan kijelentések, mint a "Hesperus az foszfor", "Cicero az Tullius", "a víz H 2 O" és más azonosságok, amelyekben két név ugyanarra a tárgyra utal. Végül Kripke az elmefilozófiában az identitást illetően megfogalmazott egy érvet a materializmus ellen, vagyis azzal a nézettel, hogy minden mentális tény azonos valamilyen fizikai ténnyel.
Kripke úgy véli, hogy ennek a nézetnek az egyetlen módja az identitás utólagos szükséges identitásként való értelmezése, de ilyen azonosságra – például a fájdalom és a C-rostok stimulációjának azonosságára – nem lehet szükség, tekintettel arra a tényre, hogy fájdalom lehetséges, aminek semmi köze a C-szál irritációhoz. Hasonló érveket hozott fel David Chalmers is. Kripke 1973-ban Oxfordban tartotta híres John Locke filozófiai előadásait. „Referencia és létezés” címmel sok tekintetben az Elnevezés és szükségszerűségben megfogalmazott gondolatok folytatása, és érdekes anyagokat tartalmaznak az álnevek és az észlelési hibák problémájáról.
"Egy rejtvény a hitről"
Kripke fő feltevései a névadás és szükségszerűségben a tulajdonnevekkel kapcsolatban az, hogy a név jelentése egyszerűen az az objektum, amelyre a név utal, és a név referensét az „elnevezés” és a névhasználat közötti ok-okozati összefüggés határozza meg. Felismerte azonban annak lehetőségét, hogy a neveket tartalmazó állításoknak további szemantikai tulajdonságaik is lehetnek: ezek a tulajdonságok megmagyarázhatják, hogy miért lehet két, ugyanarra a személyre utaló névnek eltérő igazságértéke valakiről szóló állításokban, majd meggyőződésekben.
Kripke "A rejtvény a hitről" című cikkében továbbfejleszti elképzelését, és még ezt a lehetőséget is tagadja. Érvelését röviden a következőképpen lehet rekonstruálni. Az az elképzelés, hogy két, ugyanarra az entitásra utaló névnek eltérő szemantikai tulajdonsága lehet, meg kell magyaráznia, hogy ezek a nevek miért vezethetnek eltérő módon valakinek a hitéről szóló kijelentésekben. De ugyanez a jelenség előfordulhat olyan nevekkel is, amelyek szemantikai tulajdonságai látszólag azonosak.
Kripke gondolatkísérletet hajt végre: egy francia fiú, Pierre, aki nem beszél idegen nyelveket, úgy véli, hogy " Londres est joli " ("London gyönyörű"). Londonba költözik, nem tudja, hogy az angol London név a francia Londres-nak felel meg. Felismeri az angolt a mindennapi beszélgetésekben anélkül, hogy a francia szavakat angolra fordítaná, és ennek eredményeként felismeri a „ London ” nevet arról a csúnya területről, ahol él. Szerinte " London " csúnya. Ha Kripke véleménye igaz, akkor Pierre most egyszerre hiszi el, hogy " Londres est joli ", és hogy London csúnya. Ez nem magyarázható a nevek eltérő szemantikai tulajdonságaival, amiből Kripke arra a következtetésre jut, hogy további szemantikai tulajdonságok nevekhez való hozzárendelése nem a várt eredményt adja.
Sol Kripke Center
A tudós munkájának megőrzése és népszerűsítése érdekében a New York-i Városi Egyetem kutatókollégiumában létrehozták a Saul Kripke Központot , amely tematikus eseményeket szervez, és digitális archívumot vezet a kiadatlan felvételekből, előadásjegyzetekből, Kripke levelezéséből. az 1950-es évek óta.
Vallási nézetek
Kripke ortodox zsidó , és úgy gondolja, hogy a hit segíti őt filozófiai munkájában. Andreas Saustatnak adott interjújában arról számolt be, hogy a vallási nézetek hogyan befolyásolták filozófiáját, így számolt be:
„Nincsenek olyan előítéleteim, mint manapság sokan. Nem hiszek a naturalista világszemléletben. Gondolkodásom nem alapszik előítéleteken vagy világnézeten, és nem hiszek a materializmusban ” [8] .
Család
Nővér - Madeline Kripke ( Eng. Madeline Kripke ; 1943-2020), bibliofil és gyűjtő.
Felesége - Margaret Gilbert ( eng. Margaret Gilbert ; szül. 1942), szintén filozófus, Martin Gilbert történész nővére .
Közösségek és jutalmak
- Fulbright Scholar (1962-1963)
- Society of Fellows , Harvard Egyetem (1963-1966).
- Guggenheim-ösztöndíj (1968, 1977) [9] .
- Doctor of Humane Letters, tiszteletbeli diploma, University of Nebraska , 1977.
- Az Amerikai Művészeti és Tudományos Akadémia munkatársa (1978).
- A Brit Akadémia levelező tagja (1985).
- Howard Behrman-díj, Princetoni Egyetem , 1988.
- Az Academia Scientiarum et Artium Europaea munkatársa (1993).
- A Humane Letters doktora, tiszteletbeli fokozat, Johns Hopkins Egyetem , 1997.
- Doctor of Humane Letters, tiszteletbeli diploma, Haifa Egyetem , Izrael, 1998.
- A Norvég Tudományos Akadémia munkatársa (2000-).
- Logikai és filozófiai Schock-díj , Svéd Tudományos Akadémia , 2001.
- Doctor of Humane Letters, tiszteletbeli diploma, University of Pennsylvania , 2005.
- Az Amerikai Filozófiai Társaság munkatársa (2005).
Kompozíciók
Könyvek
- Elnevezés és szükségszerűség. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 és utánnyomások 1972.
- Wittgenstein a szabályokról és a magánnyelvről: elemi kifejtés. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
- Filozófiai gondok. Összegyűjtött iratok 1. köt. 1. New York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
- Hivatkozás és létezés – John Locke előadásai. New York: Oxford University Press , 2013. ISBN 978-0-19-992838-5
Cikkek és absztraktok
- 1959. "A teljességi tétel a modális logikában", Journal of Symbolic Logic 24(1):1-14.
- 1959. "Kiemelt alkotóelemek" (absztrakt), The Journal of Symbolic Logic , 24(4):323.
- 1959. "Semantical Analysis of Modal Logic" (absztrakt), The Journal of Symbolic Logic , 24(4):323-324.
- 1959. "The Problem of Entailment" (absztrakt), The Journal of Symbolic Logic , 24(4):324.
- 1962. "A formális számelmélet rugalmas predikátumai", Proceedings of the American Mathematical Society , 13(4):647-650.
- 1962. "A monádi modális kvantifikációs elmélet eldönthetetlensége", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8:113-116
- 1963. "Szemantikai megfontolások a modális logikáról", Acta Philosophica Fennica 16:83-94
- 1963. "A modális logika szemantikai elemzése I: normál modális propozíciós számítások", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9:67-96
- 1964. "Transfinite Recursions on Admissible Ordinals, I" (absztrakt), The Journal of Symbolic Logic , Vol. 29. sz. 3. o. 162.
- 1964. "Transfinite Recursions on Admissible Ordinals, II" (absztrakt), The Journal of Symbolic Logic , Vol. 29. sz. 3. o. 162.
- 1964. "Admissible Ordinals and the Analytic Hierarchy" (absztrakt), The Journal of Symbolic Logic , Vol. 29. sz. 3. o. 162.
- 1965. "Semantical Analysis of Intuitionistic Logic I", Formal Systems and Recursive Functions , szerkesztette: M. Dummett és JN Crossley. Amszterdam: North-Holland Publishing Co.
- 1965. "Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi", In The Theory of Models , szerkesztette JW Addison, L. Henkin és A. Tarski. Amszterdam: North-Holland Publishing Co.
- 1967. Kutatási közlemény: "A dedukciót megőrző "rekurzív izomorfizmusok" az elméletek között" (Marian Boykan Pour-El-lel), Bulletin of the American Mathematical Society , 73:145-148.
- 1967. "Gaifman-Hales-Solovay tételének kiterjesztése", Fundamenta Mathematicae , Vol. 61, pp. 29-32.
- 1967. "Transfinite Recursion, Constructible Sets and Analogues of Cardinals", Az American Mathematical Society, UCLA Nyári Axiomatikus Halmazelméleti Intézetével kapcsolatban készített beszélgetések összefoglalásai, pp. IV-0-1 - IV-0-12.
- 1967. "On the Application of Boole-valued Models to Solutions of Boolean Algebra", in Summarys of Talks Prepared in the Summer Institute on Axiomatic Set Theory, American Mathematical Society, UCLA (1967), pp. IV-T-1-től IV-T-7-ig.
- 1967. "A dedukciót megőrző "rekurzív izomorfizmusok" az elméletek között" (Marian Boykan Pour-El-lel), Fundamenta Mathematicae 61:141-163.
- 1971. "Identity and Necessity", In Identity and Individuation , szerkesztette M. K. Munitz. New York: New York University Press.
- 1972 (1980). "Naming and Necessity", In Semantics of Natural Language , szerkesztette D. Davidson és G. Harman. Dordrecht; Boston: Reidel. Meghatározza a hivatkozás kauzális elméletét .
- 1975. "Az igazság elméletének vázlata", Journal of Philosophy 72:690-716. Igazságelméletét állítja (Alfréd Tarskival szemben), ahol egy tárgynyelv tartalmazhatja saját igazságpredikátumát.
- 1976. "Is There a Problem about Substitutional Quantification?", Truth and Meaning: Essays in Semantics , szerkesztette Gareth Evans és John McDowell. Oxford: Oxford University Press.
- 1976. "A Theory of Truth I. Preliminary Report", absztrakt, Journal of Symbolic Logic , Vol. 41. sz. 2, pp. 556.
- 1976. Az igazság elmélete II. Preliminary Report", absztrakt, Journal of Symbolic Logic , Vol. 41. sz. 2, pp. 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 , szerkesztette A. Margalit. Dordrecht és Boston: Reidel.
- 1982. "Nonstandard Models of Peano Aithmetic" (S. Kochennel), in Logic and Algorithmics: International Symposium Held in Honour of Ernst Specker , H. Lauchli (szerk.), University of Geneva: 277-295.
- 1986. "Probléma a hivatkozáselméletben: a munka nyelvi megosztása és az elnevezés társadalmi karaktere", Filozófia és kultúra (A XVII. Filozófiai Világkongresszus közleménye) , Montreal, Montmorency kiadása: 241-247.
- 1992. "Összefoglalás: Egyéni fogalmak: Logikájuk, filozófiájuk és néhány felhasználásuk." Proceedings and Addresses of the American Philosophical Association 66: 70-73
- 2005. "Russell fogalma a hatókörről", Mind 114:1005-1037
- 2008. "Frege érzékelmélete és vonatkoztatása: néhány egzegetikai megjegyzés", Theoria 74:181-218
- 2009. „Előfeltevés és anafora: Megjegyzések a projekciós probléma megfogalmazásához”, Linguistic Inquiry 40(3):367-386.
- 2009. "A Hilbert-program összeomlása" (absztrakt) Bulletin of Symbolic Logic 15(2):229-231.
- 2011. "Az első személy", Filozófiai gondok. Összegyűjtött iratok 1. köt. I, Oxford University Press [10] .
- 2011. "A tudás két paradoxona", Filozófiai problémák. Összegyűjtött iratok 1. köt. Én, Oxford University Press.
- 2011. Nozick a tudásról, filozófiai problémákról. Összegyűjtött iratok 1. köt. Én, Oxford University Press.
- 2011. "Rejtvény az időről és a gondolatról", Filozófiai problémák. Összegyűjtött iratok 1. köt. Én, Oxford University Press.
- 2011. "Hiros nevek és kitalált entitások", Filozófiai problémák. Összegyűjtött iratok 1. köt. Én, Oxford University Press.
- 2011. "Korlátlan export és néhány morál a nyelvfilozófiához", Filozófiai gondok. Összegyűjtött iratok 1. köt. I, Oxford University Press [11] .
- 2013. "The Church-Turing 'Thesis' as a Special Coollary of Gödel's Completeness Theorem", in Computability: Turing, Gödel, Church, and Beyond, Copeland, BJ, Posy, C. és Shagrir, O. (szerk.), Cambridge, Mass., MIT Press.
Kiadatlan kéziratok és előadások
- 1963. "Történelem és idealizmus: R. G. Collingwood elmélete".
- 1973. John Locke előadásai: "Referencia és létezés". (Az átirat elérhető az Oxfordi Egyetem Filozófiai Könyvtárában)
- 1975. Három előadás az igazságról. Princetoni Egyetem [12] .
- 197-. "Az intuíciós propozíciós logika teljességéről és eldönthetőségéről".
- 1978. Idő és identitás. 1978-ban a Princetoni Egyetemen tartott kurzus. Az előadások szövege nem jelent meg, de több "szamizdat" változat is forgalomban van. Az előadásokon bemutatott gondolatok egy részét Ted Sider tárgyalja Four-Dimensionalism: An Ontology of Persistence and Time című könyvében .
- 19-. "Nem szabványos modellek és Godel-tétel: A Godel-tétel modellelméleti bizonyítása" [13]
- 1984. Leckék a funkcionalizmusról és az automatákról. (Elhangzott a Nemzetközi Wittgensteini Szimpóziumon, 1984. Átirata: Roderick Chisholm. [14]
- 198-. – A gamma bizonyítéka.
- 198-. "Megjegyzés Zabludowski Goodman projekcióelméletének kritikájához".
- 1986. "Merev megnevezés és a kontingens A Priori: A mérőléc újralátogatása" (Notre Dame, 1986).
- 1988/89. Szemináriumok az igazságról. Három szemeszteres szeminárium Princetonban 1988-89-ben, csak az első két szemesztert írta át Jim Cain [15] .
- 19- "Az intuicionista logika szemantikai elemzése II. A monádi töredék eldönthetetlensége" (Dátumozatlan kézirat).
- 19- "Az intuíciós logika szemantikai elemzése III" (Dátumozatlan kézirat).
- 1989 No Fool's Red? Néhány megfontolás az elsődleges/másodlagos minőségi megkülönböztetéssel kapcsolatban" (beleértve David Velleman megjegyzéseit). Michigani Egyetem, 1989.
- 1992. Whitehead előadásai: "Logicism, Wittgenstein és De Re hiedelmek a természetes számokról." Elhangzott a Harvard Egyetemen, 1992.
- 1992. Egyéni fogalmak: Logikájuk, filozófiájuk és néhány felhasználásuk. Átírta: Stephen Webb.
- 1996. The Ordered Pair: A Philosophical Paradigm Revisited.
- 1996. "Az elemi rekurzióelmélet és alkalmazásai a formális rendszerekre." Átírta Mario Gomez Torrente és John Barker [16] .
- 1999. "Út Gödel felé". (Olvasva a Haifa Egyetemen, Izrael, 1999. Számos átirat létezik.
- 2006. "From Church's Thesis to the First Order Algorithm Theorem", Tel Aviv University, 2006. június 13. [17] .
- 2007. "Kerekasztal az externalizmusról" ( Hilary Putnam , Tyler Burge, Saul Kripke és Michael Devitt). University College Dublin, Írország [18] .
- 2007. A Hilbert-program összeomlása. Indiana Egyetem, elnöki előadás [19] .
- 2008. Mathematical Incompleteness Results in Peano Aithmetic, a Revisionist View of the Early History.
Interjúk és cikkek Kripkéről a sajtóban
- " New Frontiers in American Philosophy ", Taylor Branch, New York Times Magazine , 1977. augusztus 14.
- " Saul Kripke, zseniális logika ." Andreas Saugstad interjúja, 2001. február 25.
- " Celebrating CUNY's Genius Philosopher ", Gary Shapiro, The New York Sun , 2006. január 27.
- « Filozófus, 65 éves, előadások nem a „Mi vagyok én?” címmel. de "Mi vagyok én?" szerző: Charles McGrath, The New York Times , 2006. január 28.
- " Az öt legjobb nyelvfilozófiai könyv" , Scott Soames, 2010. október 15.
Oroszul
- Kripke SA 1) Teljességi tétel a modális logikában; 2) Az unáris modális predikátumszámítás eldönthetetlensége; 3) A modális logika szemantikai elemzése, 1-2. rész // Face R. Modal logic. M., 1974. S. 223-323.
- Kripke S. A modális logika szemantikai megfontolása // A modális és intenzionális logikák szemantikája. M., 1981.
- Kripke S. Identitás és szükségszerűség // Új a külföldi nyelvészetben. Probléma. XIII. M., 1982.
- Kripke S. A vélemény összefüggéseinek rejtvénye // Új a külföldi nyelvészetben. Probléma. XVIII. M., 1986.
- Kripke S. A. Wittgenstein a szabályokról és az egyéni nyelvről / V. Rudnev fordítása // Logosz. - 1999. - 1. sz. - S. 151-185.
- Kripke S. A. Wittgenstein a szabályokról és az egyéni nyelvről / Per. V. A. Ladova, V. A. Surovtseva. Összesen alatt szerk. V. A. Surovtseva. - Tomszk: Publishing House Vol. un-ta, 2005. - 152 p. — (Az analitikus filozófia könyvtára). ISBN 5-7511-1906-1
- Kripke S. Wittgenstein a szabályokról és az egyéni nyelvről / V. A. Ladov, V. A. Surovtsev fordítása / Szerk.: V. A. Surovtsev. - M .: "Kanon +" ROOI "Rehabilitáció", 2010. - 256 p.
Lásd még
Jegyzetek
- ↑ 1 2 Weinberg J. Saul Kripke (1940-2022 ) – 2022.
- ↑ http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
- ↑ Saul Aaron Kripke // Brockhaus Encyclopedia (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Saul A Kripke // Babelio (fr.) - 2007.
- ↑ Nekrológ a The New York Timesban
- ↑ Myer Kripke rabbi, korai Buffett barát és befektető 100 éves korában meghal . Letöltve: 2017. szeptember 30. Az eredetiből archiválva : 2018. augusztus 30. (határozatlan)
- ↑ 12 Charles McGrath . Filozófus, 65, Előadások, nem a „Mi vagyok én?” címmel. de "Mi vagyok én?" . The New York Times (2006. január 28.). Hozzáférés dátuma: 2017. május 26. Az eredetiből archiválva : 2008. április 7. (határozatlan)
- ↑ Andreas Saugstad. Saul Kripke, zseniális logika . David Boles, Blogok (2001. február 25.). Letöltve: 2017. május 26. Az eredetiből archiválva : 2016. március 31. (határozatlan)
- ↑ Saul Kripke . John Simon Guggenheim Alapítvány . gf.org. Letöltve: 2019. április 15. Az eredetiből archiválva : 2019. április 15.
- ↑ A cikk alapjául szolgáló videók
- ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast, amelyen a cikk alapul]
- ↑ Vita
- ↑ Hilary Putnam összefoglalója .
- ↑ Edward P. Stabler, "Kripke a funkcionalizmusról és automatákról (hivatkozás nem elérhető) ", Synthese , Vol. 70 sz. 1 (1987).
- ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
- ↑ [1]
- ↑ Videó és absztrakt
- ↑ Podcast
- ↑ Videó előadások
Irodalom
oroszul
- Bessonov A. V. Kripke igazságelmélete // A Szovjetunió Tudományos Akadémia szibériai részlegének közleménye . Társadalomtudományi sorozat. - 1977. - 1. szám. - 1. sz. - S. 134-138.
- Dorofeev G. Kripke séma és Church tézise az intuicionista elemzésben // Harmadik All-Union Conference on Mathematical Logic. - Novoszibirszk, 1974.
- Makeeva L. B. Kripke // Új filozófiai enciklopédia : 4 kötetben / korábban. tudományos-szerk. V. S. Stepin tanácsa. — 2. kiadás, javítva. és további - M . : Gondolat , 2010. - 2816 p.
- Kripke, Sol / Makeeva L. B. // Az Úr keresztsége - fecske [Elektronikus forrás]. - 2010. - S. 36. - ( Great Russian Encyclopedia : [35 kötetben] / főszerkesztő Yu. S. Osipov ; 2004-2017, 16. v.). — ISBN 978-5-85270-347-7 .
- Serikov A.E. Baker és Hacker kontra Kripke: a régi vita relevanciájáról // A Szamarai Bölcsészettudományi Akadémia közleménye. Sorozat „Filozófia. Filológia". - 2010. - 1. szám (7). - S. 100-122.
- Khlebalin A. V. Az alapprobléma és a Kripke-paradoxon megoldásának feltételei // Filozófia: történelem és modernitás. 2004-2005. Ült. tudományos dolgozatok - Novoszibirszk-Omszk, 2005. - S. 3-13.
angolul
- Consuelo Preti (2002), On Kripke. Wadsworth. ISBN 0-534-58366-0
- Christopher Hughes (2004), Kripke: Nevek, szükségszerűség és identitás. ISBN 0-19-824107-0 .
- GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
- Martin Kusch (2006), Szkeptikus útmutató a jelentéshez és a szabályokhoz. Kripke Wittgensteinjének védelme. Acumben: Publishing Limited.
- Arif Ahmed (2007), Saul Kripke. New York, NY; London: Continuum. ISBN 0-8264-9262-2 .
Tematikus oldalak |
|
---|
Szótárak és enciklopédiák |
|
---|
Bibliográfiai katalógusokban |
---|
|
|
Rolf Schock- díjasok |
---|
Logika és filozófia |
|
---|
Matematika |
|
---|
Zene |
|
---|
vizuális művészetek |
|
---|