Quelltext der Seite Jan Łukasiewicz

[[Datei:Jan Łukasiewicz.jpg|mini|Jan Łukasiewicz 1935]]

'''Jan Łukasiewicz''' [{{IPA|jan wukaˈɕɛvʲitʃ}}] (* [[21. Dezember]] [[1878]] in [[Lemberg]]; † [[13. Februar]] [[1956]] in [[Dublin]]) war ein [[Polen|polnischer]] [[Philosoph]], [[Mathematiker]] und [[Logik]]er.

== Wirken ==
Łukasiewicz war in den Jahren von 1915 bis 1939 [[Professor]] an den [[Universität Lemberg|Universitäten Lemberg]] und [[Universität Warschau|Warschau]], an letzterer auch zweimal Rektor. Seine Arbeit dort stand im Zeichen der [[Lemberg-Warschau-Schule]], deren [[Grundlagenforschung]] an mathematischer [[Logik]] die Universität Warschau zu einem Zentrum der Logik in der Zeit nach dem [[Erster Weltkrieg|Ersten Weltkrieg]] machte. Zu seinen Schülern und späteren Kollegen gehörte unter anderem [[Alfred Tarski]]. 1919 war Łukasiewicz für kurze Zeit polnischer Bildungsminister.

1938 verlieh ihm die [[Westfälische Wilhelms-Universität Münster|Universität Münster]] einen [[Ehrendoktor]] für Philosophie. Während der [[Deutsche Besetzung Polens 1939–1945|Besetzung]] nach dem deutschen [[Überfall auf Polen]] arbeitete er an der geheimen Warschauer Untergrunduniversität (''Tajny Uniwersytet Warszawski'').

Während der deutschen Besetzung Polens arbeitete Łukasiewicz im Stadtarchiv von Warschau und verdiente einen dürftigen Lebensunterhalt. Ebenso half ihm seine Freundschaft mit [[Heinrich Scholz (Logiker)|Heinrich Scholz]] (einem deutschen Professor der mathematischen Logik); auch arrangierte Scholz die Übersiedlung der Familie Łukasiewicz nach Deutschland (1944) (Łukasiewicz hatte Angst vor dem Einmarsch der Roten Armee in Polen). Jan Łukasiewicz und seine Frau wollten in die [[Schweiz]], konnten aber keine Zulassung der deutschen Behörden bekommen. Deshalb verbrachten sie die letzten Monate der Kriegszeit in [[Münster]]. Das Kriegsende erlebte er in [[Brakel]] (Ortsteil [[Hembsen]]). Nach dem Krieg arbeitete er zuerst in Belgien, wo er an der provisorischen Polnischen Wissenschaftlichen Akademie Logik lehrte, 1949 ging er nach [[Dublin]], wo er am [[University College Dublin]] einen Lehrstuhl angeboten bekam und den Rest seines Lebens wirkte.<ref>{{Literatur |Titel=The Stanford Encyclopedia of Philosophy |Verlag=Metaphysics Research Lab, Stanford University |Datum=2021-11-04 |Kapitel=Jan Łukasiewicz |Online=[https://plato.stanford.edu/entries/lukasiewicz/ Online] |Abruf=2022-05-14}}</ref>

Er führte die so genannte [[polnische Notation]] (Präfixnotation) ein, bei welcher der Operator eines Ausdrucks (z.&nbsp;B. einer mathematischen Formel) vor den Operanden geschrieben wird und die dadurch ohne Klammern auskommt: Statt ''8&nbsp;+&nbsp;5'' schreibt man ''+&nbsp;8&nbsp;5''. Später wurde davon die [[umgekehrte polnische Notation]] (Postfixnotation) abgeleitet, bei der die Operatoren ''hinter'' ihren Operanden geschrieben werden (z.&nbsp;B. ''8&nbsp;5&nbsp;+'').

Jan Łukasiewicz formalisierte 1920 die [[dreiwertige Logik]] Ł<sub>3</sub> und schuf so den ersten [[Mehrwertige Logik|mehrwertigen]] und damit [[Logik#Nichtklassische Logiken|nichtklassischen]] logischen [[Kalkül]]. Seine Arbeiten beschäftigten sich aber auch mit der [[Klassische Logik|klassischen Logik]]. So erstellte er einen von [[Paul Bernays|Bernays]] und [[Emil Leon Post|Post]] unabhängigen Beweis der [[Vollständigkeit (Logik)|Vollständigkeit]] und [[Widerspruchsfreiheit]] der klassischen [[Aussagenlogik]].<ref>„The decidability of propositional logic, through the use of truth tables, was known to Frege and Peirce; a proof of its decidability is attributable to Jan Łukasiewicz and Emil Post independently in 1921.“ (''Logic.'' In: ''The New Encyclopædia Britannica.'' Band 23. 15th edition. Encyclopaedia Britannica, Chicago IL u. a. 2003, ISBN 0-85229-961-3, S. 279, Sp. 2).</ref>

In seinen mehrwertigen Logiken verwendete er [[Wahrheitswert]]funktionen, die heute als ''Łukasiewicz-Tarski-Negation'' und ''Łukasiewicz-Tarski-Implikation'' bezeichnet werden.

Von Jan Łukasiewicz stammen auch bahnbrechende Arbeiten zur Geschichte der Logik. Er rekonstruierte die Aristotelische [[Syllogistik]] und hat neben [[Martha Kneale]] die Bedeutung der [[Stoa#Logik|stoischen]] Logik entdeckt, die er für die früheste historische Form der [[Aussagenlogik]] hielt (heute wird die Priorität den „Dialektikern“ [[Diodoros Kronos]] und [[Philon von Megara]] zugeschrieben). Mit dieser Neubewertung befreite er die [[Stoa]] von dem alten und hartnäckigen Urteil, sie habe einen unfruchtbaren Formalismus in die Logik eingeführt, und fügte der Geschichte der Logik ein neues Kapitel hinzu.

== Schriften (Auswahl) ==
* ''O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne.'' Akademia Umiejętności. Fundusz Wydawniczy im. W. Osławskiego, Krakau 1910, (Neuausgabe. Tekst przejrzał, przedmowa̧ i przypisami opatrzył Jan Woleński. Państwowe Wydawnictwo Naukowe, Warschau 1987, ISBN 83-01-06226-6; deutsch: ''Über den Satz des Widerspruchs bei Aristoteles'' (= ''Zur modernen Deutung der Aristotelischen Logik.'' 5). Olms, Hildesheim u. a. 1993, ISBN 3-487-09761-3).
* mit [[Alfred Tarski]]: ''Untersuchungen über den Aussagenkalkül.'' In: ''Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe  3.'' Band 23, 1930, {{ZDB|1110908-7}}, S. 30–50.
* ''Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagekalküls.'' In: ''Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe  3.'' Band 23, 1930, S. 51–77.
* ''Z historii logiki zdań.'' In: ''Przegląd Filozoficzny.'' Band 37, 1934, {{ISSN|1230-1493}}, S. 417–437, (deutsch: ''Zur Geschichte der Aussagenlogik.'' In: ''[[Erkenntnis (Zeitschrift)|Erkenntnis]].'' Band 5, 1935, S. 111–131, {{JSTOR|20011745}}; Entdeckung der stoischen Junktorenlogik).
* ''Aristotle’s syllogistic. From the standpoint of modern formal logic.'' Clarendon Press, Oxford u. a. 1951.
* ''Elementy logiki matematycznej.'' 2. Ausgabe. Państwowe Wydawnictwo Naukowe, Warschau 1958, (englisch: ''Elements of mathematical logic'' (= ''International Series of Monographs on Pure and Applied Mathematics.'' 31, {{ISSN|0539-0125}}). Translated from the Polish by Olgierd Wojtasiewicz. Pergamon Press, Oxford u. a. 1963).
* ''Selected works'' (= ''Studies in Logic and the Foundations of Mathematics.''). Edited by L. Borkowski. North-Holland u. a., Amsterdam u. a. 1970, ISBN 0-7204-2252-3.

== Literatur ==
* Hans-Christoph Schmidt am Busch, [[Kai Wehmeier|Kai F. Wehmeier]]: ''Heinrich Scholz und Jan Łukasiewicz.'' In: ''Forum für osteuropäische Ideen- und Zeitgeschichte.'' Band 11, Nr. 2, 2007, {{ISSN|1433-4887}}, S. 107–125, (Übersetzung: ''On the Relations between Heinrich Scholz and Jan Łukasiewicz.'' In: ''History and Philosophy of Logic.'' Band 28, Nr. 1, 2007, {{ISSN|0144-5340}}, S. 67–81, [[doi:10.1080/01445340600841994]]).
* Fred Seddon: ''Aristotle and Łukasiewicz. On the Principle of Contradiction'' Modern Logic, Ames IA 1996, ISBN 1-884905-04-8.
* Mieszko Tałasiewicz: ''Jan Łukasiewicz – The Quest for the Form of Science.'' In: Wladyslaw Krajewski (Hrsg.): ''Polish Philosophers of Science and Nature in the 20th Century'' (= ''Poznan Studies in the Philosophy of the Sciences and the Humanities.'' 74 = ''Polish Analytical Philosophy.'' 3). Rodopi, Amsterdam u. a. 2001, ISBN 90-420-1497-0, S. 27–35.
* Jan Wolenski (Hrsg.): ''Philosophical Logic in Poland'' (= ''Synthese Library.'' 228). Kluwer, Dordrecht u. a. 1994, ISBN 0-7923-2293-2.

== Weblinks ==
* {{MacTutor|id=Lukasiewicz|title=Jan Lukasiewicz}}
* {{SEP|https://plato.stanford.edu/entries/lukasiewicz/||Peter Simons}}
* [https://www.uni-muenster.de/FB10/historie/kapitel52.pdf Geschichte der Mathematik an der Universität Münster, L. in der Biographie von Scholz, pdf]
* [https://zbmath.org/authors/lukasiewicz.jan Jan Łukasiewicz] in der Datenbank [[zbMATH]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=119268663|LCCN=n83828306|VIAF=12353616}}

{{SORTIERUNG:Lukasiewicz, Jan}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Philosoph (20. Jahrhundert)]]
[[Kategorie:Rektor einer Universität in Polen]]
[[Kategorie:Hochschullehrer (Nationale Iwan-Franko-Universität Lwiw)]]
[[Kategorie:Hochschullehrer (Universität Warschau)]]
[[Kategorie:Hochschullehrer (University College Dublin)]]
[[Kategorie:Bildungsminister (Polen)]]
[[Kategorie:Pole]]
[[Kategorie:Person (Österreich-Ungarn)]]
[[Kategorie:Geboren 1878]]
[[Kategorie:Gestorben 1956]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Łukasiewicz, Jan
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=polnischer Philosoph, Mathematiker und Logiker
|GEBURTSDATUM=21. Dezember 1878
|GEBURTSORT=[[Lemberg]], Galizien
|STERBEDATUM=13. Februar 1956
|STERBEORT=[[Dublin]]
}}