Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (né  le 21 décembre 1878 à Lemberg , †  13 février 1956 à Dublin ) était un philosophe , mathématicien et logicien polonais .

Acte

De 1915 à 1939, Łukasiewicz fut professeur aux universités de Lviv et de Varsovie , et à deux reprises recteur dans cette dernière. Son travail là-bas était dominé par l' école Lemberg-Varsovie , dont les recherches fondamentales sur la logique mathématique ont fait de l'Université de Varsovie un centre de logique dans la période qui a suivi la Première Guerre mondiale . Parmi ses étudiants et ses collègues plus tard, il y avait Alfred Tarski . En 1919, Łukasiewicz fut pendant une courte période ministre polonais de l'Éducation.

En 1938, l' Université de Münster lui décerne un doctorat honorifique en philosophie. Pendant l' occupation après l' invasion allemande de la Pologne , il a travaillé à l' Université secrète souterraine de Varsovie ( Tajny Uniwersytet Warszawski ). Il a vécu la fin de la guerre à Hembsen , où son ami mathématiciens allemands l'avait amené pour sa propre sécurité. En 1949, il est allé à Dublin, où il a été offert un poste de professeur à l' université et a travaillé pour le reste de sa vie.

Il a ensuite introduit la notation dite polonaise ( notation de préfixe), dans laquelle l'opérateur d'une expression (par exemple une formule mathématique) est écrit devant l'opérande et n'a donc pas besoin de parenthèses: au lieu de 8 + 5 , vous écrivez + 8 5 . Plus tard, la notation polonaise inversée ( notation Postfix) en a été dérivée, dans laquelle les opérateurs sont écrits après leurs opérandes (par exemple 8 5 + ).

Jan Łukasiewicz a formalisé la logique trivalente £ 3 en 1920 et a ainsi créé le premier calcul logique à valeurs multiples et donc non classique . Ses travaux traitent également de la logique classique . De cette manière, indépendamment de Bernays et Post , il a prouvé l' exhaustivité et la cohérence de la logique propositionnelle classique .

Dans ses logiques de valeurs multiples , il utilise des fonctions de valeur de vérité , qui sont maintenant connus comme la négation Łukasiewicz-Tarski et implication Łukasiewicz-Tarski .

Jan Łukasiewicz a également écrit des ouvrages révolutionnaires sur l'histoire de la logique. Il reconstruit la syllogistique aristotélicienne et découvre à côté de Martha Kneale l'importance de la logique stoïque , qu'il considère comme la première forme historique de logique propositionnelle (aujourd'hui la priorité est attribuée aux «dialecticiens» Diodoros Kronos et Philon de Megara ). Avec cette réévaluation, il a libéré la Stoa du jugement ancien et persistant selon lequel elle avait introduit un formalisme stérile dans la logique, et a ajouté un nouveau chapitre à l'histoire de la logique.

Polices (sélection)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Cracovie 1910 (nouvelle édition Tekst przejrzał, przedmowa̧ i przypisami opatrzył Janvier Wolenski Państwowe Wydawnictwo Naukowe, Varsovie 1987. ISBN 83-01-06226-6 ; allemand: À propos du principe de contradiction chez Aristote (= L'interprétation moderne de Logique aristotélicienne. 5) Olms, Hildesheim et al. 1993, ISBN 3-487-09761-3 ).
  • avec Alfred Tarski : Enquêtes sur le calcul propositionnel. Dans: Comptes Rendus des de la Société Séances des Sciences et des Lettres de Varsovie, Classe 3. Volume 23, 1930, ZDB -ID 1110908-7 , pp 30-50..
  • Remarques philosophiques sur les systèmes à valeurs multiples du calcul propositionnel. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volume 23, 1930, pp. 51-77.
  • Z historii logiki zdań. Dans: Przegląd Filozoficzny. Volume 37, 1934, ISSN  1230-1493 , pp. 417-437, (Allemand: To the history of propositionitional logic. In: Knowledge . Volume 5, 1935, pp. 111-131, JSTOR 20011745 ; Discovery of the stoic junctor logic ).
  • Jan Łukasiewicz: syllogistique d'Aristote. Du point de vue de la logique formelle moderne. Clarendon Press, Oxford et al.1951.
  • Elementy logiki matematycznej. 2e édition. Państwowe Wydawnictwo Naukowe, Varsovie 1958, (Anglais: Éléments de logique mathématique (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ). Traduit du polonais par Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 ).
  • Sélection d'ouvrages (= études en logique et fondements des mathématiques. ). Edité par L. Borkowski. North-Holland et al., Amsterdam et al.1970 , ISBN 0-7204-2252-3 .

Littérature

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz et Jan Łukasiewicz. Dans: Forum pour l'histoire des idées et de l'histoire contemporaine d'Europe de l'Est. Volume 11, n ° 2, 2007, ISSN  1433-4887 , pp. 107-125, (Traduction: On the Relations between Heinrich Scholz and Jan Łukasiewicz. In: History and Philosophy of Logic. Volume 28, No 1, 2007, ISSN  0144-5340 , pages 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristote et Łukasiewicz. Sur le principe de la logique de contradiction moderne, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - La quête de la forme de la science. Dans: Wladyslaw Krajewski (Ed.): Philosophes polonais de la science et de la nature au XXe siècle (= Études de Poznan dans la philosophie des sciences et des sciences humaines. 74 = Philosophie analytique polonaise. 3). Rodopi, Amsterdam et al.2001 , ISBN 90-420-1497-0 , pp. 27-35.
  • Jan Wolenski (Ed.): Logique philosophique en Pologne (= Bibliothèque de synthèse. 228). Kluwer, Dordrecht et al.1994 ISBN 0-7923-2293-2 .

liens web

Preuve individuelle

  1. ^ "La décidabilité de la logique propositionnelle, à travers l'utilisation de tables de vérité, connues de Frege et Peirce; une preuve de sa décidabilité est attribuable à Jan Łukasiewicz et Emil Post indépendamment en 1921. »( Logic. In: The New Encyclopædia Britannica. Volume 23. 15e édition. Encyclopaedia Britannica, Chicago IL et al. 2003, ISBN 0-85229-961 -3 , P. 279, col.2).