Alexandre Fernandes Batista Costa Leite

A dissertação apresenta resultados conhecidos acerca das lógicas da inconsistência formal propostas por W. Carnielli, J. Marcos e M. Coniglio bem como acerca das lógicas modais aléticas (C.I. Lewis)...A partir dos estudos acima, o autor inventou uma lógica que é tanto paraconsistente bem como modal para evitar uma inferência que ocorre em epistemologia chamada """"paradoxo da cognoscibilidade"""". ..O resultados originais do trabalho são: teoremas sobre impossibilidade de leis de redução de operadores de inconsistência, proposta de filosofia analítica não-clássica, lógica CiT paraconsistente e modal, completude da lógica, propriedades de CiT.