La ciencia Mario bunge

2. Ciencia formal y Ciencia Fáctica

La lógica y la matemática trxtan 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.

Por ejemplo, el concepto de número abstracto nació, sin duda, de la coordinación (correspondencia biunívoca) deconjuntos de objetos materiales, tales como dedos, por una parte, y guijarros, por la otra.

Los números no existen fuera de nuestros cerebros, y aun allí dentro existen 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.
La lógica y lamatemá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 las que se puede verter un surtido ilimitado de contenidos, tanto fácticos como empíricos. empíricos. Esto es, podemos establecer correspondet¡cias entre esas formas (uobjetos formales), por una parte, y cosas y procesos pertenecientes a cualquier nivel de la realidad, por la otra.
Lo mismo vale para la lógica formal: algunas de sus partes -en particular, pero no exclusivamente, la lógica proposicional bivalente- pueden hacerse corresponder a aquellas entidades psíquicas que llamamos pensamientos.

En otras palabras, el significado fáctico o empírico que seles asigna a los objetos formales no es una propiedad intrínseca de los mismos. De esta manera, las ciencias formales jamás entran en conflicto con la realidad. Esto explica la paradoja de que, siendo formales, se "aplican" a la realidad.
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 objetoo tema de las respectivas disciplinas.

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 teorema, las ciencias fácticas necesitan más que la lógica formal: para confirmar sus conjeturas necesitan de la observación y/o experimento.

Lasciencias fácticas no emplean símbolos Vacios (Variables lógicas), sino tan sólo símbolos interpretados; por ejemplo, no involucran expresiones tales como "x es F", que no son verdaderas ni falsas. 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. Ademas exigimos que los enunciadosde las cicnias fácticas sean verificables en la experiencia. Por esto es que el conociemiento factivo verificable se llama a menudo ciencia empirica.

Las ciencias formales demuestran o prueban; las ciencias fácticas verifican (confirman o refutan) hipótresis que en su mayoría son provisionales.

Los rasgos esenciales del tipo de conocimiento que alcanzan las ciencias de la naturaleza y dela sociedad son la racionalídad yla objetividad. Por conocimiento racional se entiende:
a) Que está constituido por conceptos, juicios y raciocinios, y no por sensaciones, imágenes, pautas de conducta etc.
b) Que esas ideas pueden combinarse de acuerdo con algún conjunto de reglas lógicas, con el fin de producir nuevas ideas (inferencia deductiva).
c) Que esas ideas no se amontonancaóticamente o. simplemente, en forma cronológica, sino que se organizan en sistemas de ideas, esto es, en conjuntos ordenados de proposiciones (teorías).

Que el conocimiento científico de la realidad es objetivo significa:
a)Que concuerda aproximadamente con su objeto; vale decir, que busca alcanzar la verdad fáctica;
b)Que verifica la adaptación de las ideas a los hechos recurriendo a un comercio...