www.fmath.info

Ta õppis mitme ülikooli kulutused mõnda aega Münchenis, kus ta õppis õppejõud Hans Cornelius, enne doktorikraadi kell Poola Ülikool Lwów (nüüd Lvov, Ukraina, kuid seejärel kontrolli all, Austria). In Lwów õppis peamiselt filosoofiat ja oli ka matemaatika kursused, osalenud matemaatika loenguid Jozef Puzyna ja Waclaw Sierpinski. Lesniewski, kelle doktoritöö juhendaja oli Kazimierz Twardowski avaldas kahe dokumendi panuse analüüsi eksistentsiaalne ettepanekud ja katse tõendada ontoloogilisi põhimõttega vastuolus samal ajal endiselt ettevõtja oma doktoritöö uuringud. Need dokumendid on avaldatud Lesniewski emakeele Poola, kuid aastal 1913 vene tõlke kaks tk oli avaldatud ühes pealkiri Loogiline Studies. Doktorikraadi anti 1912.

Tol ajal Jaan Lukasiewicz oli õpetamise Lwów, on edutatud privatdozent erakorralise professori aastal 1911 ja ta tugevasti mõjutanud Lesniewski esimese kursuse matemaatilise loogika mis ta tegi seal. Üks viis, eriti, et see mõju oli avaldanud oli üle õigusega välja keskel. Üks Lesniewski esimesed projektid olid püüda ümber lükkama seda põhimõtet, kuid Lukasiewicz oli avaldanud liites oma 1910 avaldamise põhimõtet kahanemist Aristoteles, mis põhjustas Lesniewski muuta suunamiseks oma teadus. Ta hakkas õppima formaalne loogika ja hakkas tegema tõsiseid katseid mõista Russell 's paradoks, mis ta oli õppinud kaudu Lukasiewicz.

1913 Lesniewski avaldatud artikkel õigusega välja keskel, siis järgmisel aastal avaldamine Russell 's paradoks. Ta lahkus Lwów alustada õpetamist seisukohta Varssavi kuid pärast algust I maailmasõjas tegi ta otsuse, et naasta venemaa veetis ta 1914-18 Moskvas, kus õpetas Poola High School. Kuigi ta esitas oma esimese ideid uue teooria klassid, mis aitaks vältida paradokse, kui ta oli Lwów, see oli oma aja Moskvas, et Lesniewski avaldanud oma ametliku teooria kutsus mereology. Anname veel mõned tehnilised andmed selle teooria alla.

Niipea, kui Poola oli vabanenud lõpus sõja Lesniewski tagasi Varssavis. Seal ta hakkas paremini kaasata uuringus matemaatilise loogika. Janiszewski ja Mazurkiewicz asutas aastal Varssavis sõja lõpp üks tugevamaid koolis matemaatika maailmas. Juhib Janiszewski selles koolis oli eriti huvitatud Hulgateooria ja sihtasutuste matemaatika. Lesniewski innukalt liitunud Janiszewski 's koolis matemaatika. Aastal 1919 võttis ta juhataja filosoofia matemaatika Varssavis, kus Lukasiewicz juba õppetööga.

Various matemaatikud Varssavis, sealhulgas Janiszewski, Mazurkiewicz ja Lesniewski, mängis olulist rolli loomise Teataja Fundamenta Mathematicae. See oli Janiszewski kes pakutud nimi ajakirja aastal 1919, kuid Lesniewski kuulus Toimetus poliitika mõjutamisel. Esimene köide ilmus 1920, ja kuigi oli mõeldud tõeliselt rahvusvahelises ajakirjas, toimetajad olid täiesti teadlikult otsustanud teha esimene köide sisaldab dokumentidesse Poola autorid ainult. Janiszewski kirjutas:

... ta on mu kavatsusest esitada, kui võimalik, kõik Poola matemaatikud töötavad valdkonnas esitatud teooria, mille ajakiri on pühendatud.

Lukasiewicz kes nagu mainitud oli ka töötajate Varssavi ülikool sel ajal hakkas teha koostööd Lesniewski. Lukasiewicz oli märkimisväärne mõju Poola haridussüsteemi selle aja jooksul on ta teeninud Poola haridusminister aastal 1919 ja oli kaks korda rektor Varssavi ülikool. Selle aja jooksul Lukasiewicz ja Lesniewski rajatud Warsaw School of Logic. Nad kogunesid nende ümber rühma muljetavaldav üliõpilastele. Tarski oli üliõpilane Lesniewski kes aitasid seda kooli rahvusvaheliselt tuntud, sest ta kulgenud alates üliõpilase kolleeg Lesniewski ja Lukasiewicz.

Aastal 1927 Lesniewski avaldati tema esimene oluline töö aluseid matemaatikas. Sellest ajast alates kuni 1939 avaldas ta mitmeid kaksteist tk annab tema teooriate loogika ja matemaatika. Tema teooriad ületas paradokse Russell kogumis teooria. Toimetajad kirjutada sissejuhatus, mis töötavad:

For Lesniewski oma väljaannetes ei olnud ainus võimalus avaldada oma uut süsteemi aluseid matemaatikas. Ta omistati suurt tähtsust oma ülikooli loengute ja ta loenguid peaaegu täielikult umbes tema enda tööd.

Need loengud on esitatud. Õnneks Tarski sai teatavaks teha avaldamata tulemused Lesniewski mis hävis II maailmasõjas.

Autor väidab, et oluline on Lesniewski tööd on pakkuda alternatiivi klassikalise lähenemise loogika ja sihtasutuste matemaatika. Lesniewski osaluse loogika keskenduda struktuuriga lause, ja ta räägib traditsioonilise ideed lause koosneb teema, eesmärk ja köide. Tema matemaatiline töö keskendub Hulgateooria, kus tema mure on iseloomu määrata. Lesniewski asetab põhirõhu vahet telerit jae mõttes ning seab kollektiivses tähenduses.

Lesniewski seisukohti välja oma analüüsi Russell 's paradoks milles ta leidis segi kaks erinevat arusaama klassi. Kolm peamist loogiline süsteemide Lesniewski arenenud olid: Protothetic, teooria ettepanekud ja loogika functors sarnased volitused teooria loogika tüübid, pakkudes laiendatud loogika kivi koos mõõdetavate funktsionaalne muutujate Ontoloogia, mis on axiomatised teooria üldine nimed põhineb protothetic mida võib iseloomustada kui rist vahel traditsioonilist nimetust loogika ja moodsa tüüp teooria, mis sisaldab lisaks ainsuse mõttes ka tühi ja mitmuse tingimusi ja mitmeid muid huvitavaid funktsioone ja Mereology, mis on enesestmõistetav laiendamise ontoloogia jaoks teooria tunnid täiesti erinevad Hulgateooria pakkudes formaalse teooria osa ja kogu sarnased matemaatiline üksikisikuid.

Surma, Srzednicki, Barnett ja Rickey kui toimetajad Kokkuvõttes Lesniewski maksed:

Stanislaw Lesniewski oli üks kaas-asutajate Poola School of Logic ja autor uus ja täiesti originaal süsteemi aluste loogika ja matemaatika. Ta oli ka eelkäija ja algataja palju ideid nagu enesestmõistetavalt tänapäeva õpikute loogika ja sihtasutuste matemaatika. Kuigi Lesniewski mängis olulist rolli jooksul töötada välja kaasaegsed matemaatilise loogika ja sihtasutuste matemaatika, oma süsteemid ei ole nii hästi teada, kuna nad väärivad ja tõdeda, et tema süsteemid ei ole üldtunnustatud vahend foundational tava. Siiski, nad on tugevasti mõjutanud väga filosoofia matemaatika.

Source:School of Mathematics and Statistics University of St Andrews, Scotland