Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279464
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Author: Hifume, Carlos
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
D¿Ottaviano, Itala Maria Loffredo
Abstract: Resumo: 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

Abstract: 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
Subject: Verdade
Lógica matemática não-clássica
Ciência - Filosofia
Language: Português
Editor: [s.n.]
Citation: HIFUME, Carlos. Uma teoria da verdade pragmatica: a quase-verdade de Newton C.A. da Costa. 2003. 161 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/279464>. Acesso em: 3 ago. 2018.
Date Issue: 2003
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Hifume_Carlos_M.pdf416.4 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.