Sobre a lógica da verdade pragmática em cálculo de sequentes

Abstract

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.

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.