Portal de Periódicos da CAPES

PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE

2008; UNIVERSIDADE ESTADUAL DE CAMPINAS; Volume: 31; Issue: 1 Linguagem: Inglês

2317-630X

Oswaldo Chateaubriand,

Philosophy and Theoretical Science

Jose 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 comentario de Jose Seoane esta centrado na critica da analise formal de prova como elucidacao da nocao informal de prova, e estou basicamente de acordo com suas consideracoes. Em minha replica argumento que a nocao de prova formal e fundamentalmente uma analise da nocao de consequencia logica ao inves de uma elucidacao da nocao informal de prova. Palavras chave: Prova. Explicacao. Formalismo.