Ciencias Filosoficas

MARIO BUNGE

CIENCIA FORMAL Y CIENCIA FÁCTICA

La lógica y la matemática son racionales, sistemáticos y verificables, pero no son objetivos, no nos dan informaciones acerca de la realidad: simplemente no se ocupan de los hechos. Ambos tratan sobre entes ideales, entes que tanto los abstractos como los interpretados, solo existen en la mente humana. A los lógicos y los matemáticos no se lesda objetos de estudio: ellos construyen sus propios objetos. La materia prima que emplean no es fáctica, sino que es ideal. Los números no existen por fuera de nuestro cerebro. La lógica y la matemática se llaman Ciencias Formales, precisamente porque sus objetos no son cosas ni procesos, sino que son formas en las que se puede verter un surtido ilimitado de contenidos, tanto fácticos comoempí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. La física, la química, la fisiología, la psicología, la economía y demás ciencias, recurren a la matemática empleándola como herramiento ¿a o para representar las complejas relaciones que se encuentran entre loshechos, entre los diversos aspectos de los hechos. Estas ciencias interpretan las formas ideales en términos de hechos y de experiencias.
El significado fáctico o empírico que se les asigna a 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 que, siendo formales se “aplican” a larealidad. 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 adecuadas. 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 que los enunciados formales consisten en relaciones entre signos, los enunciados de las ciencias fácticas se refieren (en su mayoría) a entes extracientíficos, a sucesos y procesos. La división también tiene en cuenta el método por el cual se ponen a prueba los enunciados verificables: las ciencias formales se contentan con la lógica para demostrar sus teoremas; en cambio las ciencias fácticas necesitan de la observación y-o el experimento. Las ciencias fácticas tienen que mirar las cosas y deben procurar cambiarlas deliberadamente paraintentar descubrir en que medida sus hipótesis se adecuan a los hechos.
La matemática y la lógica son ciencias deductivas. El proceso constructivo se limita a la formación de los puntos de partida (axiomas). En matemática la verdad consiste en la coherencia del enunciado dado con un sistema de ideas admitido previamente; por esto, la verdad matemática no es absoluta, sino que es relativa a ese sistema(una proposición que es válida en una teoría puede dejar de ser lógicamente verdadera en otra teoría). Aún así, tan solo las conclusiones (teoremas) tendrán que ser verdaderas: los axiomas mismos pueden elegirse a voluntad. Se debe respetar la coherencia lógica, es decir no violar las leyes del sistema de lógica que se ha convenido usar.
En las ciencias fácticas, es diferente. En primer lugar noemplean símbolos vacíos (variables lógicas), sino tan sólo símbolos interpretados. En segundo lugar, la racionalidad (es decir, la coherencia con un sistema de ideas aceptado previamente) es necesaria pero no suficiente para los enunciados fácticos. Además de la racionalidad, los enunciados de las ciencias fácticas deben ser verificables en la experiencia; ya sea indirectamente (en el caso de...