Lukasevich, Jan

Jan Lukasiewicz
Jan Lukasiewicz
Födelsedatum	21 december 1878( 1878-12-21 )
Födelseort	Lvov , Cisleitania , Österrike-Ungern
Dödsdatum	13 november 1956 (77 år)( 1956-11-13 )
En plats för döden	Dublin , Irland
Land	Österrike-Ungerska riket  → Polska republiken → Republiken Irland
Vetenskaplig sfär	logik , matematik
Arbetsplats	Warszawas universitet LNU dem. I. Franko
Alma mater	LNU dem. I. Franko Warszawas universitet
Akademisk examen	Ph.D
vetenskaplig rådgivare	Kazimir Tvardovsky [1]
Studenter	Alfred Tarski och Mordechai Weisberg [d]
Utmärkelser och priser
Citat på Wikiquote
Mediafiler på Wikimedia Commons

Jan Lukasiewicz ( polska Jan Łukasiewicz ; 21 december 1878 , Lviv  - 13 november 1956 , Dublin ) - polsk logiker och matematiker , medlem av den polska vetenskapsakademin (1937), en av de främsta företrädarna för skolan i Lviv-Warszawa .

1919 tjänstgjorde han som minister för religiösa samfund och utbildning.

Hedersdoktor vid Warszawas universitet (1924) [2] .

Sedan 1945 har han varit professor vid Royal Irish Academy i Dublin .

Arbetade inom området logiska problem med induktion och kausalitet och logiska grunder för sannolikhetsteorin . Han byggde det första systemet med mångvärdig logik, och med dess hjälp - systemet för modal logik. Han utvecklade ett originalspråk för att formalisera logiska uttryck (den så kallade polska notationen, som fungerade som grund för den mer kända omvända polska notationen ). Filosofiskt är han en positivist .

Lukasiewiczs många värdefulla logik

Lukasiewicz utvecklade det första systemet med mångvärdig logik  , trevärdig propositionslogik (1920). Som den tredje logiska betydelsen av påståendet infördes den betydelse som uttrycks av orden "troligen", "neutral". Varje påstående i Lukasiewicz-systemet kan sägas vara antingen sant (1), falskt (0) eller neutralt (1/2). Detta blev möjligt på grund av det faktum att Lukasevich var en av de första, oavsett den ryska logikern N. A. Vasilyev , lade fram tesen om möjligheten att konstruera logisk kalkyl, där principen om konsistens inte gäller. På basis av logik med tre värden byggde Lukasiewicz ett system av modal logik, där, tillsammans med studiet av logiska operationer på assertoriska påståenden (påståenden och negationer), de så kallade modala påståendena (starka och svaga påståenden och negationer) studeras.

1954 utvecklade Lukasiewicz ett logiksystem med fyra värden, och sedan - logiska system med oändligt värde (n-värde), där uppsättningen sanningsvärden är uträkneligt oändlig eller har styrkan av ett kontinuum (mängd). Rationella tal från segmentet (0, 1) fungerar som sanningsvärden . Lukasiewicz modeller av oändligt värdelogik är algebror utvecklade av honom.

Publikationer

• Logistik och filosofi - Jan Łukasiewicz. Logistyka a filozofia // Przegląd Filozoficzny: tidskrift. - 1936. - Nr XXXIX . — S. 115-131 .
• Om vetenskap – Jan Łukasiewicz. O nauce // Gradient : journal. - 1994. - Nr 3-4 (20) . - S. 75-99 .
• Om kreativitet i vetenskapen - O tworczosci w nauce. Ksiega pamiatkowa ku uczczeniu 250 rocznicy zalozenia Uniwersytetu Lwowskiego. Lwow 1912. s.1-15
• Till försvar av logistik - W obronie logistyki. Myśl katolicka wobec logici współczesnej. Studia Gnesnensia, nr.15 (1937).

På polska:

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

På ryska:

• Jan Lukasevich. Aristotelisk syllogistik ur modern formell logiks synvinkel / Översättning från engelska av N. I. Styazhkin och A. L. Subbotin. Allmän redaktionell och inledande artikel av prof. P.S. Popova . - M . : Förlag för utländsk litteratur, 1959. - 313 sid.
  • Återutgivning: M.: Trivium, 2000, ISBN=5-1251-0125-7.
• Jan Lukasevich. Om motsägelseprincipen hos Aristoteles. Kritisk studie / Översatt från polska av B. T. Dombrowski . Allmän upplaga, inledande artikel och anteckningar av professor A. S. Karpenko . - M.-SPb.: Centrum för humanitära initiativ, 2012. - 255 sid. - ISBN 978-5-98712-038-5 .

På engelska:

• Jan Lukasiewicz. Aristotiles sillogistik utifrån modern formell logik. — Oxford, 1957.
• J. Lukasiewicz. Selected Works / L. Borkowski ed. - Amsterdam & Warszawa: North-Holland & PWN, 1970.

Se även

• Algebraiskt system

Anteckningar

1. ↑ Mathematical Genealogy  (engelska) - 1997.
2. ↑ Uniwersytet Warszawski

Litteratur

• Lukasevich, Jan  / Porus V. H.  // Lomonosov - Manizer. - M  .: Great Russian Encyclopedia, 2011. - S. 118. - ( Great Russian Encyclopedia  : [i 35 volymer]  / chefredaktör Yu. S. Osipov  ; 2004-2017, v. 18). - ISBN 978-5-85270-351-4 .
• A.S. Karpenko , V.N. Porus. Lukasevich  // New Philosophical Encyclopedia  : i 4 volymer  / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.
• Borkowski L., SlupeckiT., J. Lukasiewiczs logiska verk, "Studia Logica", 1958. t. åtta.

Tematiska platser	Matematisk släktforskning zbMATH Öppna Arkiv för matematikens historia MacTutor
Ordböcker och uppslagsverk	Stor dansk Stor katalanska Stor ryss italienska Cyril och Methodius runt världen Litauisk universal Kroatisk Britannica (online) Brockhaus Anmärkningsvärda namndatabas Treccani Universalis
Släktforskning och nekropol	Hitta en grav
I bibliografiska kataloger 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  (ryska) , 000131540 SUDOC : 030536669 Vcba : 495/213655 VIAF : 12353616 WorldCat VIAF : 12353616