Uma teoria da verdade pragmatica





























Autor: Carlos Hifume
[pt] Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Instituição de Defesa: Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas
Data de Defesa: 2003-12-04
Resumo: [en] Alfred Tarki, in presenting his semantical conception of truth – a definition for formalized languages -, captured Aristotle s classical conception of truth – this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth – da Costa s quasi-truth -, based on the theories of truth of some pragmatists, such as C.S. Peirce, William James and John Dewey. The conception of quasi-truth is based on a kind of mathematical structure named, by da Costa, partial structure. We present the modal logical system QT – a kind of Ja´skowski s discussive logic -, associated to the logic QV (S5Q=). The logic QT constitutes an adequate formalization for the notion of quasi-truth. We introduce a Kripke model semantics for QT. We prove some metatheorems relative to the associated systems QT and QV. We define the notion of pragmatic sintactical consequence, present the pragmatic connectives and prove that QT is a paraconsistent logic. By using the mentioned metatheorems, we obtain a simplified proof of soundness and completeness of QT.
[pt] Alfred Tarski, ao apresentar sua concepção semântica de verdade – uma definição para linguagens formalizadas -, buscou capturar as intenções presentes na concepção clássica de verdade de Aristóteles – esta, uma concepção de verdade correspondencial. De forma semelhante, Mikenberg, da Costa &Chuaqui apresentam uma concepção formal de verdade pragmática – a quase-verdade -, baseados nas intenções presentes nas teorias de verdade de pragmatistas tais como C.S. Peirce, William James e John Dewey. A concepção de quase-verdade vale-se de um tipo de estrutura matemática denominada estrutura parcial. Apresentamos o sistema lógico modal QT – um tipo de lógica de Ja´skowski – , associado à lógica QV (S5Q=). QT constitui uma formalização adequada à noção de quase-verdade. Definimos uma semântica de modelos de Kripke para QT. São apresentados e demonstrados os principais metateoremas do sistema associado QT/QV. Definimos a noção de conseqüência sintática pragmática, introduzimos os conectivos pragmáticos e demonstramos que QT constitui uma lógica paraconsistente. Demonstramos a corretude e completude de QT, simplificando a demonstração valendo-nos dos metateoremas de QT/QV apresentados anteriormente.
Titulação: Mestre em Filosofia
Contribuidor(es): Itala Maria Loffredo D Ottaviano [Orientador]
Walter Alexandre Carnielli
Lafayette de Moraes
Itala Maria Loffredo D Ottaviano
Daniel Durante Pereira Alves
Assuntos: [en] Quasi-truth
[en] Partial structure
[en] Theories of truth
[en] Discussive logic
[en] Pragmatic truth
[en] Paraconsistent logic
[pt] Logica matematica não-classica
[pt] Ciencia
[pt] Verdade
Documentos Digitais: Download Arquivo

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *