Filosofía en español
Es uno de los procedimientos de la formación deductiva de las teorías científicas (método deductivo). La idea de método constructivo surgió y fue elaborada (en los trabajos de David Hilbert, Luitzen Brouwer, Arendt Heyting, A. N. Kolmogórov, A. A. Márkov, P. Lorenzen y otros) como tentativa para superar la fundamentación axiomática de la matemática y de la lógica (por ejemplo, con el fin de liquidar las paradojas de la teoría de los conjuntos, &c.). A diferencia del método axiomático, mediante la elaboración constructiva de la teoría se intenta reducir al mínimo las aseveraciones iniciales, indemostrables en el marco de la teoría dada, y los términos indefinibles. La tarea principal que ha de cumplir el método constructivo consiste en estructurar sistemáticamente (haciéndolo de manera real o presentándolo como posibilidad dados los medios de que se disponga) los objetos que pueden ser considerados en el sistema y las aseveraciones que acerca de ellos se hagan. La determinación de los objetos iniciales y la construcción de otros nuevos, se lleva a cabo recurriendo a un conjunto de reglas y definiciones especiales. Todas las demás aseveraciones del sistema se obtienen de la base inicial con ayuda de una técnica de inferencia específica para las teorías constructivas, técnica basada en el principio de la inducción matemática. Actualmente, el método constructivo sólo encuentra aplicación en el terreno de las ciencias formales, gracias a él se elaboran la matemática y la lógica constructivas. Al parecer, sin embargo, no hay motivos para negar la posibilidad de que este método pueda aplicarse también a la elaboración de los conocimientos de la ciencia natural.
Diccionario filosófico · 1965:314
Procedimiento de la construcción deductiva de las teorías científicas (Método deductivo). La idea del método constructivo surgió a comienzos del siglo 20 y fue elaborada (en los trabajos de Hilbert, L. J. Brouwer, A. Heyting A. Kolmogórov, A. Márkov y otros) como tentativa de superar las dificultades de la fundamentación axiomática de las matemáticas y la lógica (con el objeto de liquidar las paradojas de la teoría de los conjuntos, &c.). A diferencia del método axiomático, en el caso de la estructuración constructiva de la teoría no sólo se intenta reducir al mínimo las afirmaciones de partida, indemostrables en el marco de esta teoría, y los términos indefinibles, sino también se preocupan especialmente de su fundamentación substancial. Actualmente, el método constructivo sólo encuentra una vasta aplicación en la esfera de las ciencias formales: las matemáticas y la lógica (Lógica constructiva). Sin embargo, no hay motivos para rechazar la posibilidad de aplicar este método también a la estructuración del saber de ciencias naturales.
Diccionario de filosofía · 1984:289-290