Material disponível

Olá para todos.

Abaixo, material disponível.

Capítulo do livro do Theodore Sider, Logic for Philosophy, com alguns comentários sobre os resultados que estamos estudando

http://dl.dropbox.com/u/5959592/Sider_4.5.pdf

Prova da consistência   

http://dl.dropbox.com/u/5959592/consistencia_fol.pdf

Prova da correção (usando quantificação objetual)

http://dl.dropbox.com/u/5959592/correcao_obj.pdf

Prova da completude 

http://dl.dropbox.com/u/5959592/completude.pdf

Texto do Peter Subers sobre o teorema de Löwenheim-Skolem e o paradoxo de Skolem

http://www.earlham.edu/~peters/courses/logsys/low-skol.htm

Prova do teorema de Löwenheim-Skolem

http://dl.dropbox.com/u/5959592/low_sk.pdf

Capítulo de Boolos & Jeffrey sobre o teorema de Löwenheim-Skolem

http://dl.dropbox.com/u/5959592/boolos_lsk_cap13.pdf