Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa

dc.creatorHifume, Carlos
dc.date2003
dc.date2003-04-12T00:00:00Z
dc.date2017-03-28T04:56:39Z
dc.date2017-07-14T20:02:10Z
dc.date2017-03-28T04:56:39Z
dc.date2017-07-14T20:02:10Z
dc.date.accessioned2018-03-29T04:06:31Z
dc.date.available2018-03-29T04:06:31Z
dc.identifier(Broch.)
dc.identifierHIFUME, 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://libdigi.unicamp.br/document/?code=vtls000314881>. Acesso em: 28 mar. 2017.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/279464
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1340983
dc.descriptionOrientador: Itala Maria Loffredo D'Ottaviano
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
dc.descriptionResumo: 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
dc.descriptionAbstract: 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
dc.descriptionMestrado
dc.descriptionFilosofia
dc.descriptionMestre em Filosofia
dc.format161 p.
dc.formatapplication/pdf
dc.languagePortuguês
dc.publisher[s.n.]
dc.subjectVerdade
dc.subjectLógica matemática não-clássica
dc.subjectCiência - Filosofia
dc.subjectTheories of truth
dc.subjectQuasi-truth
dc.subjectDiscussive logic
dc.subjectParaconsistent logic
dc.subjectPragmatic truth
dc.subjectPartial structure
dc.titleUma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
dc.typeTesis


Este ítem pertenece a la siguiente institución