Resumen de Evidências e dependência ontológica:: sobre interpretações de lógicas paraconsistentes

Abílio Rodrigues, Henrique Antunes

• English

  In this paper we present two distinct, though not necessarily incompatible, approaches to paraconsistency. The first approach concerns the logics of evi-dence and truth, wherein contradictions are interpreted as conflicting non-conclusive evidence for a pair of propositions A & ¬A. The second approach proposes that the differences between classical logic and some systems of pa-raconsistent logic correspond to the distinction between ontologically inde-pendent and ontologically dependent objects, where the latter are characteri-zed as objects whose existence depends on our psychological processes and linguistic practices. In either interpretation, we illustrate how to justify the legitimacy of paraconsistent logics without endorsing the thesis that reality it-self requires contradictory propositions to be correctly described.

• português

  Neste texto, apresentamos duas abordagens distintas, mas não necessariamente excludentes, da paraconsistência. A primeira trata das lógicas da evidência e verdade (logics of evidence and truth), nas quais contradições são interpretadas como evidência não conclusiva, simultânea e conflitante para um par de proposições A e ¬A. A segunda abordagem propõe que as diferenças entre a lógica clássica e alguns sistemas de lógica paraconsistente correspondem à distinção entre objetos ontologicamente independentes e ontologicamente dependentes, sendo esses últimos caracterizados como objetos cuja existência depende de nossos processos psicológicos e práticas linguísticas. Em ambas as alternativas, ilustramos como justificar a legitimidade das lógicas paraconsistentes sem endossar a tese de que a realidade, para ser descrita corretamente, requer proposições contraditórias.