Topics in logical anti-exceptionalism and paraconsistent logics
The rivalry between classical logic and its non-classical contenders occupies the centre stage in contemporary philosophical logic. The central issue is to know how to choose a logical system (or theory thereof) among the many available possibilities. A recent proposal, named logical anti-exceptiona...
Na minha lista:
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | doctoralThesis |
Idioma: | pt_BR |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/handle/123456789/46647 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
id |
ri-123456789-46647 |
---|---|
record_format |
dspace |
institution |
Repositório Institucional |
collection |
RI - UFRN |
language |
pt_BR |
topic |
Anti-exceptionalism about logic Paraconsistent logics Logical pluralism Aprioricity |
spellingShingle |
Anti-exceptionalism about logic Paraconsistent logics Logical pluralism Aprioricity Silva, Sanderson Molick Topics in logical anti-exceptionalism and paraconsistent logics |
description |
The rivalry between classical logic and its non-classical contenders occupies
the centre stage in contemporary philosophical logic. The central issue is to know
how to choose a logical system (or theory thereof) among the many available possibilities. A recent proposal, named logical anti-exceptionalism, claims that logical
disputes may be settled through the employment of the same theory choice methods
used in the hard sciences, i.e., by inference to the best explanation and the analysis
of the theoretical virtues of each disputant theory. This philosophical thesis has
been explored as a research agenda to investigate issues such as the revisability of
logic, the a priori character of logical knowledge, the logical pluralism/monism debate, the methods for theory choice in logical theorizing, and other related questions.
The present monograph is an investigation of foundational topics within logical antiexceptionalism and its relation to one specific class of non-classical logics, namely
paraconsistent logics. For this, the thesis is composed of two parts. The first part explores foundational issues of the anti-exceptionalist debate by applying methods and
conceptual tools from the philosophy of science. Topics such as theory-ladenness in
logical theory choice, the underdetermined character of logical data, the adequate
notion of data for paraconsistent logics, the role of theoretical virtues in logical
disagreement, as well as the adequate notion of aprioricity for anti-exceptionalist
purposes, are introduced and addressed. The second part of the thesis is devoted to
technical aspects of paraconsistent logics. The main results are the introduction of
a new family of nonmonotonic first-order paraconsistent logics capable of satisfying
core metaproperties of nomonotonic logics. In addition, we introduce a novel proof
of compactness for finitely-valued first-order logics endowed with a nondeterministic semantics. |
author2 |
Almeida, João Marcos de |
author_facet |
Almeida, João Marcos de Silva, Sanderson Molick |
format |
doctoralThesis |
author |
Silva, Sanderson Molick |
author_sort |
Silva, Sanderson Molick |
title |
Topics in logical anti-exceptionalism and paraconsistent logics |
title_short |
Topics in logical anti-exceptionalism and paraconsistent logics |
title_full |
Topics in logical anti-exceptionalism and paraconsistent logics |
title_fullStr |
Topics in logical anti-exceptionalism and paraconsistent logics |
title_full_unstemmed |
Topics in logical anti-exceptionalism and paraconsistent logics |
title_sort |
topics in logical anti-exceptionalism and paraconsistent logics |
publisher |
Universidade Federal do Rio Grande do Norte |
publishDate |
2022 |
url |
https://repositorio.ufrn.br/handle/123456789/46647 |
work_keys_str_mv |
AT silvasandersonmolick topicsinlogicalantiexceptionalismandparaconsistentlogics |
_version_ |
1773965022324588544 |
spelling |
ri-123456789-466472022-05-02T15:40:12Z Topics in logical anti-exceptionalism and paraconsistent logics Silva, Sanderson Molick Almeida, João Marcos de http://lattes.cnpq.br/4180373073004125 http://lattes.cnpq.br/3059324458238110 Alves, Daniel Durante Pereira http://lattes.cnpq.br/0105245515649663 Strasser, Christian Wansing, Heinrich Omori, Hitoshi Anti-exceptionalism about logic Paraconsistent logics Logical pluralism Aprioricity The rivalry between classical logic and its non-classical contenders occupies the centre stage in contemporary philosophical logic. The central issue is to know how to choose a logical system (or theory thereof) among the many available possibilities. A recent proposal, named logical anti-exceptionalism, claims that logical disputes may be settled through the employment of the same theory choice methods used in the hard sciences, i.e., by inference to the best explanation and the analysis of the theoretical virtues of each disputant theory. This philosophical thesis has been explored as a research agenda to investigate issues such as the revisability of logic, the a priori character of logical knowledge, the logical pluralism/monism debate, the methods for theory choice in logical theorizing, and other related questions. The present monograph is an investigation of foundational topics within logical antiexceptionalism and its relation to one specific class of non-classical logics, namely paraconsistent logics. For this, the thesis is composed of two parts. The first part explores foundational issues of the anti-exceptionalist debate by applying methods and conceptual tools from the philosophy of science. Topics such as theory-ladenness in logical theory choice, the underdetermined character of logical data, the adequate notion of data for paraconsistent logics, the role of theoretical virtues in logical disagreement, as well as the adequate notion of aprioricity for anti-exceptionalist purposes, are introduced and addressed. The second part of the thesis is devoted to technical aspects of paraconsistent logics. The main results are the introduction of a new family of nonmonotonic first-order paraconsistent logics capable of satisfying core metaproperties of nomonotonic logics. In addition, we introduce a novel proof of compactness for finitely-valued first-order logics endowed with a nondeterministic semantics. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES 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. 2022-03-22T16:24:18Z 2022-03-22T16:24:18Z 2021-05-03 doctoralThesis SILVA, Sanderson Molick. Topics in logical anti-exceptionalism and paraconsistent logics. 2021. 196f. Tese (Doutorado em Filosofia) - Centro de Ciências Humanas, Letras e Artes, Universidade Federal do Rio Grande do Norte, Natal, 2021. https://repositorio.ufrn.br/handle/123456789/46647 pt_BR Acesso Aberto application/pdf Universidade Federal do Rio Grande do Norte Brasil UFRN PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA |