QUASE-VERDADE: ASPECTOS PRAGMÁTICOS E FORMALIZAÇÃO

O objetivo deste estudo é discutir os aspectos pragmáticos da concepção de verdade e analisar a lógica subjacente à estrutura matemática na teoria da quase-verdade, propondo um outro tipo de sistema dedutivo para essa lógica. Entretanto, faz-se necessário, inicialmente, uma reflexão acerca do papel da verdade na filosofia da ciência, pois, de acordo com a concepção correspondencial de verdade, uma sentença, podendo exprimir uma crença, é verdadeira ao retratar algo real, caso contrário é falsa. Neste caso, a crença ou sentença indica se estados de coisas existem, sendo assim, verdadeiros, caso contrário falso. Ademais, Alfred Tarski em seu artigo O conceito de verdade em linguagens formalizadas, apresenta a hipótese de que ‘verdadeiro’ ou ‘falso’ não representa uma predicação de objetos, mas precisamente atributos de sentenças. Sendo assim, Tarski estabelece uma construção na qual predica esses atributos sem considerar uma auto-referência contraditória. Neste caso, em que sentido o conceito de verdade pragmática generaliza a verdade correspondencial de Tarski em situações de parcialidade? Segundo Peirce, a verdade representa o fim da indagação científica quando esta nos conduzir a um sistema de crenças estável, e, com o passar do tempo e o progresso científico, teremos atingido a verdade. A aproximação entre o pragmatismo de Peirce e o conceito de verdade de Tarski parece patente ao analisarmos a formalização da estrutura pragmática da quase-verdade. Pesquisas recentes sobre a quase-verdade mostram que a lógica adequada para teorias que envolvem uma situação que se aproxima da verdade é uma lógica paraconsistente, apresentada como um sistema axiomático. Além disso, outros trabalhos investigam a Lógica da Verdade Pragmática (LPT) com a proposta de interpretar a LPT por meio de outros sistemas dedutivos. Assim, do ponto de vista lógico, torna-se necessário investigar possíveis sistemas dedutivos para a Lógica da Verdade Pragmática aplicadas à noção de quase-verdade e propor algum outro tipo de sistema, pois tais questões parecem fundamentais para os novos paradigmas na Filosofia e na Ciência.