Grupo de Lógica - 2013.2

Lendo o Shoenfield - Lógica Matemática

Horário: Quintas-feiras das 17h às 18h40

Objetivo: Apresentar uma introdução à Lógica Clássica de Primeira Ordem usando como base o livro Mathematical Logic, de Joseph Shoenfield. 

Ementa: A Natureza da Lógica Matemática. Teorias de Primeira Ordem. Teoremas em Teorias de Primeira Ordem. O Problema da Caracterização e o Teorema da Completude. 

Bibliografia: Shoenfield, J.R.: 1967 (2010). Mathematical Logic. New York, CRC Press. 

Programa para ler arquivos .djvu

http://djvu.org/resources/
ou instalador no link
https://dl.dropboxusercontent.com/u/5959592/WinDjView-2.0.2-Setup.exe

Cronograma - 2013.1

https://dl.dropbox.com/u/5959592/cronograma.grupo.pdf

Material disponível

Forma normal prenexa
https://dl.dropbox.com/u/5959592/prenexa.pdf

Completude - Henkin
https://dl.dropbox.com/u/5959592/completude_QS.pdf

Completude com identidade
https://dl.dropbox.com/u/5959592/completude_identidade.pdf

Ver também: Mortari, tablôs com identidade e símbolos funcionais

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.

Conversor - forma normal prenexa

http://www.xamuel.com/prenex/