Lukasevitš, tammikuu

Jan Lukasiewicz
Jan Lukasiewicz
Syntymäaika	21. joulukuuta 1878( 1878-12-21 )
Syntymäpaikka	Lvov , Cisleitania , Itävalta-Unkari
Kuolinpäivämäärä	13. marraskuuta 1956 (77-vuotias)( 13.11.1956 )
Kuoleman paikka	Dublin , Irlanti
Maa	Itävalta-Unkarin valtakunta  → Puolan tasavalta → Irlannin tasavalta
Tieteellinen ala	logiikka , matematiikka
Työpaikka	Varsovan yliopisto LNU niitä. I. Franko
Alma mater	LNU niitä. I. Franko Varsovan yliopisto
Akateeminen tutkinto	Ph.D
tieteellinen neuvonantaja	Kazimir Tvardovsky [1]
Opiskelijat	Alfred Tarski ja Mordechai Weisberg [d]
Palkinnot ja palkinnot
Wikilainaukset
Mediatiedostot Wikimedia Commonsissa

Jan Lukasiewicz ( puolalainen Jan Łukasiewicz ; 21. joulukuuta 1878 , Lviv  - 13. marraskuuta 1956 , Dublin ) - puolalainen loogikko ja matemaatikko , Puolan tiedeakatemian jäsen (1937), yksi Lviv-Varsovan koulun tärkeimmistä edustajista .

Vuonna 1919 hän toimi uskonnollisten kirkkokuntien ja opetusministerinä.

Varsovan yliopiston kunniatohtori (1924) [2] .

Vuodesta 1945 hän on toiminut professorina Royal Irish Academyssa Dublinissa .

Työskennellyt induktion ja kausaliteetin loogisten ongelmien sekä todennäköisyysteorian loogisten perusteiden parissa . Hän rakensi ensimmäisen moniarvoisen logiikan järjestelmän ja sen avulla modaalilogiikan järjestelmän. Hän kehitti alkuperäisen kielen loogisten ilmaisujen formalisointiin (ns. puolalainen merkintä, joka toimi perustana tunnetummalle käänteiselle puolalaiselle notaatiolle ). Filosofisesti hän on positivisti .

Lukasiewiczin moniarvoinen logiikka

Lukasiewicz kehitti ensimmäisen moniarvologiikan järjestelmän ,  kolmiarvoisen lauselogiikan (1920). Lausunnon kolmantena loogisena merkityksenä otettiin käyttöön merkitys, joka ilmaistaan ​​sanoilla "todennäköisesti", "neutraali". Jokaisen Lukasiewicz-järjestelmän väitteen voidaan sanoa olevan joko tosi (1), epätosi (0) tai neutraali (1/2). Tämä tuli mahdolliseksi johtuen siitä, että Lukasevitš oli yksi ensimmäisistä, riippumatta venäläisestä logiikasta N. A. Vasilyev , esitti opinnäytetyön mahdollisuudesta rakentaa loogista laskentaa, jossa johdonmukaisuuden periaate ei päde. Lukasiewicz rakensi kolmiarvoisen logiikan pohjalta modaalilogiikan järjestelmän, jossa väittämien väitteiden (lauseiden ja negaatioiden) loogisten operaatioiden tutkimuksen ohella ns. modaalilausekkeet (vahvat ja heikot väitteet ja negaatiot) tutkitaan.

Vuonna 1954 Lukasiewicz kehitti neliarvoisen logiikkajärjestelmän ja sitten - äärettömän arvoisen (n-arvoisen) loogisen järjestelmän, jossa totuusarvojen joukko on laskettavasti ääretön tai sillä on jatkumon (joukon) voima. Janan (0, 1) rationaaliluvut toimivat totuusarvoina . Lukasiewiczin äärettömän arvoisen logiikan mallit ovat hänen kehittämiä algebroja.

Julkaisut

• Logistiikka ja filosofia - Jan Łukasiewicz. Logistyka a filozofia // Przegląd Filozoficzny: Journal. - 1936. - Nro XXXIX . - S. 115-131 .
• Tieteestä – Jan Łukasiewicz. O nauce // Gradientti : päiväkirja. - 1994. - Nro 3-4 (20) . - S. 75-99 .
• Luovuudesta tieteessä - O tworczosci w nauce. Ksiega pamiatkowa ku uczczeniu 250 rocznicy zalozenia Uniwersytetu Lwowskiego. Lwow 1912. s.1-15
• Logistiikan puolustuksessa - W obronie logistyki. Myśl katolicka wobec logici współczesnej. Studia Gnesnensia, nr. 15 (1937).

Puolaksi:

• Jan Lukasiewicz. O zasadzie sprzecności u Arystotelesa. Studium krytyczne. - Krakova, 1910.
• J. Lukasiewicz. Z zagadnień logici i filozofii. Pisma wybrane / J. Slupecki toim. - Varsova: PWN, 1961.
• J. Lukasiewicz. Logika i metafizyka / JJ Jadacki toim. - Varsova: Wydział Filozofii i Socjologii Uniwersytetu Warszawskiego, 1998.

Venäjäksi:

• Jan Lukasevitš. Aristotelilainen syllogistiikka modernin muodollisen logiikan näkökulmasta / N. I. Styazhkinin ja A. L. Subbotinin käännös englannista. Yleinen toimituksellinen ja johdantoartikkeli prof. P.S. Popova . - M . : Ulkomaisen kirjallisuuden kustantamo, 1959. - 313 s.
  • Uudelleenjulkaisu: M.: Trivium, 2000, ISBN=5-1251-0125-7.
• Jan Lukasevitš. Aristoteleen ristiriitaperiaatteesta. Kriittinen tutkimus / Puolasta kääntänyt B. T. Dombrowski . Professori A. S. Karpenkon yleispainos , johdantoartikkeli ja muistiinpanot . - M.-SPb.: Humanitaaristen aloitteiden keskus, 2012. - 255 s. - ISBN 978-5-98712-038-5 .

Englanniksi:

• Jan Lukasiewicz. Aristotilen sillogistiikkaa modernin muodollisen logiikan näkökulmasta. – Oxford, 1957.
• J. Lukasiewicz. Valitut teokset / L. Borkowski toim. - Amsterdam & Warszawa: North-Holland & PWN, 1970.

Katso myös

• Algebrallinen järjestelmä

Muistiinpanot

1. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
2. ↑ Warszawskin yliopisto

Kirjallisuus

• Lukasevich, Jan  / Porus V. H.  // Lomonosov - Manizer. - M  .: Great Russian Encyclopedia, 2011. - S. 118. - ( Great Russian Encyclopedia  : [35 osassa]  / päätoimittaja Yu. S. Osipov  ; 2004-2017, v. 18). - ISBN 978-5-85270-351-4 .
• A. S. Karpenko , V. N. Porus. Lukasevich  // Uusi filosofinen tietosanakirja  : 4 osassa / esi  . tieteellinen toim. V. S. Stepinin neuvo. — 2. painos, korjattu. ja ylimääräistä - M .  : Ajatus , 2010. - 2816 s.
• Borkowski L., SlupeckiT., J. Lukasiewiczin loogiset teokset, "Studia Logica", 1958. t. kahdeksan.

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna Matematiikan historian arkisto MacTutor
Sanakirjat ja tietosanakirjat	Suuri tanskalainen Suuri katalaani Iso venäläinen italialainen Cyril ja Methodius maailman ympäri Liettuan universaali kroatialainen Britannica (verkossa) Brockhaus Merkittävä nimitietokanta Treccani Universalis
Sukututkimus ja nekropolis	Etsi hauta
Bibliografisissa luetteloissa BIBSYS : 90872150 BNC : a18987515 BNE : XX1349012 BNF : 12193203s CiNii : DA01958721 CONOR : 97391715 EGAXA : vtls000861107 GND : 119268663 ICCU : SBLV035001 ISNI : 0000 0001 2120 9100 J9U : 987007277224205171 LCCN : n83828306 NDL : 00461953 NKC : mzk2003183287 NLA : 35315754 NLP : A11861836 NSK : 000345958 NTA : 067827667 NUKAT : n93126837 RSL : 000131539  (venäjä) , 000131540 SUDOC : 030536669 Vcba : 495/213655 VIAF : 12353616 WorldCat VIAF : 12353616