Aula 24/9

Na aula do dia 24/9 veremos provas de independência e alguns resultados metateóricos da lógica intuicionista.

As respectivas apostilas estão no dropbox.

Aula dia 17/9

Olá para todos.

Na aula do dia 17 veremos a prova da completude da lógica sentencial com o método de Henkin. Há duas apostilas no dropbox. Veremos também o teorema da compacidade (Hunter 32.20) e a seção 34 (decidibilidade da lógica sentencial).

Além disso, pretendo ver alguns resultados metateóricos da lógica intuicionista (apostila 'traducoes.glivenko' no dropbox).

Sugiro a leitura de textos sobre aspectos filosóficos da lógica intuicionista, por exemplo:

Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/
Excerto do livro do Heyting, Intuitionism, com apresentação de um sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf
Troelstra, História do Construtivismo no séc. XX
http://dl.dropbox.com/u/5959592/Troelstra.History.constructivism.20th.century.pdf

Aula 10/9

Olá para todos
Na aula de hoje veremos a prova da completude de Kalmar - seção 31 do Hunter.
No link
https://sites.google.com/site/textoslogica/arquivos/lema_6.2.pdf
há uma prova de um lema importante para a prova.
Veremos na segunda parte da aula sistemas axiomáticos e de dedução
natural para a lógica setencial.
Material disponível no dropbox, pasta 'dn.sis.ax'
Abraços
Abílio