Stanisław Leśniewski

Stanisław Leśniewski A kép leírása, az alábbiakban szintén kommentálva Stanisław Leśniewski, 1910 körül. Kulcsadatok
Születés 1886. március 30
Serpoukhov ( Oroszország )
Halál 1939. május 13
Varsó ( Lengyelország )
Állampolgárság fényesít
Területek logikus , matematikus , filozófus

Stanisław Leśniewski ( 1886. március 30- 1939. május 13) lengyel matematikus , filozófus és logikus, aki segített létrehozni és fejleszteni az Lvov-Varsó Iskolát .

Leśniewski a logika történetének egyik legjelentősebb tudományos alakja , és a Kazimierz Twardowski által alapított Lvov-Varsó Iskola első generációjához tartozik .

A Jan Łukasiewicz (alkotója az úgynevezett fordított lengyel jelölés ) és Alfred Tarski , aki volt az egyetlen orvos, aki alakított trojka , amely az 1920 és 1930, tette a Varsói Egyetem egyik legfontosabb központja a kutatás logika, matematika a világ felé.

Legjelentősebb hozzájárulások az építőiparban a három egymással összefüggő formális rendszerek , amelyek Protothetics , Ontológia és Mereology az általuk adott nevei görög etimológia .

Életrajz

Stanisław Lesniewski született Serpoukhov , Oroszország on1886. március 30.

Kazimierz Twardowski lengyel filozófus irányításával 1912-ben doktori értekezést mutatott be Hozzájárulás az egzisztenciális javaslatok elemzéséhez címmel , részben annak a Franz Brentano-féle tézisnek az ellen irányul, miszerint bármely kategorikus tétel egzisztenciális állítássá csökkenthető. Leśniewski ezt követően az ellentmondás elvének és a kizárt harmadik tanulmányozásának szentelte magát. Végül, Tadeusz Kotarbiński Zagadnienie istnienia przyszlosci ( A jövő fennállásának problémája ) című cikkével szemben Leśniewski 1913-ban cikket írt Az igazság csak örök, vagy örök és örök?

Ezeket a megfelelő filozófiai, tartalmi és kezelési (nem formalizált) cikkeket 1927-ben tagadta meg a matematika alapjairól szóló fő mű . A korabeli kommentátorok azonban nem tudták pontosan megállapítani, hogy Leśniewski tagadása teljes-e, vagy kímélnek-e bizonyos téziseket.

Jan Łukasiewicz Az arisztotelészi ellentmondás elvéről című híres könyvének olvasásával Leśniewski határozottan áttér a filozófiáról a logikára. Felfedezve a Russell- antinómiát (vagy Russell-paradoxont ), amely veszélyezteti a teljes logikai és matematikai építményt , Leśniewski félbeszakítja és elítéli filozófiai munkáját, hogy kizárólag ennek az antinómiának a megoldására összpontosítson. Ezért gondosan elolvasta Whitehead és Russell, valamint Frege által a Grundgesetze der Arithmetik Principia Mathematica- t .

Ez a matematika alapjainak válsághelyzete teszi lehetővé, hogy megértsük Leśniewski munkájának okát. Russell paradoxonjának megszállva és elutasítva a bevezetett különféle megoldásokat, hogy megmentse magát ettől a paradoxontól, Leśniewski megkezdte a matematika új logikai alapjának teljes felépítését. Még akkor is, ha erőteljesen ellenzi bizonyos Frege és Russell által védett téziseket, Leśniewski jól illeszkedik a Frege által kezdeményezett logisztikai áramlatba. Valójában a logika szerint a matematika alapfogalmait - mindenekelőtt a számét - a logika - nyilvánvaló - fogalmaira kell építeni. Lesniewski azt állította, hogy az unió a három deduktív elméletek, amelyek azt követően „kitalált”, azaz mereology , ontológia és protothetics kell tekinteni, mint egy új alapot a matematika, egy alapítvány, amely megmarad a Russelli antinómiájában..

Az első rendszer, amely Lesniewski találta az mereology , amely alapján a koncepció az osztály eltér a matematikusok, célja, hogy megoldja az osztály paradoxon az osztályok, amelyek nem tartalmaznak magukat. Ezt követõen, merõ logikáját megalapozva, Leśniewski két megfelelõen logikus rendszert talált ki: az ontológiát és a prototetikát. E két rendszer felépítésének és következtetési szabályainak az volt a célja, hogy haláláig haláláig foglalkoztassa1939. május 13.

A Leśniewski rendszerek áttekintése

Prototikus

A prototetika az első rendszer a logikai sorrendben, vagyis megalapozza az ontológiát. Ez egy axiomatizált és formalizált logikai rendszer . A prototetika összehasonlítható a magasabb rendű kvantálású javaslatok kiszámításával. Valójában, ha ebben a rendszerben lehetséges számszerűsíteni a javaslatokat, akkor éppúgy lehet számszerűsíteni azokat a funktorokat is, amelyek egy vagy több állítással rendelkeznek érvként.

Ontológia

Az ontológia Leśniewski szerint „modernizált hagyományos logika (…), amelyet az egyének elméletével veszünk figyelembe”. Ha a prototetikát össze lehet hasonlítani a propozíciókkal , akkor az ontológia egyenértékű lenne a predikátumokkal .

Az ontológia ihletett, ezért írja Leśniewski hagyományos logikának, Frege ellen , az arisztotelészi szubjektum / állítmány szerkezetéből. Meg kell jegyezni egy másik arisztotelészi hatást, a rendszer nevének eredeténél. Felvesszük azt a hosszú idézetet, amelyet Leśniewski kölcsönad kollégájától, Tadeusz Kotarbińskitól  :

„Ezt az elnevezést [ontológia] azzal indokolják, hogy az ontológia axiomatikájában (…) az egyetlen primitív, helyes kifejezés a„ görög esti ”kifejezésnek felel meg . (…) Valójában félreértés adódhat abból a tényből, hogy ez a név már egy másik szerepben megszerezte az állampolgárságot; valójában régóta használják „ontológiának” az Arisztotelész „metafizikai” könyveinek egyes részeinek szellemében végzett, „a lét általános elvein” alapuló vizsgálatok megnevezésére. El kell ismerni azonban, hogy ha a legfelsőbb elmélet ( prote philosophia ) (...) arisztotelészi definícióját objektumok általános elméleteként értelmezzük, akkor alkalmazhatjuk mind a konszonanciájára, mind az értelmére a nevek kiszámításakor Leśniewski. »(S. Leśniewski, A matematika alapjairól, 107–108. O.)

Úgy tűnik, hogy Leśniewski egyetért ezzel, és azt írja, hogy "ebben az elméletben pontosan sui generis" a lét általános elveit "fogalmazza meg. Tadeusz Kotarbiński szavaiban továbbra is kétértelműség áll fenn  : hogyan lehet elképzelni, hogy az ontológia névszámítás , vagyis olyan rendszer, amely előírja a nyelv szabályait a szemantikus névkategória használatával, és egyúttal a tárgyak általános elmélete , vagyis formális ontológia? Ha nem, akkor van kétértelműség, legalábbis egy fontos metafizikai tézis: az objektumok és a nevek nyelvi tartománya közötti erős összefonódás. A kortárs kommentátorok a leśniewski ontológiát kizárólag logikai rendszernek tartják, ezért nem tudják ellátni az objektumok általános elméletének funkcióit, ez utóbbi a mereológia tárgya.

Mereológia

A mereológia (az első írásokban a halmazok általános elméletének nevezik) egy deduktív elmélet, axiomatizált, de nem formalizált, egészek és részek.

Kezdetben a mereológia feladata az osztály leśniewskiai felfogásának kialakításához szükséges alapok megteremtése. Ennek, ellentétben a matematikusok, valamint Gottlob Frege és Bertrand Russell által felvetett elképzelésekkel , lehetővé kell tennie az önmagát nem tartalmazó osztályok híres russelliai paradoxonjának feloldását. Leśniewski valójában elutasítja ennek az antinómiának a megoldásait, amelyeket Frege (V. törvényének gyengülése), Russell (típusok elmélete) és Zermelo (a szétválasztás axióma, amely tiltja a „túl nagy” halmazok felépítését ) által javasolt ” megfosztva az intuitív alaptól, azzal érvelve, hogy a megoldás csak egy olyan módszerben találhatja meg az eredetét, amelynek célja mind az érvelés, mind a kettős ellentmondáshoz vezető előfeltevések megkérdőjelezése.

Az osztály új koncepciója alapján, amely saját szavaival egyetértene "az" osztály "és az" együtt "szavak szokásos használatával a mindennapi nyelvben", Leśniewski bemutatja, hogy "nincs tárgy az osztály osztályokból, amelyek nem tartalmazzák önmagukat. Így a russelli paradoxon nem újulhat meg.

Az osztály leśniewskiai felfogása, bár osztályozási fogalommal van meghatározva, és tartalmaz bármilyen elemet, amely e fogalom alá tartozik, elemként fogadja el elemeinek azon részeit is, amelyek esetleg nem felelnek meg a besorolási koncepciónak. Példa: a könyvtáramban található könyvosztály nemcsak az összes könyvtárat tartalmazza, hanem az összes oldalt, a festéket, a borítókat, hanem a papírt alkotó molekulákat, az utóbbi molekulákat alkotó atomokat stb.

Terminológiai magyarázatok és szemantikai kategóriák

Bibliográfia

Leśniewski művei

Ez a könyv összefoglalja Leśniewski tanítványainak előadásjegyzeteit.

  1. A prototetika alapjaitól kezdve
  2. Leśniewski ontológiájának definíciói és tézisei
  3. Osztályelmélet
  4. A számtan primitív kifejezései
  5. Induktív definíciók
  6. Whitehead eseményelmélete

I. kötet :

  1. Hozzájárulás az egzisztenciális javaslatok elemzéséhez
  2. Kísérlet az ellentmondás ontológiai elvének bizonyítására
  3. A kizárt középpont logikai elvének kritikája
  4. Minden igazság csak örökké igazság, vagy kezdet nélküli igazság is?
  5. Az osztályok osztálya nincs alárendelve önmaguknak, alárendelve önmagának?
  6. A halmazok általános elméletének alapjai. én
  7. A matematika alapjairól

Kötet II

  1. Olyan függvényeken, amelyek területei e függvények szempontjából csoportok
  2. Olyan függvényeken, amelyek területei e függvények szempontjából abeli csoportok
  3. A matematika alapjainak új rendszerének alapjai
  4. Az ontológia alapjairól
  5. A definíciókról az úgynevezett dedukciós elméletben
  6. Bevezető megjegyzések cikkem folytatásához: Grundzüge eines neuen Systems der Grundlagen der Mathematik
  7. Megjegyzéssel ellátott Lesniewski-bibliográfia (VF Rickey)

Tanulmányok Leśniewskiről

Lásd is

Kapcsolódó cikkek

Külső linkek