Lesnevski, Stanislav

Stanisław Leśniewski [5] ( puola: Stanisław Leśniewski ; 30. maaliskuuta 1886 , Serpukhov  - 13. toukokuuta 1939 , Varsova ) oli puolalainen matemaatikko ja filosofi. Matematiikassa hän erikoistui matemaattiseen logiikkaan. Yksi Lvov-Varsovan koulun tärkeimmistä edustajista .

Elämäkerta

Syntynyt puolalaisen rautatieinsinöörin Isidor Lesniewskin perheeseen. Perhe muutti rautateiden rakentamisen maantieteen mukaisesti, joten S. Lesnevsky vietti kouluvuotensa Irkutskissa .

Hän opiskeli Berliinin , Leipzigin ja Münchenin yliopistoissa (jossa hän osallistui filosofi Hans Corneliuksen luennoille), Heidelberg . Lvivin yliopistossa hän opiskeli pääasiassa filosofiaa ja osallistui myös matemaatikoiden Józef Puzynan ja Václav Sierpinskin luennoille . Vuonna 1912 hänelle myönnettiin filosofian tohtorin tutkinto Lvivin yliopistossa ( K. Tvardovskin johdolla ).

Vuonna 1913 hän toimi opettajana Varsovan koulussa. Ensimmäisen maailmansodan puhjettua hän palasi Venäjälle vuosina 1914-1918. opetti puolalaisessa lukiossa Moskovassa . Näinä vuosina hän julkaisi muodollisen teoriansa, nimeltään "mereologia".

Vuosina 1919-1939. Matematiikan filosofian professori Varsovan yliopistossa . Vuonna 1919 hän perusti yhdessä Jan Lukasiewiczin kanssa Varsovan logiikan koulun.

Looginen teoria

Lukasiewiczin antipsykologismin ja yleisen analyyttisen asenteen jakaessa L. hylkäsi platonistiset taipumukset ja ajatuksen loogisesta moniarvoisuudesta, nojautuen materialistisesti suuntautuneeseen nominalismiin ja klassiseen (kaksiarvoiseen) logiikan tulkintaan. Looginen tutkimus L. ontologisten ja metamatemaattisten ajatusten ohjaama. Hän pyrki rakentamaan yleismaailmallisen loogisen teorian, joka pystyy poistamaan nominalismin sen tyypillisistä paradokseista; lisäksi tällaisen teorian oli tarkoitus muodostaa perusta nominalistiselle joukkoteorialle. L. rakensi kolme osaa tästä teoriasta: "prototetiikka" - lauseiden lauselaskennan yleistys ottamalla käyttöön kvantisoijia lausemuuttujille; "ontologia" - muodollinen teoria, joka määrittää linkin "on" merkityksen; "Mereologia" - muodollinen teoria, joka määrittää osan ja kokonaisuuden suhteen ominaisuudet. Lisäksi hän hahmotteli, mutta ei täydentänyt "kronologiaa" - muodollista teoriaa ajallisista lausumista ja "stereologiaa" - muodollisen spatiaalisen teorian. L.:n looginen järjestelmä on vapaa klassisen joukkoteorian antinomeista, mutta toisin kuin Russell  - Whiteheadin tyyppiteoriassa , se perustuu semanttisten kategorioiden käsitteeseen, joka selittää luonnollisen kielen syntaksia. L.:n loogiset ideat omaksuivat Kotarbinskyn kehittämän "reismin" filosofisen ja metodologisen käsitteen . Yhdessä hänen kanssaan L. kritisoi käsitteiden "hypostatisointia", mikä johti loogisten ja matemaattisten objektien ontologisoitumiseen. Hänen semanttisten kategorioiden teoriansa syntaktinen analogi on löytänyt sovelluksen kielitieteessä. Jotkut muinaisten ja keskiaikaisten logiikkojen ( Aristoteles , Anselm , Boethius , Ockham ja muut) ajatuksista ilmenevät luonnollisesti L.:n logiikassa. Tämä antaa meille mahdollisuuden pitää L.:n loogisia ideoita arvokkaana työkaluna ei vain loogis-metamatemaattiselle, vaan myös historiallis-filosofiselle tutkimukselle.

Valitut teokset

• Lesnevsky S. I. Looginen päättely: I. Kokemus ontologisen ristiriitalain perusteluista. II. Eksistentiaalisten lauseiden analysoinnista. - Pietari. : [tyyppi. A. Smolinsky], 1913. - 91 s. - (Käännös: // Przeglad filozofiezny. - 1912. - No. 2; 1911. - No. 3).
• Lesnevsky S. Matematiikan perusteista (luku 9). Kirjassa. : Lvov-Varsovan koulukunnan filosofia ja logiikka. M., 1999. Sarja "Tieteellinen filosofia".
• Podstawy ogolnej teorii mnogosei. Moskova, 1916;
• Kerätyt loogiset paperit. Warszawa, Dordrecht. 1988.

Muistiinpanot

1. ↑ Nyt - aluekeskus Moskovan alueella , Venäjällä .
2. ↑ https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 - s. 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. ↑ Venäläisessä kirjallisuudessa ja bibliografiassa käytetään sukunimen kirjoitusasua ilman pehmeää merkkiä: "Lesnevsky".

Kirjallisuus

• Agapov E. P. S. Lesnevskyn panos semantiikan muodostumiseen: Väitöskirjan tiivistelmä. dis. … cand. filosofia Tieteet. - M. , 1984. - 24 s.
• V. L. Vasyukov. Lesnevsky  // Uusi filosofinen tietosanakirja  : 4 osassa / esi  . tieteellinen toim. V. S. Stepinin neuvo . — 2. painos, korjattu. ja ylimääräisiä - M .  : Ajatus , 2010. - 2816 s.
• Solonin Yu. N. Looginen tutkimus Art. Lesnevsky: Kirjoittaja. dis. … cand. filosofia Tieteet. - L. , 1970. - 20 s.
• Sobocinski, B. "L'analyse de l'antinomie russellienne par Leśniewski", Methodos 1, 1949, s. 94-107, s. 220-228, s. 308-316 et Methodos 2, 1950, s. 237-257.
• Luschei, Eugene, 1962. Lesniewskin loogiset järjestelmät. Amsterdam: Pohjois-Hollanti.
• Trentman, John. 1966. "Lesniewskin ontologia ja jotkut keskiaikaiset logiikot." Notre Dame Journal of Formal Logic no. 7:361-364.
• Canty, John Thomas. 1969. "Lesniewskin terminologiset selitykset rekursiivisina käsitteinä." Notre Dame Journal of Formal Logic no. 10:337-369.
• Miéville, Denis, 1984. "Un développement Des systèmes logiques de Stanislas Lesniewski", Peter Lang, European University Studies.
• Simons, Peter M. 1982. "On Understanding Lesniewski." Logiikkahistoria ja filosofia nro. 3:165-191.
• Hei, Henry. 1984. "Frege, Leśniewski ja Information Semantics on the Resolution of Antinomies." Teoksessa Foundations: Logic, Language, and Mathematics, toimittaneet Leblanc, Hugues, Mendelson, Elliott ja Orenstein, Alex, 51-72. Dordrecht: Kluwer.
• Lejewski, C. "Leśniewskin ontologiasta", Ratio 2, 1958, s. 150-176
• Betty, Arianna. 2004. "Lesniewskin varhainen valehtelija, tarski ja luonnollinen kieli." Annals of Pure and Applied Logic no. 127:267-287.
• Betty, Arianna. 2009. "Leśniewskin järjestelmät ja aristoteelinen tieteen malli." Puolan filosofian kultakaudella. Kazimierz Twardowskin filosofinen perintö, 93-111. Dordrecht: Springer.
• Urbaniak, Rafal, 2013. Leśniewskin logiikkajärjestelmät ja matematiikan perusteet, Dordrecht: Springer.

Linkit

• Volenski Ya. Lesnevsky (Lesnewsky) Stanislav . Filosofinen sanakirja . Haettu: 4. maaliskuuta 2012. (määrätön)
• O'Connor JJ, Robertson EF Stanislaw Lesniewski . Matematiikan ja tilastotieteen laitos; St Andrewsin yliopisto, Skotlanti (29. heinäkuuta 2011). Haettu 4. maaliskuuta 2012. Arkistoitu alkuperäisestä 14. toukokuuta 2012.  (määrätön)  (Englanti)

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna Matematiikan historian arkisto MacTutor
Sanakirjat ja tietosanakirjat	Iso venäläinen Liettuan universaali Britannica (verkossa) Brockhaus Treccani
Bibliografisissa luetteloissa BNF : 121052111 GND : 118572075 ISNI : 0000 0001 1056 3323 J9U : 987007441863705171 LCCN : n83317565 NKC : js20101213001 NUKAT : n93081262 SUDOC : 030738326 VIAF : 38303584 WorldCat VIAF : 38303584