Sobre a lógica da verdade pragmática em cálculo de sequentes
Loading...
Date
Authors
Advisor
SIlvestrini, Luiz Henrique da Cruz 
Coadvisor
Graduate program
Filosofia - FFC
Undergraduate course
Journal Title
Journal ISSN
Volume Title
Publisher
Universidade Estadual Paulista (Unesp)
Type
Master's thesis
Access right
Acesso aberto
Abstract
Abstract (portuguese)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o sistema de Hilbert para o cálculo proposicional clássico e sua equivalência com os sequentes deste cálculo. Após mostrarmos a equivalência dedutiva dos dois sistemas clássicos, revisitaremos uma versão do sistema de tablôs para LPT e suas respectivas regras de expansão. Por fim, introduzimos as regras dos sequentes duais para a lógica da verdade pragmática, obtendo uma tradução entre as regras de expansão dos tablôs da LPT e seus respectivos sequentes.
Abstract (english)
The central aim of this research is to investigate an alternative deductive method for the Logic of Pragmatic Truth (LPT) in sequent calculus. In this sense, we present the Hilbert system for the classical propositional calculus and its equivalence with the respective sequents. After showing the deductive equivalences of the two classic systems, we will revisit a version of the tableau system for LPT and its respective expansion rules. Finally, we introduce the rules of dual sequents for the logic of pragmatic truth, obtaining a translation between the expansion rules of the LPT tableaux and their respective sequents.
Description
Keywords
Cálculo de sequentes, Lógica proposicional paraconsistente, Quase-verdade, Sequent calculus, Paraconsistent propositional logic, Quasi-truth
Language
Portuguese
