Stanisław Leśniewski - Stanisław Leśniewski
Stanisław Leśniewski | |
---|---|
Urodzić się |
|
30 marca 1886 r
Zmarł | 13 maja 1939 |
(w wieku 53 lat)
Narodowość | Polskie |
Alma Mater | Uniwersytet Lwowski |
Znany z |
Rachunek imion Mereologia |
Kariera naukowa | |
Pola | Matematyka |
Instytucje | Uniwersytet Warszawski |
Doradca doktorski | Kazimierz Twardowski |
Doktoranci | Alfred Tarski |
Pod wpływem | Denis Miéville |
Metody i technologia |
---|
Lokalizacje |
Personel |
Wódz
Gwido Langer
Kryptolodzy z sekcji niemieckiej Wiktora Michałowskiego
Szef Sekcji Rosyjskiej
Jan Graliński
Kryptolog Sekcji Rosyjskiej
Piotr Smoleński |
Stanisław Leśniewski (30 III 1886 – 13 V 1939) był polskim matematykiem , filozofem i logikiem .
Życie
Urodził się 28 marca 1886 r. w Serpuchowie pod Moskwą jako syn ojca Izydora inżyniera pracującego przy budowie Kolei Transsyberyjskiej i matki Heleny z domu Palczewskiej. Leśniewski poszedł do gimnazjum w Irkucku . Później uczęszczał na wykłady Hansa Corneliusa na Uniwersytecie Ludwika Maksymiliana w Monachium oraz wykłady Wacława Sierpińskiego na Uniwersytecie Lwowskim .
Leśniewski należał do pierwszego pokolenia lwowsko-warszawskiej szkoły logiki założonej przez Kazimierza Twardowskiego . Wraz z Alfredem Tarskim i Janem Łukasiewiczem utworzył trojkę , która uczyniła z Uniwersytetu Warszawskiego w okresie międzywojennym być może najważniejszy na świecie ośrodek badawczy logiki formalnej .
Jego głównym wkładem była konstrukcja trzech zagnieżdżonych systemów formalnych , którym nadał wywodzące się z Grecji nazwy: prototetyka, ontologia i mereologia . ( „Rachunek nazw” jest czasem używane zamiast ontologii, to termin powszechnie stosowany w metafizyce w zupełnie innym sensie.) Dobrej prezentacji podręcznikowej tych systemów jest to, że przez Simons (1987), który porównuje i kontrasty ich warianty mereologia , bardziej popularna współcześnie, wywodząca się z rachunku indywidualności Leonarda i Goodmana. Simons wyjaśnia coś, co jest bardzo trudne do ustalenia, czytając Leśniewskiego i jego uczniów, a mianowicie, że polska mereologia jest teorią pierwszego rzędu izomorficzną z tym, co obecnie nazywa się klasyczną mereologią ekstensjonalną .
Chociaż opublikował spory zbiór prac (Leśniewski, 1992, to jego dzieła zebrane w przekładzie angielskim), niektóre z nich w języku niemieckim, wiodącym języku matematyki jego czasów, jego pisma miały ograniczony wpływ ze względu na ich enigmatyczny styl i wysoce notacja idiosynkratyczna. Leśniewski był także radykalnym nominalistą : odrzucił aksjomatyczną teorię mnogości w czasie, gdy teoria ta była w pełnym rozkwicie. Wskazał na paradoks Russella i tym podobne na poparcie swojego odrzucenia i obmyślił swoje trzy systemy formalne jako konkretną alternatywę dla teorii mnogości. Choć Alfred Tarski był jego jedynym doktorantem, Leśniewski wywarł jednak silny wpływ na całe pokolenie polskich logików i matematyków poprzez swoje nauczanie na Uniwersytecie Warszawskim. Myśl Leśniewskiego znana jest głównie z pism jego uczniów (m.in. Srzednickiego i Rickey 1984).
Podczas wojny polsko-sowieckiej w 1919-21, Leśniewski podawane przyczyny niepodległości przez złamanie Radziecki rosyjskich szyfrów dla polskiego Sztabu Generalnego „s Biura Szyfrów .
Leśniewski zmarł nagle na raka, na krótko przed niemiecką inwazją na Polskę , która spowodowała zniszczenie jego Nachlass . Został pochowany na Cmentarzu Powązkowskim w Warszawie.
Pracuje
- 1988. Notatki z wykładu z logiki . Kluwera. Spis treści.
- 1992. Dzieła zebrane . 2 tomy. Kluwera. Spis treści.
- 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.
Zobacz też
Bibliografia
- Ivor Grattan-Guinness , 2000. W poszukiwaniu matematycznych korzeni . Princeton: Wydawnictwo Uniwersytetu Princeton.
- Luschei, Eugene, 1962. Układy logiczne Leśniewskiego . Amsterdam: Holandia Północna.
- Miéville, Denis, 1984. „Un Développement des Systèmes Logiques de Stanislas Lesniewski”, Peter Lang, European University Studies.
- Simons, Peter, 1987. Części: studium ontologii . Nowy Jork: Oxford University Press.
- Srzednicki, JTJ i Rickey, VF , (red.), 1984. Lesniewski's Systems: Ontology and Mereology . Dordrecht: Kluwer.
- Surma, Stanisław J. (redaktor) (1977/8) „O Systemach Leśniewskiego, Materiały XXII Konferencji Historii Logiki”, Studia Logica 36(4): 247–426 MR 0476370
- Urbaniak, Rafał, 2013. Systemy logiki Leśniewskiego i podstawy matematyki , Dordrecht: Springer.
- Wolenski, Jan 1989. Logika i filozofia w szkole lwowsko-warszawskiej . Dordrecht: Kluwer.
Zewnętrzne linki
- Simons, Piotr. "Leśniewski" . W Zalcie Edward N. (red.). Stanford Encyclopedia of Philosophy .
- Woleński, Jan. "Szkoła lwowsko-warszawska" . W Zalcie Edward N. (red.). Stanford Encyclopedia of Philosophy .
- Betti, Arianna, 2001, „ Sempiternal Truth: Związek Bolzano-Twardowski-Leśniewski ”.
- Filozofia polska: Stanisław Leśniewski przez Francesco Coniglione i Ariannę Betti.
- Strona internetowa Raula Corazzona Teoria i historia ontologii: Leśniewski.
- Wybrana bibliografia Leśniewskiego io Leśniewskim. Obejmuje tłumaczenia angielskie i wybraną bibliografię literatury wtórnej.
- O'Connor, John J .; Robertson, Edmund F. , "Stanisław Leśniewski" , MacTutor Archiwum Historii Matematyki , University of St Andrews