Teatro Crítico ⋅ TC095 ⋅ Carlos Madrid, Sergio Vicente Burgillo y Alberto Esteban. teatrocritico.e... Gustavo Bueno • Sobre la Historia de la Lógica (1988): fgbueno.es/gbm/...
La deducción natural tipo Gentzen opera en una escala ontológica M3 ? No son entidades históricas ; y , por tanto , temporales , por ejemplo las cadenas de equivalencia de Kleene ... no entiendo lo que significa hiper-realismo . las reglas de interdefinición de la lógica de conectores de primer orden existía antes de De Morgan o de Frege ?...Esta parte de la ontología materialista precisa , a mi juicio , de un desarrollo y una atención muy extensa y sesuda ... Un saludo o dos !
Lo que Carlos Madrid apunta en glosa con artículo de Bueno, dónde Bueno vino a responder el proceso por el cual se van segregando las formas lógicas de contextos materiales determinados - situando la lógica formal cerca de las matemáticas, pero distinguiéndola de ellas - , me parece un intento que alguna vez lo ví en uno de aquellos manuales antiguos de Colección Labor. El autor era David García Baca.