Banca de DEFESA: SANDERSON MOLICK SILVA

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
STUDENT : SANDERSON MOLICK SILVA
DATE: 04/05/2021
TIME: 09:00
LOCAL: https://ruhr-uni-bochum.zoom.us/j/4829043973?pwd=Y0FWcWpKWnhaQTVJWVRCNjgxazY3dz09
TITLE:

Topics in logical anti-exceptionalism and paraconsistent logics

KEY WORDS:

Anti-exceptionalism about logic; Logical revision; Non-monotonic logics;

PAGES: 197
BIG AREA: Ciências Humanas
AREA: Filosofia
SUMMARY:

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 anti-exceptionalism and its relation to one specific class of non-classical logics, namely paraconsistent logics. Paraconsistent logics are known to accommodate contradictions in a non-explosive way, a feature not shared by classical logic. However, to what extent they can be considered as legitimate opponents to classical logic is still a matter of debate. Whereas some authors defend paraconsistent logics as mere amendments to faulty applications of classical logic, others defend them as a natural surrogate of the latter. One also finds authors that defend the use of classical logic in our metalanguage as well suited for our scientific purposes, in opposition to those that claim that our metalanguage ought to be reformed by non-classical concepts. The first part of the present thesis explores foundational issues of the anti-exceptionalist debate. Topics such as the relation between anti-exceptionalism and aprioricity, the underdetermined character of logical data, and the background logic problem, are introduced and addressed. The second part 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 important metaproperties of nonmonotonic logics.

BANKING MEMBERS:
Presidente - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES
Externo à Instituição - CHRISTIAN STRASSER
Externo à Instituição - HEINRICH WANSING
Externo à Instituição - HITOSHI OMORI