Projeto
Lógicas não clássicas
Resumo
Neste projeto de pesquisa são analisadas as leis básicas do pensamento aristotélico e o histórico de sua absorção como paradigma do pensamento ocidental. São pesquisadas as origens das lógicas ditas não clássicas, suas motivações, desenvolvimento e aplicações, bem como inter-relações entre elas. Em especial, estudamos a criação da lógica paraconsistente e a importância da escola brasileira de lógica paraconsistente.
Responsáveis
Membros
EVANDRO LUIS GOMES
GUILHERME LUIZ GRUDTNER
HERCULES DE ARAUJO FEITOSA