Operaciones autoformantes y heteroformantes. Ensayo de un criterio de demarcación gnoseológica entre la Lógica formal y la Matemática (y II)

Por • 20 dic, 2012 • Sección: Crítica

Gustavo Bueno

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».

El Basilisco, número 8, julio-diciembre 1979, páginas 4-25.

http://fgbueno.es/bas/bas10801.htm

Facsímil del original impreso de este artículo en formato pdf

Post to Twitter

Etiquetado con: , , , ,

Escribe un comentario