Lenguaje Ordinario y Formalización en la Temprana Concepción Axiomática de Hilbert
El objetivo de este trabajo es analizar el modo en que Hilbert concibela relación entre la utilización del lenguaje ordinario y su concepciónformal del método axiomático. Se intenta mostrar que la decisión deHilbert de optar por el lenguaje ordinario no se explica exclusivamenteen virtud de ciertas...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Facultad de Filosofía y Humanidades
2017
|
| Materias: | |
| Acceso en línea: | https://revistas.unc.edu.ar/index.php/repr/article/view/17398 |
| Aporte de: |
| Sumario: | El objetivo de este trabajo es analizar el modo en que Hilbert concibela relación entre la utilización del lenguaje ordinario y su concepciónformal del método axiomático. Se intenta mostrar que la decisión deHilbert de optar por el lenguaje ordinario no se explica exclusivamenteen virtud de ciertas limitaciones conceptuales propias de aquella etapainicial, por ejemplo, la carencia de un sistema deductivo formal explícitamenteformulado que sirva de base para sus teorías axiomáticas. Porel contrario, se argumenta que esta preferencia de Hilbert obedece asu manera de concebir, en esta etapa temprana, la naturaleza y funcióndel nuevo método axiomático, en particular en su aplicación a lageometría.The paper analyzes Hilbert’s account of the relation between theuse of ordinary language and his formal conception of the axiomaticmethod. It is shown that Hilbert’s decision in favor of the ordinary languagedoes not respond exclusively to certain conceptual limitationsproper of an initial period, such as the absence of an explicitly formulateddeductive system that could be used as the background of his axiomatictheories. On the contrary, it is argued that Hilbert’s preferencefor the traditional geometrical language is ground on his conception,in this early stage, of the nature and function of the axiomatic method,particularly in its application to geometry. |
|---|