Paradoxo do Mentiroso - 2

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

A Teoria da Verdade de Tarski: conceitos de linguagem objecto e metalinguagem; definição de verdade em L (numa metalinguagem para L). Demonstração do modo como a definição metalinguística de verdade em L bloqueia a possibilidade de se derivar o paradoxo do mentiroso em L.  Críticas à solução tarskiana para o paradoxo: crítica da restrição excessiva (Kripke); crítica da relatividade (Blackburn).