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

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.