Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Autor(a) principal: | |
---|---|
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: 2 set. 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: 2 set. 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: 2 set. 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_ |
1809188898574696448 |