FORMALIZATION AND INFINITY

Detalhes bibliográficos
Autor(a) principal: Porto, André
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/8642072
Resumo: This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein. Resumo:Este artigo analisa algumas das propostas de Chateaubriand sobre a conexão entre as idéias de formalização e infinitude, da maneira com elas aparecem nos capítulos 19 e 20 de Logical Forms. Basicamente concordamos com suas críticas à forma usual de se entender essas conexões, uma concepção que chamamos de “provas formais como demonstrações supremas”, mas ainda sugerimos uma concepção alternativa dessa conexão baseada em algumas idéias do Wittgenstein tardio.Palavras chave: Chateaubriand. Provas. Formalização. Infinitude. Finitismo estrito
id UNICAMP-17_0ab41a9541dccf4f3aff417b92e1eb00
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642072
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling FORMALIZATION AND INFINITYChateaubriand. Proofs. Formalization. Infinity. Strict finitism.This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein. Resumo:Este artigo analisa algumas das propostas de Chateaubriand sobre a conexão entre as idéias de formalização e infinitude, da maneira com elas aparecem nos capítulos 19 e 20 de Logical Forms. Basicamente concordamos com suas críticas à forma usual de se entender essas conexões, uma concepção que chamamos de “provas formais como demonstrações supremas”, mas ainda sugerimos uma concepção alternativa dessa conexão baseada em algumas idéias do Wittgenstein tardio.Palavras chave: Chateaubriand. Provas. Formalização. Infinitude. Finitismo estritoUniversidade Estadual de Campinas2015-12-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642072Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 25-43Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 25-43Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 25-432317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642072/9562Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessPorto, André2015-12-11T14:14:47Zoai:ojs.periodicos.sbu.unicamp.br:article/8642072Revistahttps://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 FORMALIZATION AND INFINITY
title FORMALIZATION AND INFINITY
spellingShingle FORMALIZATION AND INFINITY
Porto, André
Chateaubriand. Proofs. Formalization. Infinity. Strict finitism.
title_short FORMALIZATION AND INFINITY
title_full FORMALIZATION AND INFINITY
title_fullStr FORMALIZATION AND INFINITY
title_full_unstemmed FORMALIZATION AND INFINITY
title_sort FORMALIZATION AND INFINITY
author Porto, André
author_facet Porto, André
author_role author
dc.contributor.author.fl_str_mv Porto, André
dc.subject.por.fl_str_mv Chateaubriand. Proofs. Formalization. Infinity. Strict finitism.
topic Chateaubriand. Proofs. Formalization. Infinity. Strict finitism.
description This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein. Resumo:Este artigo analisa algumas das propostas de Chateaubriand sobre a conexão entre as idéias de formalização e infinitude, da maneira com elas aparecem nos capítulos 19 e 20 de Logical Forms. Basicamente concordamos com suas críticas à forma usual de se entender essas conexões, uma concepção que chamamos de “provas formais como demonstrações supremas”, mas ainda sugerimos uma concepção alternativa dessa conexão baseada em algumas idéias do Wittgenstein tardio.Palavras chave: Chateaubriand. Provas. Formalização. Infinitude. Finitismo estrito
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/8642072
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642072
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/8642072/9562
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.; 25-43
Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 25-43
Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 25-43
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_ 1800216565642166272

Registros relacionados