Deducción y conocimiento en los orígenes de la teoría de la demostración

JAVIER LEGRIS

THEORIA

UPV

Lugar: San Sebastián; Año: 2001 vol. 16 p. 521 - 538

0495-4548

Este trabajo tiene por objetivo examinar la idea de deducción metamatemática en el programa de Hilbert, mostrando su dependencia de conceptos gnoseológicos, tales como el de conocimiento intuitivo. También se comparará esta concepción de la deducción con la fundamentación intuicionista de la lógica. Sostendré que esta deducción metamatemática lleva a una caracterización de la lógica como una teoría de las deducciones formales en un sentido particular.Keywords: Hilbert´s program, logic, proof theory, epistemology, intuitionismAbstractThis paper aims to examine the idea of metamathematical deduction in Hilbert´s program showing its dependence of epistemological notions, such as intuitive knowledge. This conception of deduction will be also compared with the intuitionistic foundation of logic. I will argue that this metamathematical deduction leads to a characterization of logic as a theory of formal deductions in a particular sense.