PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE

Detalhes bibliográficos
Autor(a) principal: Chateaubriand, Oswaldo
Data de Publicação: 2015
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230
Resumo: José Seoane centers his commentary on my critique of the standard formal analysis of proof as an elucidation of the informal notion of proof, and I basically agree with his considerations throughout the paper. In my response I argue that the notion of formal proof is fundamentally an analysis of the notion of logical consequence, rather than an elucidation of the informal notion of proof. Resumo: O comentário de José Seoane está centrado na crítica da análise formal de prova como elucidação da noção informal de prova, e estou basicamente de acordo com suas considerações. Em minha réplica argumento que a noção de prova formal é fundamentalmente uma análise da noção de conseqüência lógica ao invés de uma elucidação da noção informal de prova.Palavras chave: Prova. Explicação. Formalismo.
id UNICAMP-17_52ef4e6145469a74ce6f8def4138ec66
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642230
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANEProof. Explication. Formalism.José Seoane centers his commentary on my critique of the standard formal analysis of proof as an elucidation of the informal notion of proof, and I basically agree with his considerations throughout the paper. In my response I argue that the notion of formal proof is fundamentally an analysis of the notion of logical consequence, rather than an elucidation of the informal notion of proof. Resumo: O comentário de José Seoane está centrado na crítica da análise formal de prova como elucidação da noção informal de prova, e estou basicamente de acordo com suas considerações. Em minha réplica argumento que a noção de prova formal é fundamentalmente uma análise da noção de conseqüência lógica ao invés de uma elucidação da noção informal de prova.Palavras chave: Prova. Explicação. Formalismo.Universidade Estadual de Campinas2015-12-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 293-297Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 293-297Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 293-2972317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230/9709Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessChateaubriand, Oswaldo2015-12-11T14:14:47Zoai:ojs.periodicos.sbu.unicamp.br:article/8642230Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-12-11T14:14:47Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
title PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
spellingShingle PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
Chateaubriand, Oswaldo
Proof. Explication. Formalism.
title_short PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
title_full PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
title_fullStr PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
title_full_unstemmed PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
title_sort PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
author Chateaubriand, Oswaldo
author_facet Chateaubriand, Oswaldo
author_role author
dc.contributor.author.fl_str_mv Chateaubriand, Oswaldo
dc.subject.por.fl_str_mv Proof. Explication. Formalism.
topic Proof. Explication. Formalism.
description José Seoane centers his commentary on my critique of the standard formal analysis of proof as an elucidation of the informal notion of proof, and I basically agree with his considerations throughout the paper. In my response I argue that the notion of formal proof is fundamentally an analysis of the notion of logical consequence, rather than an elucidation of the informal notion of proof. Resumo: O comentário de José Seoane está centrado na crítica da análise formal de prova como elucidação da noção informal de prova, e estou basicamente de acordo com suas considerações. Em minha réplica argumento que a noção de prova formal é fundamentalmente uma análise da noção de conseqüência lógica ao invés de uma elucidação da noção informal de prova.Palavras chave: Prova. Explicação. Formalismo.
publishDate 2015
dc.date.none.fl_str_mv 2015-12-11
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642230/9709
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 293-297
Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 293-297
Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 293-297
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216565683060736

Registros relacionados