Jan Łukasiewicz: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 8:
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 ==
Os trabalhos de Łukasiewicz se inserem majoritariamente na área da lógica. No entanto, ele também desenvolveu uma [[filosofia da ciência]] de caráter anti-indutivo similar à filosofia de [[Karl Popper]].
=== Axiomatização da Lógica Proposicional ===
Um dos aspectos mais conhecidos do trabalho de Łukasiewicz são suas variadas e elegantes axiomatizações da lógica proposicional. Uma dessas axiomatizações consiste apenas de três axiomas que, em notação moderna, poderiam ser escritos da seguinte forma:
<math>(p\rightarrow q)\rightarrow ((q\rightarrow r)\rightarrow(p\rightarrow r))</math>
| |||