Lesněvský, Stanislav

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 26. dubna 2020; kontroly vyžadují 2 úpravy .
Stanislav Lesněvský
Stanislav Leśniewski
Jméno při narození polština Stanislaw Kazimierz Leśniewski
Datum narození 30. března 1886( 1886-03-30 )
Místo narození Serpukhov , Moskevská gubernie , Ruské impérium [1]
Datum úmrtí 13. května 1939 (53 let)( 1939-05-13 )
Místo smrti Varšava , Polsko
Země  ruské impérium
Akademický titul Ph.D
Alma mater
Hlavní zájmy matematika
Influenceři Kažimír Tvardovský
Ovlivnil Alfred Tarski
 Mediální soubory na Wikimedia Commons

Stanisław Leśniewski [5] ( polsky: Stanisław Leśniewski ; 30. března 1886 , Serpukhov  - 13. května 1939 , Varšava ) byl polský matematik a filozof. V matematice se specializoval na matematickou logiku. Jeden z hlavních představitelů lvovsko-varšavské školy .

Životopis

Narodil se v rodině Isidora Lesniewského, polského železničního inženýra. Rodina se stěhovala v souladu s geografií výstavby železnic, takže S. Lesnevsky strávil svá školní léta v Irkutsku .

Studoval na univerzitách v Berlíně , Lipsku , Mnichově (kde navštěvoval přednášky filozofa Hanse Cornelia), Heidelberg . Na univerzitě ve Lvově studoval především filozofii, navštěvoval také přednášky matematiků Józefa Puzyny a Václava Sierpinského . V roce 1912 mu byl udělen titul doktora filozofie na Lvovské univerzitě (pod vedením K. Tvardovského ).

V roce 1913 byl učitelem na varšavské škole. Po vypuknutí první světové války se v letech 1914-1918 vrátil do Ruska. učil na polské střední škole v Moskvě . Během těchto let publikoval svou formální teorii, nazvanou „mereologie“.

V letech 1919-1939. Profesor filozofie matematiky na Varšavské univerzitě. V roce 1919 spolu s Janem Lukasiewiczem založil Varšavskou školu logiky.

Logická teorie

Sdílející antipsychologismus a obecný analytický postoj Lukasiewicze L. odmítl platónské tendence a myšlenku logického pluralismu, přiklonil se k materialisticky orientovanému nominalismu a klasickému (dvouhodnotovému) výkladu logiky. Logický výzkum L. vedený ontologickými a metamatematickými představami. Snažil se zkonstruovat univerzální logickou teorii schopnou zbavit nominalismus jeho typických paradoxů; navíc taková teorie měla tvořit základ nominalistické teorie množin. L. vybudoval tři části této teorie: "prototetika" - zobecnění výrokového počtu výroků zavedením kvantifikátorů pro výrokové proměnné; "ontologie" - formální teorie, která určuje význam vazby "je"; "Mereologie" - formální teorie, která určuje charakteristiky vztahu části a celku. Kromě toho nastínil, ale nedokončil „chronologii“ – formální teorii časových výpovědí a „stereologii“ – formální teorii prostorových výpovědí. Logický systém L. je oproštěn od antinomií klasické teorie množin, ale na rozdíl od Russell  - Whiteheadovy teorie typů je založen na konceptu sémantických kategorií, který vysvětluje syntax přirozeného jazyka. Logické myšlenky L. byly asimilovány filozofickým a metodologickým konceptem " reismu ", který rozvinul Kotarbinskij . Spolu s ním L. kritizoval „hypostatizaci“ pojmů, vedoucí k ontologizaci logických a matematických objektů. Syntaktická obdoba jeho teorie sémantických kategorií našla uplatnění v lingvistice. Některé myšlenky starověkých a středověkých logiků ( Aristoteles , Anselm , Boethius , Ockham a další) nacházejí přirozené vyjádření v logice L.. To nám umožňuje považovat logické myšlenky L. za cenný nástroj nejen pro logicko-metamatematické, ale i pro historicko-filosofické bádání.

Vybraná díla

Poznámky

  1. ↑ Nyní - regionální centrum v Moskevské oblasti , Rusko .
  2. ↑ https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 – str. 209–210.
  3. ↑ 1 2 https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209
  4. ↑ 1 2 https://books.google.cat/books?id=0bK8BAAAQBAJ&pg=PA5
  5. ↑ V ruské literatuře a bibliografii se používá pravopis příjmení bez měkkého znaménka: „Lesnevsky“.

Literatura

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie