Considero que é importante em um curso de lógica enfatizar que há uma parte finitária e uma parte infinitária. A parte finitária contém o básico de teoria da prova. Mesmo a parte mais básica de teoria de modelos já é infinitária.
Acho que todos os livros de lógica, logo no começo, misturam conjuntos com fórmulas. Muita gente fica coma ridícula dúvida do "ovo e da galinha" : o que vem primeiro, teoria de conjuntos ou a lógica? ou, o que são esses conjuntos que aparecem na lógica? Já vi pesquisadores experientes que não conseguiram dar uma resposta direta para essas perguntas. A lógica necessária para desenvolver o básico da teoria de conjuntos das definições básicas até provas de independência (forcing) é toda ela finitária, pode ser feita em PRA, obviamente antecede a teoria de conjuntos na organização canônica da matemática e está fundada no que eu chamo de âmbito finitário (o alcance do raciocínio finitário no sentido explicado pelo Hilbert). Abraço Rodrigo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l