Keywords
How to Cite
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.
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
References
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
