Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (n  . 21 decembrie 1878 în Lemberg , †  13 februarie 1956 la Dublin ) a fost un filozof , matematician și logician polonez .

act

Din 1915 până în 1939, Łukasiewicz a fost profesor la Universitățile din Lviv și Varșovia și de două ori rector la acestea din urmă. Munca sa de acolo a fost dominată de Școala Lemberg-Varșovia , a cărei cercetare de bază asupra logicii matematice a făcut din Universitatea din Varșovia un centru de logică în perioada de după primul război mondial . Printre studenții săi și colegii mai târziu s-a numărat Alfred Tarski . În 1919, Łukasiewicz a fost pentru scurt timp ministru al educației polonez.

În 1938, Universitatea din Münster i-a acordat un doctorat onorific în filosofie. În timpul ocupației după invazia germană a Poloniei , el a lucrat la Universitatea secretă din metrou din Varșovia ( Tajny Uniwersytet Warszawski ). El a experimentat sfârșitul războiului la Hembsen , unde prietenul său matematicieni germani îl adusese pentru propria lui siguranță. În 1949 s-a dus la Dublin, unde i s-a oferit profesor la universitate și a lucrat pentru tot restul vieții sale.

Ulterior a introdus așa-numita notație poloneză ( notație prefix), în care operatorul unei expresii (de exemplu, o formulă matematică) este scris în fața operandului și, prin urmare, nu are nevoie de paranteze: în loc de 8 + 5 , tu scrii + 8 5 . Mai târziu, notația poloneză inversă ( notația Postfix) a fost derivată din aceasta, în care operatorii sunt scrise după operanzii lor (de exemplu, 8 5 + ).

Jan Łukasiewicz a formalizat logica trivalentă Ł 3 în 1920 și a creat astfel primul calcul logic multivalor și deci neclasic . Opera sa se ocupa și de logica clasică . În acest fel, în mod independent de Bernays și post , el a dovedit caracterul complet și coerența clasice logica propozitiilor .

În prim-multiple Logică sale el a folosit funcțiile valoare de adevăr , care sunt acum cunoscute sub numele de Łukasiewicz-Tarski negație și Łukasiewicz-Tarski implicație .

Jan Łukasiewicz a scris, de asemenea, lucrări inovatoare despre istoria logicii. El a reconstruit silogistica aristotelică și a descoperit alături de Martha Kneale importanța logicii stoice , pe care a considerat-o ca fiind cea mai veche formă istorică a logicii propoziționale (astăzi prioritatea este atribuită „dialecticienilor” Diodoros Kronos și Philo din Megara ). Cu această reevaluare, el a eliberat Stoa de vechea și persistentă judecată că a introdus un formalism steril în logică și a adăugat un nou capitol la istoria logicii.

Fonturi (selecție)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. W. Osławskiego, Cracovia 1910 (nouă ediție Tekst przejrzał, przedmowa̧ i przypisami opatrzył January Wolenski Państwowe Wydawnictwo Naukowe, Varșovia 1987. ISBN 83-01-06226-6 ; Germană: Despre principiul contradicției în Aristotel (= Interpretarea modernă a Logica aristotelică. 5). Olms, Hildesheim și colab. 1993, ISBN 3-487-09761-3 ).
  • cu Alfred Tarski : Investigații asupra calculului propozițional. În: Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volumul 23, 1930, ZDB -ID 1110908-7 , pp 30-50..
  • Observații filozofice asupra sistemelor cu mai multe valori ale calculului propozițional. În: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volumul 23, 1930, pp. 51-77.
  • Z historii logiki zdań. În: Przegląd Filozoficzny. Volumul 37, 1934, ISSN  1230-1493 , pp. 417-437, (germană: To the history of propositional logic. În: Knowledge . Volumul 5, 1935, pp. 111-131, JSTOR 20011745 ; Descoperirea logicii stoice a joncțiunii ).
  • Jan Łukasiewicz: Silogistica lui Aristotel. Din punctul de vedere al logicii formale moderne. Clarendon Press, Oxford și colab. 1951.
  • Elementy logiki matematycznej. Ediția a II-a. Państwowe Wydawnictwo Naukowe, Varșovia 1958, (engleză: Elements of mathical logic (= International Series of Monographs on Pure and Applied Math . 31, ISSN  0539-0125 ). Traducere din poloneză de Olgierd Wojtasiewicz. Pergamon Press, Oxford și colab. 1963 ).
  • Lucrări selectate (= Studii în logică și fundamentele matematicii. ). Editat de L. Borkowski. North-Holland și colab., Amsterdam și colab. 1970, ISBN 0-7204-2252-3 .

literatură

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz și Jan Łukasiewicz. În: Forum pentru istoria ideilor și istoria contemporană din Europa de Est. Volumul 11, nr. 2, 2007, ISSN  1433-4887 , pp. 107–125, (Traducere: Despre relațiile dintre Heinrich Scholz și Jan Łukasiewicz. În: Istoria și filosofia logicii. Volumul 28, nr. 1, 2007, ISSN  0144-5340 , pp. 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristotel și Łukasiewicz. Despre principiul contradicției Logica modernă, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - Căutarea formei științei. În: Wladyslaw Krajewski (Ed.): Filosofii polonezi ai științei și naturii în secolul al XX-lea (= Poznan Studies in the Philosophy of the Sciences and the Humanities. 74 = Polish Analytical Philosophy. 3). Rodopi, Amsterdam și colab. 2001, ISBN 90-420-1497-0 , pp. 27-35.
  • Jan Wolenski (Ed.): Logică filosofică în Polonia (= Biblioteca de sinteză. 228). Kluwer, Dordrecht și colab. 1994 ISBN 0-7923-2293-2 .

Link-uri web

Dovezi individuale

  1. ↑ „Decizibilitatea logicii propoziționale, prin utilizarea tabelelor de adevăr, cunoscute de Frege și Peirce; o dovadă a decidabilității sale este atribuită în mod independent lui Jan Łukasiewicz și Emil Post în 1921. „( Logic. În: The New Encyclopædia Britannica. Volumul 23. Ediția a XV-a. Encyclopaedia Britannica, Chicago IL și colab. 2003, ISBN 0-85229-961 -3 , P. 279, col. 2).
date personale
NUME DE FAMILIE Łukasiewicz, ian
DESCRIERE SCURTA Filozof, matematician și logician polonez
DATA DE NASTERE 21 decembrie 1878
LOCUL NASTERII Lviv , Galicia
DATA MORTII 13 februarie 1956
LOCUL DECESULUI Dublin