Saul Aaron Kripke (13.
november">13. november 1940 New Yorgi osariik, Bay Shore – 15. september 2022) oli juudi päritolu USA filosoof ja loogik.
Ta oli Princetoni Ülikooli emeriitprofessor ning CUNY Graduate Centeri distingeeritud filosoofiaprofessor.
Ta on tuntud modaalse loogika, osutusteooria ja Ludwig Wittgensteini "Filosoofiliste uurimuste" alaste tööde järgi. Paljud tema tööd on avaldamata ning neist on olemas ainult lindistused või eraviisiliselt levitatavad käsikirjad.
Kripke panuseks filosoofiasse loetakse järgmist:
Kripke varajased tööd (sealhulgas "A Completeness Theorem in Modal Logic" (selle ta kirjutas teismelisena) ja "Semantical Considerations on Modal Logic") olid pühendatud modaalloogikale. Kõige tuntumad modaalsed loogikad on konstrueeritud ühe nõrga loogika K baasil; see loogika on saanud nime Kripke järgi.
Artiklis "Semantical Considerations on Modal Logic" (1963) pakkus Kripke lahenduse ühele klassikalise predikaatloogika raskusele. Maailmasõlteline lähenemine pidi näitama, kuidas ühe võimaliku maailma objektid võivad teises mitte eksisteerida. Ent tavalised reeglid kvantoritega ümberkäimiseks nõuavad, et iga term osutaks millelegi, mis eksisteerib kõikides võimalikes maailmades. See paistab olevat ühitamatu meie tavapraktikaga: me kasutame termineid kontingentselt eksisteerivatele asjadele osutamiseks. Kripke vastab sellele raskusele terminite elimineerimisega. Ta toob näite loogikasüsteemist, mis kasutab maailmasõltelist interpretatsiooni ja säilitab klassikalised reeglid. Ent selle hinnaks on keele vaesustumine ning modaalse lauseloogika nõrgenemine.
Kripke kolm loengut on rünnak Gottlob Frege ja Bertrand Russelli pärisnimede kirjeldusteooriale, mille kohaselt nimi (pärisnimi) osutab mingile objektile seetõttu, et nime seostatakse kirjeldusega (määrava kirjeldusega), millele objekt vastab. Kripke tõi mitu näidet, mis näitavad seda teooriat ebausutavana.
Saul Kripke oli abielus filosoof Margaret Gilbertiga.
This article uses material from the Wikipedia Eesti article Saul Kripke, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sisu on kasutatav litsentsi CC BY-SA 4.0 tingimustel, kui pole öeldud teisiti. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Eesti (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.