Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (ur  . 21 grudnia 1878 we Lwowie , †  13 lutego 1956 w Dublinie ) był polskim filozofem , matematykiem i logikiem .

akt

W latach 1915–1939 Łukasiewicz był profesorem na Uniwersytecie Lwowskim i Warszawskim , a także dwukrotnym rektorem tego ostatniego. W jego twórczości dominowała Szkoła Lemberg-Warszawska , której podstawowe badania nad logiką matematyczną uczyniły z Uniwersytetu Warszawskiego centrum logiki okresu po I wojnie światowej . Wśród jego uczniów i późniejszych kolegów był Alfred Tarski . W 1919 roku Łukasiewicz był krótko ministrem oświaty.

W 1938 roku Uniwersytet w Münster nadał mu się tytuł doktora honoris causa w dziedzinie filozofii. W czasie okupacji po niemieckiej inwazji na Polskę pracował na Tajnym Uniwersytecie Warszawskim . Koniec wojny przeżył w Hembsen , dokąd przywieźli go dla jego własnego bezpieczeństwa jego przyjaciel niemieccy matematycy. W 1949 wyjechał do Dublina, gdzie zaproponowano mu profesurę na uniwersytecie i pracował do końca życia.

Później wprowadził tak zwaną notację polską ( notację przedrostkową), w której operator wyrażenia (np. Formuły matematycznej) jest zapisywany przed operandem i dlatego nie potrzebuje nawiasów: zamiast 8 + 5 piszesz + 8 5 . Później wyprowadzono z tego odwrotną notację polską ( notacja Postfix), w której operatory zapisywane są po ich operandach (np. 8 5 + ).

Jan Łukasiewicz sformalizował logikę trójwartościową Ł _{3 w} 1920 r. I stworzył pierwszy wielowartościowy, a więc nieklasyczny rachunek logiczny . W swojej pracy zajmował się również logiką klasyczną . W ten sposób, niezależnie od Bernays i post , okazał się kompletność i spójność klasycznego rachunku zdań .

W swoich wielu logik wielowartościowych użył funkcji wartości logicznej , które są teraz znane jako Łukasiewicz-Tarskiego negacji i Łukasiewicz-Tarskiego implikacji .

Jan Łukasiewicz napisał także przełomowe prace z historii logiki. Zrekonstruował sylogistykę arystotelesowską i odkrył obok Marthy Kneale znaczenie logiki stoickiej , którą uważał za najwcześniejszą historyczną formę logiki zdań (dziś pierwszeństwo przypisuje się „dialektykom” Diodorosowi Kronosowi i Filonowi z Megary ). Dzięki tej ponownej ocenie uwolnił Stoa od starego i upartego osądu, że wprowadził on sterylny formalizm do logiki i dodał nowy rozdział do historii logiki.

Czcionki (wybór)

• O Sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Kraków 1910 (nowe wydanie Tekst przejrzał, i przypisami opatrzył Przedmowa stycznia Woleński Państwowe Wydawnictwo Naukowe, Warszawa 1987. ISBN 83-01-06226-6 ; niemiecki: O zasadzie sprzeczności u Arystotelesa (= The nowoczesnej interpretacji Logika Arystotelesa. 5), Olms, Hildesheim i in. 1993, ISBN 3-487-09761-3 ).
• z Alfredem Tarskim : Badania rachunku zdań. W: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Tom 23, 1930, ZDB -ID 1110908-7 , s. 30-50.
• Uwagi filozoficzne o systemach wielowartościowych rachunku zdań. W: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Tom 23, 1930, s. 51–77.
• Z historii logiki zdań. W: Przegląd Filozoficzny. Tom 37, 1934, ISSN  1230-1493 , s. 417-437, (niem. To the history of propositional logic. W: Knowledge . Tom 5, 1935, s. 111-131, JSTOR 20011745 ; Discovery of the stoic junctor logic ).
• Jan Łukasiewicz: sylogistyka Arystotelesa. Z punktu widzenia współczesnej logiki formalnej. Clarendon Press, Oxford i wsp. 1951.
• Elementy logiki matematycznej. Wydanie 2. Państwowe Wydawnictwo Naukowe, Warszawa 1958, (English: Elements of mathematical logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Tłumaczenie z języka polskiego: Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 ).
• Wybrane prace (= Studia z logiki i podstaw matematyki. ). Pod redakcją L. Borkowskiego. North-Holland i in., Amsterdam i in. 1970, ISBN 0-7204-2252-3 .

literatura

• Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz i Jan Łukasiewicz. W: Forum Wschodnioeuropejskiej Historii Idei i Historii Współczesnej. Tom 11, nr 2, 2007, ISSN  1433-4887 , s. 107–125, (Tłumaczenie: O stosunkach między Heinrichem Scholzem i Janem Łukasiewiczem. W: History and Philosophy of Logic. Tom 28, nr 1, 2007, ISSN  0144-5340 , s. 67-81, doi : 10.1080 / 01445340600841994 ).
• Fred Seddon: Arystoteles i Łukasiewicz. O zasadzie sprzeczności Modern Logic, Ames IA 1996, ISBN 1-884905-04-8 .
• Mieszko Tałasiewicz: Jan Łukasiewicz - W poszukiwaniu formy nauki. W: Władysław Krajewski (red.): Polscy filozofowie nauki i przyrody w XX wieku (= Poznańskie Studia Filozofii Nauk i Nauk Humanistycznych. 74 = Polska Filozofia Analityczna. 3). Rodopi, Amsterdam i in. 2001, ISBN 90-420-1497-0 , s. 27-35.
• Jan Wolenski (red.): Logika filozoficzna w Polsce (= Biblioteka syntezy. 228). Kluwer, Dordrecht i wsp. 1994 ISBN 0-7923-2293-2 .

linki internetowe

• John J. O'Connor, Edmund F. Robertson :  Jan Łukasiewicz. W: MacTutor Archiwum historii matematyki .
• Peter Simons:  Entry in Edward N. Zalta (red.): Stanford Encyclopedia of Philosophy .Szablon: SEP / Konserwacja / Parametr 1 i Parametr 3, a nie Parametr 2
• Historia matematyki na Uniwersytecie w Münster, L. w biografii Scholza, pdf

Indywidualne dowody

1. ↑ „Rozstrzygalność logiki zdań za pomocą tablic prawdy, które są znane Frege i Peirce; dowód jego rozstrzygalności można przypisać niezależnie Janowi Łukasiewiczowi i Emilowi ​​Postowi w 1921 r. ”( Logic. In: The New Encyclopædia Britannica. Tom 23. 15. wydanie. Encyclopaedia Britannica, Chicago IL et al. 2003, ISBN 0-85229-961 -3 , str. 279, kol. 2).