Lukasevici, ian

Jan Lukasiewicz
Jan Lukasiewicz
Data nașterii	21 decembrie 1878( 21.12.1878 )
Locul nașterii	Lvov , Cisleitania , Austro-Ungaria
Data mortii	13 noiembrie 1956 (77 de ani)( 13.11.1956 )
Un loc al morții	Dublin , Irlanda
Țară	Imperiul Austro-Ungar  → Republica Polonă → Republica Irlanda
Sfera științifică	logica , matematica
Loc de munca	Universitatea din Varșovia LNU-i. I. Franko
Alma Mater	LNU-i. I. Franko Universitatea din Varșovia
Grad academic	Ph.D
consilier științific	Kazimir Tvardovsky [1]
Elevi	Alfred Tarski și Mordechai Weisberg [d]
Premii și premii
Citate pe Wikiquote
Fișiere media la Wikimedia Commons

Jan Lukasiewicz ( polonez Jan Łukasiewicz ; 21 decembrie 1878 , Lviv  - 13 noiembrie 1956 , Dublin ) - logician și matematician polonez , membru al Academiei Poloneze de Științe (1937), unul dintre principalii reprezentanți ai școlii Lviv-Varșovia .

În 1919 a ocupat funcția de ministru al cultelor religioase și al educației.

Doctor onorific al Universității din Varșovia (1924) [2] .

Din 1945 este profesor la Academia Regală Irlandeză din Dublin .

A lucrat în domeniul problemelor logice ale inducției și cauzalității și al fundamentelor logice ale teoriei probabilităților . El a construit primul sistem al logicii cu mai multe valori și, cu ajutorul lui - sistemul logicii modale. El a dezvoltat un limbaj original pentru formalizarea expresiilor logice (așa-numita notație poloneză, care a servit drept bază pentru mai faimoasa notație poloneză inversă ). Din punct de vedere filosofic, el este un pozitivist .

Logica multă valoare a lui Lukasiewicz

Lukasiewicz a dezvoltat primul sistem de logică cu mai multe valori  , logica propozițională cu trei valori (1920). Ca al treilea sens logic al enunțului, a fost introdus sensul exprimat prin cuvintele „probabil”, „neutru”. Fiecare afirmație din sistemul Lukasiewicz se poate spune că este fie adevărată (1), falsă (0), fie neutră (1/2). Acest lucru a devenit posibil datorită faptului că Lukasevici a fost unul dintre primii, indiferent de logicianul rus N. A. Vasilyev , a prezentat teza despre posibilitatea construirii calculului logic, în care principiul consistenței nu se aplică. Pe baza logicii cu trei valori, Lukasiewicz a construit un sistem de logică modală, în care, împreună cu studiul operațiilor logice asupra enunțurilor asertorice (enunțuri și negații), așa-numitele enunțuri modale (enunțuri și negații puternice și slabe) sunt studiate.

În 1954 , Lukasiewicz a dezvoltat un sistem logic cu patru valori și apoi - sisteme logice cu valori infinite (n-valori), în care setul de valori de adevăr este numărabil infinit sau are puterea unui continuum (mult). Numerele raționale din segmentul (0, 1) acționează ca valori de adevăr . Modelele lui Lukasiewicz ale logicii cu valori infinite sunt algebre dezvoltate de el.

Publicații

• Logistică și filozofie - Jan Łukasiewicz. Logistyka a filozofia // Przegląd Filozoficzny: journal. - 1936. - Nr XXXIX . — S. 115-131 .
• Despre știință – Jan Łukasiewicz. O nauce // Gradient : journal. - 1994. - Nr. 3-4 (20) . - S. 75-99 .
• Despre creativitatea în știință - O tworczosci w nauce. Ksiega pamiatkowa ku uczczeniu 250 rocznicy zalozenia Uniwersytetu Lwowskiego. Lwow 1912. s.1-15
• În apărarea logisticii - W obronie logistyki. Myśl katolicka wobec logici współczesnej. Studia Gnesnensia, nr.15 (1937).

În poloneză:

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

In rusa:

• Ian Lukasevici. Silogistica aristotelică din punctul de vedere al logicii formale moderne / Traducere din engleză de N. I. Styazhkin și A. L. Subbotin. Editorial general și articol introductiv de prof. P. S. Popova . - M . : Editura de literatură străină, 1959. - 313 p.
  • Reeditare: M.: Trivium, 2000, ISBN=5-1251-0125-7.
• Ian Lukasevici. Pe principiul contradicţiei la Aristotel. Studiu critic / Traducere din poloneză de B. T. Dombrowski . Ediție generală, articol introductiv și note de profesorul A. S. Karpenko . - M.-SPb.: Centrul de Inițiative Umanitare, 2012. - 255 p. - ISBN 978-5-98712-038-5 .

În limba engleză:

• Jan Lukasiewicz. Silogistica lui Aristotil din punctul de vedere al logicii formale moderne. — Oxford, 1957.
• J. Lukasiewicz. Lucrări alese / L. Borkowski ed. - Amsterdam & Warszawa: North-Holland & PWN, 1970.

Vezi și

• Sistem algebric

Note

1. ↑ Genealogia matematică  (engleză) - 1997.
2. ↑ Uniwersytet Warszawski

Literatură

• Lukasevich, Jan  / Porus V. H.  // Lomonosov - Manizer. - M  .: Marea Enciclopedie Rusă, 2011. - P. 118. - ( Marea Enciclopedie Rusă  : [în 35 de volume]  / redactor-șef Yu. S. Osipov  ; 2004-2017, v. 18). - ISBN 978-5-85270-351-4 .
• A. S. Karpenko , V. N. Porus. Lukasevici  // Noua Enciclopedie Filosofică  : în 4 volume  / prev. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M .  : Gândirea , 2010. - 2816 p.
• Borkowski L., SlupeckiT., Lucrările logice ale lui J. Lukasiewicz, „Studia Logica”, 1958. t. opt.

Site-uri tematice	Genealogie matematică zbMATH Deschide Arhiva pentru Istoria Matematicii MacTutor
Dicționare și enciclopedii	mare danez Mare catalană Rusă mare Italiană Chiril și Metodiu in jurul lumii universal lituanian croat Britannica (online) Brockhaus Baza de date cu nume notabile Treccani Universalis
Genealogie și necropole	Găsiți un mormânt
În cataloagele bibliografice 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  (rusă) , 000131540 SUDOC : 030536669 Vcba : 495/213655 VIAF : 12353616 WorldCat VIAF : 12353616