Filosofía en español 
Filosofía en español

Lógica constructiva

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

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, &c.). 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 filosófico · 1965:277-278

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, &c.). 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.

Diccionario de filosofía · 1984:257