ELUCIDANDO EL CONCEPTO DE DEMOSTRACIÓN. OBSERVACIONES SOBRE CHATEAUBRIAND

Resumo

Es razonable pensar que una parte relevante del trabajo del lógico consiste en elucidar ciertos conceptos teóricamente valiosos pero, si se los evalúa desde el punto de vista de la claridad y el rigor, aún insatisfactoriamente caracterizados. Estos procesos elucidatorios pueden modelarse de formas muy variadas; el núcleo de los mismos, no obstante, reside en la construcción de un concepto más riguroso que funge como clarificación o elucidatum de un concepto previo. El concepto matemáticamente preciso de “demostración” puede considerarse un posible elucidatum del respectivo concepto intuitivo. ¿Es un elucidatum adecuado? ¿Bajo qué condiciones lo es? ¿Cómo repercute asumir tal éxito elucidatorio en nuestra concepción filosófica de la demostración? Chateaubriand no plantea, explícitamente, el problema en términos elucidatorios; sin embargo, sugeriremos que enmarcar su reflexión en

Abstract: A relevant aspect of a logician’s work consists in elucidating certain concepts that, however theoretically valuable, are yet to be sastifactorily characterized from the point of view of rigor and clarity. Although these elucidatory processes can be modeled on several ways, its nucleus resides in the construction of a more rigorous concept that acts as clarification or elucidatum of a previous concept. The mathematically precise concept of “demonstration” can be considered as a possible elucidatum of the respective intuitive concept. Is it an adecuate elucidatum? How does assuming such an elucidatory success affect our philosophical conception of the demonstration? Although Chateaubriand does not explicitly pose the question in elucidatory terms, I will suggest that framing his reflection in such a context can provide a new perspective of his lucid analysis.

Keywords: Philosophy of mathematics. Demonstration. Elucidation. Elucidatory models.