Jan Łukasiewicz (am 21. Dezember 1878 - am 13. Februar 1956) war ein polnischer Logiker und Philosoph, der in Lwów (Lemberg in Deutsch), Galicia, Österreich-Ungarn (jetzt Lviv, die Ukraine) geboren ist. Seine Arbeit hat auf die analytische Philosophie und mathematische Logik im Mittelpunkt gestanden. Er hat innovativ über die traditionelle Satzlogik, den Grundsatz des Nichtwiderspruchs und das Gesetz der ausgeschlossenen Mitte gedacht.

Leben

Er ist in Lwów aufgewachsen und war das einzige Kind von Paweł Łukasiewicz, ein Kapitän in der österreichischen Armee und Leopoldina (née Holtzer), die Tochter eines österreichischen Staatsbeamten. Seine Familie war Römisch-katholisch.

Er hat seine Gymnasium-Studien in der Philologie beendet und 1897 ist zur Lwów Universität weitergegangen (Universität von Lemberg), wo er Philosophie und Mathematik studiert hat. In der Philosophie war er ein Schüler von Kazimierz Twardowski.

1902 hat er einen Doktor-Grad unter der Schirmherrschaft von Kaiser Franz Joseph I aus Österreich erhalten, der ihm einen speziellen Arzt-Ring mit Diamanten gegeben hat.

Er hat drei Jahre als ein privater Lehrer ausgegeben, und 1905 hat er eine Gelehrsamkeit erhalten, um seine philosophischen Studien an der Universität Berlins und der Universität von Louvain in Belgien zu vollenden.

Łukasiewicz hat fortgesetzt, für seine habilitation Qualifikation zu studieren, und 1906 hat seine These der Universität von Lwów vorgelegt. 1906 wurde er zu einem Vortragenden an der Universität von Lwów ernannt, wo er schließlich zum Außergewöhnlichen Professor von Kaiser Franz Joseph I ernannt wurde. Er hat dort bis zum Ersten Weltkrieg unterrichtet.

1915 wurde er eingeladen, als ein voller Professor an der Universität Warschaus zu lesen, das wiedereröffnet hatte, durch die Zaristische Regierung im 19. Jahrhundert geschlossen.

1919 hat Łukasiewicz die Universität verlassen, um als der polnische Minister von Religiösen Bezeichnungen und Öffentlicher Ausbildung in der Regierung von Paderewski bis 1920 zu dienen.

1928 hat er Regina Barwińska geheiratet.

Er ist ein Professor an der Universität Warschaus von 1920 bis 1939 geblieben, als das Familienhaus durch deutsche Bomben zerstört wurde und die Universität unter dem deutschen Beruf geschlossen wurde. Er war ein Rektor der Universität zweimal gewesen. In dieser Periode haben Lukasiewicz und Stanisław Leśniewski die Lwów-Warschauer Schule der Logik gegründet, die später international berühmt von Alfred Tarski gemacht wurde, der Leśniewski's Student gewesen war.

Am Anfang des Zweiten Weltkriegs hat er an der Warschauer Untergrundbahn-Universität als ein Teil des heimlichen Systems der Ausbildung in Polen während des Zweiten Weltkriegs gearbeitet.

Er und seine Frau haben sich in die Schweiz bewegen wollen, aber konnten Erlaubnis von den deutschen Behörden nicht bekommen. Statt dessen im Sommer 1944 haben sie Polen mit der Hilfe dessen verlassen und haben die letzten paar Monate des Krieges in Münster, Deutschland ausgegeben, das hofft, irgendwie weiter vielleicht in die Schweiz weiterzugehen.

Im Anschluss an den Krieg ist er nach Irland emigriert und hat an University College Dublin (UCD) bis zu seinem Tod gearbeitet.

Arbeit

Mehrere axiomatizations der klassischen Satzlogik sind wegen Łukasiewicz. Ein besonders eleganter axiomatization zeigt bloße drei Axiome und wird noch unten bis zu den heutigen Tag angerufen. Er war ein Pionierermittlungsbeamter der mehrgeschätzten Logik; seine drei geschätzte Satzrechnung, eingeführt 1917, war ausführlich axiomatized nichtklassische logische Rechnung erst. Er hat über die Philosophie der Wissenschaft geschrieben, und seine Annäherung an das Bilden von wissenschaftlichen Theorien war dem Denken an Karl Popper ähnlich.

Łukasiewicz hat die polnische Notation (genannt nach seiner Staatsbürgerschaft) für die logischen Bindewörter 1920 erfunden. Es gibt einen Kostenvoranschlag von seinem Papier, Bemerkungen auf dem Axiom von Nicod und bei der "Generalisierung des Abzugs", der Seite 180.

Die Verweisung, die durch Łukasiewicz oben zitiert ist, ist anscheinend ein lithographierter Bericht in Polnisch. Der sich beziehende Vortrag von Łukasiewicz-Bemerkungen auf dem Axiom von Nicod und bei der "Generalisierung des Abzugs", ursprünglich veröffentlicht in Polnisch 1931, wurde später von H. A. Pogorzelski in der Zeitschrift der Symbolischen Logik 1965 nachgeprüft.

Im Łukasiewicz 1951-Buch, von der Einstellung der Modernen Formalen Logik Syllogistischer Aristoteles, erwähnt er, dass der Grundsatz seiner Notation den functors vor den Argumenten schreiben sollte, um Klammern zu vermeiden, und dass er seine Notation in seinen logischen Zeitungen seit 1929 verwendet hatte. Er setzt dann fort, als ein Beispiel, eine 1930-Zeitung zu zitieren, die er mit Alfred Tarski über die sentential Rechnung geschrieben hat.

Diese Notation ist die Wurzel der Idee vom rekursiven Stapel, einem letzten - in, das erste Computerspeicherlager, das von mehreren Forschern einschließlich Turing, Bauer und Hamblin vorgeschlagen ist, und zuerst 1957 durchgeführt ist. 1960 wurden Łukasiewicz Notationskonzepte und Stapel als die Basis des Burroughs B5000 Computer verwendet, der von Robert S. Barton und seiner Mannschaft an Burroughs Corporation in Pasadena, Kalifornien entworfen ist. Die Konzepte haben auch zum Design der Elektrischen Engländer geführt hat KDF9 Computersystem von 1963 mehrprogrammiert, der zwei solche Hardware-Register-Stapel hatte. Ein ähnliches Konzept unterliegt der polnischen Rücknotation (RPN, eine Notation der postüblen Lage) der Friden EG 130 Rechenmaschine und seine Nachfolger, viele Rechenmaschinen von Hewlett Packard, die Hervor Programmiersprache oder die Seitenbeschreibungssprache von PostScript.

Anerkennung

2008 hat die polnische Informationsverarbeitungsgesellschaft den Jan Łukasiewicz Preis eingesetzt, um den am meisten innovativen Polen ES Gesellschaften präsentiert zu werden.

Von 1999-2004 wurde die Abteilung des Informatik-Gebäudes an UCD das Łukasiewicz-Gebäude genannt, bis alle Campus-Gebäude umbenannt wurden, nach den Disziplinen haben sie gehaust.

Chronologie

• 1878 geborener
• 1890-1902 Studien mit Kazimierz Twardowski in Lemberg (Lwów, L'viv)
• 1902-Doktorat (Mathematik und Philosophie), Universität von Lemberg mit der höchsten Unterscheidung möglicher
• 1906 habilitation These vollendet, Universität von Lemberg
• 1906 wird ein Vortragender
• 1910-Aufsätze auf dem Grundsatz des Nichtwiderspruchs und die ausgeschlossene Mitte
• 1911 der außergewöhnliche Professor an Lemberg
• 1915, der zur kürzlich wiedereröffneten Universität Warschaus eingeladen ist
• 1916 das neue Königreich Polen hat erklärt
• 1917 entwickelt drei geschätzte Satzrechnung
• 1919 polnischer Erziehungsminister
• 1920-1939 Professor an der Warschauer Universität gründet mit Stanisław Leśniewski die Lwów-Warschauer Schule der Logik (sieh auch Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
• 1928 heiratet Regina Barwińska
• 1944 flieht nach Deutschland und lässt sich in Hembsen nieder, wo er für seine eigene Sicherheit gebracht wurde.
• 1946-Exil in Belgien
• 1946 hat einen Stuhl durch die Königliche irische Akademie angeboten, die in der Universitätsuniversität Dublin gehalten ist
• 1953 schreibt Autobiografie
• 1956 stirbt in Dublin

Ausgewählte Arbeiten

Bücher

• 2. Ausgabe, vergrößert, 1957. Nachgedruckt durch die Girlande, die 1987 Veröffentlicht. Internationale Standardbuchnummer 0-8240-6924-2

Papiere

• 1903 "Auf der Induktion als Inversion des Abzugs"
• 1906 "Analyse und Aufbau des Konzepts der Ursache"
• 1910 "Auf Aristoteles Grundsatz des Widerspruchs"
• 1913 "Auf der Umkehrbarkeit der Beziehung des Bodens und der Folge"
• 1920 "Auf der Drei geschätzten Logik"
• 1921 "Zwei geschätzte Logik"
• 1922 "Eine Numerische Interpretation der Theorie von Vorschlägen"
• 1928 "Bezüglich der Methode in der Philosophie"
• 1929 "Elemente der Mathematischen Logik"
• 1929 "Auf der Wichtigkeit und den Voraussetzungen der Mathematischen Logik"
• 1930 "Philosophische Bemerkungen auf Vielgeschätzten Systemen der Satzlogik"
• 1930 "Untersuchungen der Sentential Rechnung" ["Bastelraum von Untersuchungen über Aussagenkalkül"], mit Alfred Tarski
• 1931 "Kommentare zum Axiom von Nicod und dem 'Generalisierungsabzug'"
• 1934 "Auf der Wissenschaft"
• 1934 "Wichtigkeit von der Logischen Analyse für Kenntnisse"
• 1934 "Umrisse der Geschichte der Satzlogik"
• 1936 "Logistisch und Philosophie"
• 1937 "Zum Schutze vom Logistischen"
• 1938 "Auf der Philosophie von Descartes"
• 1943 "Das Kürzeste Axiom der Implicational Rechnung von Vorschlägen"
• 1951 "Auf Variablem Functors von Satzargumenten"
• 1952 "Auf der Intuitionistic Theorie des Abzugs"
• 1953 "Ein System der Modalen Logik"
• 1954 "Auf einem Umstrittenen Problem von Aristoteles Modal Syllogistisch"

Siehe auch

• Łukasiewicz-Logik
• Geschichte der Philosophie in Polen
• Stanisław Leśniewski
• Liste von Polen
• 27114 Lukasiewicz
• "Lebenslauf von Jan Łukasiewicz", Rom, Italien: Zeitschrift von Metalogicon, (1994) VII, 2 (Problem im Juli-Dezember).

• Craig, Edward (der allgemeine Redakteur), "Artikel: Jan Łukasiewicz", Routledge Enzyklopädie der Philosophie, 1998, Band 5, Seiten 860-863.

Weiterführende Literatur

• Borkowski, L.; Słupecki, J., "Die logischen Arbeiten von J. Łukasiewicz", Studia Logica 8 (1958), 7-56.
• Kotarbiński, T., "arbeitet Jan Łukasiewicz's an der Geschichte der Logik", Studia Logica 8 (1958), 57-62.
• Kwiatkowski, T., "Jan Łukasiewicz - Ein Historiker der Logik", Organon 16-17 (1980-1981), 169-188.
• Die Marschall, der D., "Łukasiewicz, Leibniz und der arithmetization des Syllogismus", Notre Formale Logik von Dame J. 18 (2) (1977), 235-242.
• Woleński, Jan, "Jan Łukasiewicz auf dem Lügner-Paradox, der Logischen Folge, der Wahrheit und der Induktion", Moderne Logik 4 (1994), 394-400.

Links

• Łukasiewicz-Zugang an der polnischen Philosophie Page, Hrsg. durch F. Coniglione (Universität von Catania)