Alfred Tarski

Alfred Tarski Obraz w Infobox.
Narodziny 14 stycznia 1901
Warszawa
Śmierć 26 października 1983
Berkeley
Pogrzeb Berkeley
Narodowość Polskie
Trening Szkoła Mazowiecka ( d ) (1915-1918)
Uniwersytet Warszawski (1918-1924)
Wpływem Charles Sanders Peirce
Różnica Stypendium Guggenheima (1941)

Alfred Tarski , urodzony Alfred Teitelbaum the14 stycznia 1901w Warszawie i zmarł dalej26 października 1983w Berkeley w Kalifornii , jest logik i filozof polski , mistrz logiki polskiej szkoły i jeden z najwybitniejszych matematyków z logików XX th  wieku, twórca teorii modeli i formalnej semantyki .

Biografia

Urodzony w 1901 roku w mieszczańskiej rodzinie żydowskiej w Warszawie Alfred Tajtelbaum otrzymał doskonałe wykształcenie ogólne. Jego matka, Rachela (Róża) z domu Prussak (1879-1942) pochodziła z zamożnej i wpływowej rodziny żydowskiej, która była właścicielką jednej z pierwszych łódzkich fabryk wełnianych. Ojciec przyszłego logika Izaak (Ignacy) Tajtelbaum (1869-1942) jest kupcem warszawskim. Rodzina Tajtelbaumów kultywuje żydowskie tradycje i obchodzi tradycyjne święta. Młody Alfred uczy się języka hebrajskiego i Tory.

W 1918 roku rozpoczął studia biologiczne na Uniwersytecie Warszawskim . Jednak Stanisław Leśniewski , który kieruje katedrą matematyki, namówił go do rezygnacji z biologii i studiowania filozofii. W 1923 roku Tajtelbaum zmienił nazwisko na Tarski i przeszedł na katolicyzm . W 1924 r. Pod kierunkiem Leśniewskiego obronił pracę doktorską poświęconą teorii mnogości . Rok później Tarski uzyskał habilitację.

Tarski przez następne 14 lat był profesorem nadzwyczajnym na Uniwersytecie Warszawskim, gdzie uczył podstaw matematyki i logiki oraz został asystentem Jana Łukasiewicza . Ponieważ jednak nie udało mu się uzyskać pracy w pełnym wymiarze godzin, uczył matematyki także w liceach.

W 1924 roku wraz z matematykiem Stefanem Banachem Tarski opublikował artykuł zatytułowany O rozkładzie zbiorów punktów na odpowiednio przystające części. Twierdzenie, że naukowcy tam rozwijają, znane jest jako paradoks Banacha-Tarskiego .

W czerwcu 1929 roku Tarski poślubił Marię Witkowską, z którą miał dwoje dzieci: Jana (Janusza), urodzonego w 1934 roku i Inę (Krystynę), urodzoną w 1938 roku.

Bezskutecznie starał się o stanowisko profesora w nowo utworzonej katedrze na Uniwersytecie w Leopolu . Konkurs wygrywa jednak prof. Leon Chwistek . Rozczarowany Tarski udał się do Wiednia, gdzie zainteresował się pracą Koła Wiedeńskiego i omówił ją z Rudolfem Carnapem i Kurtem Gödelem .

W 1933 roku jego prawdopodobnie najważniejszy artykuł , Pojęcie Prawdy w językach nauk dedukcyjnych ( Pojęcie prawdy w językach nauk dedukcyjnych) z.

W sierpniu 1939 roku Tarski wyjechał do Stanów Zjednoczonych, aby wziąć udział w Kongresie Jedności Naukowej w Cambridge w stanie Massachusetts . Ta podróż prawdopodobnie uratowała mu życie. Przybył do Nowego Jorku na tydzień przed wybuchem II wojny światowej . Po inwazji na Polskę Tarski decyduje się pozostać w Stanach Zjednoczonych. Jego żona i dzieci dołączyły do ​​niego po wojnie w 1946 r. Rodzice Tarskiego zginęli w Auschwitz . Jego młodszy brat Wacław - prawnik, satyryk, poeta, posługujący się pseudonimem artystycznym „Avocat Wacuś” - zginął w 1944 r . W Powstaniu Warszawskim .

W latach 1939-1941 Tarski był wykładowcą na Uniwersytecie Harvarda i wykładowcą na Uniwersytecie w Nowym Jorku . W 1941 roku został członkiem Institute for Advanced Study w Princeton . W latach 1942-45 wykładał na Uniwersytecie Kalifornijskim w Berkeley , a rok później uzyskał dożywotnią katedrę.

Dużo podróżuje. W 1950 r. Wykładał na University College London, aw 1955 r. W Institut Henri-Poincaré w Paryżu .

W 1958 roku Tarski założył Logic and Methodology of Science Group na Uniwersytecie Kalifornijskim w Berkeley, w której pracowali razem matematycy, logicy i filozofowie. Dzięki pasji i oddaniu Tarskiego narodziła się California School of Logic (zwana inaczej Zachodnią Szkołą Teorii Modelu) .

Tarski jest dyrektorem nie mniej niż 22 doktoratów w Berkeley. Wcześniej w Warszawie miał dwóch wybitnych studentów: Mojżesza Presburgera i Andrzeja Mostowskiego .

Alfred Tarski otrzymał tytuł doktora honoris causa uniwersytetów w Calgary , Santiago de Chile i Aix-Marseille .

Praca filozoficzna

Tarski jest szczególnie znany ze swojej teorii prawdy, która położyła podwaliny pod semantykę i teorię modeli . Miał on zresztą decydujący wpływ na epistemologię Karla Poppera (jak sam przyznaje), który w znacznym stopniu zawdzięcza teorii prawdy Tarskiego jako korespondencji z faktami. (Patrz książka Poppera zatytułowana Dwa podstawowe problemy teorii poznania , wydanie Hermanna, Paryż, 1999).

W 1933 roku , Tarski opublikowany pojęcie Prawdy wagowo językach nauk dedukcyjnych ( Pojęcie prawdy w językach nauk dedukcyjnych o ). Tłumaczenie francuskie, w Logice, semantics, meta-mathematics , A. Colin, 1976, nosi tytuł Pojęcie prawdy w językach sformalizowanych .

Podaje schemat interpretacji prawdziwości wypowiedzi, ale predykat „prawdziwy” nie może należeć do języka, do którego się odnosi, aby uniknąć paradoksu kłamcy  :

„P” jest prawdziwe wtedy i tylko wtedy, gdy p.

(gdzie p jest propozycją wyrażoną przez wyrażenie „P”)

Innymi słowy :

„Ten pies jest czarny”. jest prawdziwe wtedy i tylko wtedy, gdy pies jest czarny.

Jedna z filozoficznych debat na temat teorii Tarskiana dotyczy tego, czy zakłada ona prawdę jako zgodność z rzeczywistością ( korespondentyzm ), czy też pozostaje neutralna i byłaby raczej tak zwaną teorią „  deflacyjną  ” (stwierdzenie, że „p” jest prawdziwe ”nie dodaje nic w "p") lub po prostu "  decitational  " (to znaczy predykat prawdy pozwala na usunięcie cudzysłowów).

Praca logiczna i matematyczna

W Twierdzenie Tarskiego pokazuje, że pojęcie prawdziwości oświadczeń sformalizowanego języka, wystarczająco bogaty, nie może zostać zdefiniowane w tym języku, ale w tym, co nazwał język meta ( metajęzyk ). Demonstracja wprowadza techniki dość podobne do tych, które stosował Kurta Gödla .

Tarski jest autorem wielu owocnych i trudnych do podsumowania wyników. W szczególności sformułował kilka stwierdzeń równoważnych z aksjomatem wyboru i wykazał rozstrzygalność teorii, takich jak algebr Boole'a lub algebraicznie zamknięte pola, oraz nierozstrzygalność teorii, takich jak te o kratach .

Publikacje

Bibliografia

Uwagi i odniesienia

  1. „  Tarski  ” , na plato.stanford (dostęp 25 czerwca 2013 ) .
  2. (w) John J. O'Connor i Edmund F. Robertson , „Alfred Tarski” w archiwum MacTutor History of Mathematics , University of St Andrews ( czytaj online )..
  3. Paradoksy semantyczne .
  4. Zobacz w szczególności Problem fundacji według Tarskiego .

Zobacz też

Powiązane artykuły

Linki zewnętrzne