encyklopedia.space

Saul Kripke

Saul Aaron Kripke (ur. 1940 w Nowym Jorku) – amerykański filozof, logik i matematyk, jeden z najważniejszych przedstawicieli filozofii analitycznej XX i XXI wieku. Znany jest przede wszystkim z prac z zakresu logiki modalnej, teorii opisów, semantyki języków formalnych oraz filozofii języka. Jego wkład w metafizykę i epistemologię wywarł trwały wpływ na współczesną myśl filozoficzną.

Życiorys

Wczesne lata

Saul Kripke urodził się 13 listopada 1940 roku w Nowym Jorku jako syn Bena Kripke, właściciela firmy giełdowej, oraz Beatrice Kripke, filantropki i działaczki żydowskiej. W wieku pięciu lat Kripke został rozpoznany jako dziecko wybitnie uzdolnione i już w wieku dwunastu lat został przyjęty na Uniwersytet Columbia, gdzie rozpoczął studia z matematyki.

Edukacja

W Columbia University Kripke uzyskał stopień licencjata z matematyki (1960) oraz doktorat z logiki (1970). Jego promotorami byli m.in. Alfred Tarski i Willard Van Orman Quine. Już w czasie studiów opracował pierwsze wersje teorii modalnej, które później stały się podstawą jego przełomowych publikacji.

Kariera akademicka

Po uzyskaniu doktoratu Kripke podjął pracę na Harvard University, a następnie przeniósł się na Massachusetts Institute of Technology (MIT), gdzie spędził większość swojego życia naukowego (od 1963 do 2020). Pełnił funkcję profesora filozofii i logiki, a także dyrektora Centrum Logiki i Filozofii Nauki.

Działalność naukowa

Logika modalna

Jednym z najważniejszych osiągnięć Kripke’a jest opracowanie semantyki możliwych światów, znanej jako semantyka Kripke’a. W publikacji “Semantical Considerations on Modal Logic” (1963) wprowadził modele, które umożliwiły precyzyjne badanie modalnych operatorów „możliwe”, „konieczne” oraz ich interakcji z innymi logicznymi pojęciami.

Teoria opisów

W latach 1970–1972 Kripke opracował teorię opisów (ang. descriptive theory of names), obalając tradycyjne podejście jedynie referencyjne (tzw. teoria opisowa Fregego). Według jego tezy nazw własnych nazwy są „krytyczne” – ich znaczenie wynika z ich zdolności do wskazywania na konkretny obiekt w świecie, co ma fundamentalne konsekwencje dla filozofii języka i epistemologii.

Inne obszary

  • Ontologia – prace nad naturą konieczności i kontingencji.
  • Teoria wiedzy (epistemologia) – wprowadzenie pojęcia „epistemicznego modalizmu”.
  • Filozofia techniki – refleksje nad wpływem technologii na pojęcia prawdy i znaczenia.

Główne publikacje

  • “Semantical Considerations on Modal Logic” (1963) – wprowadzenie semantyki możliwych światów.
  • “Naming and Necessity” (1972) – seria wykładów z Harvard, później opublikowanych w zbiorze Philosophical Review.
  • “The Theory of Truth” (1975) – współautorstwo z Michael Dummett.
  • “Mathematical Means to Philosophical Ends” (1979) – zbiór esejów łączących logikę i filozofię.

Wyróżnienia i nagrody

Życie prywatne

Kripke był żonaty dwukrotnie. Z pierwszą żoną, Evelyn, miał troje dzieci. Po jej śmierci w 1995 poślubił Rebecca – również filozofkę zajmującą się logiką. Kripke był znany ze skromności, zamiłowania do muzyki klasycznej oraz pasji do jazdy na rowerze.

Dziedzictwo

Saul Kripke pozostaje jedną z kluczowych postaci współczesnej filozofii i logiki. Jego koncepcje semantyczne i teoria opisów otworzyły nowe drogi badawcze w lingwistyce, kognitywistyce oraz w formalnych systemach informatycznych. Wielu współczesnych filozofów, m.in. David Louis Kriegman i David Chalmers, cytuje i rozwija idee Kripke’a, a jego prace są obowiązkową lekturą w programach studiów filozoficznych i matematycznych na całym świecie.

Bibliografia

  1. Kripke, Saul. Naming and Necessity. Harvard University Press, 1980.
  2. Kripke, Saul. Semantical Considerations on Modal Logic. In: Proceedings of the International Congress of Logic, 1963.
  3. Kripke, Saul; Dummett, Michael. The Theory of Truth. Oxford University Press, 1975.
  4. Kripke, Saul. Mathematical Means to Philosophical Ends. Cambridge University Press, 1979.

Źródła