Stanisław Leśniewski
Stanisław Leśniewski (naskiĝinta la 30-an de marto 1886, mortinta la 13-an de majo 1939) estis pola filozofo, logikisto, unu el plej gravaj filozofoj analitikaj.
| Stanisław Leśniewski | ||
|---|---|---|
| ||
| Persona informo | ||
| Stanisław Leśniewski | ||
| Naskonomo | Stanisław Kazimierz Leśniewski | |
| Naskiĝo | 30-an de marto 1886 en Serpuĥovo | |
| Morto | 13-an de majo 1939 (53-jaraĝa) en Varsovio | |
| Tombo | Tombejo Powązki en Varsovio, section 339, row 5, grave 5 52° 14′ 52″ Nordo 20° 58′ 07″ Oriento / 52.247845 °N, 20.968534 °O (mapo)  vd
| |
| Lingvoj | pola vd | |
| Ŝtataneco | Pollando vd
| |
| Alma mater | Lviva Universitato (1910–1912) Munkena universitato (1909–1910) Universitato de Lepsiko (1904–1906) vd
| |
| Profesio | ||
| Okupo | matematikisto filozofo universitata instruisto vd
| |
| Laborkampo | Matematiko vd
| |
| Doktoreca konsilisto | Kazimierz Twardowski vd | |
Filozofo 
| ||
| vd | Fonto: Vikidatumoj | |
Li studis ĉe Kazimierz Twardowski en Lvovo. Kune kun logikisto Alfred Tarski kaj matematikisto Jan Łukasiewicz li fondis trion (trójka) en Varsovia Universitato, probable la plej grava centro de scio pri formala logiko en la mondo inter militoj.
Leśniewski verkis pri Prototetiko- la sistemo de fraza kalkulo, Ontologio, komprenata tie kiel sistemo de noma kalkulo. Tiu ontologio nomiĝas Ontologio de Leśniewski. Li verkis ankaŭ pri teorio de aroj en la senco kolekta - Mereologio. Tiuj Sistemoj de Leśniewski estis kreitaj ĉe serĉadoj pri rajtoj de matematiko. Sistemoj de Leśniewski estas la formo laŭ intuicieco kaj rigoreco. Leśniewski verkis ankaŭ pri teorio de semantikaj kategorioj, li enkondukis distingon inter lingvo kaj metalingvo kaj distingon inter aroj en la sencoj distribua kaj kolekta.
Verkoj
redakti- Stanisław Leśniewski, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 1929
- Stanisław Leśniewski, "Grundzüge eines neuen Systems der Grundlagen der Mathematik"
- Stanisław Leśniewski, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 1929,
- Stanisław Leśniewski, Lecture Notes in Logic, Dordrecht, Kluwer, 1988.
- Stanisław Leśniewski, Collected Works, Dordrecht, Kluwer, 1992.