IV. La Lógica formal como ciencia caracterizada por operaciones autoformantes; la Matemática como ciencia formal, caracterizada por operaciones heteroformantes
Sugerimos la posibilidad de ensayar como criterio para establecer la distinción entre lógica formal y matemática la oposición entre operaciones (o procedimientos constructivos) autoformantes y heteroformantes. Ensayar: porque no se trata meramente de estipular esta distinción como criterio demarcador, sino de aplicar en cada caso –digamos «empíricamente»– el criterio y dar cuenta de los contraejemplos de modo satisfactorio, es decir, de suerte que estos contraejemplos resulten a la vez analizados por el criterio, y éste desarrollado por ellos; todo lo cual constituye más bien un programa, una metodología para establecer un criterio de demarcación, cuya plausibilidad sólo puede robustecerse a partir de sus mismos resultados «empíricos».
• Gustavo Bueno, Operaciones autoformantes y heteroformantes (I)
Facsímil del original impreso de este artículo en formato pdf
Fundación Gustavo Bueno