Zapata

CIENCIA FORMAL Y CIENCIA FACTICA (MARIO BUNGE)
* No toda la investigación científica procura el conocimiento objetivo. Así, la lógica y la matemática esto es, los diversos sistemas de lógicaformal y los diferentes capítulos de la matemática pura son racionales, sistemáticos y verificables, pero no son objetivos, no nos dan informaciones acerca de la realidad: simplemente, no se ocupan delos hechos. La lógica y la matemática tratan de entes ideales; estos entes, tanto los abstractos como los interpretados, sólo existen en la mente humana. A los lógicos y matemáticos no se les daobjetos de estudio: ellos construyen sus propios objetos. Es verdad que lo hacen por abstracción de objetos reales (naturales y sociales); más aún, el trabajo del lógico o del matemático satisface a menudolas necesidades del naturalista, del sociólogo o del tecnólogo, y es por esto que la sociedad los tolera y, ahora, hasta los estimula. Pero la materia prima que emplean los lógicos y los matemáticosno es fáctica sino ideal.
* Por ejemplo, el concepto de número abstracto nació, sin duda, de la coordinación de conjuntos de objetos materiales, tales como dedos, por una parte, y guijarros, porla otra; pero no por esto aquel concepto se reduce a esta operación manual, ni a los signos que se emplean para representarlo. Los números no existen fuera de nuestros cerebros, aun allí dentro existenal nivel conceptual y no al nivel fisiológico. Los objetos materiales son numerables siempre que sean discontinuos; pero no son números; tampoco son números puros (abstractos) sus cualidades orelaciones. En el mundo encontramos 3 libros, en el mundo de la ficción construimos 3 platos voladores. ¿Pero quién vio jamás un 3, un simple 3?
* La lógica y la matemática, por ocuparse de inventarentes formales y de establecer relaciones entre ellos, se llaman a menudo CIENCIAS FORMALES, precisamente porque sus objetos no son cosas ni procesos sino, para emplear el lenguaje pictórico, formas...