Stanisław Leśniewski - Stanisław Leśniewski

Stanisław Leśniewski
Stanisław Leśniewski.jpg
Geboren ( 1886-03-30 )30. März 1886
Serpuchow , Russisches Reich
Ist gestorben 13. Mai 1939 (1939-05-13)(53 Jahre alt)
Warschau , Polen
Staatsangehörigkeit Polieren
Alma Mater Universität Lemberg
Bekannt für Namensrechnung
Mereologie
Wissenschaftlicher Werdegang
Felder Mathematik
Institutionen Universität Warschau
Doktoratsberater Kazimierz Twardowski
Doktoranden Alfred Tarski
Beeinflusst Denis Miéville
Polnisches Chiffrierbüro
Biuro Szyfrów
Methoden und Technologie
Standorte
Personal
Stellvertretender Chef
des Funknachrichtendienstes
Chef der Deutschen Sektion
Maksymilian Ciężki
Leiter der russischen Sektion
Jan Graliński
Der Kryptologe der Russischen Sektion
Piotr Smoleński

Stanisław Leśniewski (30. März 1886 – 13. Mai 1939) war ein polnischer Mathematiker , Philosoph und Logiker .

Leben

Er wurde am 28. März 1886 in Serpuchow bei Moskau als Sohn von Vater Izydor, einem Ingenieur, der am Bau der Transsibirischen Eisenbahn arbeitete , und Mutter Helena ( geb. Palczewska) geboren. Leśniewski besuchte ein Gymnasium in Irkutsk . Später besuchte er Vorlesungen von Hans Cornelius an der Ludwig-Maximilians-Universität München und Vorlesungen von Wacław Sierpiński an der Universität Lemberg .

Leśniewski gehörte zur ersten Generation der von Kazimierz Twardowski gegründeten Lwów-Warschauer Logikschule . Zusammen mit Alfred Tarski und Jan Łukasiewicz bildete er die Troika , die die Universität Warschau während des Interbellums zum vielleicht weltweit wichtigsten Forschungszentrum für formale Logik machte .

Sein Hauptbeitrag war die Konstruktion von drei verschachtelten formalen Systemen , denen er die vom Griechischen abgeleiteten Namen Protothetik, Ontologie und Mereologie gab . ("Namenskalkül" wird manchmal anstelle von Ontologie verwendet, ein Begriff, der in der Metaphysik in einem ganz anderen Sinne weit verbreitet ist.) Eine gute Lehrbuchdarstellung dieser Systeme ist die von Simons (1987), der sie mit den Varianten von . vergleicht und kontrastiert Mereology , heute populärer, abstammend vom Kalkül der Individuen von Leonard und Goodman. Simons verdeutlicht etwas, das durch Leniewski und seine Schüler sehr schwer zu bestimmen ist, nämlich dass die polnische Mereologie eine Theorie erster Ordnung ist, die isomorph zu der heutigen klassischen extensionalen Mereologie ist .

Er veröffentlichte zwar ein beachtliches Werk (Leśniewski, 1992, sind seine gesammelten Werke in englischer Übersetzung), einige davon in Deutsch, der führenden Sprache der Mathematik seiner Zeit, aber seine Schriften hatten aufgrund ihres rätselhaften Stils und ihrer hohen eigenwillige Notation. Leśniewski war auch ein radikaler Nominalist : Er lehnte die axiomatische Mengenlehre zu einer Zeit ab, als diese Theorie in voller Blüte stand. Er wies auf Russells Paradox und dergleichen hin, um seine Ablehnung zu untermauern, und entwarf seine drei formalen Systeme als konkrete Alternative zur Mengenlehre. Obwohl Alfred Tarski sein einziger Doktorand war, beeinflusste Leśniewski durch seine Lehrtätigkeit an der Universität Warschau eine ganze Generation polnischer Logiker und Mathematiker stark. Leśniewskis Denken ist vor allem den Schriften seiner Schüler (zB Srzednicki und Rickey 1984) zu verdanken.

Während des polnisch-sowjetischen Krieges von 1919 bis 1921 diente Leśniewski der Ursache der Unabhängigkeit Polens durch Brechen sowjetrussischen Chiffren für den polnischen Generalstab ‚s Cipher Bureau .

Leśniewski starb plötzlich an Krebs, kurz vor dem deutschen Überfall auf Polen , der zur Zerstörung seines Nachlasses führte . Er wurde auf dem Powązki-Friedhof in Warschau beigesetzt.

Funktioniert

  • 1988. Vorlesungsnotizen in Logik . Kluwer. Inhaltsverzeichnis.
  • 1992. Gesammelte Werke . 2 Bd. Kluwer. Inhaltsverzeichnis.
  • 1929, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 13: 319-32.
  • 1929, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 14: 1-81.
  • 1929, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 14: 242-51.

Siehe auch

Verweise

  • Ivor Grattan-Guinness , 2000. Auf der Suche nach mathematischen Wurzeln . Princeton: Princeton University Press.
  • Luschei, Eugene, 1962. Die logischen Systeme von Lesniewski . Amsterdam: Nordholland.
  • Miéville, Denis, 1984. "Un Développement des Systèmes Logiques de Stanislas Lesniewski", Peter Lang, European University Studies.
  • Simons, Peter, 1987. Teile: Eine Studie in Ontologie . New York: Oxford University Press.
  • Srzednicki, JTJ und Rickey, VF , (Hrsg.), 1984. Lesniewski's Systems: Ontology and Mereology . Dordrecht: Kluwer.
  • Surma, Stanislaw J. (Herausgeber) (1977/8) "On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36(4): 247–426 MR 0476370
  • Urbaniak, Rafal, 2013. Leśniewskis Logiksysteme und Grundlagen der Mathematik , Dordrecht: Springer.
  • Wolenski, Jan, 1989. Logik und Philosophie in der Lwow-Warschauer Schule . Dordrecht: Kluwer.

Externe Links