A Base de Pesquisa "Lógica, Conhecimento e Ética" promove mais um de seus
Seminários de Lógica e Filosofia, a saber:
A LÓGICA INTUICIONISTA
Profa. Dra. Maria da Paz Nunes de Medeiros
DEFIL / UFRN
Resumo:
A lógica intuicionista é normalmente conhecida, grosso modo, como a lógica não-clássica que rejeita o princípio do terceiro excluído. Entretanto, sua principal motivação surgiu no âmbito matemático e estava fortemente relacionada com questões relativas ao conceito de infinito. Apresentaremos as motivações, um sistema formal e os modelos de Kripke para a lógica intuicionista. Além disso, mostraremos que é possível traduzir a lógica clássica na intuicionista.
Data: 09 / 05 /2007 às 18 h 30
Local: Anfiteatro CCET / UFRN
Um comentário:
Postar um comentário