Intuicionismo

Mais dois textos em português sobre intuicionismo.
http://dl.dropbox.com/u/5959592/dacosta_intuicionismo.pdf
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf

Lógica Intuicionista

Olá para todos.
No link
http://dl.dropbox.com/u/5959592/intuicionismo_2010.pdf
o texto introdutório sobre lógica intuicionista.
Falaremos disso novamente no próximo encontro, segunda 17/5.
Abraços

O problema da indução e argumentos indutivos

Olá para todos.

No encontro do grupo de lógica e argumentação do dia 12 de abril
estudaremos argumentos indutivos e o problema da indução.

Usaremos o cap. 14 do Carnielli e também os textos e slides abaixo:

http://sites.google.com/site/pegufmg/Home/aula_inducao.pdf
http://dl.dropbox.com/u/5959592/russell_inducao.pdf
http://dl.dropbox.com/u/5959592/hume_inducao.pdf