Lógica constructiva
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:277-278
Lógica constructiva
Una de las direcciones de la lógica matemática. Sus bases se
encuentran en la escuela intuicionista, pese a que no se hallan
ligadas a la filosofía del intuicionismo. El desarrollo de la lógica
constructiva se inicia con los trabajes de Luitzen Brouwer, Hermann
Weyl y Arendt Heyting. La idea fundamental de la lógica constructiva
consiste en prohibir que se apliquen a conjuntos infinitos los
principios válidos para los conjuntos finitos (por ejemplo, la tesis
de que el todo es mayor que la parte, el principio del tercero
excluido, etc.). Los puntos de vista de la lógica clásica y de la
lógica constructiva sobre el concepto de infinitud son distintos: la
primera ve lo infinito como actual, acabado; la segunda, como
potencial, en proceso de formación (Infinitud actual e infinitud
potencial). A la lógica constructiva le es propia la estructura
(construcción) inductiva de los objetos. Partiendo de los principios
de la lógica constructiva se hacen intentos para revisar los
resultados fundamentales de la lógica matemática y de la matemática
contemporáneas. Han contribuido en alto grado a desarrollar la lógica
constructiva los científicos soviéticos A. M. Kolmogórov, A. A.
Márkov y P. S. Nóvikov.
Diccionario de filosofía · 1984:257
Lógica constructiva
(lat. Constructio.) Corriente en la lógica matemática. Su comienzo
se remonta a los trabajos de L. Brouwer, H. Weyl, A. Heyting. La
idea principal de la Lógica constructiva consiste en prohibir
extrapolar a los conjuntos infinitos los principios válidos para los
conjuntos finitos (por ejemplo, el postulado de que el todo es mayor
que la parte, la ley del tercero excluido, etc.). La lógica clásica y
la Lógica constructiva tienen puntos de vista distintos sobre el
concepto de infinitud: la primera enfoca la infinitud como actual y
acabada, mientras que la segunda como potencial en proceso de devenir.
Partiendo de los principios de la Lógica constructiva, se intenta
revisar los resultados fundamentales de la lógica matemática y de las
matemáticas modernas. Hicieron un gran aporte al desarrollo de la
Lógica constructiva los científicos soviéticos A. Kolmogórov, A.
Márkov y N. Shanin.