Ciencia formal y factica

Ciencia formal y ciencia factica Mario Bunge Tenemos asi una primera gran division de las ciencias, en formales (o ideales) y facticas (o materiales. ) Esta ramificacion preliminar tiene en cuenta el objeto o tema de las respectivas disciplinas; tambien da cuenta de la diferencia de especie entre los enunciados que se proponen establecer las ciencias formales y las facticas: mientras los enunciados formales consisten en relaciones entre signos, los enunciados de las ciencias facticas se refieren, en su mayoria, a entes extra-cientificos: a sucesos y procesos.

Nuestra division tambien tiene en cuenta el metodo por el cual se ponen a prueba los enunciados verificables: mientras las ciencias formales se contentan con la logica para demostrar rigurosamente sus teoremas, [… ] las ciencias facticas necesitan mas que la logica formal: para confirmar sus conjeturas necesitan de la observacion y/o experimento.

Cuando se demuestra un teorema logico o matematico no se recurre a la experiencia: el conjunto de los postulados, definiciones, reglas de formacion de las expresiones dotadas de significado y reglas de inferencia deductiva –en suma, la base de la teoria dada – es necesario y suficiente para ese proposito. La demostracion de los teoremas no es sino una deduccion: es una operacion

Lo sentimos, pero las muestras de ensayos completos están disponibles solo para usuarios registrados

Elija un plan de membresía
confinada a la esfera teorica [… La matematica y la logica son, en suma, ciencias deductivas[… ] En matematica la verdad consiste, por esto, en la coherencia del enunciado dado con un sistema de ideas admitido previamente […] En las ciencias facticas, la situacion es enteramente diferente. En primer lugar, ellas no emplean simbolos vacios (variables logicas), sino tan solo simbolos interpretados; por ejemplo, no involucran 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 facticos […] Ademas de la racionalidad exigimos de los enunciados de las ciencias facticas que sean verificables en la experiencia […] Unicamente despues que haya pasado las pruebas de la verificacion empirica podra considerarse que un enunciado es adecuado a su objeto, o sea, que es verdadero, y aun asi hasta nueva orden.

Por esto, el conocimiento factico verificable se llama a menudo ciencia empirica […] En ultima instancia, solo la experiencia puede decirnos si una hipotesis relativa a cierto grupo de hechos materiales es adecuada o no. Las ciencias formales demuestran o prueban; las ciencias facticas verifican (confirman o disconfirman) hipotesis que en su mayoria son provisionales.

La demostracion es completa y final; la verificacion es incompleta y por ello temporaria. (… ) Por ello, mientras las teorias formales pueden ser llevadas a un estado de perfeccion (o estancamiento), los sistemas teoricos relativos a los hechos son esencialmente defectuosos; cumplen, pues, la condicion necesaria para ser perfectibles. Mario Bunge, La Ciencia, su Metodo y su Filosofia, Ediciones Siglo Veinte, Buenos Aires, 1971