La divis división ión más aceptada es la de de ciencias fácticas fáctic as y formales. Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo. La palabra "fáctica" viene del latín factum que significa "hecho", o sea que trabaja con hechos. Se subdividen en naturales y sociales. Las primeras se preocupan por la naturaleza, las segundas por el ámbito humano. El hombre es un ser natural, pero su mundo ya no es natural. La naturaleza naturaleza se desen vuelve independientemente de la voluntas el hombre, en cambio, el mundo del hombre es creado por él. Las naturales son las biologías, física, química, química, etc. Y las sociales so n sociología, economía, psicología, etc. La verdad de estas ciencias es fáctica porque depende de hechos y es provisoria porque las nuevas investigaciones pueden presentar elementos para su refutación. Las formales trabajan trabajan con formas, es decir, con objetos objetos ideales, ideales, que son cre ados por el hombre, que existen en su mente y son obtenidos por abstracción.. Las ciencias formales son la lógica y la matemática. Les interesan las formas y no los contenidos, no les importa lo que que se dice, sino como se dice. La verdad verdad de las ciencias ciencias for males es necesaria y formal. Esta división tiene en cuenta el objeto o tema de estas disciplinas, también da cuenta de la diferencia de especie entre los enunciados que establecen las ciencias formales y las fácticas. Mientras los enunciados enunciados formales formales consi sten en relaciones relaciones entre signos, signos, lo enunciados de las ciencias fácticas se refieren, mayoritariamente, a sucesos y procesos. Además esta división tiene en cuenta el método por el cual se ponen a prueba los enunciados verificables. Mientras que las ciencias formales se conforman con la lógica para para comprobar sus teore teore mas, las ciencias fácticas recurren a la observación y /o al experimento. Las ciencias formales demuestran o prueban; las fácticas verifican (confirman o disconfirman) hipótesis que mayoritariamente son provisionales. La demostración es completa y final; l a verificación es incompleta y temporaria.
(Autor Mario Bunge) 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 la s que se puede verter un surtido ilimitado de contenidos, tanto fácticos como empíricos. El significado fáctico o empírico que se les asigna a los objetos formales no es una propiedad intrínseca de los mismos. Las ciencias formales jamás entran en conflicto con la realidad. 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. 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 (materiales). Esta ramificación prelimi nar tiene en cuenta el objeto o tema de las respectivas disciplinas. Los enunciados formales consisten en relaciones entre signos, los enunciados de las ciencias fácticas se refieren, en su mayoria, a entes extracientíficos: a sucesos y procesos. Tiene en cuenta el método. Las ciencias formales se contentan con la lógica para demostrar rigurosamente sus teoremas. Las ciencias fácticas necesitan más que la logica formal: para confirmar sus conjeturas necesitan de la observación y/o experimento. Las ciencias fácticas tiene que mirar las cosas y 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. La demost ración de los teoremas no es sino una deducción. Que el teorema de Pitágoras haya sido el resultado de un largo proceso de inducción conectado a operaciones prácticas de mediciones de tierras, es objeto de la historia, la sociología y la psicología del con ocimiento. La matemática y la lógica son ciencias deductivas. El proceso constructivo, en que la experiencia desempeña un gran papel de sugerencias, se limita a la formación de los puntos de partida (axiomas). En matemática la verdad consiste, por esto, en la coherencia del enunciado dado con un sistema de ideas admitido previamente: por esto, la verdad matemática no es absoluta, sino relativa a ese sistema, en el sentido de que una proposición que es validad en una teoría puede dejar de ser lógicam ente verdadera en otra teoría. Las ciencias fácticas no emplean símbolos vacios (variables lógicas) sino tan sólo símbolos interpretados. 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. Exigimos de los enunciados de las ciencias fácticas que sean verificables en la experiencia, sea indirectamente (en el caso de las hipótesis generales), sea directamente (en el caso de las consecuenci as singulares de las hipótesis). Únicamente después que haya pasado las pruebas de la verificación empírica podrá considerarse que un enunciado es adecuado a su objeto, o sea, que es verdadero, y aún así hasta nueva orden. El conocimiento fáctico verificab le se llama a menudo ciencia empírica. Fuentes: Mario Bunge: La ciencia, su método y su filosofía http://www.monografias.com/trabajos11/concient/concient.shtml
Resumen:
La división de las ciencias, formales (o ideales) y fácticas (materiales). Las ciencias formales se contentan con la lógica para demostrar rigurosamente sus teoremas. Las ciencias fácticas necesitan más que la lógica formal: para confirma r sus conjeturas necesitan de la observación y/o experimento. Las ciencias fácticas tienen que mirar las cosas y deben procurar cambiarlas deliberadamente para intentar descubrir en qué medida sus hipótesis se adecuan a los hechos . Ciencias formales son la lógica y la matemática, por ocuparse de inventar entes formales y de establecer relaciones entre ellos .
