Temas 1 de 39

1. LA FILOSOFA DE LA CIENCIA.........................................................................................................3 2. CIENCIA BSICA, CIENCIA APLICADA, TCNICA Y TECNOLOGA.........................................5 2.1 Filosofa de la tecnologa........................................................................................................................7 3. LENGUAJE, PROPOSICIONES Y RAZONAMIENTOS.....................................................................8 4. FUNCIONES DEL LENGUAJE.............................................................................................................9 5. RAZONAMIENTOS DEDUCTIVO......................................................................................................11 6. RAZONAMIENTOS INDUCTIVOS.....................................................................................................12 7. EL PAPEL DE LAS HIPTESIS EN LA CIENCIA...........................................................................13 8. TIPOS DE HIPTESIS.........................................................................................................................14 9. ESTRUCTURA DE LAS TEORAS CIENTFICAS...........................................................................16 10. EL PAPEL DE LA INDUCCIN EN LA INVESTIGACIN CIENTFICA..................................17 11. EL EMPIRISMO LGICO..................................................................................................................21 11.1 El criterio verificacionista del significado..........................................................................................21 11.2 Confirmacin y refutacin de hiptesis..............................................................................................22 12. LA CONCEPCIN FALSACIONISTA..............................................................................................23 12.1 Crticas a la induccin.........................................................................................................................23 12.2 La falsabilidad como criterio de demarcacin...................................................................................24 12.3 Convencionalismo y base emprica.....................................................................................................25 12.4 La contrastacin de las hiptesis........................................................................................................26 12.5 Verdad y verosimilitud.........................................................................................................................28 13. THOMAS KUHN .................................................................................................................................28 13.1 Introduccin.........................................................................................................................................28 13.2. LA ETAPA DE LA ESTRUCTURA ................................................................................................29 13.2.2. Crisis y revoluciones cientficas.....................................................................................................32 13.2.3. La tesis fuerte de la inconmensurabilidad.....................................................................................32 13.2.4. El progreso cientfico......................................................................................................................32 13.3. LA ETAPA DE TRANSICIN.........................................................................................................33 13.3.1. Una nueva concepcin de los paradigmas.....................................................................................33 13.4. ETAPA FINAL .................................................................................................................................34 13.4.1. Inconmensurabilidad y estructuras lxicas...................................................................................34 14. LAS VERSIONES DEL FALSACIONISMO.......................................................................................36 14.1 EL FALSACIONISMO SOFISTICADO...........................................................................................37 14.1.1. Los principios del falsacionismo sofisticado..................................................................................37 14.2. La estructura de los programas de investigacin cientfica.............................................................38 2 de 39

1. LA FILOSOFA DE LA CIENCIA La Filosofa de la Ciencia es una rama de la Filosofa que tiene el propsito de realizar una reflexin crtica acerca de las caractersticas del conocimiento cientfico. Las diversas disciplinas cientficas tienen como objeto de estudio distintos aspectos de la realidad fsica, biolgica, psicolgica y social. La Filosofa de la Ciencia, en cambio, tiene por objeto, precisamente, el modo en que se 3 de 39

producen y se legitiman los conocimientos cientficos. Constituye, entonces, una disciplina meta cientfica. Vale la pena advertir que existen tambin otros enfoques meta cientficos tales como la Historia de la Ciencia, la Sociologa de la Ciencia o la Psicologa de la Ciencia que, en todo caso, constituyen especialidades de la Historia, la Sociologa o la Psicologa. Estas sub disciplinas, naturalmente, aportan elementos importantes para la Filosofa de la Ciencia. Sin embargo, la reflexin filosfica requiere la incorporacin de una perspectiva esencial en cuanto privilegia el inters por las condiciones capaces de justificar la validez de cualquier hiptesis cientfica. La Sociologa de la Ciencia investiga los factores sociales que inciden en la actividad cientfica y se ocupa de las caractersticas propias de la comunidad cientfica, el tipo de comunicacin que se establece entre sus miembros, la influencia de otras instituciones, etc. La Historia de la Ciencia se aboca al estudio del surgimiento y desarrollo de las ideas cientficas a travs del tiempo. La Psicologa de la Ciencia analiza -entre otros aspectos- las caractersticas de la personalidad de los descubridores cientficos en relacin con su actividad profesional. La Filosofa de la Ciencia, por su parte, abarca un conjunto amplio y complejo de problemas a propsito de la actividad cientfica. Trata de establecer las particularidades y las reglas que rigen la actividad cientfica y los rasgos de las hiptesis y teoras que surgen a partir de ella. Procura, en sntesis, identificar las propiedades de un conocimiento cientfico. No constituye una mera descripcin de cierta actividad humana. Debe tenerse en cuenta que si pretendemos determinar las caractersticas propias de la ciencia, necesitamos identificar previamente cules manifestaciones culturales hemos de investigar, y esto supone, a su vez, conjeturar al menos, algunos de los rasgos que debe presentar cualquier actividad para que sea considerada cientfica. El concepto de ciencia no solamente ha vanado en las distintas pocas histricas, an en una poca dada, por ejemplo la nuestra, es posible hallar diferentes concepciones sobre la ciencia. De todos modos, la mayora de los filsofos, los cientficos y los historiadores de la ciencia, seguramente coincidiran en reconocer que teora tales como la astronoma de Coprnico, la mecnica newtoniana o las investigaciones de Pasteur sobre el problema de la generacin espontnea constituyen ejemplos paradigmticos del desarrollo del conocimiento cientfico, sin perjuicio de que las opiniones se dividan en relacin con otros productos culturales como la homeopata, la teora psicoanaltica o el marxismo. La Filosofa de la Ciencia se compromete, por estos motivos, con el establecimiento de las condiciones que deben cumplir las hiptesis o las teoras para adquirir el status correspondiente de los conocimientos cientficos. Incorpora, por consiguiente, una dimensin normativa que va ms all de las funciones descriptivas y explicativas que pueden brindar otras disciplinas meta cientficas como la Historia y la Sociologa de la Ciencia. La complementacin entre este ltimo tipo de disciplina y la Filosofa de la Ciencia ha sido subrayada por Imre Lakatos quien sintetiz el equilibrio entre el aspecto descriptivo y el normativo a travs de la afirmacin de que la historia de la ciencia sin filosofa de la ciencia es ciega, mientras que la filosofa de la ciencia sin la historia de la ciencia es vaca. Adems de los aspectos descriptivo y normativo puede sealarse tambin, como lo hace Moulines (1997), la dimensin interpretativa de la Filosofa de la Ciencia. El anlisis de las construcciones cientficas como las leyes y las teoras permite proponer explicaciones sobre su naturaleza y sus relaciones con otros componentes de la tarea cientfica. Las concepciones elaboradas por los filsofos de la ciencia constituyen, pues, ms que una descripcin de la tarea cientfica, una reconstruccin del modo como se lleva a cabo, de tal manera que se hagan manifiestos sus componentes racionales. Es oportuno recordar que La circunstancia de que una actividad o una teora no resulten ser 4 de 39

cientficas de acuerdo con una determinada concepcin no significa una desvalorizacin de su importancia o de su carcter racional. Algunos filsofos de la ciencia se inclinaran a pensar que los estudios histricos, los literarios, el derecho o la contabilidad, por ejemplo, no son manifestaciones cientficas en un sentido estricto, aunque ello no menoscaba sus mritos particulares. Ms aun, la filosofa misma aun que comparte con la ciencia algunas caractersticas muy relevantes tales como la produccin de argumentos muy complejos, no suele ser incluida entre las disciplinas cientficas, tal como hemos hecho nosotros al comienzo de este trabajo. Algunos autores clebres, como Popper y Carnap, elaboraron concepciones de las cuales pudieran surgir criterios para demarcar el territorio propio de las ciencias y diferenciarlo de otras manifestaciones culturales, incluida la filosofa y ms en particular la metafsica. As, mientras Carnap suscriba la idea de que las ciencias fcticas tajes como la biologa o la psicologa se caracterizan porque formulan y contrastan Hiptesis que deben ser de algn modo verificables a travs de la observacin; Popper sostena que el carcter universal de las hiptesis cientficas excluye toda posibilidad de verificarlas, de manera que la propiedad distintiva de las hiptesis cientficas radica en su carcter refutable. Es decir, en la posibilidad de que ciertos experimentos u observaciones mostraran, en caso de producirse, que la hiptesis es falsa. 2. CIENCIA BSICA, CIENCIA APLICADA, TCNICA Y TECNOLOGA La actividad cientfica adopta distintas modalidades de acuerdo con los propsitos que motivan la investigacin, lo que ha dado lugar a la distincin entre ciencia bsica, ciencia aplicada y tecnologa. La investigacin pura o bsica se caracteriza por ser emprendida sin ninguna finalidad prctica explcita sino, en principio, con el slo inters de conocer las caractersticas de cierto aspecto de la realidad. Ello no quiere decir que la ciencia bsica no pueda tener aplicaciones prcticas fructferas o que quienes realizan esas investigaciones no puedan sospechar cmo podran utilizarse los resultados para solucionar problemas prcticos. Lo que la define es su relativa independencia con respecto a tales fines, de tal modo que los resultados de la investigacin se considerarn exitosos cuando confirmen o amplen el conocimiento en una cierta rea, aun cuando no se advierta cmo podra mejorar nuestro dominio del mundo. La investigacin aplicada, en cambio, tiene como objeto obtener resultados que permitan eventualmente un control y modificacin de la realidad, estas ltimas son funciones que lleva a cabo la tecnologa. La ciencia aplicada cumple fundamentalmente la misin de establecer un puente entre la ciencia bsica y la tecnologa, se apoya para ello en los conocimientos obtenidos en la etapa de investigacin bsica. Por lo general, el dominio de investigacin aplicada es ms restringido que el de la ciencia bsica y tambin ms especializado, en la medida en que explora la posibilidad de adaptar teoras generales a condiciones iniciales especficas de un campo particular de fenmenos. As, por ejemplo, las investigaciones acerca de la estructura atmica han sido aplicadas para fines pacficos como la produccin de energa y tambin, lamentablemente, para fabricar poderossimos explosivos. De la misma forma, los avances tericos en el campo de la sociologa alimentan las investigaciones puntuales acerca de temas que son importantes para la sociedad, como en el caso del diseo de campaas preventivas para inducir los jvenes a evitar conductas que favorezcan el contagio del sida. En cuanto a los conceptos de tcnica y tecnologa, resultan mucho ms difciles de definir debido a la falta de consenso sobre su significado y a la prctica de intercambiarlos. Cualesquiera sean las diferencias que puedan trazarse, no obstante, tanto la tcnica como la 5 de 39

tecnologa comparten la circunstancia de que constituyen modos concretos de produccin o transformacin d objetos con el propsito deliberado de satisfacer determinados intereses o necesidades. Lewis Mumford sugiri, hace ya muchos aos, utilizar el trmino "tcnica" para las actividades artesanales precientficas y reservar el nombre "de "tecnologa" para los procedimientos industriales basados en conocimientos cientficos. Pero, es posible hallar el trmino "tcnica" para referirse, por ejemplo, al modo de realizar una operacin quirrgica y en este caso indudablemente el cirujano aplica conocimientos cientficos. De todos modos, el concepto de "tecnologa" incluye, implcita o explcitamente, una referencia a resultados cientficos. Y parece justificado aceptar, como indican algunos autores, que la tecnologa no se reduce, en ltima instancia, a los conocimientos surgidos en el proceso de investigacin bsica, por cuanto la tecnologa debe resolver problemas especficos que enfrenta la produccin o transformacin de ciertos objetos y que son ajenos a la investigacin bsica. La definicin ofrecida por Mario Bunge se inscribe en esa orientacin: "Se entiende por tecnologa' el vastsimo campo de investigacin, diseo y planeamiento que utiliza conocimientos cientficos con el fin de controlar cosas o procesos naturales, disear artefactos o procesos, o combinar operaciones de manera racional" As definida, la tecnologa comprende un dominio amplio que incluye no solamente las ingenieras derivadas de la Fsica y de la Qumica sino tambin las biotecnologas agronmicas y veterinarias, la biogentica humana, adems de los planes de accin social y econmica, los sistemas de enseanza-aprendizaje, las ciencias da la administracin y jurdicas, y otras. etc. Dos ideas bsicas forman parte de la especificidad de lo tecnolgico, son los conceptos de objeto artificial y de diseo. - Un objeto (fenmeno o proceso) se considera artificial cuando est controlado o es producido deliberadamente con la ayuda de conocimientos aprendidos y utilizables por otros. La produccin, control y mantenimiento de artefactos o sistemas de accin, como el desvo del curso de un ro, la construccin de una represa, la fabricacin de computadoras, frmacos. la inseminacin artificial, son ejemplos de objetos artificiales. El diseo tecnolgico es la representacin anticipada de un objeto (artefacto, fenmeno o proceso) sobre la base de conocimiento cientfico. El diseo suele tomar la forma de un plano, diagrama, maqueta o simplemente de un texto. - Otro concepto clave es el de invento ya que una nueva tcnica o una nueva tecnologa surge como resultado de un acto de imaginacin. De este modo, las invenciones tecnolgicas parten de la base que les proporcionan los conocimientos cientficos adquiridos. Pero, algunos de los inventos ms importantes para la humanidad, como la metalurgia antigua, el arado, la imprenta y las mquinas mecnicas deben poco y nada a la ciencia. No obstante, a partir de la segunda etapa de la revolucin industrial se produjo un aceleradsimo proceso en el cual la ciencia y la tecnologa se potenciaron mutuamente. As, la electrodinmica aplicada permiti la construccin de generadores y motores elctricos; la impresionante multiplicacin de frmacos resultaron de los progresos de la biologa y la qumica bsica, y las innovaciones en la produccin y conservacin de alimentos fueron posibles gracias al desarrollo de la gentica y la microbiologa. De este modo la mayor parte de nuestras comodidades cotidianas tales como el telfono, la luz elctrica, los modernos medios de trans porte, la radio, la televisin, las computadoras, etc., surgieron en un lapso increblemente breve si se lo compara con todo el perodo anterior de la presencia humana en el planeta. Dos cientficos de la NASA calcularon en 1966, que de las ltimas 800 generaciones de seres humanos 650 vivieron en cuevas; solamente las ltimas 70 contaron con mtodos eficaces de comunicacin y slo las dos o tres ltimas dispusieron de los inventos modernos que hemos 6 de 39

mencionado. Hace pocos aos falleci en Francia una mujer que haba alcanzado ms de 120 aos de edad, de manera que cuando naci prcticamente ninguno de esos productos tecnolgicos exista. Por otra parte, los desarrollos tecnolgicos pueden hacer que aparezcan problemas cientficos nuevos, como ocurri con la observacin de que las bombas de succin utilizadas para extraer el agua de la minas slo poda impulsar el agua hasta una altura de 30 pies, lo cual condujo finalmente a Torricelli a descubrir el valor de la presin del aire. Una descripcin esquemtica de las relaciones entre la ciencia bsica, la ciencia aplicada y la tecnologa, en el caso de un ejemplo que propusimos antes, es la que seala las siguientes etapas: 1 Propuesta terica acerca de la composicin atmica

2 Exploracin de las posibilidades de controlar la energa atmica y ponerla a 3 Diseo concreto y construccin de reactores nucleares Es necesario subrayar que dicho esquema constituye una simplificacin. En verdad, los lmites entre la ciencia bsica, la ciencia aplicada y la tecnologa pueden ser muy borrosos e inestables. Si bien la complejidad del mundo industrializado tiende a separar, aunque no a aislar, los mbitos correspondientes a cada una de esas reas, muchas veces resultados que pueden considerarse enormemente significativos en el plano de la ciencia pura, esto es, en tanto aportes a nuestra comprensin del mundo, surgen en el curso del intento de resolucin de problemas prcticos. Muchas de las investigaciones dirigidas por Pasteur, respondan al propsito utilitario de solucionar problemas productivos; tal es el caso de la investigacin de la epidemia que sufran los gusanos de seda y que llevaba a la ruina a numerosos productores de Francia. El descubrimiento del microorganismo que produca la enfermedad de los gusanos hizo posible contrarrestar sus efectos. Pero, por otra parte, en las condiciones de la poca, este descubrimiento reforz las hiptesis de Pasteur acerca de la vida microscpica, que tienen un alcance enormemente ms amplio que el que motiv la consulta al sabio francs. As tambin, el xito de Pasteur para identificar la causa del deterioro del vino que arruinaba la produccin de los viateros franceses, tambin arroj importantes resultados en cuanto a las caractersticas de los microorganismos. Esta clase de investigaciones, originadas indudablemente en problemas que cabra clasificar como propios de la ciencia aplicada y la tecnologa, se articulaban en el pensamiento de Pasteur y nutran su posicin en debates eminentemente cientficos como el de la posibilidad de que hubiera seres vivos que se generaran espontneamente. Otro ejemplo de la estrecha interrelacin entre la ciencia bsica y la tecnologa surge del hecho de que quienes llevan a cabo investigaciones bsicas necesitan cada vez ms imperiosamente contar con aparatos e instrumentos que slo una tecnologa altamente desarrollada puede proveerles. 2.1 Filosofa de la tecnologa La importancia y la complejidad de los problemas que surgen en torno a la tecnologa y a su evidente impacto en la sociedad actual han dado lugar a la conformacin de una nueva disciplina: la Filosofa de la tecnologa. Su aparicin se explica por la existencia de caractersticas que no presenta por s misma la actividad cientfica. En cuanto al carcter sui 7 de 39

nuestr

generis del conocimiento tecnolgico, algunos autores sealan que mientras la ciencia pura se evala fundamentalmente por resultados tales como la formulacin de teoras bien corroboradas y explicaciones adecuadas de los fenmenos que se expresan en un conocimiento representacional o preposicional ("know that) la tecnologa depende esencialmente del logro de un conocimiento operacional ("knowhow") que requiere una habilidad o destreza que se aprende por entrenamiento. Por otra parte, as como las hiptesis y las teoras cientficas son sometidas a los controles empricos constituidos por la observacin y la experimentacin, una invencin tecnolgica debe ser sometida a una contrastacin prctica. Una vez propuesto un diseo tecnolgico se debe pasar a una etapa, llamada desarrollo que consiste en la produccin de un modelo o prototipo o la realizacin de un plan piloto para la fabricacin de un artefacto o la ejecucin de un plan; en esta etapa la prueba se realiza en pequea escala y si resulta exitosa se extiende a mediana o gran escala. Por ltimo, si las etapas anteriores resultan satisfactorias se procede a la produccin y comercializacin del producto o servicio. Los criterios para la evaluacin de todos estos procedimientos se apoyan: - En primer lugar, en su efectividad, es decir, en su capacidad para obtener el producto propuesto. - Un segundo criterio considera su eficiencia, es decir, el grado en que se aprovechan los recursos necesarios para la produccin. Esta propiedad, la eficiencia, juega un papel decisivo, puesto que se persigue el objetivo de obtener el producto de la mejor manera, es decir, con el menor costo y esfuerzo. En consecuencia, si el resultado de las pruebas indicara que los costos no estn proporcionados al producto, todo el proyecto es abandonado. Esta condicin indica la dependencia de la tecnologa con respecto a los factores econmicos, sociales y culturales, ya que es con relacin a stos que se evala la viabilidad de la produccin. De manera general puede sostenerse que una tecnologa es ms eficiente que otra si consigue el mismo resultado con menor costo de tiempo, energa, economa, etc.; o bien si consigue un resultado ms valioso -de acuerdo con los cnones de valoracin aplicados- con el mismo costo; la eficiencia aparece asociada asa una forma de racionalidad instrumental, es decir una relacin de adecuacin de medios a fines. La evaluacin de las tecnologas no se limita a considerar aspectos econmicos, ya que tambin se hace necesario tener en cuenta otros valores como la seguridad y el impacto ambiental. Otro de los temas que han atrado el inters de los filsofos de la tecnologa es el de los factores que promueven el desarrollo cada vez ms acelerado de los cambios tecnolgicos. Cabe preguntarse si este desarrollo depende enteramente de otros factores y principalmente de los sociales. Algunos autores sostienen que existe cierta autonoma de la dinmica del desarrollo tecnolgico, de tal manera que su evolucin est determinada en gran medida por un proceso de realimentacin tecnolgica surgida de la eficiencia como uno de sus principios dinmicos esenciales que obedecen al imperativo de la innovacin constante. . . Quienes defienden la idea, en cambio, de que el conocimiento cientfico y el tecnolgico estn determinados fundamentalmente por factores sociales, se interesan primordialmente por el problema del control del desarrollo tecnolgico y su impacto sobre la sociedad. 3. LENGUAJE, PROPOSICIONES Y RAZONAMIENTOS El conocimiento que una persona tiene con respecto a determinado mbito o aspecto de la realidad se manifiesta, fundamentalmente, de dos maneras: - Una de ellas, denominada muchas veces a travs de la expresin saber cmo, es la capacidad para desarrollar adecuadamente una actividad, por ejemplo, leer, escribir o andar en bicicleta; y tambin, naturalmente, la capacidad para llevara cabo acciones mucho ms complejas como pilotear un avin, 8 de 39

realizar una operacin quirrgica o disear un edificio. - La otra manifestacin del conocimiento, el saber qu, consiste en considerar que ciertas proposiciones son verdaderas. As, por ejemplo, podemos decir que en la antigedad algunos ya saban que la Tierra es aproximadamente esfrica. El conocimiento cientfico, evidentemente, se manifiesta de ambas maneras, como lo indica el caso de una operacin quirrgica. Sin perjuicio de ello, las investigaciones cientficas se cristalizan en la produccin de hiptesis y teoras que se someten a contrastacin a travs de observaciones y experimentos. En estos casos, el medio de comunicacin es el lenguaje oral u escrito. En la actualidad, los cientficos dan a conocer los resultados de sus investigaciones principalmente a travs de su publicacin en las revistas especializadas de su disciplina y tambin, algunas veces, en libros. Los epistemlogos concentran mayoritariamente -aunque no con exclusividad-su atencin en esta forma de expresin del conocimiento cientfico, la que se expresa a travs del lenguaje. En este texto, pues, emprenderemos nuestro estudio considerando algunas caractersticas de la formulacin y la elaboracin del conocimiento cientfico tal como se presenta en la produccin lingstica. 4. FUNCIONES DEL LENGUAJE En general, el anlisis del lenguaje puede abordarse desde diversas perspectivas. Los estudios sintcticos se refieren a las reglas rigen las combinaciones de signos aceptables dentro de un determinado lenguaje independientemente, en principio, de los significados que los signos puedan tener. As, por ejemplo, una regla sintctica de la formacin de palabras en castellano establece que despus de una "m" en el interior de una palabra no puede aparecer una "v". Las consideraciones semnticas, en cambio, se refieren a los significados de las expresiones y, eventualmente a la verdad o falsedad, y el anlisis pragmtico, por su parte, presta atencin a la relacin entre los signos y sus usuarios y a las condiciones en las cuales los hablantes emiten, determinados signos. Por otra parte, el enfoque pragmtico hace posible establecer cules son las funciones que cumple una determinada formulacin lingstica. Pueden distinguirse, entonces, varias funciones que pueden presentarse, en algunos casos, simultneamente, a saber: 1. 2. 3. 4. 5. Directiva Expresiva Ejecutiva Ceremonial Informativa

Veremos cada una de ellas 1. Funcin directiva: Es aquella cuyo propsito es instar a los oyentes a comportarse de cierto modo. Las rdenes, las sugerencias, los pedidos, los avisos publicitarios y las interrogaciones que no sean meramente retricas se encuadran dentro de esta funcin. 2. Funcin expresiva Es la funcin a travs de la cual se expresan estados subjetivos del hablante, valoraciones, etc. 3. Funcin ejecutiva Es la que corresponde a un uso muy particular del lenguaje que se lleva a cabo cuando 9 de 39

determinados individuos pronuncian o escriben discursos especficos de tal manera que tales expresiones tienen la caracterstica de que al pronunciarlas en circunstancias apropiadas se realiza la accin que describen. El lenguaje ejecutivo contiene verbos que denotan una accin que, en circunstancias apropiadas, queda realizada cuando se usa el verbo en la primera persona del modo indicativo. Cuando un funcionario autorizado expresa "Los declaro marido y mujer" o cuando un individuo dice "Prometo decir toda la verdad". Los verbos "declarar" y "prometer", como tambin "aconsejar", "ofrecer" y "sugerir" son ejemplos tpicos de verbos realizativos. 4. Funcin ceremonial Es una funcin que suele combinar la funcin expresiva y la directiva en la medida en que manifiestan ciertos sentimientos o actitudes y, de algn modo, propician determinadas conductas en los dems. De esta manera, las palabras que se usan habitualmente para saludar y la bendicin que un sacerdote imparte a los fieles cuentan como ejemplos de la funcin ceremonial 5. Funcin informativa Es la que corresponde a la descripcin de alguna situacin. En consecuencia, toda oracin que incluya una funcin informativa ha de ser verdadera o falsa conforme a que la descripcin que brinda se adecue a la situacin a la que se refiere. As, por ejemplo, la oracin "La superficie del territorio argentino es mayor que la superficie de Chile" expresa una informacin verdadera, mientras "La superficie de Argentina es mayor que la de Brasil" resulta falsa. De cualquier manera, en ambos casos, las oraciones sirven para comunicar una informacin. Es necesario notar, pues, que el cumplimiento de la funcin informativa es independiente de que lo dicho sea verdadero o falso y es tambin Independiente de la circunstancia de que sepamos fehacientemente que es verdadero o que es falso. As, por ejemplo, la oracin "Existen seres vivientes fuera del planeta Tierra" puede ser considerada como una hiptesis de la que no sabemos si es verdadera o falsa. Sin embargo, y bajo el supuesto de que contamos con una adecuada definicin del concepto de ser viviente, de hecho, es verdadera o falsa aunque quiz nunca lleguemos a saber cul de ambas alternativas se cumple. Es frecuente considerar la verdad y la falsedad como valores posibles de las oraciones informativas en un sentido similar al que aparece cuando se dice que los valores de una funcin matemtica pueden ser determinados nmeros. En consecuencia, es posible caracterizar la funcin informativa sealando que es aquella en las que cabra predicar la verdad o la falsedad de la informacin (no importa cual de ellas). As, obsrvese que carece de sentido preguntar si la oracin "Cierre la puerta, por favor" es verdadera o falsa aun cuando de hecho la puerta en cuestin est cerrada. En ese caso, si la puerta ya estuviese cerrada diramos que quien formul el pedido estaba equivocado al creer que la puerta estaba abierta; esta suposicin es la que, en todo caso, posee un valor de verdad, pero no el pedido que surge de ella, que se encuadra dentro de lo que hemos denominado funcin directiva del lenguaje. En el habla real muchas veces se superponen funciones. En esos casos, es conveniente discriminarlas y determinar cul es la funcin principal que el hablante pretende asignar a un fragmento de discurso. As, por ejemplo, si una casa ostenta un letrero que dice "Se vende" la funcin principal no es la informativa sino la directiva. Como ya hemos sugerido, nuestro examen del lenguaje cientfico estaba centrado en las caractersticas que posee desde el punto de vista informativo. Supondremos, pues, que los resultados de la investigacin cientfica se expresan a travs de un discurso informativo y extenderemos esta suposicin, en principio, tanto a las oraciones que se refieren a objetos o situaciones 10 de 39

directamente observables como a las que incluyen referencias a objetos, propiedades, relaciones o acontecimientos que no son directamente observables. 5. RAZONAMIENTOS DEDUCTIVO Es necesario advertir, adems, que tanto el conocimiento cientfico como el conocimiento ordinario no pueden representarse, simplemente, como un conjunto de proposiciones verdaderas o al menos aceptadas. En ambos tipos de conocimiento cumple una funcin importantsima la elaboracin de la informacin que da por resultado la obtencin de conclusiones. Esta clase de elaboracin que guarda correspondencia con las operaciones mentales propias de nuestra capacidad de razonar y aun con operaciones que puedan llegar a ser realizadas por calculadoras o computadoras se manifiestan en el plano lgico por ciertas estructuras que se denominan razonamientos. Un razonamiento, entonces, es un conjunto de proposiciones estructurado de tal manera que a partir de algunas de esas proposiciones, denominadas premisas, se obtiene otra proposicin a la que se denomina conclusin en virtud de que las premisas brindan, en caso de ser verdaderas, cierta garanta para aceptar la verdad de la conclusin. En los razonamientos deductivos las premisas deben constituir una garanta completa de la conclusin. As, por ejemplo, si recordamos habernos encontrado con una persona cuando salamos de una clase de ingls, sea por caso, el lunes o el mircoles pasado, y despus advertimos que el lunes fue feriado y por lo tanto no hubo clases, concluimos que el encuentro se produjo el mircoles. Se trata de la misma forma de razonamiento que utiliza un mdico cuando concluye que un paciente est afectado de una determinada enfermedad luego de conocer los resultados de los anlisis que descartan la nica otra enfermedad com patible con los sntomas. Si utilizamos la letra 'p' para representar la proposicin: "El encuentro se produjo el lunes" y la letra 'q' para representar la proposicin "El encuentro se produjo el mircoles" el razonamiento puede esquematizarse de la siguiente forma: 1) p o q 2) nop Por consiguiente 3) q .Es evidente que el mismo esquema corresponde al segundo razonamiento si 'p' y 'q' representan-, respectivamente, las proposiciones "El paciente sufre de la enfermedad x" y "El paciente sufre de la enfermedad y". Esto nos permite: - En primer lugar, distinguir por un lado la forma o estructura de los razonamientos, que en este caso es la misma en ambos, y por otro lado el contenido informativo de las proposiciones que integran el razonamiento que obviamente es diferente en uno y otro caso. - En segundo lugar debemos observar que, intuitivamente, esa estructura representa una forma adecuada de razonar, pues cualquier ejemplo de razonamiento que se ajuste a esa forma tendr' una conclusin verdadera si las premisas son tambin verdaderas. As, si finalmente el, paciente no sufra de la enfermedad x ser porque era falsa la premisa que afirmaba que solamente poda padecer de las enfermedades 'x' o 'y', o porque los anlisis no determinaban, de hecho, la posibilidad de que padeciera de la enfermedad 'x'. Una misma forma de razonamiento podra generar, en principio, infinitos ejemplos de acuerdo con las proposiciones que se elijan como premisas y conclusin. De esta manera, dada una forma de razonamiento deductivo, como la que hemos propuesto 11 de 39

anteriormente, pueden encontrarse ejemplos en los cuales las premisas sean todas verdaderas y la conclusin tambin, o bien que por lo menos una de las premisas sea falsa y la conclusin sea falsa, o bien que al menos una de las premisas sea falsa y la conclusin verdadera. Lo que no puede suceder es que las premisas sean todas verdaderas y la conclusin sea falsa. En todo razonamiento deductivo si las premisas son todas verdaderas entonces necesariamente resultar verdadera la conclusin. Otra manera de expresar esta idea consiste en decir que la conjuncin de las premisas Implican lgicamente la conclusin. Para determinar si un razonamiento es deductivo o, como se dice a veces, vlido deductivamente, es necesario establecer si su forma puede tener o no contraejemplos, es decir, casos en los cuales las premisas sean verdaderas y la conclusin sea falsa. La lgica deductiva proporciona procedimientos efectivos para establecer la validez de ciertas formas de razonamiento. 6. RAZONAMIENTOS INDUCTIVOS Ni la elaboracin del conocimiento cientfico ni la del ordinario se restringen al empleo de formas deductivas de razonamiento. Por el contrario, es frecuente el uso de razonamientos que en contraste con los deductivos solamente permiten extraer una conclusin probable pero no necesaria. As, por ejemplo, s se ha observado que una gran cantidad de personas inoculadas con una vacuna han logrado evitar ser contagiadas de una cierta enfermedad, y no se tiene conocimiento de que esta afirmacin tenga excepciones, es natural concluir que todos los individuos vacunados sern inmunes a tal enfermedad. El esquema del razonamiento que corresponde a lo que se denomina induccin enumerativa es el siguiente: Va. la Vb. Ib Ve. le --------Vn. In Entonces (x) (Vx r> Ix) El carcter universal de la conclusin abarca, en estas condiciones, un conjunto de individuos ms amplio que el conjunto de los individuos mencionados en las premisas, y por lo tanto, es posible que lleguemos a descubrir que algunas personas vacunadas contraen, no obstante, la enfermedad. Los autores que otorgan un papel a la induccin reconocen, naturalmente, el carcter meramente probable de las conclusiones que se obtienen mediante este recurso. Pero, sostienen, de hecho, que utilizamos esta clase de razonamientos tanto en la vida cotidiana como en la actividad cientfica, y si nos privramos de ellos, no podramos siquiera sobrevivir porque no tendramos ninguna expectativa respecto de la regularidad del mundo que nos rodea. Otra forma de razonamiento inductivo es el que se denomina razonamiento por analoga. As, cuando los mdicos han observado que ciertos sntomas, digamos, a, b, c, y d se presentan en pacientes que sufren de una determinada enfermedad E, al realizar el diagnstico de un nuevo paciente razonan de la siguiente manera: El paciente A present los sntomas a,b,c, d y sufre E. El paciente B present los sntomas a,b,c, d y sufre E El paciente C present los sntomas a,b,c, d Por lo tanto El paciente sufre E La legitimidad de la utilizacin de razonamientos inductivos ha sido un tema de gran discusin en la filosofa de las ciencias. Los partidarios de la induccin, como Carnap y Rechenbach han 12 de 39

dedicado un gran esfuerzo para construir sistemas de lgica inductiva capaces de establecer el grado de probabilidad que en cada caso las premisas otorgan a la conclusin. Popper, en cambio, ha rechazado de plano la necesidad y an la conveniencia de la utilizacin de razonamientos inductivos en la investigacin cientfica. 7. EL PAPEL DE LAS HIPTESIS EN LA CIENCIA Hemos hecho la distincin entre ciencias fcticas y ciencias formales y hemos descrito la metodologa propia de estas ltimas. Profundizaremos ahora la naturaleza de las teoras que componen las ciencias fcticas. A fin de sistematizar la exposicin, partiremos de un ejemplo de la historia de la biologa, la disputa sostenida en torno a la teora de la generacin espontnea. Este antiguo debate que se extendi hasta el siglo XIX, enfrent a los defensores de la tesis de la generacin espontnea o heterognesis, segn la cual a partir de la materia inerte pueden nacer seres vivos, con los bilogos que negaban tal posibilidad. En 1668, Francesco Redi realiz un experimento para mostrar que los gusanos que suelen aparecer en la carne putrefacta no surgen por s mismos, sino que son engendrados por organismos vivos. Redi coloc pedazos de carne en dos recipientes separados, tap uno de ellos con una lmina de metal delgado y dej el otro descubierto. Si los gusanos se originaran por generacin espontnea, entonces deberan aparecer en la carne de ambos recipientes. Pero al cabo de varios das solamente aparecieron gusanos en el recipiente que haba permanecido abierto. Haba razones para pensar, entonces, que era la intervencin de un agente externo, que poda entrar en contacto con la carne del frasco descubierto y no con la que se encontraba en el frasco tapado, lo que haba posibilitado la generacin de gusanos. Redi identific, en efecto, el origen de los gusanos en los huevos de moscas que pudieron penetrar en el frasco destapado. Sin embargo, los defensores de la generacin espontnea rechazaron la explicacin de Redi argumentando que la circunstancia de que el frasco estuviera tapado alteraba el aire que necesitaban los gusanos para desarrollarse. En la segunda mitad del siglo XIX, Louis Pasteur volvi a desafiar a los defensores de la heterognesis con un nuevo experimento, esta vez a propsito de organismos microscpicos. Pasteur coloc caldo de carne en varios recipientes y los hirvi. Luego tap algunos de ellos y dej otros descubiertos. Das ms tarde, el examen microscpico mostr la presencia de microorganismos en los recipientes que haban permanecido abiertos, en contraste con lo que sucedi con los recipientes sellados, que no ofrecan ningn signo de vida microscpica. El razonamiento de Pasteur era el siguiente: parti de la idea de que los microorganismos, como todos los seres vivos, slo pueden ser engendrados por organismos de la misma especie. Si se hierve el caldo de carne -supuso Pasteur- se destruyen todos los microorganismos que se encuentran en l y si se mantienen los recipientes hermticamente cerrados no podrn ingresar nuevos microorganismos, de tal manera que si no se generan espontneamente, no podrn aparecer microorganismos mientras los recipientes permanezcan tapados. Pero en los recipientes abiertos aparecern finalmente nuevos organismos invisibles al ojo desnudo, que provienen del aire. Sin embargo, del mismo modo que en el caso de los experimentos de Redi, los partidarios de la generacin espontnea argan que al hervir los frascos se haba alterado el aire y que, debido a ello, no poda tener lugar la generacin de microorganismos. A fin de mostrar que no era la falta de aire fresco lo que impeda la generacin espontnea, Pasteur llev a cabo un nuevo experimento. Se propuso mostrar, justamente, que aun en contacto con el aire el caldo previamente esterilizado no presentaba microorganismos si de alguna forma se impeda que se depositaran en l. Luego de hervir el caldo, en lugar de sellar el frasco hermtica mente hizo que el cuello del recipiente terminara en un tubo muy delgado con forma de S, como el que vemos en la 13 de 39

siguiente figura: As, el aire poda continuar pasando a travs del cuello del tubo y entrar en contacto con el caldo, pero las partculas de polvo y los microorganismos presentes en el aire quedaran atrapados en la curvatura del tubo sin llegar al interior del recipiente. Los resultados experimentales mostraron que el caldo efectivamente no se descompona en estas condiciones. Ms aun, para brindar nuevo apoyo a estos resultados, Pasteur tom uno de los recipientes y lo inclin de modo tal que el caldo llegara hasta la curvatura inferior del tubo; luego, hizo volver el caldo al interior del frasco. Rpidamente se evidenciaron signos de putrefaccin, pues se haba permitido que el caldo entrara en contacto con los microorganismos adheridos a las paredes de la parte superior del tubo que actuaba como filtro. Estos experimentos ofrecan experiencias a favor de que los microorganismos no se generan en el caldo espontneamente, independientemente de que se permitiera o no la aireacin de los recipientes. Analicemos, pues, los aspectos metodolgicos presentes en los ejemplos de investigacin descritos. Se advierte que tanto el experimento de Redi como los de Pasteur partieron de una conjetura previa, la idea de que los seres vivos slo pueden generarse a partir de otros seres vivos. Fue esta suposicin la que dio lugar al diseo de las pruebas experimentales y gui las observaciones. En otras palabras, podemos decir que Redi y Pasteur partieron de una conjetura, una hiptesis, como posible respuesta al interrogante acerca de la generacin espontnea. La manera en que procedieron Redi y Pasteur ilustra los procedimientos caractersticos de la investigacin cientfica. La tarea comienza con la formulacin de un interrogante y la propuesta de alguna hiptesis para resolverlo, y contina despus con los intentos de someter la hiptesis a contrastacin. 8. TIPOS DE HIPTESIS Una hiptesis es una proposicin cuyo valor de verdad no se conoce con certeza. Puede suceder que quien considere alguna hiptesis tenga la inclinacin a creer que tiene una mayor posibilidad de ser verdadera que falsa. Sin embargo en muchas ocasiones la creencia de que puede ser falsa motiva a buscar la contrastacin. Por estas razones es que se disponen de experimentos u observaciones que resulten relevantes para considerar a la hiptesis como verdadera o para rechazarla. En algunos casos las hiptesis contienen solamente trminos descriptivos que se refieren a objetos, propiedades, relaciones, procesos o hechos que pueden observarse directamente, es decir sin la necesidad de utilizar ningn aparato. Dichos trmino se denominan trminos observacionales. Pero otras expresiones que suelen figurar en las hiptesis cientficas no se refieren a algo que pueda ser observado directamente y se denominan trminos tericos. La presencia de los gusanos en el experimento de Redi es un hecho observable. Por el contrario la presencia o ausencia de bacterias no se puede determinar si no es a travs de un microscopio. Si consideramos de manera estricta la definicin anterior podemos considerar que las bacterias son trminos tericos. Pero algunos filsofos consideran que un trmino es observacional tanto si su referencia puede ser captada a simple vista o por medio de instrumentos tcnicos. Esta situacin relativiza la distincin que se realiza entre los tipos de trminos pues entidades que en un principio pueden considerarse tericas pueden pasar a ser observacionales merced a los adelantos tecnolgicos. 14 de 39

Por ello podemos considerar que las bacterias pasaron a ser observacionales a partir de la invencin del microscopio por parte de Leeuwenhoek. Pero dejando de lado el anlisis filosfico de estas cuestiones, podemos seguir la sugerencia de Carnap y aceptar que desde el punto de vista metodolgico un trmino como 'rojo' es observacional, mientras que expresiones tales como "masa" o "campo electromagntico" son tericas. Aunque puede considerarse preferible que las hiptesis cientficas estn formuladas en trminos observacionales, de todos modos, la ciencia suele incluir expresiones tales como "electrn", de los que no podemos tener imgenes sensoriales ni siquiera suplementando nuestros sentidos con instrumentos, de manera que no puede prescindir del uso de trminos tericos. La hiptesis que Redi y Pasteur intentaban refutar, esto es, que existe la generacin espontnea, no es de carcter observacional, y por ese motivo, las pruebas experimentales procuraban refutarla de un modo indirecto. As, a partir de la hiptesis de que la vida se origina espontneamente, Redi sostuvo que, si tal hiptesis fuera verdadera, entonces, al colocar un pedazo de carne en dos frascos, uno tapado y el otro no, los gusanos deban aparecer indistintamente en ambos. Del mismo modo, Pasteur arga: si la hiptesis de la heterognesis fuera verdadera, entonces, al hervir el caldo contenido en las redomas y sellar los recipientes inmediatamente despus, al cabo de algunos das, a pesar de haber sido esterilizados, deberan aparecer signos de putrefaccin. Por otra parte, es importante sealar que la contrastacin de una hiptesis a travs de sus predicciones observacionales supone aceptar otras hiptesis que cumplen un papel auxiliar. , As, en el caso de los experimentos de Pasteur, de manera implcita se daba por aceptada la hiptesis de que al hervir el caldo se destruan los microorganismos que contena, es decir, que el experiment se apoyaba en la hiptesis auxiliar de que a la temperatura de ebullicin los microorganismos mueren. En el debate suscitado por la cuestin de la generacin espontnea nos encontramos, asimismo, con otro tipo de hiptesis. Hemos visto que frente a los resultados experimentales de Redi quienes suscriban la tesis de la generacin espontnea explicaban la ausencia de gusanos en la carne que se hallaba en el recipiente tapado aduciendo que la modificacin del aire impeda su desarrollo. Y del mismo modo, en la poca de Pasteur, se atribua a la imposibilidad de que entrara aire en los recipientes sellados la causa de la ausencia de microorganismos. Este tipo de hiptesis, que se introducen con el fin de descartar lo que de otro modo constituira una refutacin de la hiptesis principal en cuestin, esto es, la generacin espontnea, se suelen denominar hiptesis ad hoc. Dicho de un modo ms tcnico: Una hiptesis ad hoc se caracteriza por carecer tanto de apoyo terico como de apoyo emprico independiente. Esto es, no se deduce de ninguna otra teora aceptada, ni cuenta con ninguna evidencia observacional a su favor fuera de la propia situacin experimental que motiv su introduccin. Pero la evaluacin de si una hiptesis es o no una hiptesis ad hoc no es una cuestin simple que pueda resolverse de inmediato. A decir verdad, la historia de la ciencia presenta variados ejemplos de situaciones en las cuales con el fin de revertir los resultados negativos de una contrastacin y mantener una teora se introdujeron nuevas hiptesis que a primera vista podran considerarse hiptesis ad hoc. Tal es el caso, entre otros, de la hiptesis introducida a mediados del siglo XIX para dar cuenta de ciertas perturbaciones en la trayectoria de los planetas. En efecto, los clculos astronmicos no coincidan con las observaciones: haba una alteracin en la rbita de Urano. Pero, lejos de tirar por la borda la teora subyacente, en 1846 el astrnomo francs Le Verrier conjetur la existencia de un nuevo planeta al que consider como causante de las perturbaciones de Urano y calcul su posicin. Una prediccin similar haba sido ya formulada de modo independiente por un joven matemtico ingls, John Couch Adams, pero no fue considerada en su momento. Finalmente, Johann Galle observ 15 de 39

efectivamente la presencia de un nuevo planeta desplazado slo un grado respecto de los clculos de Le Verrier. El planeta recin descubierto se llam Neptuno. Hubiese sido razonable pensar que la conjetura de Le Verrier era simplemente una hiptesis ad hoc, ya que poda considerarse improbable que nunca antes se observara el planeta en cuestin si es que realmente exista. Y adems estaba claro que Le Verrier elabor esa hiptesis motivado precisamente en su confianza en la teora astronmica vigente en ese momento. Pero, cuando Neptuno pudo observarse, la hiptesis adquiri completa justificacin. Este caso pone de manifiesto que muchas veces no resultara adecuado subestimar una hiptesis por la falta de evidencia emprica o terica suficiente, pues, como en el ejemplo que estamos considerando puede lograr con posterioridad una evidencia independiente y articularse de manera coherente dentro del corpus terico aceptado. Finalmente, desde un punto de vista lgico, podemos hacer una distincin entre hiptesis generales e hiptesis singulares. As, la hiptesis que gui los experimentos tanto de Redi como de Pasteur, esto es, que todo ser vivo proviene de vida preexistente es una hiptesis general. Una hiptesis general hace referencia, pues, a un conjunto en cierto sentido indeterminado de individuos, procesos o hechos eventualmente infinito, y se caracteriza por la presencia de cuantificadores tales como "todos" o 'ningn". As, la hiptesis que defendan Redi y Pasteur se refiere a todo el conjunto de los seres vivientes que puede considerarse infinito, y es ms precisamente, una hiptesis universal. La hiptesis de Le Verrier, en cambio, es de carcter singular en la medida en que postula la existencia de un cuerpo celeste determinado. 9. ESTRUCTURA DE LAS TEORAS CIENTFICAS Estamos ahora en condiciones de describir la estructura de una teora cientfica. En el curso de la indagacin cientfica llegan a formularse, ms bien que conjeturas aisladas, conjuntos de hiptesis articuladas que pretenden dar cuenta de las caractersticas de un cierto aspecto de la realidad. Estos conjuntos reciben el nombre de teoras y estn compuestos, comnmente, por hiptesis de diferentes niveles. En el nivel superior se encuentran las hiptesis fundamentales o principios, es decir, aquellas que no se deducen de ninguna otra proposicin de la teora; a partir de ellas se deducen otras hiptesis de menor nivel, hiptesis derivadas, de generalidad ms restringida. En su obra Principios matemticos de la filosofa natural, publicado en 1687, Newton desarrolla los resultados de sus investigaciones formulando un sistema deductivo que se transform en un modelo prominente de las teoras cientficas. Su teora parte de tres principios que expresan las leyes fundamentales del movimiento. - La primera, el principio de inercia, afirma que un cuerpo en reposo permanece en ese estado as como un cuerpo en movimiento contina en movimiento a velocidad y direccin constantes mientras no intervengan fuerzas externas. - La segunda ley define la fuerza como el producto de la masa por la aceleracin. La tercera, indica que para cada accin hay una reaccin igual y de sentido opuesto. De manera semejante a como Eucldes derivaba los teoremas a partir de axiomas y postulados geomtricos, Newton deduce una serie de hiptesis derivadas como la que se refiere a la fuerza gravitacional que atrae a dos cuerpos en proporcin directa al producto de sus masas y en forma inversamente proporcional al cuadrado de la distancia entre sus centros. Por otra parte, las hiptesis fundamentales de las teoras cientficas suelen estar formuladas en un vocabulario terico; mientras que las consecuencias de nivel inferior son de carcter observacional. 16 de 39

La conexin lgica entre las consecuencias de nivel inferior y los principios tericos se hace posible en virtud de la existencia de hiptesis mixtas, es decir, de proposiciones en las cuales adems de los trminos lgicos tales como los cuantificadores figuran trminos tericos y trminos observacionales. Suele denominarse a estas proposiciones enunciados puente o reglas de correspondencia. Por cierto, la produccin de una teora que alcance una estructura tan elaborada ser el resultado de grandes esfuerzos de investigacin, y en todo caso, el modelo esbozado constituye un ideal que no siempre puede ser logrado. A decir verdad, la construccin de una teora comienza muchas veces como un intento de reunir y sistematizar hiptesis que describen el comportamiento observado de cierto campo de fenmenos. Estas hiptesis son generalizaciones empricas tales como la creencia de que el agua hierve cuando se la calienta suficientemente y se solidifica a bajas temperaturas. Asimismo, la bsqueda de explicaciones para las generalizaciones empricas bien establecidas promueve la propuesta de proposiciones que contienen trminos tericos. Pero este paso, la transicin de las generalizaciones empricas a las hiptesis tericas requiere, esencialmente, la intervencin de la inteligencia creativa. Claro est, sin embargo, que no se trata solamente de imaginar cualquier mecanismo oculto que d cuenta de los fenmenos observables. El carcter distintivo de la ciencia, en contraste con el mito, las creencias religiosas o las especulaciones metafsicas, radica en la invencin de hiptesis capaces de ser sometidas a la contrastacin emprica. Mas adelante consideraremos otros detalles de este proceso y examinaremos algunas de las concepciones que se han elaborado para dar cuenta de los modos de justificacin de las teoras fcticas. 10. EL PAPEL DE LA INDUCCIN EN LA INVESTIGACIN CIENTFICA El conocimiento que brindan las ciencias tcticas se expresa, fundamentalmente, por medio del establecimiento de proposiciones generales que aspiran a describir las regularidades propias de los dominios que constituyen sus respectivos objetos de estudio. A medida que estas disciplinas se van desarrollando, las hiptesis que se proponen se integran sistemticamente y dan lugar a la formulacin de teoras. Como ya se ha indicado el propsito que se persigue es la articulacin de las proposiciones que componen la teora en un sistema deductivo, de manera que a partir de algunos principios el resto de las hiptesis surjan como consecuencias deductivas. Si este objetivo se cumple, la estructura resultante es similar a laque muestran los sistemas axiomticos caractersticos de la matemtica y la lgica; pero mientras que estos ltimos pueden considerarse como sistemas puramente sintcticos -es decir, sistemas de frmulas cuyos trminos carecen de interpretacin, las teoras fcticas se conciben con una interpretacin establecida. Sus trminos se refieren a determinados aspectos de la realidad fsica, biolgica, psicolgica o social, de modo que la legitimidad de las hiptesis de las teoras fcticas depende de su capacidad para resistir las contrastaciones empricas. Los sistemas de la matemtica pura y de la lgica pura deben cumplir, fundamentalmente, con el requisito de la consistencia; pero las proposiciones que integran una teora fctica no slo deben ser mutuamente consistentes: corrientemente se pretende, adems, que resulten verdaderas. Sin embargo, hay dos caractersticas de las hiptesis cientficas que tornan complejas las posibilidades de verificarlas: - En primer lugar, las proposiciones universales que continuamente formulan los cientficos se refieren a un conjunto amplio e indeterminado de casos, de manera que, aun cuando se trate de fenmenos directamente observables, no pueden inspeccionarse todos. Por otra parte, las hiptesis ms interesantes suelen incluir trminos tericos, y en consecuencia hacen referencia a aspectos de la realidad que no pueden examinarse 17 de 39

directamente. Ambas situaciones presentan en comn, entonces, la circunstancia de que, si bien debemos juzgar las hiptesis por su conformidad con la experiencia, la observacin nunca permitira verificarlas completamente. Por este motivo, numerosos autores de distintas pocas han sostenido que el mtodo de investigacin distintivo de las ciencias fcticas consiste en la utilizacin de inferencias inductivas. Anteriormente hemos presentado dos modelos clsicos de inferencia inductiva, la induccin enumerativa y los razonamientos por analoga. Analicemos en primer lugar la posibilidad de emplear el esquema de la induccin enumerativa en el mbito de las ciencias naturales. Con toda seguridad, desde las pocas ms remotas, la reiteracin de algunas experiencias hizo posible que los seres humanos concibieran creencias sobre la regularidad que presentaban cierto tipo de fenmenos. Slo de este modo pudieron desarrollar conductas adaptadas a las circunstancias que los rodeaban. As llegaron a establecer naturalmente una amplia variedad de generalizaciones empricas acerca de las propiedades constantes del mundo fsico, los animales, las plantas y las dems personas. La acumulacin de estas experiencias, la bsqueda de la satisfaccin de sus necesidades y en muchos casos la curiosidad por conocer las razones o las causas de tales fenmenos los hicieron dar los primeros pasos en direccin al logro del conocimiento cientfico. Tenga en cuenta que el hecho de que dos fenmenos aparezcan reiteradamente conectados no significa que necesariamente siempre uno deba ser acompaado por el otro. Es fcil advertir que, a veces, las generalizaciones establecidas sobre la base de la observacin de casos similares fallan. Surge entonces un interrogante: en qu casos las inferencias inductivas son confiables? No se encuentra una respuesta satisfactoria a esta pregunta, se corre el riesgo de poner en duda todas las conclusiones obtenidas a partir de razonamientos inductivos. Pero, podemos efectivamente prescindir de ellos? En el siglo XVII, David Hume formul con suma claridad el anlisis de esta cuestin en el curso de su investigacin sobre la legitimidad del concepto de causalidad. De acuerdo con Hume, cuando afirmamos que un hecho C es la causa de otro hecho E nuestra creencia deriva del cumplimiento de tres condiciones: i) C y E son contiguos, es decir, se manifiestan en la mayor proximidad espacial; ii) C es inmediatamente seguido por E; iii) Todas las veces que se ha observado C tambin se ha observado E, sin excepcin. Pero la nocin de causa envuelve algo ms que estas tres condiciones. La relacin causal supone una conexin necesaria entre la causa y el efecto, de manera que tambin en el futuro cada vez que se produzca C forzosamente deber ser seguido por E. Y es precisamente esta atribucin de necesidad la que Hume considera injustificada de acuerdo con su concepcin del conocimiento. Hume fue uno de lderes de la filosofa empirista, cuya doctrina establece que todo conocimiento fctico, es decir, toda creencia que no se ubique en el campo de la lgica pura o la matemtica, slo resulta legtima en la medida en que se mantenga dentro de los estrictos lmites de la experiencia sensible. As, mientras la contigidad, la sucesin y la conjuncin constante de lo que llamamos causa y efecto -por ejemplo, el movimiento de una bola de billar y el inmediato movimiento de otra bola golpeada por la primera-son aspectos observables, la conexin necesaria no lo es de ningn modo. Hemos podido percibir, sin duda, los sucesivos desplazamientos de ambas esferas, as como comportamientos semejantes de otros objetos; pero no hay ninguna impresin sensible que corresponda a la conexin necesaria, exigida por la idea de causalidad. Y tampoco la razn nos obliga a aceptarla, porque no hay ninguna contradiccin en imaginar que una bola golpea a otra y que esta ltima permanece inmvil, as como no hay ninguna contradiccin en la suposicin 18 de 39

de que una piedra no caiga al piso despus de ser arrojada, aunque de hecho nunca haya ocurrido as. En sntesis, ni la experiencia ni la razn alcanzan para asegurar absolutamente que los fenmenos futuros se presentarn de la misma manera que los pasados. Pero Hume no pudo menos que reconocer la existencia de una tendencia natural que lleva a cualquier persona a esperar precisamente eso: que cuando una bola de billar golpea fuertemente a otra le imprime cierto movimiento y que cuando arrojamos una piedra terminar cayendo a tierra. Hume explica esta tendencia como el resultado de un hbito irresistible y profundamente arraigado en nuestro funcionamiento mental. Pero, por ms que las expectativas de que el futuro resulte semejante al pasado sean inevitables y no dependan de nuestra voluntad, ello no constituye una justificacin de las creencias correspondientes. Las reflexiones de Hume dejan, pues, la puerta franca al escepticismo, a la idea de que el descubrimiento de las regularidades que rigen el comportamiento de la realidad es una aspiracin tan poderosa como imposible. El anlisis de Hume acerca del concepto de causalidad se extiende fcilmente a los diferentes tipos de inferencias inductivas. Todas ellas se caracterizan por la pretensin de obtener una conclusin sobre algo no observado a partir de premisas referidas a fenmenos observados. Y en esas condiciones es innegable que aun cuando las premisas sean todas verdaderas no garantizan completamente la verdad de la conclusin, en contraste con lo que sucede con los razonamientos deductivos cuyas premisas, si son verdaderas, permiten afirmar con certeza total la conclusin. Si se toma, pues, como nico patrn la lgica deductiva, cualquier inferencia inductiva debe ser descartada. Por otra parte, desde cierto punto de vista, puede afirmarse que los razonamientos deductivos no proporcionan ninguna informacin nueva: la conclusin se limita, en todo caso, a presentar de manera explcita una informacin que ya exista implcitamente en las premisas. Este procedimiento posee una utilidad semejante a la que brinda una operacin matemtica como la suma. Calcular el resultado de la adicin de una serie de nmeros es algo que realizamos a menudo, pero ese resultado no es ms que una expresin matemtica diferente para referirse a la misma cantidad a la que se refieren conjuntamente los sumandos. En ambos casos, en la suma y en la deduccin, en realidad no se avanza ms all de lo que de algn modo ya se saba, la conclusin de un razonamiento deductivo, solamente puede ser novedosa en un sentido psicolgico, esto es, en la medida en que presenta informacin ya brindada por las premisas de un modo diferente. La comparacin entre las inferencias deductivas y los clculos aritmticos ilustra la razn que llev a muchos filsofos a la conviccin de que la matemtica y la lgica son disciplinas formales con caractersticas muy diferentes de las que poseen las ciencias fcticas. Pero no cabe duda de que la razn de ser de estas ltimas es proporcionar un conocimiento confiable de las caractersticas del mundo; y en consecuencia, no pueden limitarse a registrar lo observado: necesitan proyectar hiptesis sobre lo que no se ha observado. La situacin presenta entonces un dilema: o se encuentra algn modo de legitimar las inferencias inductivas o se renuncia a la pretensin de alcanzar cualquier tipo de conocimiento fctico que valga la pena. Y es oportuno tener en cuenta aqu que si se rechaza la posibilidad de extender inductivamente el resultado de las observaciones ms all de las circunstancias individuales de cada una de ellas, el registro de tales observaciones alcanzara, a lo sumo, para describir lo que se experimenta en un tiempo y un lugar determinados. En efecto, observar que un objeto posee cierta propiedad no nos autorizara ms que a 19 de 39

atribuirle esa propiedad durante el tiempo que dure la observacin, pues proyectarla a cualquier otro instante posterior o anterior equivaldra a realizar una inferencia inductiva. El reconocimiento de esta situacin es la base de diversos intentos emprendidos para legitimar la utilizacin de inferencias inductivas en el mbito de las ciencias fcticas. Una de estos intentos consiste en sealar que los razonamientos inductivos presuponen una premisa muy general que se conoce con el nombre de Principio de Uniformidad de la Naturaleza. De acuerdo con tal principio, los fenmenos naturales estn regidos, en ltima instancia, por leyes constantes, aunque stas no se puedan descubrir fcilmente por medio de la observacin. As, por ejemplo, si la observacin muestra cierta regularidad en la sucesin de las fases de la Luna, cabra pensar que sigue un patrn que continuar repitindose indefinidamente. Pero si en algn momento se percibiera una alteracin de las etapas lunares ello no significara necesariamente que no existe ninguna regularidad detrs de estereotipo de fenmenos, porque la comprobacin de que el comportamiento de la Luna no se ajusta a nuestras anteriores creencias slo implica, en todo caso, que tales creencias especificas eran errneas y no la inexistencia absoluta de leyes que rijan su comportamiento. Dicho de otro modo, el reconocimiento de nuestro error inicial no tiene por qu llevarnos a abandonar la aspiracin de descubrir una regularidad subyacente, pues puede suceder, simplemente, que exista una regularidad distinta o ms compleja que la que supusimos y dentro de la cual se encuadra la discordancia observada. Algo as sucedi, de hecho con las hiptesis propuestas por los astrnomos sobre los movimientos de los planetas. Las observaciones mostraban ciertas anomalas: las trayectorias de los planetas no se ajustaban a la suposicin inicial de que todos ellos recorran rbitas circulares simples alrededor de la Tierra, y por ese motivo los astrnomos tolemaicos concibieron la idea de que los planetas se movan en crculos menores -llamados epiciclos- a la vez que se desplazaban en crculos mayores cuyo centro era la Tierra. Coprnico, por su parte defendi una hiptesis diferente, la idea de que el centro de las rbitas planetarias estaba ocupado por la Tierra sino por el Sol. Y posteriormente Kepler lleg a la conclusin de que las rbitas de los planetas no son circulares sino elpticas. En estos casos, como sucede comnmente en el curso de las investigaciones cientficas, el fracaso de una serie de hiptesis no condujo a los cientficos a perder la esperanza de hallar finalmente las leyes que rigen el movimiento planetario. Por el contrario, siguieron esforzndose; y esta actitud supone, a su vez, la creencia implcita de que responden a alguna regularidad, por ms elusiva que resulte. Otra razn que puede esgrimirse en defensa de la legitimidad de las inferencias inductivas se refiere al hecho de que una enorme cantidad de ellas han tenido xito hasta el presente. A lo largo de los siglos, el conocimiento humano ha ido acumulando un incalculable nmero de generalizaciones que se han cumplido sin excepciones y de cuya verdad difcilmente se nos ocurrira dudar. Y la posibilidad de que algunas generalizaciones fallen no justificara prescindir de las dems. Vale la pena notar, sin embargo, que este argumento podra considerarse objetable porque tiene, a su vez, la forma de un razonamiento inductivo, en la medida en que se intenta generalizar los mritos de la inferencia inductiva a partir del presunto xito de su utilizacin en el pasado. Ante la posibilidad innegable de que las conclusiones obtenidas por medio de procedimientos inductivos resulten falsas, algunos autores han sealado que los razonamientos de este tipo no pretenden probar la verdad de tales conclusiones sino ms bien que las conclusiones son muy probablemente verdaderas. De ese modo, las premisas de un razonamiento inductivo justifican la conclusin de una manera ms dbil que en el caso de las inferencias deductivas. Despus de todo -sostiene la argumentacin- no tiene porqu haber un nico modo de justificar creencias y los 20 de 39

razonamientos inductivos, al menos en ciertas condiciones, encarnan precisamente un tipo de justificacin razonable, y por ende, legtima. Estas reflexiones sugieren tambin que la confiabilidad de los razonamientos inductivos puede variar en funcin de ciertas condiciones. Tenga en cuenta que la repeticin de observaciones o experimentos que se comportan de acuerdo con una generalizacin refuerzan su credibilidad. As, por ejemplo, la conviccin de que todos los hombres son mortales -tan trillada como inquietante- cuenta en su favor con la abrumadora evidencia inductiva de los millones de seres humanos que han perecido. Pero no es slo el nmero de personas fallecidas lo que fortalece esa creencia, sino tambin que ocurre lo mismo con los animales y las plantas. La variedad de los casos observados, entonces, cumple un papel tan importante como la cantidad en las inferencias inductivas. Esta circunstancia se hace evidente en las situaciones en las los cuales se observa un pequeo nmero de individuos con la intencin de extraer conclusiones vlidas para la poblacin total, como sucede con las encuestas preelectorales, con los experimentos de laboratorio y con los grupos de pacientes que se someten a un tratamiento mdico recin descubierto. Existen tambin otros elementos de juicio que inciden en la aceptabilidad de los razonamientos inductivos. Las investigaciones mdicas, por ejemplo, suelen comenzar con pruebas de laboratorio realizadas con animales, pero sus resultados permiten inferir una respuesta similar no slo en los dems animales de la misma especie sino tambin en otras especies incluida, por supuesto, la de los seres humanos. Y, en sentido contrario, ciertos conocimientos pueden debilitar una determinada induccin. Se ha sealado, por ejemplo, que la circunstancia de que una persona falleciera a la edad de 149 aos no ser considerada como un hecho a favor de la fijacin del lmite de longevidad humana por debajo de los 150 aos, pues si alguien llegara casi hasta ese lmite, sera razonable pensar que puede ser superado en otros casos. 11. EL EMPIRISMO LGICO En las primeras dcadas del siglo XX, los desarrollos que se producan tanto en el campo de las ciencias formales como en el dominio de las ciencias fcticas fueron acompaados por el surgimiento de un influyente movimiento que recibi el nombre de Positivismo Lgico o Empirismo Lgico cuyos representantes manifestaban explcitamente el propsito de construir una filosofa estrechamente ligada con la ciencia. La tarea que emprendieron, efectivamente, consista en la elaboracin de una epistemologa que permitiera establecer el valor de la ciencia como un tipo de conocimiento privilegiado. En realidad, fuera del conocimiento vulgar, el que exige nuestras actividades cotidianas, los empiristas lgicos no reconocan ms que el conocimiento brindado por la investigacin cientfica. En consecuencia rechazaban los intentos emprendidos por los filsofos para obtener conocimientos cuyos objetos se encuentran ms all del mundo fsico. Los positivistas lgicos descalificaban no slo las doctrinas metafsicas tradicionales, como las referidas a la existencia de Dios o el alma, sino tambin cualquier otra hiptesis que careciera de las consecuencias observacionales. , 11.1 El criterio verificacionista del significado Fieles a la tradicin empirista sostenan que cualquier hiptesis sobre cuestiones fcticas deba ser de tal tipo que las observaciones fuesen capaces de refutarla o confirmarla. Propusieron, en efecto, un principio metodolgico que se conoci como el Criterio Verificacionista del Significado. Este principio establece que, adems de las frmulas lgicas o matemticas, slo poseen significado informativo las oraciones cuya verdad o falsedad puede determinarse por medio de 21 de 39

la experiencia sensible. Entender un enunciado es saber en que condiciones observables sera considerado verdadero o falso. Pero como las ciencias fcticas producen generalizaciones empricas e hiptesis tericas, dos clases de proposiciones que no pueden verificarse en forma directa, los empiristas establecieron un criterio ms flexible sealando que la exigencia era que la observacin brindara al menos indicios relevantes para decidir el mantenimiento o el abandono de las hiptesis. Los positivistas lgicos, entones, propusieron el criterio verificacionista del significado, con la intencin de establecer una demarcacin entre los enunciados cientficos y las concepciones metafsicas. 11.2 Confirmacin y refutacin de hiptesis En el caso de las generalizaciones empricas, cuya forma simplificada puede representarse con la expresin "Todo F es G", cada uno de las observaciones de algo que sea F y tambin G confirma en alguna medida la proposicin universal, y el hallazgo de un F que no sea G la refuta. En cuanto a las hiptesis en cuya formulacin aparecen trminos tericos, no pueden confirmarse exactamente de la misma manera, porque ninguno de sus posibles ejemplificaciones puede observarse directamente. Pero s debe ser posible deducir enunciados observacionales suplementando las hiptesis tericas con enunciados que contienen trminos observacionales. As, como hemos visto al considerar el experimento de Redi, tanto quienes crean en la existencia de la generacin espontnea como quienes la negaban sostenan una hiptesis terica, porque el concepto de generacin espontnea no es observacional. No obstante, Redi someti a contrastacin dicha hiptesis con un razonamiento que puede reconstruirse del siguiente modo: 1) Si los gusanos que se observan en un trozo de carne descompuesta se producen espontneamente, entonces aparecern tambin cuando la carne se encuentre en un recipiente tapado. Dicho de modo ligeramente distinto: I') Si [(A) la generacin de gusanos es espontnea], entonces [si (B) se coloca un trozo de carne en un recipiente y luego se lo tapa, entonces (C) posteriormente aparecern gusanos] Utilizando la simbolizacin de la lgica preposicional podemos representarlo as: I") Ar>[B=)C] La proposicin I") tiene forma condicional, su antecedente (A) enuncia la aplicacin de la hiptesis de la generacin espontnea en un caso particular y su consecuente es otro condicional "(B) :d (C)", que puede considerarse como una consecuencia deductiva de (A).2 La proposicin "B z> C" pertenece al conjunto de las que Hempel ha denominado implicaciones contrastadoras. Cada implicacin contrastadora es, pues, una consecuencia de una hiptesis que sirve para ponerla a prueba. En el experimento de Redi, efectivamente, el bilogo pudo constatar que "B z> C" resultaba falsa, pues en la carne colocada en el frasco tapado no aparecan gusanos. El hecho de que la implicacin contrastadora resulta falsa autoriza a pensar que la hiptesis que la implicaba, esto es, la hiptesis de la generacin espontnea, queda refutada en este caso. Pero, al mismo tiempo, Redi pudo observar que en un recipiente destapado la carne presentaba gusanos. El razonamiento correspondiente a este experimento simultneo podra esquematizarse as; II) Si (F) los gusanos son generados por algn tipo de germen que se deposita en la carne, 22 de 39

entonces [si (G) se coloca la carne en un frasco destapado, entonces (H) aparecern gusanos]. Esta proposicin puede simbolizarse del siguiente modo: II') F:D[G=)H] En este caso, la implicacin contrastadora "G :d H" resulta verdadera. Sin embargo esta circunstancia no es suficiente para concluir con certeza que la hiptesis F es verdadera, dado que la verdad del consecuente de un condicional no obliga a que su antecedente tambin sea verdadero. Podra suceder que la aparicin de los gusanos se produjera en el frasco destapado no porque se depositan grmenes en la carne sino por algn otro motivo, por ejemplo, porque el surgimiento espontneo de los gusanos necesita la renovacin del aire. Es importante destacar que la circunstancia de que las implicaciones contrastadoras de una hiptesis resulten verdaderas de ninguna manera significa que la hiptesis tambin sea verdadera. Precisamente por este motivo se recurre a la induccin: el nmero y la variedad de implicaciones contrastadoras que se hayan verificado -adems de la ausencia de implicaciones contrastadoras que la refuten- confirman la hiptesis, es decir, aumentan su credibilidad y justifican su mantenimiento. En sntesis, de acuerdo con los empiristas lgicos, las hiptesis de las ciencias fcticas, ya sean generalizaciones empricas o proposiciones que contienen trminos tericos, pueden justificarse conforme al apoyo inductivo que le prestan sus implicaciones contrastadoras; aunque tal apoyo, por abrumador que fuera, no elimina la posibilidad de que las hiptesis sean en realidad falsas. Vale la pena mencionar tambin que las hiptesis cientficas pueden recibir un apoyo indirecto por su conformidad con otras hiptesis o teoras independientemente confirmadas. Hempel cita como ejemplo de esta situacin la hiptesis sobre la cada libre de los cuerpos en la Luna, que es distinta de la que corresponde a la Tierra, en razn de que la masa de la Luna es menor que la de la Tierra. Abundante confirmacin emprica apoyaba las leyes de Newton -que conjuntamente con la estimacin de la masa de la Luna permitan calcular el comportamiento de un cuerpo cayendo en la Luna- y por ende no se dudaba de tales clculos, aunque en el momento en que Hempel propona ese ejemplo (1966) no se haba podido observar directamente la cada de un cuerpo en la superficie lunar. Pero el arribo de seres humanos a la Luna, poco tiempo despus, permiti experimentar los efectos de una gravedad ms dbil. En casos como el citado, es decir, aun cuando una hiptesis no haya sido puesta a prueba a travs de sus propias implicaciones contrastadoras, pero se deduce de otras hiptesis bien confirmadas, se considera que recibe un apoyo terico. Correlativamente, cuando se propone una hiptesis que resulta incompatible con otras bien confirmadas, queda afectada su credibilidad. 12. LA CONCEPCIN FALSACIONISTA 12.1 Crticas a la induccin A pesar de los esfuerzos realizados para legitimar el mtodo inductivo no todos los filsofos de la ciencia se han mostrado dispuestos a aceptarlo. Al mismo tiempo que los empiristas lgicos desarrollaban sus ideas, Karl Popper elaboraba una concepcin antiinductivista, desde cuya perspectiva la propiedad distintiva de las hiptesis de las ciencias fcticas reside en su "falsabilidad". La falsabilidad reside en la posibilidad de demostrar la falsedad de las hiptesis, y no en la posibilidad de confirmarlas. Popper rechaza, en primer lugar los diferentes modos de legitimar la induccin. En oposicin a la defensa de Reichenbach de la necesidad de un principio de induccin, Popper sostiene que 23 de 39

tal principio no puede justificarse por s mismo, ya que no es una verdad lgica, como las tautologas. En efecto, si el principio de induccin fuera una verdad lgica, su negacin adoptara la forma de una contradiccin; pero, como ya lo haba hecho notar Hume, no hay contradiccin alguna en sostener que los casos no observados de cualquier generalizacin tienen propiedades distintas de las que caracterizan a los observados. La lgica, pues, no permite justificar ningn principio de induccin. Pero tampoco puede fundarse en la experiencia -contina Popper- porque se trata de un enunciado universal, y precisamente lo que est en discusin es la posibilidad de justificar enunciados universales a partir de la experiencia, necesariamente limitada. Del mismo modo, Popper rechaza la posibilidad de justificar el principio de induccin a partir de otro principio de induccin de orden ms elevado ya que ste, a su vez, requerira un principio superior, y entonces nos encontraramos embarcados en un regreso al infinito, es decir se producira una serie de pasos de un principio de induccin a otro que no terminara nunca. Popper descarta tambin la versin ms moderada del inductivismo, la que en realidad sostenan los empiristas lgicos, que reconocan la imposibilidad de alcanzar la verdad de las hiptesis cientficas y se contentaban con el logro de grados crecientes de probabilidad. Ajuicio de Popper, aun cuando se modificara el principio de induccin de manera que se refiriera a la probabilidad que permitira asignar a las hiptesis, en lugar de referirse a su verdad, volveran a presentarse los problemas ya mencionados, como el de la necesidad de justificar este principio modificado apelando a uno de orden superior. Popper sostiene, adems, que si se tratara de atribuir una determinada probabilidad a una hiptesis cientfica, tomando en cuenta, por ejemplo, la relacin entre el nmero de sus consecuencias verificadas y todas las posibles, tal probabilidad resultara ser igual a O. Esto es as porque se tratara de la razn matemtica entre un nmero finito, el de las consecuencias verificadas, y un nmero potencial mente infinito, el de la totalidad de consecuencias posibles. 12.2 La falsabilidad como criterio de demarcacin Ahora bien, si se descarta de plano, como lo hace Popper, toda forma de justificacin inductiva de las hiptesis cientficas sobre qu bases puede cimentarse el conocimiento que brindan las ciencias tcticas? Popper responde a esta pregunta estableciendo un conjunto de normas que proporcionan una reconstruccin de la metodologa que gua la investigacin cientfica. No niega que, de hecho, la induccin pueda haber sido utilizada en la prctica cientfica, pero piensa que es absolutamente prescindible. De todos modos presenta su propuesta no como una descripcin de lo que los cientficos efectivamente hacen sino ms bien como la explicitacin de una serie de reglas metodolgicas que han de aceptarse por convencin. La regla suprema de tales convenciones indica que ningn procedimiento cientfico debe impedir que un enunciado permanezca a salvo de la posibilidad de ser refutado. Esta idea se refleja en el criterio que Popper propone para establecer la demarcacin entre la ciencia y lo que no lo es. El criterio seala que las teoras cientficas son aquellas susceptibles de ser refutadas por la experiencia. Pero a fin de comprender los alcances del criterio de refutabilidad es necesario formular algunas consideraciones. Popper sostiene que las teoras cientficas estn compuestas por hiptesis de carcter universal. Y esta circunstancia da lugar a una asimetra, cuando se las compara con los enunciados existenciales: a saber, las proposiciones universales no pueden verificarse por medio de ningn conjunto finito de contrastaciones. El enunciado "Todos los cuervos son negros", por ejemplo, no puede verificarse por ms grande 24 de 39

que sea el nmero de cuervos negros que hayamos observado. Y un enunciado existencial tal como "Hay cuervos blancos" se verificara con slo hallar un cuervo blanco, aunque fuera el nico ejemplar de ese color. Pero, si no lo encontrramos, nunca estaramos seguros de que el enunciado existencial es falso, porque siempre subsistira la posibilidad de que aparezca ms tarde. La asimetra radica, entonces, en el hecho de que las proposiciones universales son refutables pero no verificables mientras que las >existenciales son verificables pero no refutables. La asimetra que se acaba de sealar es de naturaleza lgica, pero hay otra condicin, vinculada con las caractersticas de la experiencia, que tambin resulta relevante a propsito de la refutabilidad de las hiptesis cientficas. La experiencia sensible slo se manifiesta en relacin con ciertos enunciados que Popper denomina "enunciados bsicos". Un enunciado bsico es el que tiene la forma de un existencial singular, es decir un enunciado que atribuye a cierta entidad -identificada por la mencin del lugar y el momento en los que se encuentra- determinada propiedad observable. As, la expresin "En el lugar E y en el instante T hay un cuervo negro" es un ejemplo de enunciado bsico. Y es evidente que se trata de un enunciado compatible con la generalizacin "Todos los cuervos son negros". Pero el enunciado "En el lugar E' y en el instante T hay un cuervo no-negro", que tambin es bsico, resulta incompatible con la mencionada generalizacin. Pues bien, de acuerdo con Popper, para que una teora sea genuinamente cientfica, debe poder dividir el conjunto de todos los enunciados bsicos, del mismo modo que la hiptesis de que todos los cuervos son negros, en dos subconjuntos: los que son compatibles con ella y los que no lo son. S la teora es cientfica, este ltimo conjunto, el de los enunciados bsicos incompatibles no puede ser vaco. 12.3 Convencionalismo y base emprica Es conveniente aclarar, por otra parte, que si bien los enunciados bsicos se expresan en trminos observacionales, como "cuervo" o "negro", Popper evitaba afirmar que la aceptacin de un enunciado bsico queda directamente justificada por la experiencia correspondiente. En opinin de Popper, los enunciados slo pueden ser justificados por otros enunciados; y la experiencia, las percepciones de los seres humanos, son cierta clase de fenmenos y no, ciertamente, enunciados. La experiencia, en todo caso, puede motivar la aceptacin de un enunciado bsico pero no lo justifica. Por esta razn, Popper sostiene que la aceptacin de un enunciado bsico conlleva tambin un componente convencional. Esto significa que los cientficos aceptan como verdaderos ciertos enunciados bsicos sin exigir ulteriores justificaciones, especialmente cuando dichos enunciados se refieren a situaciones repetibles, y que por ende pueden ser fcilmente contrastables. De todas maneras, si hubiera dudas sobre la veracidad de un enunciado observacional, siempre sera posible apelar a un enunciado de carcter ms bsico sobre el cual pudieran ponerse de acuerdo los cientficos. Y aunque este proceso no tiene un lmite preestablecido, Popper da por sentado que los cientficos llegarn finalmente a convenir f sobre la aceptacin de ciertos enunciados bsicos, y a partir de ellos V juzgarn s las teoras quedan o no refutadas., No es extrao que Popper introduzca una mencin a la necesidad de convenciones a propsito de la aceptacin de los enunciados bsicos. Una de las crticas que formul a los empiristas lgicos se refera, precisamente, a los intentos que emprendieron para identificar enunciados observacionales infalibles, indubitables, enunciados capaces de describir tan directamente las experiencias de un sujeto que le resultara imposible equivocarse acerca de ellas. Popper se 25 de 39

manifiesta, adems, plenamente consciente de que as como no puede haber verificaciones absolutamente infalibles ni siquiera de los enunciados observacionales singulares, tampoco puede pretenderse que haya refutaciones completamente concluyentes de una teora, ya que siempre puede dudarse de las observaciones o se puede argumentar que las discrepancias entre las observaciones y la teora son aparentes y desaparecern con el progreso de la comprensin de los hechos4. De todos modos, no considera que la necesidad de tomar decisiones metodolgicas afecte la objetividad de la tarea cientfica y la posibilidad de conocer la realidad. Adems, es necesario subrayar que el convencionalismo expresado por Popper se limita exclusivamente a los enunciados bsicos, pues rechazaba explcitamente las ideas de autores como Duhem y Poincar, que atribuan carcter convencional a las teoras cientficas. Esos autores tomaban en cuenta que los mismos resultados observacionales pueden ser compatibles con diferentes teoras -como sucedi con la concepcin tolemaica y la copernicana, que en un primer momento se vean apoyadas en la misma medida por las observaciones astronmicas-y concluyeron que la decisin de los cientficos de mantener una u otra depende de otros tipos de consideraciones, tales como la preferencia por la teora ms simple. Popper rechaza, asimismo, la postura instrumentalista, es decir la idea de que las teoras cientficas no son ni verdaderas ni falsas sino ms bien instrumentos o herramientas tiles para formular predicciones acerca de los aspectos observables de la realidad. ^ Popper, por el contrario, asume una actitud realista: sostiene que el objetivo de la investigacin cientfica es descubrir las leyes que rigen el comportamiento de la realidad; de manera que si la empresa cientfica llegara a tener un completo xito, las teoras a las que se arribara finalmente sean verdaderas. Pero si bien la aspiracin de la ciencia es alcanzar la verdad, nunca podremos saber si efectivamente lo hemos logrado. La tarea cientfica, desde el punto de vista falsacionista. Consiste en conjeturar hiptesis y someterlas a las ms severas contrastaciones, tratar de refutarlas; y si ello en algn momento ocurre, reemplazarlas por nuevas conjeturas y otra vez tratar de refutarlas, y as sucesivamente. El progreso cientfico, entonces, adopta una forma negativa: aprendemos de nuestros errores, el avance consiste en haber mostrado que una conjetura ha quedado refutada y en consecuencia debe ser abandonada a favor de la siguiente. 12.4 La contrastacin de las hiptesis La insistencia de Popper en subrayar que la refutabilidad es la caracterstica esencial de las teoras cientficas surge como una consecuencia natural de su rechazo de cualquier variante del mtodo inductivo. Puesto que es imposible verificar las hiptesis cientficas y ni siquiera puede asignrseles una probabilidad creciente de que sean verdaderas, slo se puede intentar conocer el mundo proponiendo hiptesis y descartndolas cuando el incumplimiento de algunas de las predicciones derivadas de ellas evidencie que se trata de hiptesis incorrectas. Y aunque Popper presenta la concepcin falsacionista como una propuesta convencional acerca de las condiciones que debe cumplir el conocimiento cientfico, es decir, aunque explcitamente reconoce el carcter ms bien normativo que descriptivo de su interpretacin de la ciencia, sin duda cree que esta metodologa es la que en definitiva han venido utilizando los cientficos. En favor de este punto de vista puede sealarse que, como lo muestra la historia de las disciplinas cientficas, tarde o temprano las teoras son reemplazadas por otras a lo largo de un proceso sin trmino. De acuerdo con Popper, entonces, la investigacin en el campo de las ciencias fcticas no requiere otro tipo de lgica que la deductiva. Una vez propuesta una conjetura, es decir, una hiptesis o una teora, el proceso de contrastacin sigue los siguientes pasos: 26 de 39

1. Se examinan las consecuencias lgicas que pueden deducirse de tales conjeturas a fin de asegurarse de su coherencia lgica. 2. Se analiza su estructura lgica para comprobar que se trata de una teora emprica y no de afirmaciones tautolgicas y por consiguiente irrefutables. 3. Se la compara con otras teoras referidas al mismo dominio de hechos para averiguar si constituira un adelanto cientfico en el caso de que sobreviviera a la contrastacin emprica. 4. Finalmente, si la teora considerada cumple con los requisitos anteriores, se realizan los experimentos o las observaciones cuyo resultado podran o bien refutarla o bien corroborarla. Esta ltima etapa, la contrastacin emprica propiamente dicha, ^responde al siguiente procedimiento. De la teora se deducen consecuencias de bajo nivel de generalidad, es decir, proposiciones que puedan ser puestas en conjuncin con ciertos enunciados singulares -que suelen denominarse "condiciones iniciales"- de tal manera que de dicha conjuncin sea posible a su vez deducir algunas predicciones observacionales. Si la observacin muestra que alguna de esas predicciones no se cumple, debemos pensar que la teora ha quedado refutada. , El esquema de este procedimiento puede representarse del siguiente modo: I) Teora -> Hiptesis II) Hiptesis + Condiciones iniciales - Prediccin El paso I) representa la deduccin de una hiptesis determinada a partir de la teora, y el paso II) representa la deduccin de la prediccin a partir de la conjuncin de dicha hiptesis con ciertas condiciones iniciales. Ahora bien, si la prediccin no se cumple, por medio de la aplicacin de una forma de razonamiento vlida denominada "modus tollens* / podemos inferir que el antecedente de II), es decir, la conjuncin de la > hiptesis y las condiciones iniciales, resulta falsa, conforme al siguiente esquema: (H . C) =>P (H . C) donde "H" simboliza la hiptesis; "C", la afirmacin conjunta de las condiciones iniciales y P representa una prediccin. Ahora bien, si no dudamos de la verdad de ninguna de las condiciones iniciales, debemos concluir que la hiptesis es falsa. Y si es as, porua nueva aplicacin del modus tollens, esta vez a propsito del paso I), es la teora T la que queda refutada; As, supongamos que T fuera una teora compuesta por hiptesis que pretenden describir el comportamiento de los planetas y sus satlites, H fuera una hiptesis deducida de T referente a los movimientos de la Luna y la Tierra en relacin con el Sol, y C, las condiciones iniciales, fuese un conjunto de enunciados referidos a la posicin de la Tierra, la Luna y el Sol en determinado instante. A partir de estas premisas, puede inferirse la prediccin de que se podr observar un eclipse en un plazo preciso. Si tal eclipse finalmente no se produce en el momento esperado, y si no se pone en duda que las condiciones iniciales son correctas, debe considerarse que la hiptesis H es falsa y por consiguiente tambin es falsa la teora que constitua el punto de partida. Si, en cambio, efectivamente la prediccin sobre el eclipse se cumple, la teora ha resistido la contrastacin. Pero, por supuesto, ello no significa que la teora ha quedado verificada o confirmada; en esta clase de situaciones, Popper indica que la teora "ha probado su temple" o "ha quedado corroborada". Y subraya que la corroboracin de una teora no debe identificarse con un incremento de la probabilidad de que sea verdadera. Hace notar tambin que la corroboracin siempre es relativa al conjunto de enunciados bsicos que se dan por aceptados en cada momento, de modo que no puede jams dejar de ser provisoria. 27 de 39

12.5 Verdad y verosimilitud Este sostenido carcter provisional de la corroboracin, el hecho de que el establecimiento de la verdad sea inalcanzable, sin embargo, no impide el progreso del conocimiento cientfico. La verdad -sostiene Popper-acta como un principio regulativo, como una meta que se halla a infinita distancia pero que de todos modos nos orienta. Las teoras prueban su temple en las contrastaciones empricas, y cuanto ms severas hayan sido las contrastaciones que logra superar, cuanto mayor sea su corroboracin, ms valiosa resulta la teora. Ante la imposibilidad de acreditar la verdad de las teoras, Popper introduce el concepto de aproximacin a la verdad, al que denomina tambin "verosimilitud". Esta idea le permite realizar comparaciones entre teoras cientficas rivales. As, una teora que ha sido corroborada exhibe la posibilidad de ser verdadera y por ello, obviamente, es ms preferible que cualquier otra que ya ha sido refutada. Pero aun cuando dos teoras hayan resultado refutadas, puede llegar a considerarse que una de ellas es mejor que la otra, en tanto constituya una mejor aproximacin a la verdad. Para realizar este tipo de evaluaciones, Popper propone comparar lo que denomina el contenido de verdad y el contenido de falsedad de ambas teoras El contenido de verdad es el conjunto de consecuencias lgicas de una teora que son verdaderas; y el contenido de falsedad es el conjunto de sus consecuencias falsas. Es posible, entonces, que una teora T implique todas las consecuencias verdaderas de otra T, al mismo tiempo que las consecuencias falsas de T solo sean una parte del conjunto de consecuencias falsas de T. En ese caso el contenido de verdad de T incluye el contenido de verdad de T y el contenido de falsedad de T es un subconjunto del contenido de falsedad de T, por lo que podemos decir que T se aproxima ms a la verdad. La teora de Newton, por ejemplo, fue superior a la de Kepler porque, adems de fracasar en aquellos casos en las cuales la teora de Kepler resulto refutada, conservaba el contenido de verdad de las leyes de Kepler. 13. THOMAS KUHN 13.1 Introduccin Anteriormente nos hemos referido a las concepciones epistemolgicas tradicionales, esto es, el positivismo lgico y el falsacionismo de Popper, cuya influencia se extendi durante alrededor de medio siglo. En efecto, hasta aproximadamente 1960, los estudios en filosofa de la ciencia se enmarcaron en los cnones formulados por ambas corrientes epistemolgicas. Pero a partir de entonces, las ideas acuadas por la concepcin tradicional comenzaron a ponerse en tela de juicio. Fueron precisamente los nuevos aportes generados en el marco de esta reaccin los que sentaron las bases de lo que se llam la filosofa histrica de la ciencia. Las propuestas de Toulmin, Hanson, Feyerabend, y de un modo decisivo las reflexiones de Thomas Kuhn, cuestionaron cada uno de los tpicos que caracterizaban la filosofa de la ciencia ortodoxa. Se dej de lado el anlisis lgico como metodologa apropiada para el examen de las teoras cientficas y se acentu el inters en los factores sociolgicos e histricos. Thomas Kuhn ha sido, con toda seguridad, uno de los autores ms atrayentes dentro del mbito de la nueva filosofa. Desde la publicacin de Structure of Scientfc Revolutions, en 1962, mantuvo despierto el inters tanto de sus seguidores como tambin de sus crticos. Su concepcin acerca del desarrollo de la ciencia fue vista, y an hoy muchos as la conciben, como verdaderamente revolucionaria. Tal como lo expresa en el prlogo de la segunda edicin de esa obra, la imagen que se tena de la ciencia le pareca profundamente equivocada. Kuhn rechaza la idea de que el desarrollo de la ciencia produce un avance continuo y acumulativo. Piensa que lejos de ser as la produccin del conocimiento cientfico atraviesa alternativamente por etapas donde s puede advertirse una continuidad y otras etapas donde se 28 de 39

produce un salto brusco cuyo resultado no consiste en agregar nuevos conocimientos a los ya adquiridos sino, ms bien en reemplazar las teoras anteriores por otras diferentes. De este modo, segn Kuhn, la historia de las disciplinas cientficas presenta, invariablemente, una sucesin alternada de perodos revolucionarios y estadios de mayor estabilidad a los que denomina ciencia normal. La publicacin de La estructura de las revoluciones cientficas produjo un impacto poco comn. La obra se tradujo a muchos idiomas y cont con un nmero de lectores absolutamente inusual para un texto filosfico, y en particular, para una publicacin encuadrada en el rea de la filosofa de la ciencia. Pero si bien las ideas de Kuhn fueron adoptadas, al menos parcialmente, por otros autores, tambin dieron lugar a diversas crticas. En gran medida, como consecuencia de estas criticas, Kuhn se vio obligado a precisar ms el alcance de algunas de sus consideraciones y tambin fue llevado a reformular algunas de sus ideas. Por ese motivo, es conveniente tener en cuenta la evolucin del pensamiento de Kuhn. En la exposicin que sigue, conforme a este objetivo, diferenciaremos tres etapas: la que corresponde a la publicacin de La Estructura, un perodo posterior que podemos considerar de transicin, por ltimo, la fase final de la filosofa de Kuhn.

13.2. LA ETAPA DE LA ESTRUCTURA 13.2.1 Paradigmas y ciencia normal En La estructura de las revoluciones cientficas Kuhn introduce un concepto que se convierte en la clave de su explicacin del desarrollo de la ciencia. Se trata del concepto de paradigma. Por supuesto, el vocablo correspondiente ya exista, pero Kuhn lo utiliza en un sentido tcnico para referirse a ciertos aspectos de la ciencia que no haban sido previamente considerados. En las primeras pginas de La Estructura, Kuhn describe los paradigmas como las "realizaciones cientficas universalmente reconocidas que, durante cierto tiempo, proporcionan modelos de problemas y de soluciones a una comunidad cientfica". (Kuhn 1962, p.Vlll). La importante novedad que Kuhn se propone presentares la conviccin de que los conceptos que haban sido considerados tradicionalmente para caracterizar la ciencia, tales como teora, hiptesis, ley, no son los ms adecuados para entender cmo se produce efectivamente la investigacin cientfica. : De acuerdo con Kuhn, la formulacin de hiptesis o teoras en cada momento de la historia de la ciencia depende de un conjunto de aspectos en cuyo seno surgen tales teoras. En la utilizacin que hace Kuhn, el trmino "paradigma" se refiere entonces a algo ms amplio que una teora. Representa, ms bien, un modo de ver el mundo y una manera de hacer ciencia. Son precisamente estos aspectos los que se alteran cada vez que cabe hablar de una revolucin en la historia de una disciplina cientfica. El cambio revolucionario est marcado por un logro cientfico notable y universalmente reconocido, de modo que sirve como modelo de problemas y de soluciones durante un cierto tiempo hasta que se produzca una nueva revolucin en ese dominio. El paradigma constituye entonces el centro del consenso, relativamente firme, bajo el cual operan los especialistas durante amplios perodos en el campo de una ciencia. El tipo de soluciones aceptadas para la resolucin de problemas concretos es uno de los componentes fundamentales de este consenso que supone, obviamente, dos coincidencias: 29 de 39

- el acuerdo de la comunidad cientfica en el hecho de que una situacin particular representa un problema cientfico, - acuerdo en que el modo en que se intenta resolverlo constituye una solucin cientficamente aceptable. Podramos pensar, por ejemplo, que la hiptesis sostenida por la concepcin ptolemaica, es decir, la creencia de que los cuerpos celestes se mueven describiendo crculos alrededor de la Tierra, permiti dar una explicacin de las regularidades cclicas que presentan a la observacin. De ese modo, los cambios de posicin visibles del Sol, la Luna, los planetas, y las estrellas, dejaron de ser caticos o extraos y se presentaron con una conducta en buena medida previsible. Sin embargo, los astrnomos haban advertido que el Sol, la Luna y unos pocos astros como Marte o Venus se comportaban de manera diferente al resto de los cuerpos celestes, las llamadas estrellas fijas, que se desplazaban al unsono manteniendo sus posiciones relativas entre s. Los astrnomos ptolemaicos saban que la trayectoria de los planetas no coincida totalmente con la idea de un movimiento giratorio simple. Se abocaron entonces a la tarea de imaginar un modelo de movimiento ms adecuado. Uno de los recursos a los que apelaron fue introducir el concepto de epiciclo, es decir, un movimiento circular realizado por un planeta alrededor de un punto que a su vez se desplaza circularmente alrededor de la Tierra. As, un planeta que gira en un epiciclo est llevando a cabo simultneamente dos movimientos, el que corresponde a su epiciclo y el que corresponde al punto que gira alrededor de la Tierra. Sin embargo, como las observaciones no terminaban de coincidir con las predicciones surgidas a partir de la postulacin de un epiciclo, los astrnomos debieron pensar en epiciclos de segundo y tercer grado, es decir, epiciclos de epiciclos. Esta postulacin exiga, entonces, la aplicacin continua de procedimientos matemticos con el objeto de proporcionar una descripcin lo ms ajustada posible de los movimientos astrales. Esa labor, que se fue desarrollando a lo largo de muchos siglos y que requera tambin otros recursos conceptuales, mantuvo, sin embargo, dos ideas: la conviccin de que la Tierra, fija, era el centro de rotacin de los cuerpos celestes y que el movimiento de estos ltimos, por complejo que fuera, slo poda ser circular o, en todo caso, una combinacin de movimientos circulares. Estos supuestos se encontraban, pues, en el corazn de lo que podramos llamar el paradigma ptolemaico. Pero este paradigma no se agota en estas dos hiptesis. Ellas estn vinculadas tambin con otros principios que no estaban sujetos a discusin. As, los cuerpos celestes haban sido concebidos originariamente como cuerpos de un rango superior y compuestos de una sustancia diferente de las que se hallan en la Tierra. Y se les haba atribuido un movimiento circular porque este representaba, para los antiguos astrnomos, la nica posibilidad del movimiento perfecto. La postulacin de los epiciclos, entonces, ejemplifica un modo de solucionar determinados problemas astronmicos que ha guiado a los cientficos enrolados en esta disciplina durante muchos siglos. Kuhn piensa que, de manera semejante, cualquier ciencia proporciona modelos de problemas y de soluciones que los cientficos imitan durante el tiempo en que el paradigma correspondiente permanece vigente. Una revolucin cientfica se produce cuando alguno de los componentes fundamentales del paradigma se abandonan. Kuhn cita como ejemplos de paradigmas realizaciones tales como la dinmica aristotlica, la dinmica newtoniana, la ptica corpuscular y la ptica de ondas. Lo que estos nombres sugieren es que en el desarrollo histrico de una disciplina los cientficos actan siempre comprometidos con un paradigma; y el proceso transcurre de tal forma que los paradigmas propios de una determinada rama de la ciencia no pueden menos que rivalizar. Aun cuando, como ya hemos sufrido, algunos elementos se conserven a travs de una revolucin, el paradigma resultante es incompatible con el 30 de 39

precedente. Hay dos notas bsicas que caracterizan los paradigmas: (i) constituyen logros que al carecer de antecedentes atraen a un grupo duradero de partidarios y los aleja, al mismo tiempo, de otros aspectos de competencia de la actividad cientfica; y (ii) son lo suficientemente incompletos como para dejar muchos problemas a resolver por el nuevo grupo de cientficos. Es precisamente el surgimiento de un paradigma lo que nuclea y confiere unidad a los distintos grupos de especialistas, sienta las bases de un consenso firme, y otorga madurez a la disciplina. Pues las primeras etapas del desarrollo de una ciencia estn caracterizadas por el predominio de diversas escuelas y sub escuelas en competencia que expresan, consecuentemente, la ausencia de una comunidad cientfica ms o menos homognea. Slo con la imposicin de un paradigma se inicia la transicin a la ciencia normal, que Kuhn distingue claramente de los llamados perodos extraordinarios. Tambin es importante destacar que es la aparicin de un paradigma la que marca el surgimiento de una ciencia madura. Mientras no surja algn paradigma, las investigaciones o las propuestas que se realicen respecto de un determinado dominio de hechos no constituyen una ciencia. Kuhn reserva para este perodo el nombre de pre ciencia. En pocas como sa, puede haber muchas personas que se esfuerzan por comprender las caractersticas propias de un aspecto de la realidad, pero slo cuando se logre un consenso habr empezado a recorrerse el camino autnticamente cientfico. Por ese motivo, Kuhn llega a afirmar que en las etapas pre cientficas hay cientficos, pero no ciencia. De este modo, a diferencia de la concepcin de Popper, segn la cual la ciencia constituye una empresa de crtica permanente, esto es, de constantes conjeturas y refutaciones, Kuhn sostiene que el desarrollo cientfico atraviesa por estadios de relativa quietud. En efecto, en tanto Kuhn concibe la ciencia normal como la etapa del desarrollo cientfico que est gobernada por un paradigma, y en razn de que el paradigma determina cules son los problemas y las normas de resolucin, la actividad del cientfico normal no tiende a descubrir novedades importantes. Su actividad se dirige hacia la articulacin de aquellos fenmenos y teoras ya proporcionados por el paradigma. El xito de un paradigma es al principio una promesa de xito y la ciencia normal consiste en la realizacin de esa promesa (Kuhn 1962, pp. 23-24). La tarea profesional est restringida a la resolucin de enigmas, esto es, problemas que ya tienen asegurada su solucin pero que constituyen, no obstante, un verdadero desafo para los cientficos. Los enigmas son, en el sentido absolutamente ordinario que empleamos aqu, aquella categora especial de problemas que puede servir para poner a prueba el Ingenio o la habilidad para resolverlos. Proponer un nuevo epiciclo es un ejemplo de resolucin do enigma. Al proceder de ese modo, el astrnomo confa en que finalmente lograr hacer que las predicciones coincidan con las observaciones; pero, como ya hemos dicho, esta conviccin no significa nada si no se llevan a cabo los clculos correspondientes. Esta es la tarea que le compete al cientfico cuando hace ciencia normal. Y si su intento fracasa, esta circunstancia no lo conduce a abandonar su compromiso con el paradigma vigente; en todo caso, lo intentar de nuevo de otra manera introduciendo un epiciclo de mayor grado, por ejemplo. Kuhn grfica esta situacin sealando que en una etapa de ciencia normal el cientfico atribuir el fracaso de cierta solucin a una falla de su habilidad pero no a una falencia del paradigma con el que est comprometido. 31 de 39

13.2.2. Crisis y revoluciones cientficas La ciencia normal, entonces, en tanto consiste en la resolucin de enigmas es una empresa acumulativa tendiente a extender el alcance y precisin del paradigma. Pero, si bien los cientficos que trabajan en el marco de un paradigma confan en la posibilidad de resolver todos los enigmas que se vayan presentando, de hecho no siempre sucede as. En algunas ocasiones tropiezan con anomalas, es decir, perciben que la naturaleza ha violado las expectativas inducidas por el paradigma vigente (Kuhn 1962, p. 52-53). Se produce as una investigacin ms o menos prolongada que concluye cuando la teora del paradigma ha sido ajustada de un modo tal que lo anormal se convierte en lo esperado, de manera que la anomala deja de existir. Pero el fracaso persistente en la resolucin de los enigmas que presenta la ciencia normal, el fracaso en la aplicacin de las reglas existentes, puede llevar a un estado de inseguridad profesional, a un perodo de crisis que implica la prdida de fe en el paradigma dominante. Esta incapacidad del paradigma para dar solucin a los problemas planteados es entonces el preludio de la bsqueda de nuevas alternativas. Los perodos de crisis comparten ciertas analogas con los estadios pre paradigmticos a medida que el paradigma pierde su estatus hegemnico proliferan diferentes escuelas en competencia que ponen en duda los modelos y patrones aceptados con anterioridad. Las crisis debilitan los estereotipos y, simultneamente, proporcionan los datos adicionales necesarios para un cambio fundamental de paradigma" (Ibid., p. 89). Ntese, sin embargo, que aunque el surgimiento de un nuevo paradigma est siempre precedido por un estado de crisis, Kuhn explica la transicin en trminos de una experiencia sbita. Esta situacin, en la cual un paradigma termina por ser abandonado por la comunidad cientfica y es sustituido por otro es lo que Kuhn denomina una revolucin cientfica. Kuhn subraya la influencia de los aspectos sociales y psicolgicos en el desarrollo de la ciencia a travs de un paralelo entre las revoluciones cientficas y las revoluciones polticas. Estas ltimas se inician a partir de un sentimiento cada vez mayor de que las instituciones vigentes han dejado de satisfacer adecuadamente las demandas sociales; anlogamente, las revoluciones cientficas comienzan con un sentimiento de que el paradigma existente ha dejado de funcionar adecuadamente en la exploracin de un aspecto de la naturaleza (Kuhn 1962, p. 92). 13.2.3. La tesis fuerte de la inconmensurabilidad En La estructura de las revoluciones cientficas, Kuhn introduce el concepto de inconmensurabilidad para describir la particular relacin que mantienen entre sidos paradigmas en competencia. El cambio de paradigma es asimilado aun cambio de gestalt. "En tiempos de revolucin, cuando la tradicin cientfica normal cambia, la percepcin que el cientfico tiene de su medio ambiente debe ser reeducada [...], debe aprender a ver una forma (gestalt) nueva. Despus que lo haga, el mundo de sus investigaciones parecer en algunos aspectos inconmensurable con el que habitaba antes" (Kuhn 1962, p. 112) As, los proponentes de paradigmas en competencia llevarn a cabo en el laboratorio observaciones y manipulaciones completamente diferentes. En sntesis, en La Estructura, Kuhn desarrolla una versin global de la inconmensurabilidad que rene dos notas esenciales: i) abarca aspectos conceptuales o semnticos, observacionales y metodolgicos y ii) supone la incomparabilidad de los paradigmas rivales. Denominaremos a esta versin la tesis fuerte de la inconmensurabilidad. 13.2.4. El progreso cientfico La tesis de la inconmensurabilidad, tal como fue sealado por muchos crticos, parece transformar la ciencia en una empresa irracional. Si los paradigmas no pueden compararse 32 de 39

entre s, si no hay criterios claros que permitan decidir cundo un paradigma es "mejor" que otro, entonces la concepcin epistemolgica de Kuhn lleva consigo el rechazo de la idea de progreso y, consecuentemente, la imposibilidad de explicar racionalmente el cambio y el desarrollo cientficos. No habra razones para afirmar, por ejemplo, que la ciencia contempornea representa un progreso respecto de las teoras del pasado. Sin embargo, tal conclusin es explcitamente negada por Kuhn. A pesar de sostener la inconmensurabilidad de los paradigmas en competencia no deja de concebir el cambio revolucionario como un cambio progresivo. Concibe el desarrollo de la ciencia como un proceso que se da a travs de etapas sucesivas que otorgan una comprensin cada vez ms detallada y refinada de la naturaleza; pero tal proceso no puede entenderse en trminos de una evolucin hacia una meta. En contra del punto de vista tradicional, Kuhn rechaza la idea de que la ciencia avanza hacia un objetivo establecido de antemano; su xito se explica en trminos de evolucin a partir del estado de conocimientos que una comunidad posee en un momento dado. Es necesario aprender a "sustituir la evolucin-hacia-lo-que-deseamos-conocer por la-evolucin-a-partir-de-lo-que-conocemos" (Ibid., p. 171). De este modo, Kuhn establece una analoga entre el desarrollo cientfico y la evolucin biolgica tal como es explicada por la teora de Darwin. Por ltimo, es preciso subrayar que en La Estructura Kuhn diferencia claramente el progreso revolucionario del progreso intraparadigmtico. La ciencia normal es descripta como una actividad eminentemente acumulativa: "La investigacin normal, que es acumulativa, debe su xito a la habilidad de los cientficos para seleccionar regularmente problemas que pueden resolverse con tcnicas conceptuales e instrumentales vecinas a las ya existentes" (Ibid., p. 96). "As pues, en su estado normal una comunidad cientfica es un instrumento inmensamente eficiente para resolver los problemas o los enigmas que define su paradigma. Adems, el resultado de la resolucin de esos problemas debe ser inevitablemente el progreso" (Ibld., p. 166). El progreso, entonces, corresponde, de acuerdo con la presentacin de Kuhn, solamente a la conviccin de los protagonistas de la revolucin triunfante sobre las virtudes del nuevo paradigma. 13.3. LA ETAPA DE TRANSICIN Durante las dos dcadas posteriores a la publicacin de La Estructura, en parte como respuesta a sus crticos, Kuhn reformula muchos de los conceptos centrales de su doctrina y presenta una versin ms moderada de sus tesis originales. Nos referiremos a este largo perodo bajo la denominacin de Etapa de Transicin y atenderemos, fundamentalmente, a las modificaciones introducidas en el concepto de paradigma y en la nocin de inconmensurabilidad. 13.3.1. Una nueva concepcin de los paradigmas Aunque el concepto de paradigma constituye uno de los aportes fundamentales de Kuhn, la lectura de La Estructura deja la impresin de que la profusa utilizacin que Kuhn hace del trmino no logra precisar su ^significado. Por lo contrario, la utilizacin del trmino para referirse a distintas cosas le confiere un alto grado de ambigedad y una apreciable vaguedad. Margaret Masterman, aun cuando no muestra ningn rechazo por la posicin de Kuhn, analiz la presencia del concepto de inconmensurabilidad a lo largo de las pginas de La Estructura y pudo concluir que Kuhn lo utiliza nada menos que con veintids significados diferentes. Frente a esta situacin, en el Poscrptum (1970) y en "Second Thoughtson Paradigms" (1977) Kuhn lleva a cabo una reformulacin del concepto de paradigma. Los vanados usos que el trmino asume en La Estructura son reagrupados ahora bajo dos sentidos: 33 de 39

un sentido global, al que le asigna un carcter sociolgico y que abarca todos los compromisos compartidos por un grupo de cientficos, y - un sentido ms especfico, que agrupa una clase de compromisos ms acotados y es, en consecuencia, un subconjunto del primero. El sentido ms global, al que Kuhn denomina matriz disciplinar incorpora entre sus componentes generalizaciones simblicas, modelos y valores. Las generalizaciones simblicas son aquellos elementos que pueden presentarse en forma lgica y representan entonces los aspectos formales o fcilmente formalizables de la matriz disciplinar. Las generalizaciones simblicas pueden expresar leyes de la naturaleza o funcionar simplemente como definiciones de ciertos trminos. Los modelos, por su parte, constituyen estructuras fcticas previamente estudiadas por los cientficos y tienen un valor heurstico y metodolgico: sirven de gua para considerar otro tipo de estructuras. La inconmensurabilidad, entonces, no anula la posibilidad de establecer ciertas comparaciones entre teoras rivales sucesivas o temporalmente distantes pero, dado que la comunicacin entre los que se expresan en trminos de una teora y los que se expresan a travs de la otra es parcial, las comparaciones no pueden efectuarse del modo preconizado por la filosofa ortodoxa de la ciencia. As, cuando dos teoras son inconmensurables las afirmaciones tericas de cada una de ellas no estn vinculadas a ningn lenguaje observacional compartido que proporcione la posibilidad de decidir observacionalmente cul de ambas teoras es la ms adecuada. 13.4. ETAPA FINAL 13.4.1. Inconmensurabilidad y estructuras lxicas En la seccin anterior hemos descrito las modificaciones que comenzaron a sufrir algunas de las ideas introducidas en La Estructura, en particular, en cuanto a la reformulacin del concepto de inconmensurabilidad. Hemos visto que esta nocin perdi sus connotaciones perceptivas y qued restringida al mbito lingstico en relacin con un conjunto muy limitado de trminos. As, la inconmensurabilidad dej de ser un fenmeno que afecta globalmente la relacin entre paradigmas y adquiri un rango localizado al tiempo que qued definida en trminos de intraducibilidad. Hacia fines de lsanos '80 y principios de la dcada del '90 Kuhn retoma nuevamente la cuestin precisando ms sus tesis e introduciendo nuevos cambios. En esta etapa, Kuhn sigue manteniendo el carcter estrictamente local de la inconmensurabilidad pero agrega algunas notas que, en cierto sentido y desde una perspectiva diferente, fortalecen nuevamente la tesis. Kuhn confiesa que la inconmensurabilidad es el componente de su doctrina que ms le ha interesado durante los treinta aos transcurridos desde la publicacin de La Estructura (Kuhn 1991, p. 3). En efecto, a diferencia de otros conceptos, la nocin de inconmensurabilidad aparece como una constante a lo largo de todos sus escritos y su importancia se enfatiza en los ltimos trabajos. Puede observarse, que con el transcurso de los aos, el trmino paradigma casi ha desaparecido en los escritos de Kuhn, y en su lugar habla frecuentemente de teoras en el sentido tradicional de la expresin. Simultneamente, su visin del cambio cientfico pierde dramatismo: las revoluciones ya no se identifican con bruscas rupturas, con mutaciones radicales, sino que al igual que en los 34 de 39

procesos de la evolucin biolgica el desarrollo del conocimiento exhibe una transformacin gradual a partir de los estadios precedentes. En este contexto, la inconmensurabilidad no deja de cumplir un rol relevante en la explicacin del cambio cientfico y encarna la posibilidad de que el conocimiento cientfico contine creciendo. En este perodo final, Kuhn reitera muchos de las ideas que haban ido apareciendo en la etapa de transicin, pero lleva a cabo un anlisis ms detallado y profundiza en sus consecuencias. Con respecto a la inconmensurabilidad sigue pensando que es el resultado de una intraducibilidad localizada que afecta slo a un conjunto muy limitado de expresiones a las que denomina trminos taxonmicos o trminos de clase y en sus ltimos trabajos especifica ms claramente esta idea. Los trminos de clase componen una amplia categora que incluye las expresiones que se refieren a clases naturales, clases artificiales, clases sociales, como por ejemplo, 'mamfero', 'tigre', 'agua', 'hidrgeno' o 'proletariado'. Representan taxonomas porque corresponden a la manera como los hablantes de un lenguaje clasifican los objetos o los hechos que componen su mundo. As, la palabra 'vertebrado' alude a una clase de animales por cuanto a partir de cierto momento los bilogos prefirieron clasificarlos conforme a ciertas caractersticas de su estructura ms bien que con el criterio de si viven en la tierra o en el agua. Los trminos taxonmicos, pues, expresan, la red de conceptos a travs de la cual conocemos la realidad. Estos trminos de clase poseen, de acuerdo con Kuhn, tres caractersticas esenciales: i) pueden identificarse en virtud de ciertos criterios gramaticales, como por ejemplo, tomar el artculo indefinido, ya que cabe hablar de "un mamfero" o "un volumen de agua ii) no pueden superponerse en sus referentes a menos que exista entre ellos una relacin lgica de gnero a especie; y iii) son proyectables y por ello permiten formular generalizaciones con respecto al mundo. - La segunda de las caractersticas mencionadas, lo que Kuhn denomina el principio de no superposicin, indica que los miembros de una clase pueden constituir una subclase de otra, como los mamferos en el conjunto de los vertebrados. Pero, si la superposicin es parcial por cuanto se presentan dos trminos taxonmicos tales que los referentes de uno no estn incluidos totalmente en el conjunto de los correspondientes al otro, no pueden utilizarse a la vez ambos trminos de manera inteligible. As, por ejemplo, la palabra 'planeta' vari su significado al pasar de la astronoma ptolemaica a la copernicana. Para los astrnomos antiguos, los planetas eran aquellos cuerpos celestes cuyas trayectorias no coincidan con el movimiento observado de las estrellas fijas, ya que estas ltimas se desplazaban, por as decirlo, al unsono, mientras que cada uno de los planetas se mova en una rbita propia. De este modo, el Sol y la Luna, lo mismo que Marte o Venus, eran considerados planetas, mientras que la Tierra, por supuesto, no era un planeta, pues no protagonizaba movimiento alguno. Para Coprnico y sus continuadores, en cambio, el Sol no era un planeta y la Tierra s ya que una de las caractersticas de los planetas es su rotacin en torno del Sol. De esta manera, aunque en el pasaje de una concepcin astronmica a la otra se mantuvo la palabra 'planeta', sus significados resultan diferentes, a tal punto que no pueden compatibilizarse. El mundo no puede describirse usando al mismo tiempo ambos significados de la expresin 'planeta'. Es necesario optar por su acepcin ptolemaica o su acepcin copernicana. Y tampoco existe un lenguaje neutral capaz de permitir, aunque ms no fuese, una traduccin indirecta. Este es el tipo de situacin para la cual reserva Kuhn el concepto de Inconmensurabilidad. Pero este tipo de divergencia en cuanto a las categoras lxicas no slo se produce entre comunidades cientficas 35 de 39

sucesivas de una misma disciplina, pues un fenmeno semejante se produce entre teoras contemporneas que pertenecen a distintas especialidades. Kuhn extiende, en efecto, el alcance de la nocin de inconmensurabilidad de tal manera que puede presentarse como un fenmeno tanto diacrnico como sincrnico. La inconmensurabilidad diacrnica es la que haba detectado a partir de sus primeras reflexiones y est referida, como acabamos de decir, a los cambios revolucionarios que se producen dentro de una misma disciplina. La inconmensurabilidad sincrnica, en cambio, es la que presentan diferentes campos de investigacin que se desarrollan al mismo tiempo. Cada uno de esos campos-observa Kuhn- genera su propio lxico y aunque las diferencias son locales, no hay un lenguaje capaz de expresar completamente el contenido de todos ellos, o siquiera de un par de ellos. Este fenmeno adquiere mayor magnitud en la poca actual porque el desarrollo cientfico es cada vez ms acelerado y permanentemente nacen especialidades y sub especialidades cientficas. Kuhn, seala al respecto, una anloga con las ramificaciones que pueden trazarse para la representacin de la evolucin biolgica de las especies. En el mbito de esta analoga la inconmensurabilidad queda representada metafricamente por la imposibilidad de que dos especies biolgicas pueden generar descendencia. 14. LAS VERSIONES DEL FALSACIONISMO La concepcin de la ciencia de Imre Lakatos es ampliamente conocida como una propuesta que contina e intenta perfeccionar el proyecto de Popper. El propio Lakatos, en varias ocasiones declar tener una enorme deuda con Popper, de quien confiesa haber extrado los ncleos centrales de su propia posicin; sta es la razn por la que denomin "falsacionismo sofisticado" a su propuesta. Actualmente, sin embargo, es mucho ms frecuente referirse a la filosofa de la ciencia de Lakatos como la "metodologa de los programas de investigacin cientfica". Thomas Kuhn, generacionalmente ms prximo a Lakatos que Popper, es el otro pilar que sirve como antecedente de su obra. En los aos 60, Popper y Kuhn mantuvieron una histrica controversia cuya influencia se hizo sentir en el rea epistemolgica durante muchos aos. Lakatos comparti con Kuhn la crtica al falsacionismo de Popper al que ambos vean como una teora de la ciencia eminentemente normativa y apriorsta. Una teora que resultaba finalmente desmentida por los episodios de la historia real. Los cientficos, de hecho, no proceden de acuerdo con los cnones popperianos, por ejemplo no abandonan sus teoras cuando aparecen casos refutadotes sino que desarrollan una variedad de estrategias con el objeto de continuar trabajando en el paradigma o programa de investigacin con el que estn comprometidos. Lakatos emprendi su propuesta dentro del espritu renovador que caracteriz la filosofa de la ciencia desde las ltimas dcadas. Pero a diferencia de Kuhn no consider que haba que abandonar el mtodo falsacionista sino ms bien ciertas versiones que resultaban indefendibles por ser muy dogmticas o ingenuas. Estableci, de acuerdo con este criterio, una clasificacin del falsacionismo que diferencia tres tipos: el falsacionismo dogmtico, el ingenuo, y_ sofisticado Lo que tienen en comn es, fundamentalmente, la tesis de que las hiptesis cientficas no 36 de 39

pueden justificarse ni total ni parcialmente, de .manera que el reemplazo de una teora por otra se produce como consecuencia de las refutaciones. Pero, las condiciones y las circunstancias en las cuales debe considerarse refutada una teora varan segn la clase de falsacionismo que se adopte. Vale la pena adelantar que estos distintos tipos de falsacionismo son ms bien alternativas tericas contempladas por Lakatos y no pretenden ser descripciones autnticas y excluyentes de las posiciones explcitamente adoptadas por Popper. La clasificacin propuesta por Lakatos es sobre todo una herramienta que le permiten analizar crticamente las ideas de Popper y reconstruir una suerte de trayectoria conceptual que culmina en la propia versin lakatosiana del falsacionismo, que identifica con la versin sofisticada. De acuerdo con Lakatos, el falsacionismo dogmtico est representado por la circunstancia de compartir con el empirismo la creencia en que puede haber una base emprica enorme integrada por los enunciados que describen directamente las experiencias correspondientes y no requieren, en consecuencia, ninguna otra justificacin. Pero, la importante diferencia que (o separa del empirismo es la negativa a conceder valor alguno a las inferencias inductivas. Por ese motivo, el falsacionismo dogmtico rechaza toda posibilidad de verificar, aun de manera parcial, las hiptesis universales de las que estn Compuestas las teoras cientficas. La firmeza de los enunciados de la base emprica servira, en todo caso, para refutar las hiptesis que no fueran compatibles con ellos. Lakatos denomina dogmtico este tipo de falsacionismo porque se apoya en tres supuestos no sometidos a la crtica racional. El primero de ellos es la creencia de que existe una demarcacin neta entre la esfera de las hiptesis tericas y la base emprica. La segunda suposicin dogmtica es la afirmacin de que los enunciados bsicos pueden ser concluyentemente verificados mediante la experiencia, tesis a la que Lakatos, siguiendo a Popper, denomina "psicologismo". La tercera suposicin expresa un criterio dogmtico que surge como consecuencia natural de los otros dos. Este criterio establece que un cuerpo de hiptesis es cientfico y no metafsico o pseudo-cientfico, si y slo si cuenta con una base emprica respaldada por la experiencia que permite la contrastacin de las hiptesis y su abandono definitivo en el caso de resultar refutadas. 14.1 EL FALSACIONISMO SOFISTICADO 14.1.1. Los principios del falsacionismo sofisticado En diversas ocasiones, Lakatos subray que su concepcin de la ciencia est nutrida por las ideas de Popper. Lleg incluso a pensar que la forma ms desarrollada del falsacionismo, el falsacionismo sofisticado, estaba ya de hecho contenido en el pensamiento de Popper aunque no aflorara completamente a la luz; por ese motivo, llama a veces Popper2 al falsacionismo sofisticado. La nueva forma del falsacionismo surge de la crtica de los errores en los que incurran el falsacionismo dogmtico y el ingenuo. Estos ltimos comparten ciertas premisas que a juicio de Lakatos deben ser desechadas: 1. Una contrastacin es -o hay que procurar que sea- un enfrentamiento entre dos nicos contendientes, la teora y la experimentacin. 2. El nico resultado interesante de esa confrontacin es la falsacin y los nicos verdaderos descubrimientos son las refutaciones de hiptesis cientficas (Lakatos 1975, p. 228). Lakatos sostiene que estas dos suposiciones no logran reconstruir apropiadamente la ciencia real. La historia muestra que la ciencia es un interjuego de por lo menos dos teoras en competencia, adems de la experimentacin; y que a los efectos del progreso del conocimiento 37 de 39

no slo son importantes las refutaciones sino tambin las corroboraciones de las consecuencias empricas de las teoras. Por este motivo, propone reemplazar los anteriores supuestos por las siguientes versiones refinadas de los mismos principios: 1'. "Las contrastaciones son, al menos, un triple enfrentamiento entre teoras rivales y experimentacin". 2'. "Algunos de los experimentos ms interesantes resultan, a primera vista, de la confirmacin ms que de la falsacin". (lbid.1975, p. 228). De acuerdo con estas consideraciones, Lakatos elabora una concepcin de la ciencia que sigue concediendo un papel importante a las refutaciones, pero, en un marco general que introduce importantes cambios a la versin del falsacionismo que ha denominado ingenua. Un aspecto fundamental de la concepcin de Lakatos es su conviccin de que nunca lo que pone a prueba es una hiptesis aislada sino un complejo terico integrado no solamente por alguna hiptesis principal que pretende explicar e! fenmeno en estudio, sino tambin por un conjunto de proposiciones en las que figuran las condiciones iniciales de la experiencia, las teoras interpretativas en las que se basan los enunciados de observacin y, muy especialmente, la presencia de una o ms teoras que rivalizan con la que se intenta contrastar. Dicho de otra forma, Lakatos sostiene que la investigacin cientfica no consiste meramente en conjeturar una teora, someterla a contrastacin y reemplazarla por una nueva conjetura si se la ha considerado refutada. En su lugar propone una unidad de anlisis ms ampla que la nocin tradicional de teora a la que denomina programa de investigacin cientfica (en adelante PIC). 14.2. La estructura de los programas de investigacin cientfica Un PIC se define como una sucesin de teoras emparentaras t , T2, T3...Tn, que se van generando una a partir de la otra. Comparten un conjunto de hiptesis fundamentales que constituyen lo que Lakatos llama el ncleo firme del programa de investigacin. Su firmeza consiste en que los cientficos que trabajan en el desarrollo del programa consideran esas hiptesis irrefutables, es decir, adoptan la actitud de seguir manteniendo las hiptesis del ncleo aunque las observaciones parezcan refutarlas. Es la presencia de esas hiptesis que conforman el ncleo del programa el elemento que le brinda continuidad. La astronoma ptolemaica podra describirse como un programa de investigacin que se mantuvo en vigencia durante muchos siglos y en cuyo ncleo se encontraban creencias tales como la hiptesis de que los cuerpos celestes giran alrededor de la Tierra describiendo movimientos circulares. " Adems del ncleo firme v compartido, cada una de las teoras sucesivas que surgen en el desarrollo de un PIC posee un conjunto de otras hiptesis que Lakatos describe como un cinturn protector, dado cualquiera de ellas puede ser sacrificada a fin de preservar las hiptesis del ncleo. En el caso del programa de investigacin ptolemaico, la introduccin de hiptesis que hacan referencia a epiciclos cumplen este papel de proteccin de las hiptesis fundamentales. En efecto, al proponer un epiciclo, los astrnomos tratan de conciliar la hiptesis fundamental de que el movimiento planetario no puede ser otro que el circular con el resultado de las observaciones que mostraban que se apartaban de una trayectoria circular simple y constante, puesto que, en algunas ocasiones, parecan detenerse, volver hacia atrs y luego retomarla direccin inicial. De este modo, entonces, la hiptesis de que, en todo caso, el movimiento del planeta es una combinacin de trayectorias ms complejas que la que se haba propuesto inicialmente, preserva la creencia fundamental de que el movimiento es circular. 38 de 39

Esta clase de modificaciones en el cinturn protector son las que marcan la transicin de una teora del programa de investigacin a otra. Este proceso se reproduce continuamente mientras haya cientficos que sigan investigando en el marco del programa. Lakatos, como Popper, da por descontado que la investigacin cientfica es una actividad sin trmino. Esta situacin es la consecuencia de la improbabilidad de acertar con hiptesis que describan adecuada y completamente las leyes que rigen los fenmenos naturales. Se advierte aqu la filiacin falsacionista de Lakatos porque, en definitiva, cada una de las teoras que componen un programa de investigacin est destinada a ser abandonada cuando la observacin resulte incompatible con ella; y esto es lo que normalmente sucede. Recurdese que cada una de esas teoras est integrada por las hiptesis del ncleo ms las que conforman el cinturn protector, de manera que cuando se opera algn cambio en este ltimo, en un sentido estricto se la ha abandonado. La refutacin de una teora es, por lo tanto, completamente diferente de lo que sera la refutacin del programa; podra decirse, ms bien, que es lo opuesto porque es precisamente el reemplazo de una teora por otra la que permite continuar el desarrollo del programa T. Adems de su estructura morfolgica integrada por el ncleo y el cinturn protector, el programa cuenta con reglas de funcionamiento que aseguran un desarrollo permanente del conocimiento tal que las reglas son denominadas heursticas. Lakatos distingue dos tipos: - una heurstica negativa, que nos dice lo que se debe evitar, y - una heurstica positiva, que indica el camino que debe seguirse para el desarrollo del programa. La heurstica negativa prohbe expresa la decisin de no considerar refutadas las hiptesis del ncleo firme y ante cualquier discordancia de las observaciones con la teora, preferir, como ya hemos indicado, hacer responsable al cinturn protector. La heurstica positiva, en cambio, consiste en un conjunto de reglas que indican cmo modificar, sustituir o inventar nuevas hiptesis del cinturn protector para resguardar el ncleo firme y asegurarse de que el programa sigue progresando. El cometido de la heurstica positiva es dar cuenta de las anomalas y procurar convertirlas en ejemplos corroboradores. Pero esta no es su funcin ms importante; la tarea fundamental de la heurstica positiva es orientar la investigacin hacia el descubrimiento de hechos nuevos, aunque puede ocurrir que al mismo tiempo vaya anticipando y "digiriendo" las anomalas que genera.

39 de 39