Logics Of Formal Inconsistency

A presente tese intorduz as Lógicas da Inconsistencia Formal, estuda as suas propriedades e mostra que tais lógicas ocnstituem com efeito a maior parte dos sistemas paraconsistentes de literatura. Diversas formas de se efetuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas. Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados á provisão de conrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstrata é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os príncipios lógicos e as propriedades positivas e negativas da negação