Tópicos em filosofia da lógica: Um panorama da paraconsistência

Abstract

A lógica paraconsistente, uma família de sistemas formais que tolera contradições sem trivialização, é explorada nesta pesquisa de forma ampla, dando enfoque em seus aspectos filosóficos e alguns aspectos formais. Este trabalho examina aspectos filosóficos e metodológicos de dois sistemas lógicos paraconsistentes dentro desta família: a lógica do paradoxo e os sistemas formais inconsistentes. Dada a abordagem da lógica clássica em relação às contradições, a revisão da lógica tornou-se um debate crucial para o avanço das lógicas paraconsistentes. Portanto, neste trabalho investiga-se um dos primeiros modelos para a revisão de teorias lógicas em Routley. Esta revisão desafia a visão tradicional do conhecimento lógico como incorrigível, abrindo espaço para o anti-excepcionalismo. Os autores de LP e SFI discordam desta tradição que caracteriza o conhecimento lógico como a priori, antecipando debates atuais sobre o anti-excepcionalismo. Além disso, a filosofia da lógica de da Costa se aproxima do pluralismo local, restringindo a aplicação da lógica a contextos científicos. Explora-se também a relação do dialeteísmo com o monismo lógico. A aplicação canônica da lógica confere ao projeto de Priest um caráter unificador, que o faz caminhar para o monismo lógico.

Paraconsistent logic, a family of formal systems that tolerate contradictions without trivialization, is extensively explored in this research, focusing on its philosophical and some formal aspects. This work examines the philosophical and methodological aspects of two paraconsistent logical systems within this family: the logic of paradox and the inconsistent formal systems. Given classical logic's approach to contradictions, the revision of logic has become a crucial debate for the advancement of paraconsistent logic. Therefore, this work investigates one of the first models for the review of logical theories in Routley (1980). This review challenges the traditional view of logical knowledge as incorrigible, opening space for anti-exceptionalism. The authors of LP and IFS disagree with this tradition that characterizes logical knowledge as a priori, anticipating current debates about anti-exceptionalism. Furthermore, da Costa's philosophy of logic approaches local pluralism, restricting the application of logic to scientific contexts. The relationship between dialetheism and logical monism is explored. The canonical application of logic gives Priest's project a unifying character, which makes it move toward logical monism.