Grupo de estudos de lógica - 2013.1

Grupo de Estudos de Lógica: Teoremas de limitação e outros temas

FIL049 J – Tópicos em Filosofia II

Profs. Abílio Rodrigues e Antônio Coelho

Ementa: Os teoremas da correção, da completude e da compacidade; o teorema de Löwenheim - Skolem (descendente), o chamado paradoxo de Skolem e certas questões filosóficas a eles associadas; funções recursivas e sua representabilidade na aritmética de Robinson; os teoremas de indecidibilidade de Church e de indefinibilidade de Tarski; o primeiro teorema de incompletude de Gödel e alguns de seus desdobramentos filosóficos.
A principal referência bibliográfica será: Boolos, G. S. & Jeffrey, R. C. (1989), Computability and Logic (3rd ed.), Cambridge University Press.