Investigacion Cientifica

LA INVESTIGACIÓN CIENTÍFICA - MARIO BUNGE

1.4. Las Ramas de la Ciencia

Diferenciando entre el método general de la ciencia y los métodos especiales
de las ciencias particulares liemos aprendido lo siguiente: primero, que el método científico es nn modo de tratar problemas intelectuales, no cosas, ni instrumentos, ni hombres; consecuentemente, puede utilizarse en todos los campos delconocimiento. Segundo, que la naturaleza del objeto en estudio dicta los posibles métodos especiales del tema o campo de investigación correspondiente: el objeto (sistema de problemas) y la técnica van de la mano. La diversidad de las ciencias está de manifiesto en cuanto que atendemos a sus objetos y sus técnicas; y se disipa en cuanto que se llega al método general que subvace a aquellas técnicas.La diferencia primera y más notable entre las varias ciencias es la que se presenta cutre ciencias formales y ciencias facluales, o sea, entre las que estudian ideas y las que estudian hechos. La lógica y la matemática son ciencias formales: no se refieren a nada que se encuentre en la realidad, y, por tanto, no pueden utilizar nuestros contactos con la realidad para convalidar sus fórmulas. Lafísica y la psicología se encuentran en cambio entre las ciencias tactuales: se refieren a hechos que se supone ocurren en el mundo, y, consiguientemente, tienen que apelar a la experiencia para contrastar sus fórmulas.
Así, la fórmula "x es azul", o, para abreviar, "A(x)” es verdadera de ciertas cosas, o sea, se convierte en una determinada proposición verdadera si se da como valor a la variable xel nombre de algo que efectivamente sea azul, como el Mar Egeo; y es falsa de muchas otras cosas, o sea, se convierte en una proposición falsa para la mayoría de otros valores asignables
a la variable de objeto x. Por otro lado, ".x es azul y x no es azul", o "A(x) & —A(x)", para abreviar, es falsa para todo valor de x, es decir, en toda circunstancia. Por tanto, su negación, "No ocurre que x esazul y
x no es azul", es verdadera, y su verdad es independiente de los hechos; en particular, no depende de la experiencia (la región fáctica de la que participa el hombre). Dicho brevemente: "A(.x)" es el esqueleto o forma de una idea factuat (si mantenemos la interpretación del predicado "A" como predicado que designa la propiedad de ser azul). Por otro lado, “—[A(x) & —A(x)]" (léase: "Noocurre que x es A y x no es A") es la estructura de una idea formal, una verdad lógica en este caso: su valor veritativo no depende de los valores particulares que pueda tomar x; aún más: es independiente de la interpretación que podamos dar al signo 'A'.
l,a lógica se interesa, entre otras cosas, por la estructura de las ideas [actuales v formales; pero mientras que en el primer caso la lógica esinsuficiente para hallar valores veritativos. en el último caso la lógica y/o la matemática se bastan para convalidar o invalidar cualquier idea de este tipo puro. En resolución: la ciencia formal es autosuficiente por lo que hace al contenido y al método de prueba, mientras que la ciencia factual depende del hecho por lo que hace al contenido o significación, y del hecho experiencia] para laconvalidación. Esto explica por qué puede conseguirse verdad formal completa, mientras que la verdad factual resulta tan huidiza.
Puede decirse que el tema propio de la ciencia formal es la forma de las ideas. Otra caracterización equivalente de la ciencia formal consiste en decir que se refiere a las fórmulas analíticas, esto es, a fórmulas que pueden convalidarse por medio del mero análisisracional. Considérese, por ejemplo, el enunciado según el cual, si A y B son conjuntos, entonces, si A está incluido propiamente en B, B no está incluido en A. La verdad de este enunciado no depende del tipo de conjunto considerado, ni se establece mediante el estudio de conjuntos de objetos reales: la fórmula pertenece a la teoría de conjuntos .abstractos (no descritos): es puramente formal y....