«Características técnicas y significación filosófica de un cálculo lambda libre»
1984
texto completo (manualmente escrutado)
Vienen abordadas en este trabajo las siguientes cuestiones:
- el fascinante tema del cálculo lambda, con y sin
tipos;
- su relación con las lógicas combinatorias;
- las aportaciones sucesivas de Church, Curry, Fitch, Barendregt y otros;
- la motivación de acudir al cálculo lambda por los
problemas del categorialismo de Frege (y las dificultades del enfoque
fregeano en el cual se distingue cada función de su curso de
valores);
- la belleza ontológica de asumir sólo un tipo
de entes (una única categoría), las funciones, y un
solo tipo de signos, los funcionales (salvo la concatenación o
yuxtaposición, único signo sincategoremático);
- la inevitabilidad de restringir los axiomas o las reglas de
inferencia (ya sea con el cálculo tipado, ya sea con uno no
tipado, mas que se ajuste a cierto canon de estratificación);
- la implementación de un cálculo lambda sobre una
subyacente lógica cuantificacional no clásica (la
lógica transitiva, o sea gradualista contradictorial, de la
familia de las pasaconsistentes).