Lukasevitj, Jan

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 18. januar 2022; verifikation kræver 1 redigering .
Jan Lukasiewicz
Jan Lukasiewicz
Fødselsdato 21. december 1878( 1878-12-21 )
Fødselssted
Dødsdato 13. november 1956 (77 år)( 1956-11-13 )
Et dødssted
Land Østrig-Ungarnske Rige  → Polsk RepublikRepublikken Irland

Videnskabelig sfære logik , matematik
Arbejdsplads
Alma Mater
Akademisk grad Ph.D
videnskabelig rådgiver Kazimir Tvardovsky [1]
Studerende Alfred Tarski og Mordechai Weisberg [d]
Priser og præmier
Wikiquote logo Citater på Wikiquote
 Mediefiler på Wikimedia Commons

Jan Lukasiewicz ( polsk Jan Łukasiewicz ; 21. december 1878 , Lviv  - 13. november 1956 , Dublin ) - polsk logiker og matematiker , medlem af det polske videnskabsakademi (1937), en af ​​de vigtigste repræsentanter for Lviv-Warszawa-skolen .

I 1919 fungerede han som minister for religiøse trosretninger og undervisning.

Æresdoktor ved Warszawa Universitet (1924) [2] .

Siden 1945 har han været professor ved Royal Irish Academy i Dublin .

Arbejdet inden for logiske problemer med induktion og kausalitet og logiske grundlag for sandsynlighedsteori . Han byggede det første system af logik med mange værdier, og med dets hjælp - systemet for modal logik. Han udviklede et originalt sprog til at formalisere logiske udtryk (den såkaldte polske notation, der tjente som grundlag for den mere berømte omvendte polske notation ). Filosofisk er han positivist .

Lukasiewiczs mange værdsatte logik

Lukasiewicz udviklede det første system af mange-værdi logik  , tre-værdi propositionel logik (1920). Som den tredje logiske betydning af udsagnet blev betydningen udtrykt med ordene "sandsynligvis", "neutral" introduceret. Hvert udsagn i Lukasiewicz-systemet kan siges at være enten sandt (1), falsk (0) eller neutralt (1/2). Dette blev muligt på grund af det faktum, at Lukasevich var en af ​​de første, uanset den russiske logiker N. A. Vasilyev , fremsatte tesen om muligheden for at konstruere logisk regning, hvor konsistensprincippet ikke gælder. På basis af logik med tre værdier byggede Lukasiewicz et system af modal logik, hvori sammen med studiet af logiske operationer på assertoriske udsagn (udsagn og negationer), de såkaldte modale udsagn (stærke og svage udsagn og negationer) er undersøgt.

I 1954 udviklede Lukasiewicz et logisk system med fire værdier, og derefter - uendeligt værdifulde (n-værdi) logiske systemer, hvor mængden af ​​sandhedsværdier er tælleligt uendelig eller har magten som et kontinuum (sæt). Rationelle tal fra segmentet (0, 1) fungerer som sandhedsværdier . Lukasiewicz's modeller af logik med uendelig værdi er algebraer udviklet af ham.

Publikationer

På polsk:

På russisk:

På engelsk:

Se også

Noter

  1. Matematisk genealogi  (engelsk) - 1997.
  2. Uniwersytet Warszawski

Litteratur