Dissertação
Ver fonte original- Autor
- DOUGLAS ALEXANDRE RODRIGUES
- Orientador(a)
- LUIZ HENRIQUE DA CRUZ SILVESTRINI
- Universidade
- UNIVERSIDADE ESTADUAL PAULISTA JÚLIO DE MESQUITA FILHO (MARÍLIA) — UNESP-MAR
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2021
2021DOUGLAS ALEXANDRE RODRIGUES. SOBRE A LÓGICA DA VERDADE PRAGMÁTICA EM CÁLCULO DE SEQUENTES. 2021. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL PAULISTA JÚLIO DE MESQUITA FILHO (MARÍLIA), SP. Orientador(a): LUIZ HENRIQUE DA CRUZ SILVESTRINI.2
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.