Uma teoria da verdade pragmática: a quase-verdade de Newton C. da Costa

Neste trabalho apresentamos uma concepção de verdade pragmática proposta por Newton da Costa e colaboradores, denominada """"quase-verdade"""". Tal como fez Alfred Tarski ao propor a sua concepção semântica de verdade - uma definição para linguagens formalizadas - buscando capturar as intenções presentes na concepção clássica de verdade de Aristóteles, Mikenberg, da Costa e Chuaqui apresentam uma concepção formal de verdade pragmática baseada nas teorias de verdade de pragmatistas tais como C.S. Peirce e W. James. A concepção de quase-verdade vale-se de um tipo de estrrutura matemática denominada estrutura parcial. Para da Costa, a concepção de verdade inerente às ciências empíricas é a quase-verdade. Apresentamos e desenvolvemos o sistema modal QT, uma lógica que constitui uma formalização adequada à noção de quase-verdade. QT constitui um tipo de lógica discursiva de Jaskowski, uma lógica paraconsistente.