Paradoxo do Mentiroso - 1

14 Março 2016, 10:00 • António José Teiga Zilhão

O Paradoxo do Mentiroso na Grécia clássica: as versões de Epiménides de Cnossos e de Eubulides de Mileto.  Análise moderna do Paradoxo do Mentiroso. A sua consideração como uma família de paradoxos: apresentação de diferentes membros desta família. Demonstração da derivabilidade de uma destas versões do paradoxo numa linguagem formal cuja sintaxe inclua as regras da lógica proposicional e um predicado de verdade definido sintacticamente apenas à custa das noções de 'captura' e 'soltura'.