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

Detalhes bibliográficos
Autor(a) principal: Rodrigues, Douglas Alexandre [UNESP]
Data de Publicação: 2021
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/204567
Resumo: 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.
id UNSP_d5c7ba27a307d3d89dae6190e12c4f1f
oai_identifier_str oai:repositorio.unesp.br:11449/204567
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Sobre a lógica da verdade pragmática em cálculo de sequentesOn the logic of pragmatic truth in sequent calculusCálculo de sequentesLógica proposicional paraconsistenteQuase-verdadeSequent calculusParaconsistent propositional logicQuasi-truthO 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.Não recebi financiamentoUniversidade Estadual Paulista (Unesp)SIlvestrini, Luiz Henrique da Cruz [UNESP]Universidade Estadual Paulista (Unesp)Rodrigues, Douglas Alexandre [UNESP]2021-05-02T21:59:57Z2021-05-02T21:59:57Z2021-02-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/11449/20456733004110041P1porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESP2024-08-13T17:49:38Zoai:repositorio.unesp.br:11449/204567Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-13T17:49:38Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Sobre a lógica da verdade pragmática em cálculo de sequentes
On the logic of pragmatic truth in sequent calculus
title Sobre a lógica da verdade pragmática em cálculo de sequentes
spellingShingle Sobre a lógica da verdade pragmática em cálculo de sequentes
Rodrigues, Douglas Alexandre [UNESP]
Cálculo de sequentes
Lógica proposicional paraconsistente
Quase-verdade
Sequent calculus
Paraconsistent propositional logic
Quasi-truth
title_short Sobre a lógica da verdade pragmática em cálculo de sequentes
title_full Sobre a lógica da verdade pragmática em cálculo de sequentes
title_fullStr Sobre a lógica da verdade pragmática em cálculo de sequentes
title_full_unstemmed Sobre a lógica da verdade pragmática em cálculo de sequentes
title_sort Sobre a lógica da verdade pragmática em cálculo de sequentes
author Rodrigues, Douglas Alexandre [UNESP]
author_facet Rodrigues, Douglas Alexandre [UNESP]
author_role author
dc.contributor.none.fl_str_mv SIlvestrini, Luiz Henrique da Cruz [UNESP]
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Rodrigues, Douglas Alexandre [UNESP]
dc.subject.por.fl_str_mv Cálculo de sequentes
Lógica proposicional paraconsistente
Quase-verdade
Sequent calculus
Paraconsistent propositional logic
Quasi-truth
topic Cálculo de sequentes
Lógica proposicional paraconsistente
Quase-verdade
Sequent calculus
Paraconsistent propositional logic
Quasi-truth
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021-05-02T21:59:57Z
2021-05-02T21:59:57Z
2021-02-26
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11449/204567
33004110041P1
url http://hdl.handle.net/11449/204567
identifier_str_mv 33004110041P1
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.source.none.fl_str_mv reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808128137600434176

Registros relacionados