A LÓGICA DA VERDADE PRAGMÁTICA EM UM SISTEMA TABLEAUX

O PROFESSOR NEWTON C. A. DA COSTA, NOTÁVEL LÓGICO BRASILEIRO, E COLABORADORES INTRODUZIRAM A NOÇÃO DE QUASE-VERDADE NO CONTEXTO DAS CIÊNCIAS EMPÍRICAS, ONDE HÁ INCOMPLETUDE DO CONHECIMENTO. TAL ABORDAGEM É CONSIDERADA UMA GENERALIZAÇÃO PARA CONTEXTOS PARCIAIS DA PROPOSTA DE FORMALIZAÇÃO DA VERDADE INTRODUZIDA POR ALFRED TARSKI. INSPIRADO NESSA NOÇÃO DE QUASE-VERDADE, SILVESTRINI (2011) INTRODUZIU UMA DENIÇÃO DE QUASE-VERDADE ATRAVÉS DA SATISFAÇÃO PRAGMÁTICA E, NO MESMO TRABALHO APRESENTOU, NUM SISTEMA AXIOMÁTICO, UMA LÓGICA PARACONSISTENTE E TRIVALENTE, SUBJACENTE A ESSA NOÇÃO, A QUAL DENOMINOU POR LÓGICA DA VERDADE PRAGMÁTICA (LPT- LOGIC OF PRAGMATIC TRUTH ). POSTERIORMENTE, FEITOSA E SILVESTRINI (2016) APRESENTARAM ALGUMAS ALTERAÇÕES NO CONJUNTO DE AXIOMAS DE LPT E DERAM UMA DEMONSTRAÇÃO DE ADEQUAÇÃO SEGUNDO A SEMÂNTICA MATRICIAL DA LÓGICA DA VERDADE PRAGMÁTICA. HOJE, SISTEMAS DEDUTIVOS ALTERNATIVOS AO AXIOMÁTICO TÊM SIDO DE GRANDE INTERESSE PARA A ÁREA DA TEORIA DA PROVA E COMPUTABILIDADE, POIS ESSES, EM SUA MAIORIA, SÃO MÉTODOS MAIS INTUITIVOS. ALGUNS SÃO CARACTERIZADOS COMO ALGORÍTMICOS, O QUE POSSIBILITA UMA FÁCIL IMPLEMENTAÇÃO DO MÉTODO EM COMPUTADORES. DENTRE ESSES SISTEMAS DE PROVAS, DESTACAMOS O MÉTODO DEDUTIVO DOS TABLEAUX ANALÍTICOS, QUE FOI INTRODUZIDO DE UMA FORMA BASTANTE ELEGANTE POR SMULLYAN (1968). NESTE TRABALHO, INTRODUZIMOS UM SISTEMA DE TABLEAUX ANALÍTICOS PARA A LÓGICA DA VERDADE PRAGMÁTICA E VERICAMOS QUE TODOS OS RESULTADOS DEDUTIVOS DO SISTEMA AXIOMÁTICO DA LPT COINCIDEM COM OS RESULTADOS DE CONSEQUÊNCIA ANALÍTICA DO SISTEMA DE TABLEAUX QUE AQUI INTRODUZIMOS.