Ciencia formal y factica

Ciencia formal y ciencia fáctica

Mario Bunge

Tenemos así una primera gran división de las ciencias, en formales (o ideales) y fácticas (o materiales.) Esta ramificación preliminar tieneen 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: mientraslos enunciados formales consisten en relaciones entre signos, los enunciados de las ciencias fácticas se refieren, en su mayoría, a entes extra-científicos: a sucesos y procesos. Nuestra divisióntambié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, [...] lasciencias fácticas necesitan más que la lógica formal: para confirmar sus conjeturas necesitan de la observación y/o experimento.
Cuando se demuestra un teorema lógico o matemático no se recurre ala experiencia: el conjunto de los 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 – esnecesario y suficiente para ese propósito. La demostración de los teoremas no es sino una deducción: es una operación confinada a la esfera teórica [...] La matemática y la lógica son, en suma, cienciasdeductivas[...] En matemática la verdad consiste, por esto, en la coherencia del enunciado dado con un sistema de ideas admitido previamente […]
En las ciencias fácticas, la situación esenteramente diferente. En primer lugar, ellas no emplean símbolos vacíos (variables lógicas), sino tan solo símbolos interpretados; por ejemplo, no involucran expresiones tales como ‘x es F’, que no sonverdaderas 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 […] Además...