Jan Łukasiewicz

Jan Łukasiewicz ( Polnisch: [ˈjan wukaˈɕɛvit͡ʂ] 21. Dezember 1878 – 13. Februar 1956) war ein polnischerLogikerundPhilosoph, der vor allem fürdie polnische Notationunddie Łukasiewicz-Logik. ^{[ 1 ]} Sein Werk konzentrierte sich aufphilosophische Logik,mathematische Logikunddie Geschichte der Logik. ^{[ 2 ]} Er entwickelte innovative Ansätze zur traditionellenAussagenlogik, zumWiderspruchssatzund zumSatz vom ausgeschlossenen Drittenund schuf eines der frühesten Systememehrwertiger Logik. Auch die zeitgenössische Forschung zuraristotelischen LogikLogikauf die FormalisierungderaristotelischenSyllogistikanwandte. ^{[ 3 ]}

Der Ansatz von Łukasiewicz wurde Anfang der 1970er Jahre durch eine Reihe von Aufsätzen von John Corcoran und Timothy Smiley wiederbelebt , die in die modernen Übersetzungen der Prior Analytics von Robin Smith im Jahr 1989 und von Gisela Striker im Jahr 2009 einflossen. ^{[ 4 ]} Łukasiewicz gilt als einer der wichtigsten Historiker der Logik.

Er wurde in Lemberg in Österreich-Ungarn (heute Lwiw , Ukraine ) geboren und war das einzige Kind von Paweł Łukasiewicz, einem Hauptmann der österreichischen Armee, und Leopoldina, geborene Holtzer, der Tochter eines Beamten. Seine Familie war römisch-katholisch . ^{[ 5 ]}

Er schloss sein Gymnasium mit dem Schwerpunkt Philologie ab und ging 1897 an die Universität Lemberg , wo er Philosophie und Mathematik studierte. Er war ein Schüler des Philosophen Kazimierz Twardowski . ^{[ 6 ]}

Im Jahr 1902 erhielt er unter der Schirmherrschaft von Kaiser Franz Joseph I. von Österreich den Doktortitel (Ph.D.) und erhielt von ihm einen besonderen Doktorring mit Diamanten. ^{[ 7 ]}

Er arbeitete drei Jahre als Privatlehrer und erhielt 1905 ein Stipendium, um sein Philosophiestudium an der Universität Berlin und der Universität Löwen in Belgien abzuschließen. ^{[ 7 ]}

Łukasiewicz setzte sein Studium fort, um sich zu habilitieren, und reichte 1906 seine Dissertation an der Universität Lemberg ein. Im selben Jahr wurde er dort zum Dozenten ernannt und später von Kaiser Franz Joseph I. zum außerordentlichen Professor berufen. Er lehrte dort bis zum Ersten Weltkrieg . ^{[ 7 ]}

Im Jahr 1915 wurde er als ordentlicher Professor an die Universität Warschau berufen , die von den deutschen Besatzungsbehörden wiedereröffnet worden war, nachdem sie im 19. Jahrhundert von der zaristischen Regierung geschlossen worden war . ^{[ 7 ]}

1919 verließ Łukasiewicz die Universität, um bis 1920 als polnischer Minister für Religionsgemeinschaften und Volksbildung in Paderewskis Regierung zu dienen. Łukasiewicz leitete die Entwicklung eines polnischen Lehrplans, der die in dem geteilten Polen verwendeten russischen, deutschen und österreichischen Lehrpläne ersetzte. Der Łukasiewicz-Lehrplan legte Wert auf die frühzeitige Aneignung logischer und mathematischer Konzepte.

Im Jahr 1928 heiratete er Regina Barwińska. ^{[ 7 ]}

Er blieb von 1920 bis 1939 Professor an der Universität Warschau, bis das Elternhaus durch deutsche Bomben zerstört und die Universität von den Deutschen besetzt und geschlossen wurde. Er war zweimal Rektor der Universität, in deren Amtszeit Łukasiewicz und Stanisław Leśniewski die Lemberger und Warschauer Schule der Logik gründeten , die später durch Alfred Tarski , einen Schüler Leśniewskis, internationale Bekanntheit erlangte .

Zu Beginn des Zweiten Weltkriegs arbeitete er an der Warschauer Untergrunduniversität . Nachdem die deutschen Besatzungsbehörden die Universität geschlossen hatten, verdiente er seinen Lebensunterhalt karg im Warschauer Stadtarchiv. Seine Freundschaft mit Heinrich Scholz (einem deutschen Professor für mathematische Logik) half ihm dabei, und Scholz war es auch, der 1944 die Flucht der Familie Łukasiewicz nach Deutschland organisierte (Łukasiewicz fürchtete den Vormarsch der Roten Armee). Als sich die Niederlage Deutschlands im Krieg immer deutlicher abzeichnete, versuchten Łukasiewicz und seine Frau, in die Schweiz zu fliehen , erhielten aber keine Genehmigung von den deutschen Behörden. So verbrachten sie die letzten Kriegsmonate in Münster . Nach Kriegsende, da sie nicht in das sowjetisch kontrollierte Polen zurückkehren wollten, zogen sie zunächst nach Belgien, wo Łukasiewicz an einem provisorischen polnischen wissenschaftlichen Institut Logik lehrte. ^{[ 7 ]}

Im Februar 1946 zogen Łukasiewicz und seine Frau auf Einladung des irischen Politikers Éamon de Valera (selbst Mathematiker) nach Dublin, wo sie bis zu seinem Tod zehn Jahre später lebten. In Irland lehrte er kurzzeitig als Professor für Mathematische Logik an der Royal Irish Academy (eine eigens für ihn geschaffene Position). Zu seinen Aufgaben gehörte es, regelmäßig öffentliche Vorträge zu halten. ^{[ 7 ]}

Während dieser Zeit wurde sein Buch „ Elements of Mathematical Logic“ in englischer Sprache von Macmillan veröffentlicht (1963, aus dem Polnischen übersetzt von Olgierd Wojtasiewicz). ^{[ 8 ]}

Jan Łukasiewicz starb am 13. Februar 1956. Er wurde auf dem Mount Jerome Cemetery in Dublin beigesetzt. Auf Drängen der armenischen Gemeinde in Polen wurden seine sterblichen Überreste 66 Jahre später nach Polen überführt. Am 22. November 2022 wurde er auf dem Alten Powązki-Friedhof in Warschau erneut beigesetzt . ^{[ 9 ]}

Von Oktober bis Dezember 2022 veranstaltete die Royal Irish Academy in Dublin eine Ausstellung über sein Leben und Werk. ^{[ 10 ]}

Die Papiere von Łukasiewicz (nach 1945) werden von der Universitätsbibliothek Manchester aufbewahrt .

Zahlreiche Axiomatisierungen der klassischen Aussagenlogik gehen auf Łukasiewicz zurück. Eine besonders elegante Axiomatisierung kommt mit nur drei Axiomen aus und wird bis heute verwendet. Er war ein Pionier auf dem Gebiet der mehrwertigen Logik ; sein 1917 eingeführter dreiwertiger Aussagenkalkül war der erste explizit axiomatisierte nichtklassische logische Kalkül . Er verfasste Schriften zur Wissenschaftsphilosophie , und sein Ansatz zur Entwicklung wissenschaftlicher Theorien ähnelte dem Denken Karl Poppers .

Łukasiewicz erfand um 1920 die polnische Notation (benannt nach seiner Nationalität) für die logischen Verknüpfungen. Ein Zitat aus einer Arbeit von Jan Łukasiewicz aus dem Jahr 1931 ^{[ 11 ] [ 12 ]} beschreibt die Entstehung dieser Notation:

Auf die Idee einer klammerfreien Notation stieß ich 1924. Ich verwendete diese Notation zum ersten Mal in meinem Artikel Łukasiewicz (1), S. 610, Fußnote.

Die von Łukasiewicz zitierte Quelle, d. h. Łukasiewicz (1), ^{[ 13 ],} ist offenbar ein lithografierter Bericht in polnischer Sprache . Die referenzierte Arbeit ^{[ 14 ]} von Łukasiewicz wurde 1965 von Henry A. Pogorzelski im Journal of Symbolic Logic rezensiert. ^{[ 15 ]}

In seinem 1951 erschienenen Buch „ Aristoteles Syllogistik aus der Sicht der modernen formalen Logik “ erwähnt Łukasiewicz, dass das Prinzip seiner Notation darin bestand, die Funktoren vor die Argumente zu schreiben, um Klammern zu vermeiden, und dass er seine Notation seit 1929 in seinen logischen Arbeiten verwendet habe. ^{[ 16 ]} Anschließend führt er als Beispiel eine 1930 zusammen mit Alfred Tarski verfasste Arbeit über den Aussagenkalkül an . ^{[ 17 ]}

Diese Notation bildet die Grundlage für die Idee des rekursiven Stacks , eines LIFO-Speichersystems (Last-In-First-Out), das von Forschern wie Turing , Bauer und Hamblin vorgeschlagen und 1957 erstmals implementiert wurde. 1960 dienten Łukasiewicz’ Notationskonzepte und Stacks als Basis für den Burroughs B5000 -Computer, der von Robert S. Barton und seinem Team bei der Burroughs Corporation in Pasadena, Kalifornien , entwickelt wurde . Die Konzepte führten auch zur Entwicklung des mehrprogrammierbaren Computersystems KDF9 von English Electric aus dem Jahr 1963, das über zwei solcher Hardware-Registerstacks verfügte. Ein ähnliches Konzept liegt der umgekehrten polnischen Notation ( UPN , einer Postfix-Notation) des Friden EC-130-Taschenrechners und seiner Nachfolger, vieler Hewlett-Packard -Taschenrechner, der Programmiersprachen Lisp und Forth sowie der Seitenbeschreibungssprache PostScript zugrunde.

Im Jahr 2008 rief die Polnische Gesellschaft für Informationsverarbeitung den Jan-Łukasiewicz-Preis ins Leben, der an die innovativsten polnischen IT-Unternehmen verliehen wird. ^{[ 18 ]}

Von 1999 bis 2004 trug das Gebäude des Fachbereichs Informatik am UCD den Namen Łukasiewicz-Gebäude, bis alle Campusgebäude nach den darin untergebrachten Fachbereichen umbenannt wurden.

Sein Modell der dreiwertigen Logik ermöglichte die Formulierung von Kleenes ternärer Logik und eines Metamodells von Empirismus, Mathematik und Logik, d. h. der ternären Logik. ^{[ 19 ]}

• 1878 geboren in Lemberg (heute Lviv)
• 1890–1902 Studium bei Kazimierz Twardowski in Lemberg (Lwów, Lemberg)
• 1902 Promotion (Mathematik und Philosophie) an der Universität Lemberg mit höchster Auszeichnung
• 1906 Habilitationsschrift abgeschlossen, Universität Lemberg
• 1906 wird Dozent
• 1910 Essays über den Grundsatz des Widerspruchs und den ausgeschlossenen Mittelweg
• 1911 außerordentlicher Professor in Lemberg
• 1915 wurde er an die neu eröffnete Universität Warschau eingeladen.
• 1916 wurde das neue Königreich Polen ausgerufen
• 1917 entwickelt er den dreiwertigen Aussagenkalkül
• 1919 Polnischer Bildungsminister
• 1920–1939 Professor an der Universität Warschau gründet mit Stanisław Leśniewski die Lemberg-Warschauer Logikschule (siehe auch Alfred Tarski , Stefan Banach , Hugo Steinhaus , Zygmunt Janiszewski , Stefan Mazurkiewicz )
• 1928 heiratet Regina Barwińska
• 1944 flieht er nach Deutschland und lässt sich in Hembsen im Nethegau nieder , wohin er zu seinem eigenen Schutz gebracht wurde.
• 1946 Exil in Belgien
• 1946 bekleidete er einen Lehrstuhl an der Royal Irish Academy in Dublin.
• 1953 schreibt er seine Autobiografie
• 1956 stirbt in Dublin

• Łukasiewicz, Jan (1928), Elementy logiki matematycznej [ Elemente der mathematischen Logik ] (auf Polnisch), Warschau : Państwowe Wydawnictwo Naukowe

• — (1957) [1951], Aristoteles' Syllogistik vom Standpunkt der modernen formalen Logik (2., erweiterte Auflage), Oxford University Press , ISBN 9780198241447{{cite book}}:ISBN-/Datumsinkompatibilität ( Hilfe )(Nachdruck durch Garland Publishing 1987, ISBN) 0-8240-6924-2)

• — (1964) [1958], Elementy logiki matematycznej [ Elemente der mathematischen Logik ] (auf Polnisch), übersetzt von Wojtasiewicz, Olgierd (2. Aufl.), New York: Macmillan, LCCN  63-10013 , OCLC  671498

• — (1998), Jacek Jadacki (Hrsg.), Logika i metafizyka. Verschiedenes (auf Polnisch), Warschau , WFiS UW, ISBN 83-910113-3-X

• Łukasiewicz, Jan (1903), Über die Induktion als Umkehrung der Deduktion

• — (1906), Analyse und Konstruktion des Kausalitätsbegriffs (Dissertation)

• — (1910), „Über den Grundsatz des ausgeschlossenen Dritten“, Geschichte und Philosophie der Logik , 8 (1987) : 67–69

• — (1910), „Über das Prinzip des Widerspruchs bei Aristoteles“, Review of Metaphysics , 24 (1971) (3), übersetzt von Wedin, Vernon: 485–509 , JSTOR  20125812

• — (1912), Kreative Elemente in der Wissenschaft(enthalten in Łukasiewicz 1970 , S. 1–15)

• — (1913), Über die Umkehrbarkeit des Verhältnisses von Grund und Folge

• — (1913), Logische Grundlagen der Wahrscheinlichkeitstheorie(enthalten in Łukasiewicz 1970 , S. 16–63)

• — (1915), Über die Wissenschaft)

• — (1916), Über den Begriff der Größe(enthalten in Łukasiewicz 1970 , S. 64–83)

• — (1918), Abschiedsvorlesung von Professor Jan Lukasiewicz, gehalten im Hörsaal der Universität Warschau am 7. März 1918(enthalten in Łukasiewicz 1970 , S. 84–86)

• — (1920), Über die dreiwertige Logik(enthalten in Łukasiewicz 1970 , S. 87–88)

• — (1921), Zweiwertige Logik(enthalten in Łukasiewicz 1970 , S. 89–109)

• — (1922), Über den Determinismus , erstmals veröffentlicht 1961(enthalten in Łukasiewicz 1970 , S. 110–128)

• — (1922), Eine numerische Interpretation der Theorie der Aussagen(enthalten in Łukasiewicz 1970 , S. 129–130)

• — (1928), Über die Methode in der Philosophie

• — ( 1929), „O znaczeniu i potrzebach logiki matematycznej“ [Über die Bedeutung und Anforderungen der mathematischen Logik], Nauka Polska (auf Polnisch), 10 : 604–620

• — (1930), Philosophische Bemerkungen über mehrwertige Systeme der Aussagenlogik

• —; Tarski, Alfred (1930), „Untersuchungen über den Aussagenkalkül“, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie ( auf Deutsch), 23 (Kl. III): 31–32(enthalten in Łukasiewicz 1970 , S. 131–152)

• — ; Tarski, Alfred (1956) [1930], „Kapitel IV: Untersuchungen zum Aussagenkalkül“, Logik, Semantik, Metamathematik: Aufsätze von Alfred Tarski aus den Jahren 1923 bis 1938 , übersetzt von J. H. Woodger, Oxford University Press , S.  39–59

—; Tarski, Alfred (1983) [1930], „Kapitel IV: Untersuchungen zum Aussagenkalkül“, in: John Corcoran (Hrsg.), Logik, Semantik, Metamathematik: Aufsätze von Alfred Tarski aus den Jahren 1923 bis 1938 , übersetzt von J. H. Woodger (2. Aufl.), Hackett Publishing Company , S.  38–59 , ISBN 0915144-76-Xabgerufen am 7. April 2025

• — (1930), „Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls“, Comptes rendus de la Société des Sciences et des Lettres de Varsovie, cl. III , 23 : 51–77​(enthalten in Łukasiewicz 1970 , S. 153–178)

• — (1931), „Uwagi o aksjomacie Nicoda i ‚dedukcji uogólniającej‘“" [Kommentare zu Nicods Axiom und zu 'Generalizing Deduction'], Księga pamiątkowa Polskiego Towarzystwa Filozoficznego We Lwowie, 12. II. 1904-12. II. 1929 (auf Polnisch), Lwów: Wydawnictwo Polskie Towarzystwo Filozoficzne, S.  366–383(enthalten in Łukasiewicz 1970 , S. 179–196)

• — (1934), Bedeutung der logischen Analyse für die Erkenntnis

• — (1934), Grundzüge der Geschichte der Aussagenlogik(enthalten in Łukasiewicz 1970 , S. 197–217)

• — (1936), Logistik und Philosophie(enthalten in Łukasiewicz 1970 , S. 218–235)

• — (1937), Zur Verteidigung der Logistik(enthalten in Łukasiewicz 1970 , S. 236–249)

• — (1938), Die Äquivalentrechnung(enthalten in Łukasiewicz 1970 , S. 250–277)

• — (1927), Logik und das Problem der Grundlagen der Mathematik(enthalten in Łukasiewicz 1970 , S. 278–294)

• — (1948), „Das kürzeste Axiom des Implikationskalküls von Aussagen“, Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences , 52 , Royal Irish Academy: 25–33 , JSTOR  20488489(enthalten in Łukasiewicz 1970 , S. 295–305)

• — (1950), Über das Axiomensystem des implikationalen Aussagenkalküls(enthalten in Łukasiewicz 1970 , S. 306–310)

• — (1938), Über Descartes' Philosophie

• — (1951), Über variable Funktoren von Aussagenargumenten(enthalten in Łukasiewicz 1970 , S. 311–324)

• — (1952), Zur intuitionistischen Theorie der Deduktion(enthalten in Łukasiewicz 1970 , S. 325–340)

• — (1953), Formalisierung mathematischer Theorien(enthalten in Łukasiewicz 1970 , S. 341–351)

• — (1953), „A System of Modal Logic“ , The Journal of Computing Systems , 1 ( 3): 111–149 , abgerufen am 24. März 2025(enthalten in Łukasiewicz 1970 , S. 352–390)

• — (1954), Arithmetik und Modallogik(enthalten in Łukasiewicz 1970 , S. 391–400)

• — (1954), Über ein umstrittenes Problem der modalen Syllogistik des Aristoteles

• — (1970), Borkowski, L. [in Polnisch] (Hrsg.), Ausgewählte Werke , Amsterdam und London/Warschau: North-Holland Publishing Company/Polish Scientific Publishers, S. 405, ISBN 978-0720422528, LCCN  74-96734 , OCLC  115237 , Enthält eine Liste der Veröffentlichungen von Jan Łukasiewicz , S. 401–405

• Geschichte der Philosophie in Polen
• Liste der Pole
• Logische Operatoren
• Wahrheitsfunktion
• 27114 Lukasiewicz

• „Curriculum Vitae von Jan Łukasiewicz“ , Rom, Italien: Metalicicon Journal, (1994) VII, 2 (Ausgabe Juli–Dezember).
• Craig, Edward (Hrsg.), „Artikel: Jan Łukasiewicz“, Routledge Encyclopedia of Philosophy , 1998, Band 5, S. 860–863.
• Borkowski, Ludwig ; Słupecki, Jerzy , „Die logischen Werke von J. Łukasiewicz“, Studia Logica 8 (1958), 7–56. JSTOR 20013604. (51 Seiten)
• Kotarbiński, Tadeusz , „Jan Łukasiewicz's Works on the History of Logic“, Studia Logica 8 (1958), 57–63 JSTOR 20013605. (7 Seiten)
• Kwiatkowski, Tadeusz, „Jan Łukasiewicz – Ein Historiker der Logik“, Organon 16–17 (1980–1981), 169–188.
• Łukasiewicz, Jan; Heine, Holger R. (2021), Das Widerspruchsprinzip bei Aristoteles: Eine kritische Studie , Honolulu, Hawaii: Topos Productions, ISBN 978-1943354061
• Marshall Jr., David, „Łukasiewicz, Leibniz und die Arithmetisierung des Syllogismus“, Notre Dame Journal of Formal Logic 18 (2) (1977), 235–242.
• Seddon, Frederick (1996), Aristoteles und Łukasiewicz über das Prinzip des Widerspruchs , Ames, Iowa: Modern Logic Pub., ISBN 1-884905-04-8OCLC 37533856​ 
• Woleński, Jan (1994), Philosophische Logik in Polen , Kluwer Academic Publishers , ISBN 0-7923-2293-2OCLC 27938071​ 
• Woleński, Jan ( 1994), „Jan Łukasiewicz on the Liar Paradox, Logical Consequence, Truth and Induction“, Modern Logic (4): 394–400

• Simons, Peter (Frühjahr 2023). „Jan Łukasiewicz“ . In Zalta, Edward N. (Hrsg.). Stanford Encyclopedia of Philosophy . ISSN  1095-5054 . OCLC  429049174 .
• O'Connor, John J.; Robertson, Edmund F. , "Jan Łukasiewicz" , MacTutor History of Mathematics Archive , University of St Andrews
• Eintrag zu Łukasiewicz auf der Webseite zur polnischen Philosophie , herausgegeben von Francesco Coniglione ( Universität Catania )
• Jan Łukasiewicz beim Mathematik-Genealogie-Projekt