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

Detalhes bibliográficos
Autor(a) principal: Hifume, Carlos
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1596590
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_673419f782ef32c9b006fbd1233ab160
oai_identifier_str oai::300769
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da CostaVerdadeLógica matemática não-clássicaCiência - FilosofiaTheories of truthQuasi-truthDiscussive logicParaconsistent logicPragmatic truthPartial structureOrientador: Itala Maria Loffredo D'OttavianoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: 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 anteriormenteAbstract: 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 QTMestradoFilosofiaMestre em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Moraes, Lafayette deAlves, Daniel Durante PereiraCarnielli, Walter AlexandreUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASHifume, Carlos20032003-04-12T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf161 p.(Broch.)https://hdl.handle.net/20.500.12733/1596590HIFUME, 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: https://hdl.handle.net/20.500.12733/1596590. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/300769porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:53:13Zoai::300769Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:53:13Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
title Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
spellingShingle Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Hifume, Carlos
Verdade
Lógica matemática não-clássica
Ciência - Filosofia
Theories of truth
Quasi-truth
Discussive logic
Paraconsistent logic
Pragmatic truth
Partial structure
title_short Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
title_full Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
title_fullStr Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
title_full_unstemmed Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
title_sort Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
author Hifume, Carlos
author_facet Hifume, Carlos
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Moraes, Lafayette de
Alves, Daniel Durante Pereira
Carnielli, Walter Alexandre
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Hifume, Carlos
dc.subject.por.fl_str_mv Verdade
Lógica matemática não-clássica
Ciência - Filosofia
Theories of truth
Quasi-truth
Discussive logic
Paraconsistent logic
Pragmatic truth
Partial structure
topic Verdade
Lógica matemática não-clássica
Ciência - Filosofia
Theories of truth
Quasi-truth
Discussive logic
Paraconsistent logic
Pragmatic truth
Partial structure
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-04-12T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1596590
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: https://hdl.handle.net/20.500.12733/1596590. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1596590. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1596590
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/300769
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
161 p.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138384658038784

Registros relacionados