Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ tammikuu wukaɕɛvʲitʃ ] (syntynyt  Joulukuu 21, 1878 in Lemberg , †  Helmikuu 13, 1956 in Dublin ) oli puolalainen filosofi , matemaatikko ja logician .

Toimia

Vuodesta 1915-1939, Łukasiewicz oli professorina klo yliopistojen Lviv ja Varsovan , ja kahdesti rehtorina jälkimmäisen. Hänen työtään hallitsi Lemberg-Varsovan koulu , jonka matemaattisen logiikan perustutkimus teki Varsovan yliopistosta logiikan keskuksen ensimmäisen maailmansodan jälkeen . Hänen opiskelijoidensa ja myöhempien kollegoidensa joukossa oli Alfred Tarski . Vuonna 1919 Łukasiewicz oli Puolan opetusministeri lyhyen ajan.

Vuonna 1938 Universität Münster myönsi hänelle kunniatohtorin filosofiassa. Aikana miehityksen jälkeen Saksan hyökättyä Puolaan , hän työskenteli salaisen Varsovan maanalainen yliopisto ( Tajny Uniwersytet Warszawski ). Hän koki sodan lopun Hembsenissä , jonne hänen ystävänsä saksalaiset matemaatikot olivat tuoneet hänet omaan turvallisuuteensa. Vuonna 1949 hän meni Dubliniin, jossa hänelle tarjottiin professuuria yliopistossa ja hän työskenteli loppuelämänsä ajan.

Myöhemmin hän esitteli ns. Puolankielisen merkinnän (etuliitemerkintä), jossa lausekkeen (esim. Matemaattisen kaavan) operaattori kirjoitetaan operandin eteen eikä siten tarvitse sulkeita: 8 + 5 : n sijaan kirjoitat + 8 5 . Myöhemmin käänteinen Puolan merkintätapa (postfixin merkintä) oli peräisin tästä, jossa operaattorit on kirjoitettu sen jälkeen, kun niiden operandit (esim. 8 5 + ).

Jan Łukasiewicz virallisti kolmiarvoinen logiikka £ 3 1920 ja siten loi ensimmäisen moniarvoinen ja siten ei-klassiset looginen hammaskiven . Hänen työnsä käsitteli myös klassista logiikkaa . Tällä tavoin, riippumatta Bernays ja Post , hän osoitti täydellisyyden ja johdonmukaisuuden klassisen lause- logiikan .

Moniarvoisissa logiikoissaan hän käytti totuusarvofunktioita , jotka tunnetaan nyt nimellä Łukasiewicz-Tarski -negaatio ja Łukasiewicz-Tarski-implikaatio .

Jan Łukasiewicz kirjoitti myös uraauurtavia teoksia logiikan historiasta. Hän rekonstruoitu Aristoteleen syllogistics ja löysi vieressä Martha Kneale tärkeyttä stoalainen logiikkaa, jonka hän piti aikaisintaan historiallinen muodossa lause- logiikan (nykyään prioriteetti syyttää "dialektikot" Diodoros Kronos ja Filon Megaran ). Tällä uudelleenarvioinnilla hän vapautti Stoan vanhasta ja sitkeästä tuomiosta, jonka mukaan se oli tuonut steriilin formalismin logiikkaan, ja lisännyt uuden luvun logiikan historiaan.

Fontit (valinta)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Krakova 1910 (uusi painos Teksti przejrzał, przedmowa̧ i przypisami opatrzył tammikuu Wolenski Państwowe Wydawnictwo Naukowe, Varsovassa 1987. ISBN 83-01-06226-6 , saksa: Noin periaate ristiriita Aristoteles (= Moderni tulkinta Aristotelian logiikka. 5). Olms, Hildesheim ym. 1993, ISBN 3-487-09761-3 ).
  • jossa Alfred Tarski : Tutkimukset propositiologiikka. Julkaisussa: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. 23. osa 1930, ZDB- ID 1110908-7 , s. 30-50.
  • Filosofiset huomautukset ehdotuslaskun moniarvoisista järjestelmistä. Julkaisussa: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. 23. osa 1930, s.51-77.
  • Z historii logiki zdań. Julkaisussa: Przegląd Filozoficzny. Vuosikerta 37, 1934, ISSN  1230-1493 , s. 417-437, (saksa: Proposition logicin historiaan. Julkaisussa: Knowledge . Vuosikerta 5, 1935, s. 111-131, JSTOR 20011745 ; Stoisen junktori- logiikan löytäminen ).
  • Jan Łukasiewicz: Aristoteleen sylogistiikka. Nykyaikaisen muodollisen logiikan näkökulmasta. Clarendon Press, Oxford et ai.151.
  • Elementy logiki matematycznej. 2. painos. Państwowe Wydawnictwo Naukowe, Varsova 1958, (englanti: Elements of mathematical logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Kääntäjä puolasta Olgierd Wojtasiewicz. Pergamon Press, Oxford ym. 1963 ).
  • Valitut teokset (= Logiikan ja matematiikan perusteet ). Toimittanut L.Borkowski. Pohjois-Hollanti et ai., Amsterdam ym. 1970, ISBN 0-7204-2252-3 .

kirjallisuus

  • Hans-Christoph Schmidt am Busch, Kai F.Wehmeier : Heinrich Scholz ja Jan Łukasiewicz. Julkaisussa: Forum for Eastern European Ideas History and Contemporary History. Osa 11, nro 2, 2007, ISSN  1433-4887 , s. 107–125, (Käännös: Heinrich Scholzin ja Jan Łukasiewiczin välisistä suhteista. Julkaisussa: History and Philosophy of Logic. Volume 28, No. 1, 2007, ISSN  0144-5340 , s. 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristoteles ja Łukasiewicz. Ristiriidan nykyaikaisesta logiikasta, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - Tieteen muodon etsintä. Julkaisussa: Wladyslaw Krajewski (Toim.): Puolalaiset tieteen ja luonnon filosofit 1900-luvulla (= Poznan Studies in the Philosophy of the Sciences and Humanities. 74 = Polish Analytical Philosophy. 3). Rodopi, Amsterdam ym. 2001, ISBN 90-420-1497-0 , sivut 27-35.
  • Jan Wolenski (Toim.): Filosofinen logiikka Puolassa (= Synthesis Library. 228). Kluwer, Dordrecht ym. 1994 ISBN 0-7923-2293-2 .

nettilinkit

Yksittäiset todisteet

  1. ↑ "Lauselogiikan päätettävyys totuustaulukoiden avulla, jotka Frege ja Peirce tuntevat; todiste sen päätettävyydestä johtuu Jan Łukasiewiczista ja Emil Postista itsenäisesti vuonna 1921. "( Logic. julkaisussa: The New Encyclopædia Britannica. Nide 23. 15. painos. Encyclopaedia Britannica, Chicago IL ym. 2003, ISBN 0-85229-961 -3 , s. 279, sarake 2).
henkilökohtaiset tiedot
SUKUNIMI Łukasiewicz, Jan
LYHYT KUVAUS Puolalainen filosofi, matemaatikko ja logiikka
SYNTYMÄAIKA 21. joulukuuta 1878
SYNTYMÄPAIKKA Lviv , Galicia
KUOLINPÄIVÄMÄÄRÄ 13. helmikuuta 1956
KUOLEMAN PAIKKA Dublin