Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ január wukaɕɛvʲitʃ ] (született  December 21-, 1878-as in Lemberg , †  február 13-, 1956-os in Dublin ) volt lengyel filozófus , matematikus és logikus .

törvény

1915 és 1939 között Łukasiewicz a Lviv és a Varsói Egyetem professzora volt , utóbbinál kétszer is rektor. Munkáját ott a Lemberg-Varsói Iskola uralta , amelynek matematikai logikai alapkutatása a Varsói Egyetemet a logika központjává tette az első világháború utáni időszakban . Tanítványai és későbbi kollégái között volt Alfred Tarski . 1919-ben Łukasiewicz rövid ideig lengyel oktatási miniszter volt.

1938-ban a University of Münster oda neki egy tiszteletbeli doktori a filozófia. A megszállás után a német megszállás Lengyelország , dolgozott a titkos Varsó földalatti Egyetem ( Tajny Uniwersytet Warszawski ). A háború végét Hembsenben élte meg , ahová barátja, német matematikusok saját biztonsága érdekében hozták. 1949-ben Dublinba ment, ahol professzornak ajánlották az egyetemen, és egész életében dolgozott.

Később bevezette az úgynevezett lengyel jelölést (előtag jelölés), amelyben egy kifejezés (pl. Matematikai képlet) operátora az operandus elé van írva, és így nincs szüksége zárójelre: 8 + 5 helyett + 8 5 . Később ebből származtatták a fordított lengyel jelölést (Postfix jelölés), amelyben az operátorokat operandusaik után írják (pl. 8 5 + ).

Jan Łukasiewicz 1920-ban formalizálta a Ł ₃ háromértékű logikát, és így létrehozta az első sokértékű és így nem klasszikus logikai számítást . Munkája a klasszikus logikával is foglalkozott . Ily módon Bernaystől és Posttól függetlenül bizonyította a klasszikus propozíciós logika teljességét és következetességét .

Többértékű logikájában igazságérték-függvényeket használt , amelyeket ma Łukasiewicz-Tarski tagadásnak és Łukasiewicz-Tarski implikációnak neveznek .

Jan Łukasiewicz is úttörő munkákat írt a logika történetéről. Rekonstruálta az arisztotelészi szillogisztikát, és Martha Kneale mellett felfedezte a sztoikus logika fontosságát , amelyet a propozíciós logika legkorábbi történelmi formájának tekintett (ma elsőbbséget élveznek a "dialektikusok" Diodoros Kronos és Phil Megara ). Ezzel az újraértékeléssel megszabadította a Stoa- t a régi és kitartó ítélet alól, miszerint steril formalizmust vezetett be a logikába, és új fejezetet adott a logika történetéhez.

Betűtípusok (kiválasztás)

• O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Krakkó 1910 (új kiadás Tekst przejrzał, przedmowa̧ i przypisami opatrzył január Wolenski Państwowe Wydawnictwo Naukowe, Varsó, 1987. ISBN 83-01-06226-6 ; német: Arisztotelész ellentmondás elvéről (= A modern értelmezése Arisztotelészi logika. 5). Olms, Hildesheim és mtsai., 1993, ISBN 3-487-09761-3 .
• A Alfred Tarski : Nyomozás a ítéletlogika. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. , 1930. évfolyam 23. szám, ZDB -ID 1110908-7 , 30-50.
• Filozófiai megjegyzések a propozíciós számítás többértékű rendszereihez. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. 1930. évfolyam 23. évfolyam, 51–77.
• Z historii logiki zdań. In: Przegląd Filozoficzny. 37. évfolyam , 1934., ISSN  1230-1493 , 417-437 . O., (Németül: A propozicionális logika történetéhez. In: Tudás . 1935. évfolyam, 5. kötet, 1935, 111-131. Oldal, JSTOR 20011745 ; A sztoikus junctor logika felfedezése ).
• Jan Łukasiewicz: Arisztotelész szillogisztikája. A modern formális logika szempontjából. Clarendon Press, Oxford et al., 1951.
• Elemi logiki matematycznej. 2. kiadás. Państwowe Wydawnictwo Naukowe, Varsó, 1958, (angolul: Elements of mathematical logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Lengyel fordításból Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 ).
• Válogatott munkák (= Logikai tanulmányok és a matematika alapjai. ). Szerk .: L. Borkowski. North-Holland és mtsai, Amsterdam és mtsai 1970, ISBN 0-7204-2252-3 .

irodalom

• Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz és Jan Łukasiewicz. In: Fórum a kelet-európai eszmetörténet és a kortörténet számára. 11. évfolyam, 2. szám, 2007, ISSN  1433-4887 , 107–125 . O., (Fordítás: Heinrich Scholz és Jan Łukasiewicz kapcsolatairól. In: A logika története és filozófiája. 28. évfolyam, 1. szám, 2007, ISSN  0144-5340 , 67-81 . Oldal, doi : 10.1080 / 01445340600841994 ).
• Fred Seddon: Arisztotelész és Łukasiewicz. Az ellentmondás elvéről A modern logika, Ames IA 1996, ISBN 1-884905-04-8 .
• Mieszko Tałasiewicz: Jan Łukasiewicz - A tudomány formájának keresése. In: Wladyslaw Krajewski (Szerk.): A tudomány és a természet lengyel filozófusai a 20. században (= Poznan Studies in the Philosophy of the Sciences and Humanities. 74 = Polish Analytical Philosophy. 3). Rodopi, Amsterdam és mtsai 2001, ISBN 90-420-1497-0 , 27-35.
• Jan Wolenski (Szerk.): Filozófiai logika Lengyelországban (= Synthesis Library. 228). Kluwer, Dordrecht és mtsai., 1994, ISBN 0-7923-2293-2 .

web Linkek

• John J. O'Connor, Edmund F. Robertson :  Jan Lukasiewicz. In: MacTutor matematikatörténeti archívum .
• Peter Simons:  Bejegyzés az Edward N. Zalta-ban (szerk.): Stanfordi filozófiai enciklopédia .Sablon: SEP / Karbantartás / 1. és 3. paraméter, és nem a 2. paraméter
• Matematikatörténet a Münsteri Egyetemen, L. Scholz életrajzában, pdf

Egyéni bizonyíték

1. ↑ "A propozíciós logika határozhatósága az igazságtáblák felhasználásával, amelyek Frege és Peirce számára ismertek; dönthetőségének bizonyítéka Jan Łukasiewicz és Emil Post tulajdonítható függetlenül 1921-ben. “( Logic. In: The New Encyclopædia Britannica. 23. évfolyam, 15. kiadás. Encyclopaedia Britannica, Chicago IL és mtsai 2003, ISBN 0-85229-961 -3 , P. 279, 2. oszlop).