Demostraciones formales y razonamiento estructural

LEGRIS, JAVIER

Filosofia e história da ciência no Cone Sul

AFHIC

Lugar: Campinas, SP; Año: 2004; p. 218 - 225

Demostraciones formales y razonamiento estructural Javier Legris Universidad de Buenos Aires y Conicet (Argentina) E-mail: jlegris@mail.retina.ar Resumen Este trabajo se ocupa, en primer lugar, de los aspectos puramente lógicos de las demostraciones, tal como son analizados desde la perspectiva del razonamiento estructural, según la cual las deducciones más básicas son deducciones estructurales, en las que todos los símbolos son esquemáticos; no hay constantes de ningún tipo. En segundo lugar, en el trabajo se discutirá en qué medida la idea de razonamiento estructural sirve para aclarar la naturaleza de la demostración y también se tematizarán las relaciones entre las demostraciones formales y sus contrapartidas preformales.