Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (født  21. desember 1878 i Lemberg , †  13. februar 1956 i Dublin ) var en polsk filosof , matematiker og logiker .

Handling

Fra 1915 til 1939 var Łukasiewicz professor ved universitetene i Lviv og Warszawa , og to ganger rektor ved sistnevnte. Hans arbeid ble dominert av Lemberg-Warszawa-skolen , hvis grunnleggende forskning om matematisk logikk gjorde Universitetet i Warszawa til et sentrum for logikk i perioden etter første verdenskrig . Blant hans studenter og senere kolleger var Alfred Tarski . I 1919 var Łukasiewicz polsk utdanningsminister for en kort periode.

I 1938 tildelte universitetet i Münster ham en æresdoktorgrad i filosofi. Under okkupasjonen etter den tyske invasjonen av Polen jobbet han ved det hemmelige Warszawa Underground University ( Tajny Uniwersytet Warszawski ). Han opplevde slutten på krigen i Hembsen , hvor hans venn tyske matematikere hadde brakt ham for sin egen sikkerhet. I 1949 dro han til Dublin, hvor han ble tilbudt et professorat ved universitetet og jobbet resten av livet.

Han introduserte senere den såkalte polske notasjonen (prefiksnotasjon), der operatøren av et uttrykk (f.eks. En matematisk formel) er skrevet foran operanden og dermed ikke trenger parentes: i stedet for 8 + 5 skriver du + 8 5 . Senere ble den omvendte polske notasjonen (Postfix-notasjonen) avledet fra dette, der operatørene er skrevet etter operandene (f.eks. 8 5 + ).

Jan Łukasiewicz formaliserte den treverdige logikken Ł 3 i 1920 og skapte dermed den første flerverdige og dermed ikke-klassiske logiske beregningen . Hans arbeider handlet også om klassisk logikk . På denne måten, uavhengig av Bernays og Post , beviste han fullstendigheten og konsistensen av klassisk proposisjonslogikk .

I sine flerverdige logikker brukte han sannhetsverdifunksjoner , som nå er kjent som Łukasiewicz-Tarski-negasjon og Łukasiewicz-Tarski-implikasjon .

Jan Łukasiewicz skrev også banebrytende verk om logikkens historie. Han rekonstruerte den aristoteliske syllogistikken og oppdaget ved siden av Martha Kneale viktigheten av stoisk logikk, som han anså for å være den tidligste historiske formen for proposisjonslogikk (i dag tilskrives "dialektikerne" Diodoros Kronos og Philo of Megara prioritet ). Med denne revurderingen frigjorde han Stoa fra den gamle og vedvarende dommen om at den hadde innført en steril formalisme i logikken, og la et nytt kapittel til logikkens historie.

Skrifter (utvalg)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. W. Osławskiego, Krakow 1910 (ny utgave Tekst przejrzał, przedmowa̧ i przypisami opatrzył januar Wolenski Państwowe Wydawnictwo Naukowe, Warszawa 1987. ISBN 83-01-06226-6 ; tysk: Om motsetningsprinsippet i Aristoteles (= Den moderne tolkningen av Aristotelisk logikk. 5). Olms, Hildesheim et al. 1993, ISBN 3-487-09761-3 ).
  • med Alfred Tarski : Undersøkelser av proposisjonskalkylen. I: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volum 23, 1930, ZDB -ID 1110908-7 , s. 30-50.
  • Filosofiske bemerkninger om flerverdisystemer av proposisjonskalkulus. I: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volum 23, 1930, s. 51-77.
  • Z historii logiki zdań. I: Przegląd Filozoficzny. Volum 37, 1934, ISSN  1230-1493 , s. 417-437, (tysk: Til historien om proposisjonslogikk. I: Kunnskap . Volum 5, 1935, s. 111-131, JSTOR 20011745 ; Oppdagelse av den stoiske junktorlogikken ).
  • Jan Łukasiewicz: Aristoteles pensum. Fra synspunktet til moderne formell logikk. Clarendon Press, Oxford et al. 1951.
  • Elementy logiki matematycznej. 2. utgave. Państwowe Wydawnictwo Naukowe, Warszawa 1958, (engelsk: Elements of mathematical logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Oversatt fra polsk av Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 ).
  • Utvalgte arbeider (= Studies in Logic and the Foundations of Mathematics. ). Redigert av L. Borkowski. Nord-Holland et al., Amsterdam et al. 1970, ISBN 0-7204-2252-3 .

litteratur

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz og Jan Łukasiewicz. I: Forum for østeuropeisk idéhistorie og samtidshistorie. Volum 11, nr. 2, 2007, ISSN  1433-4887 , s. 107–125, (Oversettelse: Om forholdet mellom Heinrich Scholz og Jan Łukasiewicz. I: History and Philosophy of Logic. Volum 28, nr. 1, 2007, ISSN  0144-5340 , s. 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristoteles og Łukasiewicz. On the Principle of Contradiction Modern Logic, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - The Quest for the Form of Science. I: Wladyslaw Krajewski (red.): Polish Philosophers of Science and Nature in the 20th Century (= Poznan Studies in the Philosophy of Sciences and Humanities. 74 = Polish Analytical Philosophy. 3). Rodopi, Amsterdam et al. 2001, ISBN 90-420-1497-0 , s. 27-35.
  • Jan Wolenski (red.): Filosofisk logikk i Polen (= Synthesis Library. 228). Kluwer, Dordrecht et al. 1994 ISBN 0-7923-2293-2 .

weblenker

Individuelle bevis

  1. ↑ "The decidability av propositional logikk, gjennom bruk av sannhetstabeller, som er kjent for å Frege og Peirce; et bevis på dets avgjørbarhet kan tilskrives Jan Łukasiewicz og Emil Post uavhengig i 1921. "( Logic. I: The New Encyclopædia Britannica. Volum 23. 15. utgave. Encyclopaedia Britannica, Chicago IL et al. 2003, ISBN 0-85229-961 -3 , s. 279, kol. 2).
personlig informasjon
ETTERNAVN Łukasiewicz, jan
KORT BESKRIVELSE Polsk filosof, matematiker og logiker
FØDSELSDATO 21. desember 1878
FØDSELSSTED Lviv , Galicia
DØDSDATO 13. februar 1956
DØDSSTED Dublin