Topics in logical anti-exceptionalism and paraconsistent logics

• Autor(a) principal: Silva, Sanderson Molick
• Data de Publicação: 2021
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Repositório Institucional da UFRN
• Texto Completo: https://repositorio.ufrn.br/handle/123456789/46647
• topic: Anti-exceptionalism about logic; Paraconsistent logics; Logical pluralism; Aprioricity

A rivalidade entre a lógica clássica e suas concorrentes não-clássicas ocupa um lugar importante na filosofia da lógica contemporânea. A questão central é saber como escolher um sistema lógico (ou teoria lógica) dentre as várias possibilidades disponíveis. Uma proposta recente, nomeada anti-excepcionalismo lógico, afirma que disputas lógicas podem ser decididas através do emprego dos mesmos métodos de escolha de teoria utilizados nas ciências exatas, isto é, através da inferência à melhor explicação e da análise das virtudes teóricas de cada teoria em disputa. Esta tese filosófica tem sido explorada como uma agenda de pesquisa para investigar problemas como a revisabilidade da lógica, o caráter a priori do conhecimento lógico, o debate pluralismo/monismo lógico, os métodos de escolha de teorias lógicas, e outras questões similares. A presente monografia consiste numa investigação de tópicos fundacionais para o anti-excepcionalismo lógico em sua relação com uma classe específica de lógicas não-clássicas, a saber, a das lógicas paraconsistentes. A primeira parte da tese explora questões fundacionais do debate anti-excepcionalista a partir da aplicação de métodos e ferramentas conceituais da filosofia da ciência. Tópicos como a impregnação teórica na escolha de teorias lógicas, a subdeterminação dos dados lógicos, a noção de dado adequada para as lógicas paraconsistentes, o papel das virtudes teóricas nos desacordos lógicos, como também a adequada noção de aprioricidade para os propósitos anti-excepcionalistas, são introduzidos e discutidos. A segunda parte é dedicada aos aspectos técnicos das lógicas paraconsistentes. Os resultados centrais são a introdução de uma nova família de lógicas paraconsistentes não-monotônicas de primeira ordem capazes de validar muitas propriedades centrais das lógicas não-monotônicas. Além disso, apresentamos uma nova demonstração de compacidade para lógicas de primeira ordem finito-valoradas e caracterizadas por uma semântica não-determinística.