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

Abílio Rodrigues, Henrique Antunes

Resumo


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.


Palavras-chave


Evidência. Dependência Ontológica. Contradição. Paraconsistência. Paracompletude.

Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


Direitos autorais 2020 Abílio Rodrigues, Henrique Antunes