quinta-feira, 3 de maio de 2007

A LÓGICA INTUICIONISTA

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:

Renato Mendes Rocha disse...
Este comentário foi removido pelo autor.