Stanislav Lesnevsky | |
---|---|
Stanislaw Leśniewski | |
Születési név | fényesít Stanislaw Kazimierz Leśniewski |
Születési dátum | 1886. március 30 |
Születési hely | Szerpuhov , Moszkvai Kormányzóság , Orosz Birodalom [1] |
Halál dátuma | 1939. május 13. (53 évesen) |
A halál helye | Varsó , Lengyelország |
Ország | Orosz Birodalom |
Akadémiai fokozat | Ph.D |
alma Mater |
|
Fő érdeklődési körök | matematika |
Befolyásolók | Kazimir Tvardovszkij |
Befolyásolt | Alfréd Tarski |
Médiafájlok a Wikimedia Commons oldalon |
Stanisław Leśniewski [5] ( lengyelül: Stanisław Leśniewski ; Serpukhov , 1886. március 30. – Varsó , 1939. május 13. ) lengyel matematikus és filozófus. Matematikában a matematikai logikára specializálódott. A Lvov-Varsó iskola egyik fő képviselője .
Isidor Lesniewski lengyel vasúti mérnök családjában született. A család a vasútépítés földrajzának megfelelően költözött, így S. Lesnevsky iskolai éveit Irkutszkban töltötte .
A berlini , lipcsei , müncheni egyetemeken tanult (ahol Hans Cornelius filozófus előadásait vett részt)), Heidelberg . A Lvivi Egyetemen főként filozófiát tanult, valamint Józef Puzyna és Václav Sierpinski matematikusok előadásait is hallgatta . 1912-ben elnyerte a filozófia doktora címet a Lvivi Egyetemen ( K. Tvardovsky felügyelete alatt ).
1913-ban a varsói iskola tanára volt. Az első világháború kitörésével 1914-1918-ban visszatért Oroszországba. egy moszkvai lengyel gimnáziumban tanított . Ezekben az években publikálta formális elméletét, a "mereológiát".
1919-1939-ben. A Varsói Egyetem matematikafilozófia professzora . 1919-ben Jan Lukasiewicz -cal együtt megalapította a Varsói Logikai Iskolát.
Osztva az antipszichologizmust és Lukasiewicz általános analitikus attitűdjét , L. elutasította a platonista irányzatokat és a logikai pluralizmus gondolatát, a materialista irányultságú nominalizmus és a logika klasszikus (kétértékű) értelmezése felé hajlott. Logikai kutatás L. ontológiai és metamatematikai gondolatoktól vezérelve. Olyan univerzális logikai elméletet igyekezett felépíteni, amely képes megszabadítani a nominalizmust annak tipikus paradoxonaitól; ráadásul ez az elmélet képezte a nominalista halmazelmélet alapját. L. ennek az elméletnek három részét építette fel: „prototetika” – az állítások propozíciószámításának általánosítása a propozíciós változók kvantorjainak bevezetésével; "ontológia" - formális elmélet, amely meghatározza a "van" hivatkozás jelentését; "Mereológia" - formális elmélet, amely meghatározza a rész és az egész kapcsolatának jellemzőit. Ezenkívül felvázolta, de nem fejezte be a „kronológiát” – az időbeli állítások formális elméletét és a „sztereológiát” – a térbeli állítások formális elméletét. Az L. logikai rendszere mentes a klasszikus halmazelmélet antinómiáitól, de Russell - Whitehead típuselméletével ellentétben a szemantikai kategóriák koncepcióján alapul, ami a természetes nyelv szintaxisát magyarázza meg. L. logikai gondolatait a Kotarbinszkij által kidolgozott "reizmus" filozófiai és módszertani koncepciója asszimilálta . L. vele együtt bírálta a fogalmak "hiposztatizálását", ami a logikai és matematikai objektumok ontologizálásához vezetett. Szemantikai kategóriák elméletének szintaktikai analógja a nyelvészetben is alkalmazásra talált. Az ókori és középkori logikusok ( Arisztotelész , Anselm , Boethius , Ockham és mások) egyes gondolatai természetes kifejezést kapnak L. logikájában. Ez lehetővé teszi, hogy L. logikai elképzeléseit nemcsak a logikai-metamatematikai, hanem a történeti-filozófiai kutatások számára is értékes eszköznek tekintsük.
Tematikus oldalak | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
|