Stanislav Lesnevski | |
---|---|
Stanislaw Leśniewski | |
Numele la naștere | Lustrui Stanislaw Kazimierz Leśniewski |
Data nașterii | 30 martie 1886 |
Locul nașterii | Serpuhov , Guvernoratul Moscovei , Imperiul Rus [1] |
Data mortii | 13 mai 1939 (53 de ani) |
Un loc al morții | Varșovia , Polonia |
Țară | imperiul rus |
Grad academic | Ph.D |
Alma Mater | |
Interese principale | matematica |
Influentori | Kazimir Tvardovsky |
Influențat | Alfred Tarski |
Fișiere media la Wikimedia Commons |
Stanisław Leśniewski [5] ( poloneză: Stanisław Leśniewski ; 30 martie 1886 , Serpuhov - 13 mai 1939 , Varșovia ) a fost un matematician și filozof polonez. În matematică, s-a specializat în logica matematică. Unul dintre principalii reprezentanți ai școlii Lvov-Varșovia .
Născut în familia lui Isidor Lesniewski, un inginer de căi ferate polonez. Familia sa mutat în conformitate cu geografia construcției căilor ferate, așa că S. Lesnevsky și-a petrecut anii de școală în Irkutsk .
A studiat la universitățile din Berlin , Leipzig , München (unde a urmat prelegeri ale filozofului Hans Cornelius), Heidelberg . La Universitatea din Lviv, a studiat în principal filosofia și a participat, de asemenea, la prelegeri ale matematicienilor Józef Puzyna și Václav Sierpinski . În 1912 i s-a acordat titlul de doctor în filozofie la Universitatea din Lviv (sub supravegherea lui K. Tvardovsky ).
În 1913 a fost profesor la Școala din Varșovia. Odată cu izbucnirea primului război mondial, s- a întors în Rusia, în 1914-1918. a predat la un liceu polonez din Moscova . În acești ani și-a publicat teoria formală, numită „mereologie”.
În 1919-1939. Profesor de Filosofie a Matematicii la Universitatea din Varșovia. În 1919, împreună cu Jan Lukasiewicz , a fondat Școala de logică din Varșovia.
Împărtășind antipsihologismul și atitudinea analitică generală a lui Lukasiewicz , L. a respins tendințele platoniciene și ideea pluralismului logic, înclinând spre nominalismul orientat materialist și spre interpretarea clasică (cu două valori) a logicii. Cercetare logică L. ghidată de idei ontologice şi metamatematice. El a căutat să construiască o teorie logică universală capabilă să scape nominalismul de paradoxurile sale tipice; mai mult, o asemenea teorie urma să formeze baza teoriei nominaliste a mulțimilor. L. a construit trei părți ale acestei teorii: „prototetică” - o generalizare a calculului propozițional al propozițiilor prin introducerea de cuantificatori pentru variabile propoziționale; „ontologie” - o teorie formală care determină sensul legăturii „este”; „Mereologie” - o teorie formală care determină caracteristicile relației dintre părți și întreg. În plus, el a schițat, dar nu a completat „cronologia” – o teorie formală a enunțurilor temporale și „stereologia” – o teorie formală a enunțurilor spațiale. Sistemul logic al lui L. este liber de antinomiile teoriei multimilor clasice, dar, spre deosebire de teoria tipurilor lui Russell - Whitehead , se bazează pe conceptul de categorii semantice, care explică sintaxa unui limbaj natural. Ideile logice ale lui L. au fost asimilate de conceptul filozofic și metodologic de „ reism ”, dezvoltat de Kotarbinsky . Împreună cu el, L. a criticat „ipostatizarea” conceptelor, ducând la ontologizarea obiectelor logice și matematice. Analogul sintactic al teoriei sale a categoriilor semantice și-a găsit aplicație în lingvistică. Unele dintre ideile logicienilor antici și medievali ( Aristotel , Anselm , Boethius , Ockham și alții) își găsesc expresie naturală în logica lui L.. Acest lucru ne permite să considerăm ideile logice ale lui L. un instrument valoros nu numai pentru cercetarea logico-metamatematică, ci și pentru cercetarea istorico-filosofică.
![]() | ||||
---|---|---|---|---|
Dicționare și enciclopedii | ||||
|