gastronomia

CLASIFICACIÓN DE LA CIENCIA

I. SEGÚN SU CAMPO DE ACCIÓN

LAS CIENCIAS FORMALES Y FÁCTICAS

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ógica formal y los diferentes capítulos de la matemática pura— son racionales, sistemáticos y verificables, pero no son objetivos; no nos dan informaciones acercade la realidad: simplemente, no se ocupan de los hechos. La lógica y la matemática tratan de entes ideales; estos entes sólo existen en la mente humana. A los lógicos y matemáticos no se les da objetos de estudio: ellos construyen sus propios objetos.

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 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, lapsicologí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 deexperiencias (o, lo que es equivalente, formalizan enunciados fácticos).

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 fácticas se refieren, en su mayoría, a entes extracientíficos: a sucesos y procesos. Nuestra división también tiene en cuenta el método por el cual se ponen a prueba los enunciados verificables: mientras las ciencias formales se contentan con la lógica para demostrar rigurosamente sus teoremas (losque, sin embargo, pudieron haber sido adivinados por inducción común o de otras maneras), las ciencias fácticas necesitan más que la lógica formal: para confirmar sus conjeturas necesitan de la observación y/o experimento. En otras palabras, las ciencias fácticas tienen que mirar las cosas, y, siempre que les sea posible, deben procurar cambiarlas deliberadamente para intentar descubrir en quémedida sus hipótesis se adecuan a los hechos.


Cuando se demuestra un teorema lógico o matemático no se recurre a la experiencia: el conjunto de postulados, definiciones, reglas de formación de las expresiones dotadas de significado, y reglas de inferencia deductiva —en suma, la base de la teoría dada—, es necesaria y suficiente para ese propósito. La demostración de los teoremas no es sino unadeducción: es una operación confinada a la esfera teórica, La batalla se habrá ganado si se respeta la coherencia lógica esto es, si no se violan las leyes del sistema de lógica que se ha convenido en usar.

En las ciencias fácticas, la situación es enteramente diferente. En primer lugar, ellas no emplean símbolos vacíos (variables lógicas) sino tan sólo símbolos interpretados; por ejemplo noinvolucran expresiones tales como 'x es F', que no son verdaderas ni falsas. En segundo lugar, la racionalidad —esto es, la coherencia con un sistema de ideas aceptado previamente— es necesaria pero no suficiente para los enunciados fácticos; en particular la sumisión a algún sistema de lógica es necesaria pero no es una garantía de que se obtenga la verdad. Además de la racionalidad, exigimos de...