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 .
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 .
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).
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 .