Lógica combinatoria
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:277
Lógica combinatoria
Es una de las direcciones de la lógica matemática; se ocupa del
análisis de los conceptos que, en el marco de la lógica matemática
clásica, se tomen sin ulterior estudio. Al número de tales conceptos
pertenecen los de variable, función, regla de la sustitución, etc. En
la lógica matemática clásica, se utilizan reglas de dos clases. Las
primeras se enuncian con sencillez y se aplican sin limitaciones de
ninguna clase. Tal es, por ejemplo, la regla del modus ponens. Se
formula del modo siguiente: si se han inferido las proposiciones “Si
A, entonces ‘B’ y ‘A’”, entonces se infiere la proposición ‘B’. Esta
regla se aplica al cumplimiento automático de un solo acto. Las
reglas de la segunda clase (por ejemplo, la regla de la sustitución)
se formulan de manera muy compleja e implican varias limitaciones y
salvedades (sin éstas, aquéllas no pueden utilizarse de manera
puramente formal). Uno de los objetivos de la lógica combinatoria
estriba en crear sistemas formales en los que no se encuentren reglas
análogas a la regla de la sustitución. Los comienzos de la lógica
combinatoria se deben a los trabajos del matemático soviético M. I.
Scheinfinkel (sus principales resultados se publicaron en 1924).
Independientemente de él, Alonzo Church estructuró el cálculo de la
conversión lambda relacionándolo estrechamente con la lógica
combinatoria. Importantes resultados ha obtenido también el lógico
americano H. B. Curry. Investigan los problemas de la lógica
combinatoria, Bertrand Russell, W. Craig y Robert Feys entre otros.
Diccionario de filosofía · 1984:257
Lógica combinatoria
(lat. Combinare.) Corriente de la lógica matemática que se dedica al
análisis de los conceptos que en el marco de la lógica matemática
clásica se toman sin ulterior estudio. Entre su número figuran los
conceptos de variable, de función, etc.