Prova

Olá para todos.
Abaixo, a prova.
http://dl.dropbox.com/u/5959592/prova_1_dez.pdf
Entrega por email até 12h de segunda, 5/12.
Abraços

NÃO HAVERÁ AULA DIA 22/11

Olá para todos.

Devido à minha participação na banca do doutorado, não poderei ministrar a aula do dia 22/11, terça-feira.

Quinta, 24/11, haverá aula normal.

Abraços  

Construtivismo

Trechos do capítulo 8 da tradução de Thinking about Logic, Stephen Read, OUP
http://dl.dropbox.com/u/5959592/construtivismo.pdf

Lógica intuicionista

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

Outros textos
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf
http://dl.dropbox.com/u/5959592/kolmogorov_excluded_middle_heijnoort.pdf
http://dl.dropbox.com/u/5959592/priest_itcn_prop.pdf
http://www.phil.uu.nl/~dvdalen/articles/Blackwell(Dalen).pdf

Investigations into logical deductions, Gerhard Gentzen (1935)
http://dl.dropbox.com/u/5959592/gentzen.pdf
(Vejam especialmente a seção II, p. 74. As regras de DN estão na p. 77)