Mario Bunge La ciencia. Su mtodo y su filosofa

1. IntroduccinMientras los animales inferiores slo estn en el mundo, el hombre trata de entenderlo; ysobre la base de su inteligencia imperfecta pero perfectible, del mundo, el hombre intentaenseorearse de l para hacerlo ms confortable. En este proceso, construye un mundoartificial: ese creciente cuerpo de ideas llamado "ciencia", que puede caracterizarse comoconocimiento racional, sistemtico, exacto, verificable y por consiguiente falible. Por mediode la investigacin cientfica, el hombre ha alcanzado una reconstruccin conceptual delmundo que es cada vez ms amplia, profunda y exacta.Un mundo le es dado al hombre; su gloria no es soportar o despreciar este mundo, sinoenriquecerlo construyendo otros universos. Amasa y remoldea la naturaleza sometindolaa sus propias necesidades animales y espirituales, as como a sus sueos: crea as el mundode los artefactos y el mundo de la cultura. La ciencia como actividad como investigacinpertenece a la vida social; en cuanto se la aplica al mejoramiento de nuestro medio natural yartificial, a la invencin y manufactura de bienes materiales y culturales, la ciencia se convierteen tecnologa. Sin embargo, la ciencia se nos aparece como la ms deslumbrante y asombrosade las estrellas de la cultura cuando la consideramos como un bien en s mismo, esto es comouna actividad productora de nuevas ideas (investigacin cientfica). Tratemos de caracterizarel conocimiento y la investigacin cientficos tal como se los conoce en la actualidad.2. Ciencia formal y ciencia fcticaNo toda la investigacin cientfica procura el conocimiento objetivo. As, la lgica y lamatemtica esto es, los diversos sistemas de lgica formal y los diferentes captulos de lamatemtica pura son racionales, sistemticos y verificables, pero no son objetivos; no nosdan informaciones acerca de la realidad: simplemente, no se ocupan de los hechos. La lgicay la matemtica tratan de entes ideales; estos entes, tanto los abstractos como losinterpretados, slo existen en la mente humana. A los lgicos y matemticos no se les daobjetos de estudio: ellos construyen sus propios objetos. Es verdad que a menudo lo hacenpor abstraccin de objetos reales (naturales y sociales); ms an, el trabajo del lgico o delmatemtico satisface a menudo las necesidades del naturalista, del socilogo o del tecnlogo,y es por esto que la sociedad los tolera y, ahora, hasta los estimula. Pero la materia prima queemplean los lgicos y los matemticos no es fctica sino ideal.Por ejemplo, el concepto de nmero abstracto naci, sin duda, de la coordinacin(correspondencia biunvoca) de conjuntos de objetos materiales, tales como dedos, por unaparte, y guijarros, por la otra; pero no por esto aquel concepto se reduce a esta operacinmanual, ni a los signos que se emplean para representarlo. Los nmeros no existen fuera denuestros cerebros, y aun all dentro existen al nivel conceptual, y no al nivel fisiolgico. Losobjetos materiales son numerables siempre que sean discontinuos; pero no son nmeros;tampoco son nmeros puros (abstractos) sus cualidades o relaciones. En el mundo realencontramos 3 libros, en el mundo de la ficcin construimos 3 platos voladores. Pero quinvio jams un 3, un simple 3?La lgica y la matemtica, por ocuparse de inventar entes formales y de establecer relacionesentre ellos, se llaman a menudo ciencias formales, precisamente porque sus objetos no soncosas ni procesos, sino, para emplear el lenguaje pictrico, formas en las que se puede verterun surtido ilimitado de contenidos, tanto fcticos como empricos. Esto es, podemosestablecer correspondencias entre esas formas (u objetos formales), por una parte, y cosasy procesos pertenecientes a cualquier nivel de la realidad por la otra. As es como la fsica,la qumica, la fisiologa, la psicologa, la economa, y las dems ciencias recurren a lamatemtica, emplendola como herramienta para realizar la ms precisa reconstruccin de lascomplejas relaciones que se encuentran entre los hechos y entre los diversos aspectos de loshechos; dichas ciencias no identifican las formas ideales con los objetos concretos, sino queinterpretan las primeras en trminos de hechos y de experiencias (o, lo que es equivalente,formalizan enunciados fcticos).Lo mismo vale para la lgica formal: algunas de sus partes en particular, pero noexclusivamente, la lgica proposicional bivalente pueden hacerse corresponder a aquellasentidades psquicas que llamamos pensamientos. Semejante aplicacin de las ciencias de laforma pura a la inteligencia del mundo de los hechos, se efecta asignando diferentesinterpretaciones a los objetos formales. Estas interpretaciones son, dentro de ciertos lmites,arbitrarias; vale decir, se justifican por el xito, la conveniencia o la ignorancia. En otraspalabras el significado fctico o emprico que se les asigna a los objetos formales no es unapropiedad intrnseca de los mismos. De esta manera, las ciencias formales jams entran enconflicto con la realidad. Esto explica la paradoja de que, siendo formales, se "aplican" a larealidad: en rigor no se aplican, sino que se emplean en la vida cotidiana y en las cienciasfcticas a condicin de que se les superpongan reglas de correspondencia adecuada. Ensuma, la lgica y la matemtica establecen contacto con la realidad a travs del puente dellenguaje, tanto el ordinario como el cientfico.Tenemos as una primera gran divisin de las ciencias, en formales (o ideales) y fcticas (omateriales). Esta ramificacin preliminar tiene en cuenta el objeto o tema de las respectivasdisciplinas; tambin da cuenta de la diferencia de especie entre los enunciados que seproponen establecer las ciencias formales y las fcticas: mientras los enunciados formalesconsisten en relaciones entre signos, los enunciados de las ciencias fcticas se refieren, ensu mayora, a entes extracientficos: a sucesos y procesos. Nuestra divisin tambin tiene enMario Bunge La ciencia. Su mtodo y su filosofa8cuenta el mtodo por el cual se ponen a prueba los enunciados verificables: mientras lasciencias formales se contentan con la lgica para demostrar rigurosamente sus teoremas (losque, sin embargo, pudieron haber sido adivinados por induccin comn o de otras maneras),las ciencias fcticas necesitan ms que la lgica formal: para confirmar sus conjeturasnecesitan de la observacin y/o experimento. En otras palabras, las ciencias fcticas tienenque mirar las cosas, y, siempre que les sea posible, deben procurar cambiarlasdeliberadamente para intentar descubrir en qu medida sus hiptesis se adecuan a loshechos.Cuando se demuestra un teorema lgico o matemtico no se recurre a la experiencia: elconjunto de postulados, definiciones, reglas de formacin de las expresiones dotadas designificado, y reglas de inferencia deductiva en suma, la base de la teora dada, esnecesaria y suficiente para ese propsito. La demostracin de los teoremas no es sino unadeduccin: es una operacin confinada a la esfera terica, aun cuando a veces los teoremasmismos (no sus demostraciones) sean sugeridos en alguna esfera extramatemtica y auncuando su prueba (pero no su primer descubrimiento) pueda realizarse con ayuda decalculadoras electrnicas. Por ejemplo, cualquier demostracin rigurosa del teorema dePitgoras prescinde de las mediciones, y emplea figuras slo como ayuda psicolgica alproceso deductivo: que el teorema de Pitgoras haya sido el resultado de un largo procesode induccin conectado a operaciones prcticas de mediciones de tierras, es objeto de lahistoria, la sociologa y la psicologa del conocimiento.La matemtica y la lgica son, en suma, ciencias deductivas. El proceso constructivo, en quela experiencia desempea un gran papel de sugerencias, se limita a la formacin de los puntosde partida (axiomas). En matemtica la verdad consiste, por esto, en la coherencia delenunciado dado con un sistema de ideas admitido previamente: por esto, la verdadmatemtica no es absoluta sino relativa a ese sistema, en el sentido de que una proposicinque es vlida en una teora puede dejar de ser lgicamente verdadera en otra teora. (Porejemplo, en el sistema de aritmtica que empleamos para contar las horas del da, vale laproposicin de 24 + 1 = 1.) Ms an las teoras matemticas abstractas, esto es, que contienentrminos no interpretados (signos a los que no se atribuye un significado fijo, y que por lotanto pueden adquirir distintos significados) pueden desarrollarse sin poner atencin alproblema de la verdad.Considrese el siguiente axioma de cierta teora abstracta (no interpretada): "Existe por lomenos un x tal que es F". Se puede dar un nmero ilimitado de interpretaciones (modelos) deeste axioma, dndose a x y F otros tantos significados. Si decimos que S designa punto,obtenemos un modelo geomtrico dado: si adoptamos la convencin de que L designanmero, obtenemos un cierto modelo aritmtico, y as sucesivamente. En cuanto "llenamos"la forma vaca con un contenido especfico (pero todava matemtico), obtenemos un sistemade entes lgicos que tienen el privilegio de ser verdaderos o falsos dentro del sistema dadode proposiciones: a partir de ah tenemos que habrnoslas con el problema de la verdad