Detalhes bibliográficos
| Ano de defesa: |
2021 |
| Autor(a) principal: |
Silva, Sanderson Molick |
| Orientador(a): |
Almeida, João Marcos de |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal do Rio Grande do Norte
|
| Programa de Pós-Graduação: |
PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Brasil
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://repositorio.ufrn.br/handle/123456789/46647
|
Resumo: |
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. |
