Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (narozený  21. prosince 1878 v Lembergu , †  13. února 1956 v Dublinu ) byl polský filozof , matematik a logik .

Akt

V letech 1915 až 1939 byl Łukasiewicz profesorem na univerzitách ve Lvově a Varšavě a dvakrát rektorem na této univerzitě . Jeho práci zde dominovala Lembergsko-varšavská škola , jejíž základní výzkum matematické logiky učinil z Varšavské univerzity centrum logiky v období po první světové válce . Mezi jeho studenty a pozdějšími kolegy byl Alfred Tarski . V roce 1919 byl Łukasiewicz na krátkou dobu polským ministrem školství.

V roce 1938 University of Münster udělil jemu je čestný doktorát z filozofie. Během okupace po německé invazi do Polska pracoval na tajné varšavské univerzitě metra ( Tajny Uniwersytet Warszawski ). Konec války zažil v Hembsenu , kam ho kvůli jeho vlastní bezpečnosti přivedl jeho přítel němečtí matematici. V roce 1949 odešel do Dublinu, kde mu byla nabídnuta profesura na univerzitě a pracoval po zbytek svého života.

Později zavedl takzvaný polský zápis (prefixový zápis), ve kterém je operátor výrazu (např. Matematický vzorec) zapsán před operand a nepotřebuje závorky: místo 8 + 5 píšete + 8 5 . Z toho se později odvozila reverzní polská notace (Postfixová notace), ve které se operátory zapisují za jejich operandy (např. 8 5+ ).

Jan Łukasiewicz formalizoval trojmocnou logiku Ł 3 v roce 1920 a vytvořil tak první vícehodnotový a tedy neklasický logický počet . Jeho práce se také zabývala klasickou logikou . Tímto způsobem, a to nezávisle Bernays a Post , dokázal na úplnost a jednotnost klasické výrokové logiky .

Ve své vícehodnotové logice používal funkce pravdivostní hodnoty , které jsou nyní známé jako Łukasiewicz-Tarského negace a Łukasiewicz-Tarskiho implikace .

Jan Łukasiewicz také napsal průkopnické práce o historii logiky. Zrekonstruoval aristotelovskou sylogistiku a vedle Marthy Kneale objevil význam stoické logiky, kterou považoval za nejranější historickou formu výrokové logiky (dnes se priorita připisuje „dialektikům“ Diodorosovi Kronosovi a Philovi z Megary ). Tímto přehodnocením osvobodil Stoa od starého a vytrvalého úsudku, že zavedl do logiky sterilní formalismus, a přidal novou kapitolu do historie logiky.

Písma (výběr)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. W. Osławskiego, Krakow 1910 (nové vydání Tekst przejrzał, przedmowa̧ i przypisami opatrzył leden Wolenski Państwowe Wydawnictwo Naukowe, Varšava 1987. ISBN 83-01-06226-6 ; německy: O principu rozporu v Aristotelovi (= moderní interpretace Aristotelská logika. 5). Olms, Hildesheim et al. 1993, ISBN 3-487-09761-3 ).
  • s Alfredem Tarskim : Vyšetřování výrokového počtu. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Svazek 23, 1930, ZDB- ID 1110908-7 , str. 30-50.
  • Filozofické poznámky k vícehodnotovým systémům výrokového počtu. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Svazek 23, 1930, s. 51-77.
  • Z historii logiki zdań. In: Przegląd Filozoficzny. Svazek 37, 1934, ISSN  1230-1493 , s. 417-437, (německy: K historii výrokové logiky. In: Znalosti . Svazek 5, 1935, s. 111-131, JSTOR 20011745 ; Objev stoické spojovací logiky ).
  • Jan Łukasiewicz: Aristotelova sylogistika. Z hlediska moderní formální logiky. Clarendon Press, Oxford et al. 1951.
  • Elementy logiki matematycznej. 2. vydání. Państwowe Wydawnictwo Naukowe, Varšava 1958, (anglicky: Elements of matematic logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Překlad z polštiny Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 ).
  • Vybraná díla (= Studium logiky a základy matematiky. ). Editoval L. Borkowski. North-Holland et al., Amsterdam et al. 1970, ISBN 0-7204-2252-3 .

literatura

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz a Jan Łukasiewicz. In: Fórum pro východoevropské dějiny idejí a soudobé dějiny. Svazek 11, č. 2, 2007, ISSN  1433-4887 , s. 107–125, (Překlad: O vztazích Heinricha Scholze a Jana Łukasiewicze. In: Dějiny a filozofie logiky. Svazek 28, č. 1, 2007, ISSN  0144-5340 , str. 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristoteles a Łukasiewicz. Na principu rozporu Modern Logic, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - Hledání formy vědy. In: Wladyslaw Krajewski (Ed.): Polští filozofové vědy a přírody ve 20. století (= Poznaňské studie ve filozofii věd a humanitních věd. 74 = Polská analytická filozofie. 3). Rodopi, Amsterdam et al. 2001, ISBN 90-420-1497-0 , s. 27-35.
  • Jan Wolenski (ed.): Filozofická logika v Polsku (= Synthesis Library. 228). Kluwer, Dordrecht a kol.1994 ISBN 0-7923-2293-2 .

webové odkazy

Individuální důkazy

  1. ↑ „Rozhodnutelnost výrokové logiky pomocí pravdivostních tabulek, které Frege a Peirce věděli; důkaz jeho rozhodovatelnosti lze přičíst Janu Łukasiewiczovi a Emilovi Postovi nezávisle v roce 1921. “( Logic. In: The New Encyclopædia Britannica. Svazek 23. 15. vydání. Encyclopaedia Britannica, Chicago IL a kol. 2003, ISBN 0-85229-961 -3 , P. 279, odst. 2).
osobní data
PŘÍJMENÍ Łukasiewicz, Jan
STRUČNÝ POPIS Polský filozof, matematik a logik
DATUM NAROZENÍ 21. prosince 1878
MÍSTO NAROZENÍ Lvov , Galicie
DATUM ÚMRTÍ 13. února 1956
MÍSTO SMRTI Dublin