Formalization and infinity

Página do item simplificado
dc.creatorPorto, André da Silva
dc.date.accessioned2019-09-09T11:43:57Z
dc.date.available2019-09-09T11:43:57Z
dc.date.issued2008-06
dc.description.abstractThis 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.pt_BR
dc.description.resumoEste 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.pt_BR
dc.identifier.citationPORTO, André. Formalization and infinity. Manuscrito, Campinas, v. 31, n. 1, p. 25-43, jan./jun. 2008.pt_BR
dc.identifier.issn0100-6045
dc.identifier.issne- 2317-630X
dc.identifier.urihttp://repositorio.bc.ufg.br/handle/ri/18098
dc.language.isoengpt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentFaculdade de Filosofia - FAFIL (RG)pt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectChateaubriandpt_BR
dc.subjectProvaspt_BR
dc.subjectFormalizaçãopt_BR
dc.subjectInfinitudept_BR
dc.subjectFinitismo estritopt_BR
dc.subjectProofspt_BR
dc.subjectFormalizationpt_BR
dc.subjectInfinitypt_BR
dc.subjectStrict finitismpt_BR
dc.titleFormalization and infinitypt_BR
dc.title.alternativeFormalização e infinitudept_BR
dc.typeArtigopt_BR

Arquivos

Pacote Original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Artigo - André da Silva Porto - 2008.pdf
Tamanho:
195.87 KB
Formato:
Adobe Portable Document Format
Baixar

Licença do Pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

FAFIL - Artigos publicados em periódicos