Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Łukasiewicz [ jan wukaˈɕɛvʲitʃ ] (nascido  em 21 de dezembro de 1878 em Lemberg , †  13 de fevereiro de 1956 em Dublin ) foi um filósofo , matemático e lógico polonês .

agir

De 1915 a 1939, Łukasiewicz foi professor nas Universidades de Lviv e Varsóvia , e duas vezes reitor na última. Seu trabalho lá foi dominado pela Escola Lemberg-Varsóvia , cuja pesquisa básica em lógica matemática fez da Universidade de Varsóvia um centro de lógica no período após a Primeira Guerra Mundial . Entre seus alunos e colegas posteriores estava Alfred Tarski . Em 1919, Łukasiewicz foi Ministro da Educação da Polônia por um curto período.

Em 1938, a Universidade de Münster concedeu-lhe um doutorado honorário em filosofia. Durante a ocupação após a invasão alemã da Polônia , ele trabalhou na secreta Universidade Subterrânea de Varsóvia ( Tajny Uniwersytet Warszawski ). Ele experimentou o fim da guerra em Hembsen , para onde seu amigo matemático alemão o trouxera para sua própria segurança. Em 1949 ele foi para Dublin, onde foi oferecido um cargo de professor na universidade e trabalhou pelo resto de sua vida.

Mais tarde, ele introduziu a chamada notação polonesa ( notação de prefixo), na qual o operador de uma expressão (por exemplo, uma fórmula matemática) é escrito na frente do operando e, portanto , não precisa de parênteses: em vez de 8 + 5 , você escreve + 8 5 . Posteriormente, a notação polonesa reversa ( notação Postfix) foi derivada disso, em que os operadores são escritos após seus operandos (por exemplo, 8 5 + ).

Jan Lukasiewicz formalizou a lógica trivalente £ 3 em 1920 e, assim, criou o primeiro multi-valorizados e, portanto, não-clássica lógica cálculo . Seu trabalho também tratou da lógica clássica . Dessa forma, independentemente de Bernays e Post , ele provou a integridade e a consistência da lógica proposicional clássica .

Em suas lógicas valorizado-MULTI ele usou funções valor de verdade , que agora são conhecidos como Łukasiewicz-Tarski negação e Łukasiewicz-Tarski implicação .

Jan Łukasiewicz também escreveu obras inovadoras sobre a história da lógica. Reconstruiu a silogística aristotélica e descobriu ao lado de Martha Kneale a importância da lógica estóica , que considerava a mais antiga forma histórica de lógica proposicional (hoje a prioridade é atribuída aos "dialéticos" Diodoros Kronos e Filo de Megara ). Com essa reavaliação, ele libertou o Stoa do velho e persistente julgamento de que havia introduzido um formalismo estéril na lógica e acrescentou um novo capítulo à história da lógica.

Fontes (seleção)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Cracóvia 1910 (nova edição Tekst przejrzał, przedmowa̧ i przypisami opatrzył Janeiro Wolenski Państwowe Wydawnictwo Naukowe, Varsóvia 1987. ISBN 83-01-06226-6 ; Alemão: Sobre o princípio da contradição em Aristóteles (= A interpretação moderna de Aristotelian logic. 5). Olms, Hildesheim et al. 1993, ISBN 3-487-09761-3 ).
  • com Alfred Tarski : Investigações no cálculo proposicional. In: Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Volume 23, 1930, ZDB -ID 1110908-7 , pp 30-50..
  • Observações filosóficas sobre sistemas multivalorados do cálculo proposicional. In: Comptes Rendus des Séances de Ia Société des Sciences et des Lettres de Varsovie, Classe 3. Volume 23, 1930, pp. 51-77.
  • Z historii logiki zdań. In: Przegląd Filozoficzny. Volume 37, 1934, ISSN  1230-1493 , pp. 417-437, (Alemão: Para a história da lógica proposicional. In: Conhecimento . Volume 5, 1935, pp. 111-131, JSTOR 20011745 ; Descoberta da lógica juncional estóica )
  • Jan Łukasiewicz: a silogística de Aristóteles. Do ponto de vista da lógica formal moderna. Clarendon Press, Oxford et al., 1951.
  • Elementy logiki matematycznej. 2ª edição. Państwowe Wydawnictwo Naukowe, Varsóvia 1958, (Inglês: Elementos de lógica matemática (= Série Internacional de Monografias sobre Matemática Pura e Aplicada. 31, ISSN  0539-0125 ). Traduzido do polonês por Olgierd Wojtasiewicz. Pergamon Press, Oxford et al. 1963 )
  • Trabalhos selecionados (= Estudos em Lógica e Fundamentos da Matemática. ). Editado por L. Borkowski. North-Holland et al., Amsterdam et al. 1970, ISBN 0-7204-2252-3 .

literatura

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz e Jan Łukasiewicz. In: Fórum de História das Idéias e História Contemporânea do Leste Europeu. Volume 11, No. 2, 2007, ISSN  1433-4887 , pp. 107-125, (Tradução: On the Relations between Heinrich Scholz and Jan Łukasiewicz. In: History and Philosophy of Logic. Volume 28, No. 1, 2007, ISSN  0144-5340 , pp. 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristóteles e Łukasiewicz. On the Principle of Contradiction Modern Logic, Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - A busca pela forma da ciência. In: Wladyslaw Krajewski (Ed.): Filósofos Poloneses da Ciência e da Natureza no Século XX (= Estudos de Poznan na Filosofia das Ciências e Humanidades. 74 = Filosofia Analítica Polonesa. 3). Rodopi, Amsterdam et al., 2001, ISBN 90-420-1497-0 , pp. 27-35.
  • Jan Wolenski (Ed.): Philosophical Logic in Poland (= Synthesis Library. 228). Kluwer, Dordrecht et al., 1994 ISBN 0-7923-2293-2 .

Links da web

Evidência individual

  1. ↑ “A decidibilidade da lógica proposicional, através do uso de tabelas de verdade, conhecidas por Frege e Peirce; uma prova de sua decidibilidade pode ser atribuída a Jan Łukasiewicz e Emil Post independentemente em 1921. “( Logic. In: The New Encyclopædia Britannica. Volume 23. 15ª edição. Encyclopaedia Britannica, Chicago IL et al. 2003, ISBN 0-85229-961 -3 , P. 279, coluna 2).
dados pessoais
SOBRENOME Łukasiewicz, Jan
DESCRIÇÃO BREVE Filósofo, matemático e lógico polonês
DATA DE NASCIMENTO 21 de dezembro de 1878
LOCAL DE NASCIMENTO Lviv , Galiza
DATA DA MORTE 13 de fevereiro de 1956
LUGAR DA MORTE Dublin