que es la ciencia

LA CIENCIA Su método y su filosofía MARIO BUNGE
Mientras los animales inferiores sólo están en el mundo, el hombre trata de entenderlo; y sobre la base de su inteligencia imperfecta pero perfectible, del mundo, el hombre intenta enseñorarse de él para hacerlo más confortable. En este proceso, construye un mundo artificial: ese creciente cuerpo de ideas llamado “ciencia”, que puedecaracterizarse como conocimiento racional, sistemático, exacto, verificable y por consiguiente falible.

Ciencia formal y ciencia fáctica
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; nonos dan informaciones acerca de la realidad: simplemente, no se ocupan de los hechos.
La lógica y la matemática tratan de entes ideales; estos entes, tanto los abstractos como los interpretados, 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. Los números no existen fuera de nuestros cerebros, y aún allí dentroexisten al nivel conceptual, y no al nivel fisiológico. Los objetos materiales son numerables siempre que sean discontinuos; pero no son números; tampoco son números puros (abstractos) sus cualidades o relaciones. En el mundo real encontramos 3 libros, en el mundo de la ficción construimos 3 platos voladores. ¿Pero quién vio jamás un 3, un simple 3?
La lógica y la matemática, por ocuparse de inventarentes formales y de establecer relaciones entre ellos, se llaman a menudo ciencias formales,
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 lasciencias 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 demostrarrigurosamente sus teoremas (los que, 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 paraintentar descubrir en qué medida sus hipótesis se adecuan a los hechos.
La matemática y la lógica son, en suma, 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 admitidopreviamente: por esto, la verdad matemática no es absoluta sino relativa a ese sistema, en el sentido de que una proposición que es válida en una teoría puede dejar de ser lógicamente verdadera en otra teoría
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; (…)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...