Sobre o Episódio
Neste episódio falarei um pouco sobre o famoso paradoxo do mentiroso e sua relação com os fundamentos da matemática. Mais precisamente, falarei de sua influência direta (ou indireta) em dois resultados de grande importância para a lógica — o teorema da indefinibilidade da verdade de Tarski e o teorema da incompletude de Gödel.
Ouça o episódio e descubra se tudo o que eu disse é verdade ou se trata de uma grande mentira...
Observação do Paradoxo:
- A frase (2) é falsa.
- A frase (1) é verdadeira.
Destaque
- SANTOS, Ricardo. Paradoxos Semânticos. Compêndio em Linha de Problemas de Filosofia Analítica (2014) - João Branquinho e Ricardo Santos (eds.). Lisboa: Centro de Filosofia da Universidade de Lisboa.
Outras Referências
- BEALL, Jc e GLANZBERG, Michael. Liar Paradox. The Stanford Encyclopedia of Philosophy (Fall 2014 Edition), Edward N. Zalta (ed.).
- CARNIELLI, Walter A. Os teoremas de Gödel, e o que eles não significam.
- D'OTTAVIANO, Ítala Maria Loffredo e FEITOSA, Hércules de Araujo. Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não clássicas. Rio Claro, abril de 2003.
- DOWDEN, Bradley. Liar Paradox. Internet Encyclopedia of Philosophy.