Jan Łukasiewicz: diferenças entre revisões

'''Jan Łukasiewicz''' ([[21 de Dezembro]] de [[1878]] - [[13 de Fevereiro]] de [[1956]]) foi um [[lógico]] [[Polónia|polonês]] notável pelo seu desenvolvimento da lógica multivalente e seus estudos sobre a história da lógica, particularmente sua interpretação da [[lógica aristotélica]].

 

== Dados Biográficos ==

 

A [[Segunda Guerra Mundial]] levou muito sofrimento a Łukasiewicz, algo que ele descreveu em sua autobiografia escrita em [[1953]]. Em [[1946]], ele e sua mulher se encontravam exilados na [[Bélgica]] quando Łukasiewicz foi convidado para uma posição na Universidade de [[Dublin]], na [[Irlanda]], onde permaneceu até a data da sua morte.

 

== Obras ==

* Uma notação inspirada na de Łukasiewicz só que pós-fixada ao invés de pré-fixada, chamada [[notação polonesa inversa]], permanece em uso em algumas das calculadoras da [[Hewlett-Packard]] como a [[HP 12C Financeira|HP 12C]], assim como nas linguagens de programação [[Postscript]] e [[Forth]].

 

 

* Logika i metafizyka, Wydzial Filozofii i Socjologii Uniwersytetu Warszawskiego, Warsawa, 1998

* O zasadzie sprzecznosci u Arystotelesa, Warszawa, PWN, 1987

* Aristotle's Syllogistic from the Standpoint of Modern Formal Logic , Clarendon Press, Oxford 1951