1 Capitulo De La Ciencia Su Metodo Y Su Filosofia

La lógica y la matemática, por ocuparse de inventar entes 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 en las

que se puede verter un surtido ilimitado de contenidos, tanto fácticos como empíricos.

Esto es, podemos establecer correspondencias entre esas formas (u objetos formales),

por una parte, y cosas y procesos pertenecientes a cualquier nivel de la realidad por la

otra. Así es como la física, la química, la fisiología, la psicología, la economía, y las demás

ciencias recurren a la matemática, empleándola como herramienta para realizar la más

precisa reconstrucción de las complejas relaciones que se encuentran entre los hechos y

entre los diversos aspectos de los hechos; dichas ciencias no identifican las formas

ideales con los objetos concretos, sino que interpretan las primeras en términos de

hechos y de experiencias (o, lo que es equivalente, formalizan enunciados fácticos).

Lo mismo vale para la lógica formal: algunas de sus partes —en particular, pero no

exclusivamente, la lógica proposicional bivalente— pueden hacerse corresponder a

aquellas entidades psíquicas que llamamos pensamientos. Semejante aplicación de las

ciencias de la forma pura a la inteligencia del mundo de los hechos, se efectúa asignando

diferentes interpretaciones a los objetos formales. Estas interpretaciones son, dentro de

ciertos límites, arbitrarias; vale decir, se justifican por el éxito, la conveniencia o la

ignorancia. En otras palabras el significado fáctico o empírico que se les asigna a los

objetos formales no es una propiedad intrínseca de los mismos. De esta manera, las

ciencias formales jamás entran en conflicto con la realidad. Esto explica la paradoja de

que, siendo formales, se “aplican” a la realidad: en rigor no se aplican, sino que se

emplean en la vida cotidiana y en las ciencias fácticas a condición de que se les

superpongan reglas de correspondencia adecuada. En suma, la lógica y la matemática

establecen contacto con la realidad a través del puente del lenguaje, tanto el ordinario

como el científico.

Tenemos así una primera gran división de las ciencias, en formales (o ideales) y fácticas

(o materiales). Esta ramificación preliminar tiene en cuenta el objeto o tema de las

respectivas disciplinas; también da cuenta de la diferencia de especie entre los

enunciados que se proponen establecer las ciencias formales y las fácticas: mientras los

enunciados formales consisten en relaciones entre signos, los enunciados de las ciencias

...