FORMALIZATION AND INFINITY

Autores

  • André Porto Department of Philosophy/Federal University of Goiás

Palavras-chave:

Chateaubriand. Proofs. Formalization. Infinity. Strict finitism.

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

Downloads

Não há dados estatísticos.

Biografia do Autor

André Porto, Department of Philosophy/Federal University of Goiás

Professor Associado da Universidade Federal de Goiás. Seus interesses de pesquisa incluem filosofia da matemática e da lógica, Wittgenstein, semântica e externalismo em geral

Referências

CHATEAUBRIAND, O. Logical Forms. Part I: Truth and Descriptions. Campinas: Unicamp, Centro de Lógica, Epistemologia e História da Ciência, 2001. (Coleção CLE, v. 34)

CHATEAUBRIAND, O. Logical Forms. Part II: Logic, Language, and Knowledge. Campinas: Unicamp, Centro de Lógica, Epistemologia e História da Ciência, 2005. (Coleção CLE, v. 42)

DESCARTES, R. Regras para a Orientação do Espírito. São Paulo: Martins Fontes, 1999.

FREGE, G. Posthumous Writings. Berkeley: California University Press, 1964.

KRIPKE, S. Wittgenstein on Rules and Private Language. Oxford: Basil Blackwell, 1972.

PEREIRA, L.C., PORTO, A. “Algumas Considerações sobre a Noção Construtiva de Verdade.” O Que Nos Faz Pensar, 17, pp. 107-123, 2003.

PORTO, A. “Wittgenstein on Mathematical Identities”. Forthcoming.

VAN HEIJENOORT, J. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge: Harvard University Press, 1971.

WITTGENSTEIN, L. Tractatus Logico-Philosophicus. London: Routledge & Kegan Paul, 1961.

WITTGENSTEIN, L. The Big Typescript. Oxford: Basil Blackwell, 2005a.

WITTGENSTEIN, L. Philosophical Investigations. Oxford: Basil Blackwell, 2005b.

WRIGHT, C. Realism, Meaning and Truth. Cambridge: Basil Blackwell, 1993.

Downloads

Publicado

2015-12-11

Como Citar

PORTO, A. FORMALIZATION AND INFINITY. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 31, n. 1, p. 25–43, 2015. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642072. Acesso em: 8 dez. 2022.

Edição

Seção

Artigos