Logic of Pragmatic Truth presented in a Tableaux deductive system

Authors

  • Helen Gomes da Silva UNESP - FFC
  • H´ercules de Araujo Feitosa Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP/FC)

Keywords:

Quase-verdade, Verdade Pragmática , Lógica Paraconsistente , Lógica Trivalente, Tableaux Analíticos

Abstract

Inspirado na noc¸ao de quase-verdade de Newton da Costa, Silvestrini (2011) apresentou uma definic¸ao de verdade pragmáica via satisfação pragmática e, no mesmo trabalho, introduziu a Lógica da Verdade Pragmática (LPT) em um sistema axiomático. LPT é uma logica paraconsistente e trivalente. Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterções no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial de LPT. Neste artigo, introduzimos um sistema de tableaux, neste caso anal´ıtico, para a L´´ogica da Verdade Pragmática (LPT) e verificamos que os tableaux introduzidos são caracter´ısticos de LPT.

Downloads

Published

2022-11-19

How to Cite

SILVA, H. G. da; FEITOSA, H. de A. Logic of Pragmatic Truth presented in a Tableaux deductive system. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 7, 2022. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78. Acesso em: 28 sep. 2024.

Issue

v. 7 - Edição Ermac - Dezembro 2016

Section

Artigos de Pesquisa

License

Copyright (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Most read articles by the same author(s)