Use este identificador para citar ou linkar para este item: http://repositorio.bc.ufg.br/handle/ri/18098
Tipo do documento: Artigo
Título: Formalization and infinity
Título(s) alternativo(s): Formalização e infinitude
Autor: Porto, André da Silva
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.
Abstract: 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.
Palavras-chave: Chateaubriand
Provas
Formalização
Infinitude
Finitismo estrito
Proofs
Formalization
Infinity
Strict finitism
País: Brasil
Unidade acadêmica: Faculdade de Filosofia - FAFIL (RG)
Citação: PORTO, André. Formalization and infinity. Manuscrito, Campinas, v. 31, n. 1, p. 25-43, jan./jun. 2008.
Tipo de acesso: Acesso Aberto
URI: http://repositorio.bc.ufg.br/handle/ri/18098
Data de publicação: Jun-2008
Aparece nas coleções:FAFIL - Artigos publicados em periódicos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Artigo - André da Silva Porto - 2008.pdf195,87 kBAdobe PDFThumbnail
Baixar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons