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

Lógica combinatoria

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

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

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

Diccionario de filosofía · 1984:257