Ensaio sobre a filosofia das lógicas da inconsistência formal

Abstract

Esta dissertação é um ensaio sobre a filosofia das lógicas da inconsistência formal composto pela narração da trajetória inicial de três abordagens à lógica paraconsistente: as lógicas Cn, as lógicas da inconsistência formal e as lógicas da evidência e verdade. É visto que há um núcleo formal e filosófico comum a todas estas propostas que encontram suas raízes em seus primórdios, nas influentes contribuições de Newton da Costa para a lógica paraconsistente, que caracterizam a alcunha de tradição brasileira da paraconsistência. Tópicos como a negação de da Costa, a interação entre os conceitos de consistência e inconsistência dentro das lógicas da inconsistência formal, os predecessores e estado da arte das lógicas da evidência e verdade, acompanhados de suas interpretações filosóficas, são investigados, criticados e analisados. São vistos também sistemas formais das lógicas Cn, LFIs, LFUs, LFIUs e LETs, com destaque para as últimas. Encerra-se este texto com comentários gerais, críticas e sugestões de desenvolvimentos posteriores para as LETs.

Abstract: This dissertation is an essay on the philosophy of logics of formal inconsistency, composed of an account of the initial development of three approaches to paraconsistent logic: Cn logics, logics of formal inconsistency, and logics of evidence and truth. It is shown that there is a common formal and philosophical core among these proposals, whose roots trace back to their origins in Newton da Costa?s influential contributions to paraconsistent logic, which define what is known as the Brazilian tradition of paraconsistency. Topics such as da Costa?s negation, the interaction between the concepts of consistency and inconsistency within logics of formal inconsistency, the predecessors and the state of the art of logics of evidence and truth, along with their philosophical interpretations, are investigated, criticized, and analyzed. The formal systems Cn, LFIs, LFUs, LFIUs, and LETs are also examined, with particular emphasis on the latter. The dissertation concludes with general remarks, critiques, and suggestions for further developments of the LETs.