Lukaševič, Jan

Jan Lukasiewicz
Jan Lukasiewicz
Datum narození	21. prosince 1878( 1878-12-21 )
Místo narození	Lvov , Cisleitania , Rakousko-Uhersko
Datum úmrtí	13. listopadu 1956 (77 let)( 1956-11-13 )
Místo smrti	Dublin , Irsko
Země	Rakousko-Uhersko  → Polská republika → Irská republika
Vědecká sféra	logika , matematika
Místo výkonu práce	Varšavská univerzita LNU je. I. Franko
Alma mater	LNU je. I. Franko Varšavská univerzita
Akademický titul	Ph.D
vědecký poradce	Kazimír Tvardovský [1]
Studenti	Alfred Tarski a Mordechai Weisberg [d]
Ocenění a ceny
Citace na Wikicitátu
Mediální soubory na Wikimedia Commons

Jan Lukasiewicz ( polsky Jan Łukasiewicz ; 21. prosince 1878 , Lvov  - 13. listopadu 1956 , Dublin ) - polský logik a matematik , člen Polské akademie věd (1937), jeden z hlavních představitelů lvovsko-varšavské školy .

V roce 1919 působil jako ministr pro náboženské vyznání a školství.

Čestný doktor Varšavské univerzity (1924) [2] .

Od roku 1945 je profesorem na Královské irské akademii v Dublinu .

Pracoval v oblasti logických problémů indukce a kauzality a logických základů teorie pravděpodobnosti . Vybudoval první systém mnohohodnotové logiky as její pomocí - systém modální logiky. Vyvinul originální jazyk pro formalizaci logických výrazů (tzv. polský zápis, který sloužil jako základ pro známější reverzní polský zápis ). Filosoficky je pozitivista .

Mnohocenná Lukasiewiczova logika

Lukasiewicz vyvinul první systém mnohohodnotové logiky  , tříhodnotové výrokové logiky (1920). Jako třetí logický význam výroku byl zaveden význam vyjádřený slovy „pravděpodobně“, „neutrální“. Každý výrok v Lukasiewiczově systému lze označit za pravdivý (1), nepravdivý (0) nebo neutrální (1/2). To bylo možné díky skutečnosti, že Lukaševič byl jedním z prvních, bez ohledu na ruského logika N. A. Vasiljeva , předložil tezi o možnosti sestrojit logický kalkul, ve kterém se neuplatňuje princip konzistence. Na základě trojhodnotové logiky vybudoval Lukasiewicz systém modální logiky, ve kterém spolu se studiem logických operací nad asertorickými výroky (výroky a negacemi) vznikaly tzv. modální výroky (silné a slabé výroky a negace) jsou studovány.

V roce 1954 Lukasiewicz vyvinul čtyřhodnotový systém logiky a poté - nekonečné (n-hodnotové) logické systémy, ve kterých je množina pravdivostních hodnot spočítatelně nekonečná nebo má sílu kontinua (množiny). Racionální čísla ze segmentu (0, 1) fungují jako pravdivostní hodnoty . Lukasiewiczovy modely logiky s nekonečnou hodnotou jsou algebry, které vyvinul.

Publikace

• Logistika a filozofie - Jan Łukasiewicz. Logistyka a filozofia // Przegląd Filozoficzny: journal. - 1936. - č. XXXIX . — S. 115-131 .
• O vědě – Jan Łukasiewicz. O nauce // Gradient : journal. - 1994. - č. 3-4 (20) . - S. 75-99 .
• O tvořivosti ve vědě - O tworczosci w nauce. Ksiega pamiatkowa ku uczczeniu 250 rocznicy zalozenia Uniwersytetu Lwowskiego. Lwow 1912. s.1-15
• Na obranu logistiky - W obronie logistyki. Myśl katolicka wobec logici współczesnej. Studia Gnesnensia, č. 15 (1937).

V polštině:

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

V Rusku:

• Jan Lukaševič. Aristotelská syllogistika z pohledu moderní formální logiky / Překlad z angličtiny N. I. Styazhkina a A. L. Subbotina. Obecný úvodník a úvodní článek prof. P. S. Popová . - M . : Nakladatelství zahraniční literatury, 1959. - 313 s.
  • Reedice: M.: Trivium, 2000, ISBN=5-1251-0125-7.
• Jan Lukaševič. Na principu rozporu u Aristotela. Kritická studie / Z polštiny přeložil B. T. Dombrowski . Obecné vydání, úvodní článek a poznámky profesora A. S. Karpenka . - M.-SPb.: Centrum pro humanitární iniciativy, 2012. - 255 s. - ISBN 978-5-98712-038-5 .

V angličtině:

• Jan Lukasiewicz. Aristotilova sillogistika z hlediska moderní formální logiky. - Oxford, 1957.
• J. Lukasiewicz. Selected Works / L. Borkowski ed. - Amsterdam & Warszawa: North-Holland & PWN, 1970.

Viz také

• Algebraický systém

Poznámky

1. ↑ Matematická genealogie  (anglicky) - 1997.
2. ↑ Uniwersytet Warszawski

Literatura

• Lukaševič, Jan  / Porus V. H.  // Lomonosov - Manizer. - M  .: Velká ruská encyklopedie, 2011. - S. 118. - ( Velká ruská encyklopedie  : [ve 35 svazcích]  / šéfredaktor Yu. S. Osipov  ; 2004-2017, v. 18). - ISBN 978-5-85270-351-4 .
• A. S. Karpenko , V. N. Porus. Lukasevich  // Nová filozofická encyklopedie  : ve 4 svazcích  / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M .  : Myšlenka , 2010. - 2816 s.
• Borkowski L., SlupeckiT., Logická díla J. Lukasiewicze, "Studia Logica", 1958. t. osm.

Tematické stránky	Matematická genealogie zbMATH Otevřeno Archiv pro historii matematiky MacTutor
Slovníky a encyklopedie	Velká dánština Velká Katalánština Velký Rus italština Cyrila a Metoděje okolo světa Litevský univerzál chorvatský Britannica (online) Brockhaus Databáze pozoruhodných jmen Treccani Universalis
Genealogie a nekropole	Najděte hrob
V bibliografických katalozích 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  (ruština) , 000131540 SUDOC : 030536669 Vcba : 495/213655 VIAF : 12353616 WorldCat VIAF : 12353616