Resumo
José Seoane centers his commentary on my critique of the standard formal analysis of proof as an elucidation of the informal notion of proof, and I basically agree with his considerations throughout the paper. In my response I argue that the notion of formal proof is fundamentally an analysis of the notion of logical consequence, rather than an elucidation of the informal notion of proof.
Resumo:
O comentário de José Seoane está centrado na crítica da análise formal de prova como elucidação da noção informal de prova, e estou basicamente de acordo com suas considerações. Em minha réplica argumento que a noção de prova formal é fundamentalmente uma análise da noção de conseqüência lógica ao invés de uma elucidação da noção informal de prova.
Palavras chave: Prova. Explicação. Formalismo.
Referências
CARNAP, R. Logical Foundations of Probability. Chicago: University of Chicago Press, 1950.
CHURCH, A. Introduction to Mathematical Logic. Princeton: Princeton University Press, 1956.
ENDERTON, H. A Mathematical Introduction to Logic. New York: Academic Press, 1972
LAKATOS, I. Proofs and Refutations. Cambridge: Cambridge University Press, 1976.