CONTRA EL MTODO Esquema de una teora anarquista del conocimiento1 Paul K. Feyerabend.

XIII, INCONMENSURABILIDAD La investigacin cientfica, dice Popper, empieza con un problema, y se contina resolvindolo. Esta caracterizacin no tiene en cuenta que los problemas pueden estar formulados errneamente, que pueden realizarse investigaciones acerca de propiedades de cosas o procesos que la investigacin posterior declare que son inexistentes. Los problemas de este tipo no son resueltos, sino disueltos y separados del dominio de investigacin legtima. Constituyen ejemplos de ello el problema de la velocidad absoluta de la Tierra, el problema de la trayectoria de un electrn en un modelo de interferencia o el importante problema de si los ncubos son capaces de tener descendencia o si estn obligados a emplear las simientes de los hombres para ese propsito.196 El primer problema fue disuelto por la teora de la relatividad, que niega la existencia de velocidades absolutas. El segundo problema fue disuelto por la teora cuntica, que niega la existencia de trayectorias en modelos de interferencia. El tercer problema fue disuelto, aunque mucho menos decisivamente, por la psicologa y la fisiologa modernas (esto es, posteriores al siglo MI) as como por la cosmologa mecanicista de Descartes. Los cambios de ontologa como los que acaban de describirse van acompaados frecuentemente de cambios conceptuales. El descubrimiento de que ciertas entidades no existen puede forzar al cientfico a redescribir los sucesos, procesos y observaciones que se pensaba que eran manifestaciones de ellas y que se describan, por tanto, en trminos que suponan su existencia. O pueden obligarle a usar nuevos conceptos mientras que las viejas palabras seguirn en uso durante un tiempo considerable. As, el trmino "poseso" que una vez fuera utilizado para dar una descripcin causal de las peculiaridades de comportamiento relacionadas con la epilepsia se conserv, pero fue vaciado de sus connotaciones diablicas. Un desarrollo interesante se presenta cuando la ontologa defectuosa es comprehensiva, esto es, cuando se piensa que sus elementos estn presentes en cada proceso de un cierto dominio. En este caso cada descripcin en el interior del dominio debe ser cambiada y reemplazada por un enunciado diferente (o por ningn enunciado en absoluto). La fsica clsica constituye una ilustracin de mi argumento. Ha desarrollado una terminologa comprehensiva para describir las propiedades mecnicas fundamentales de nuestro universo, tales como formas, velocidades y masas. El sistema conceptual ligado a esta terminologa supone que las propiedades son inherentes a los objetos y que cambian solamente si hay interferencia con los objetos, pero no de otra manera. La teora de la relatividad nos ensea, al menos en una de sus interpretaciones, que no hay en el mundo tales propiedades inherentes, ni observables ni inobservables, y produce un sistema conceptual enteramente nuevo para la descripcin en el interior del dominio de la mecnica. Este nuevo sistema conceptual no es que niegue la existencia de los estados de cosas clsicos, sino que ni siquiera nos permite formular enunciados que expresen tales estados de cosas (no hay ninguna disposicin del diagrama de Minkowski que corresponda a una situacin clsica). No comparte, y no puede compartir, ni un solo enunciado con su predecesor. Como resultado, las condiciones formales para ser una sucesora adecuada de una teora refutada (tiene que repetir las consecuencias acertadas de la vieja teora, negar sus consecuencias falsas y hacer predicciones adicionales) no pueden ser satisfechas en el caso de la relatividad contra la fsica clsica, y el esquema popperiano de progreso se hunde. No es siquiera posible poner en conexin enunciados clsicos y enunciados relativistas mediante una hiptesis emprica.197 Formular tal conexin significara formular enunciados del tipo "siempre que hay posesin por un demonio hay descarga en el cerebro" los cuales perpetan ms que eliminan la vieja ontologa. Las teoras comprehensivas del tipo que acaba de mencionarse son,
Ttulo Original: Against Method, Outline of an Anarchist Theory of Knowledge (Minessota Studies in the Philosophy of Science, vol IV) (1970) Traduccin: Francisco Hernn
1

por tanto, completamente disjuntas o inconmensurables. La existencia de teoras inconmensurables crea otra dificultad al racionalismo crtico (y, a fortiori, a sus predecesores ms positivistas). Discutiremos esta dificultad mediante una discusin y refutacin de las objeciones contra ella. Ya se indic que el progreso puede conducir a un reemplazamiento completo de enunciados (y quizs incluso de descripciones) en un cierto dominio. Ms especialmente, puede sustituir ciertas interpretaciones naturales por otras. Ya ha sido discutido este caso (ver seccin VI). Galileo reemplaza la idea del carcter operativo de todo movimiento por su principio de relatividad con objeto de acomodar los nuevos puntos de vista de Coprnico. Es completamente natura proceder de este modo. Una teora cosmolgica como la teora heliocntrica, o la teora de la relatividad, o la teora cuntica (aunque la ltima slo con ciertas restricciones) hace afirmaciones acerca del mundo como un todo. Se aplica a procesos observados y a procesos inobservados (inobservables, "tericos"). Por tanto, puede que se requiera usarla siempre y no slo en el nivel terico. Ahora bien, tal adaptacin de la observacin a la teora, y ste es el sentido de la primera objecin, aleja los informes de observacin conflictivos y salva la teora de una manera ad hoc. Adems, surge all la sospecha de que las observaciones que se interpretan en trminos de una nueva teora ya no pueden ser utilizadas para refutar esa teora. No es difcil responder a estos puntos. Con respecto a la objecin indicamos, de acuerdo con lo que se ha dicho anteriormente (hacia el final de la seccin IV), que una inconsistencia entre teora y observacin puede revelar un defecto de nuestra terminologa observacional (e incluso de nuestras sensaciones) con lo que es completamente natural cambiar esta terminologa, adaptarla a la nueva teora, y ver lo que ocurre. Tal cambio da lugar, y debe dar lugar, a nuevos temas auxiliares (hidrodinmica, teora de los cuerpos slidos, la ptica en el caso de Galileo) que pueden ms que compensar por el contenido emprico perdido a causa de la adaptacin. Con respecto a la sospecha debemos recordar que las predicciones de una teora dependen de sus postulados y de las reglas gramaticales asociadas, as como de las condiciones iniciales, mientras que el significado de las nociones "primitivas" depende de los postulados (y las reglas gramaticales asociadas) slo.198 En aquellos raros casos, sin embargo, en los que una teora hace necesarias algunas afirmaciones acerca de posibles condiciones iniciales199 podemos refutarla con la ayuda de informes de observacin autoinconsistentes tales como "el objeto A no se mueve siguiendo una geodsica", el cual, si se analiza en concordancia con la descripcin de Einstein-Infeid-Hoffmann, se lee: "la singularidad que se mueve siguiendo una geodsica no se mueve siguiendo una geodsica". La segunda objecin critica la interpretacin de la ciencia que lleva a la inconmensurabilidad. Para tratarla debemos darnos cuenta de que la pregunta "son inconmensurables dos teoras comprehensivas particulares, como la mecnica celeste clsica (MC) y la teora especial de la relatividad (ER)?" no es una pregunta completa. Las teoras pueden ser interpretadas de maneras diferentes. Sern conmensurables en unas interpretaciones, inconmensurables en otras. El instrumentalismo, por ejemplo, hace conmensurables todas aquellas teoras que estn ligadas al mismo lenguaje de observacin y son interpretadas sobre su base. Un realista, por otra parte, desea dar una descripcin unificada tanto de las materias observables como de las no observables, y utilizar para ese propsito los trminos ms abstractos de cualquier teora que est ' considerando.200 ste es un proceder completamente natural. As que estara uno inclinado a decir que ER no nos invita propiamente a reconsiderar la longitud, la masa y la duracin inobservados, sino que parece entraar el carcter relacional de todas las longitudes, masas y duraciones, tanto si son observadas como inobservadas, observables como inobservables. Ahora bien, y aqu slo repetimos lo dicho hace poco, al extender los conceptos de una nueva teora, T, a todas sus consecuencias, informes observacionales incluidos, puede cambiar la interpretacin de estas consecuencias hasta tal extremo que desaparezcan, o bien del conjunto de consecuencias de las primeras teoras, o bien del conjunto de consecuencias de las alternativas disponibles. Estas primeras teoras y sus alternativas se harn entonces inconmensurables con T. La relacin entre ER y MC sirve como ilustracin de lo que digo. El concepto de longitud utilizado en ER y el concepto de longitud propuesto en MC son conceptos distintos. Ambos son conceptos relacionales, y conceptos relacionales muy complejos en este punto (basta considerar la determinacin de la longitud en trminos de la longitud de onda de una lnea espectral especfica).

Pero la longitud relativista, o la forma relativista, implica un elemento que est ausente del concepto clsico y que est en principio excluido de l.201 Implica la velocidad relativa del objeto en cuestin en algn sistema de referencia. Es cierto desde luego que el esquema relativista proporciona muy a menudo nmeros que son prcticamente idnticos a los nmeros obtenidos en MC, pero esto no hace ms similares los conceptos. Incluso el caso c ( v 0), que da predicciones idnticas, no puede utilizarse como argumento para mostrar que los conceptos deben coincidir, al menos en este caso especial. Magnitudes diferentes basadas en conceptos diferentes pueden dar valores idnticos en sus escalas respectivas sin dejar de ser magnitudes diferentes. Lo mismo se aplica al intento de identificar la masa clsica con la masa en reposo.202 Esta disparidad conceptual, si se la toma en serio, infecta hasta las situaciones ms "ordinarias". El concepto relativista de una determinada forma, tal como la forma de una mesa, o de una determinada serie temporal, tal como cuando digo "S", diferir tambin del correspondiente concepto clsico. Por tanto, es frtil esperar que derivaciones suficientemente largas puedan volvernos eventualmente a las viejas ideas.203 Los conjuntos de consecuencias de ER y MC no estn relacionados en modo alguno. No pueden hacerse una comparacin de contenido y un juicio de verosimilitud.204 La situacin se hace todava ms clara cuando empleamos la interpretacin de ER de MarzkeWheeler. Porque puede mostrarse fcilmente que los mtodos de medida estipulados por estos autores, si bien son perfectamente adecuados en un universo relativista, en cambio en un mundo clsico, o bien se derrumban, o bien dan resultados sin sentido (la longitud, por ejemplo, deja de ser transitiva, y en algunos sistemas de coordenadas puede ser imposible asignar una longitud definida a ningn objeto).205 Estamos ahora preparados para discutir la segunda y ms popular objecin en contra de la inconmensurabilidad, Esta objecin procede de la versin del realismo descrita ms arriba. "Un realista decamos desea dar una descripcin unificada tanto de las materias observables como de las no observables, y utilizar para ese propsito los trminos ms abstractos de cualquier teora que est considerando." Utilizar tales trminos, o con objeto de dar significado a enunciados de observacin, o para reemplazar su interpretacin habitual. (Por ejemplo, utilizar las ideas de ER con objeto de reemplazar la interpretacin-MC habitual de los enunciados cotidianos acerca de formas, series temporales, etc.) Contra esto se ha sealado que los trminos tericos reciben su interpretacin al ser puestos en conexin con un lenguaje de observacin preexistente, o con otra teora que haya sido ya puesta en conexin con uno de esos lenguajes de observacin, y que esos trminos estn vacos de contenido sin tal conexin. As, Carnap afirma 206 que "no hay interpretacin independiente para LT [el lenguaje en trminos del cual se formula una teora o una concepcin del mundo]. El sistema T [los axiomas de la teora y las reglas de derivacin] es en s mismo un sistema de postulados no interpretado. Sus trminos [...] obtienen slo una interpretacin indirecta e incompleta por el hecho de que algunos de ellos estn puestos en conexin mediante las reglas [de correspondencia] C con los trminos de observacin [...]". Pero si los trminos tericos no tienen "interpretacin independiente", entonces no pueden ser empleados para corregir la interpretacin de los enunciados de observacin, que es la nica fuente de su significado. De lo que se sigue que el realismo, tal como ha sido descrito aqu, es una doctrina imposible. La idea que est detrs de esta muy popular objecin es la de que los lenguajes nuevos y abstractos no pueden introducirse de una manera directa, sino que primero deben ser puestos en conexin con un idioma observacional ya existente y presumiblemente estable.207 Esta idea se refuta inmediatamente sealando el modo como los nios aprenden a hablar y el que los antroplogos y lingistas tienen de aprender el lenguaje desconocido de una tribu recin descubierta. El primer ejemplo es instructivo tambin por otras razones, porque la inconmensurabilidad juega un papel importante en los primeros meses del desarrollo humano. Como Piaget y su escuela han sugerido,208 la percepcin del nio se desarrolla a travs de varias etapas antes de alcanzar su relativamente estable forma adulta. En una etapa, los objetos parecen comportarse como imgenes retrospectivas 2 y son tratados como tales. En esta etapa, el nio sigue el objeto con sus ojos hasta que desaparece y no hace el ms ligero intento de recuperarlo, incluso si esto no requiere sino un mnimo esfuerzo fsico (o intelectual), un esfuerzo que, adems, ya se encuentra dentro de las

posibilidades del nio. No hay ni siquiera una tendencia a la bsqueda; y esto es, "conceptualmente hablando", completamente apropiado. Porque, verdaderamente, no tendra sentido "buscar" una imagen retrospectiva. Su "concepto" no prepara para tal operacin. La llegada del concepto y de la imagen perceptual de los objetos materiales cambia la situacin extraordinariamente. Hay una drstica reorientacin de los modelos de comportamiento, y, por lo que puede conjeturarse, de pensamiento. Imgenes retrospectivas, o cosas de alguna manera como ellas, todava existen, pero son ya difciles de encontrar y deben ser descubiertas por mtodos especiales. (Por tanto el mundo visual anterior desaparece literalmente.) Tales mtodos especiales proceden de un esquema conceptual nuevo (las imgenes retrospectivas se presentan en los seres humanos, no en el mundo fsico exterior, y estn ligadas a ellos) y no pueden conducir otra vez a los fenmenos exactos de la etapa previa (estos fenmenos deberan designarse por ello con un nombre diferente, tal como "pseudoimgenes retrospectivas"). Ni a las imgenes retrospectivas ni a las pseudoimgenes retrospectivas se les da una posicin especial en el nuevo mundo. Por ejemplo, no son tratadas como "evidencia" sobre la que se supone que descansa la nocin nueva de un objeto material. Ni se las puede emplear para explicar esta nocin: las imgenes retrospectivas surgen junto con ella, y estn ausentes de las mentes de aquellos que todava no reconocen los objetos materiales. Y las pseudoimgenes retrospectivas desaparecen tan pronto como tiene lugar tal reconocimiento. Debe admitirse que cada etapa posee una clase de "base" observacional a la que uno pone especial atencin y de la que uno recibe una multitud de sugerencias. Sin embargo, esta base (a) cambia de etapa a etapa, y (b) es parte del aparato conceptual de una etapa dada; no es su nica fuente de interpretacin. Cuando se consideran desarrollos como stos, puede sospecharse que la familia de conceptos que se centra sobre el "objeto material" y la familia de conceptos que se centra sobre la "pseudoimagen retrospectiva" son inconmensurables precisamente en el sentido que se discute aqu. Es razonable esperar que cambios conceptuales y perceptuales de este tipo ocurran slo en la niez? Aceptaramos el hecho, si es que es un hecho, de que un adulto est pegado a un mundo perceptual estable y un sistema conceptual estable que lo acompae que el adulto puede modificar de muchas maneras, pero cuyas lneas generales se han hecho inamovibles para siempre? O es ms realista suponer que son todava posibles y deben estimularse cambios fundamentales, que entraen inconmensurabilidad, a menos que quedemos excluidos para siempre de lo que pudiera ser una etapa superior del conocimiento y de la conciencia? (Cf. sobre este punto de nuevo la seccin I, especialmente en lo que se refiere al papel que juegan las revoluciones cientficas o de otro tipo para hacer que Se alcance esa etapa superior.) Adems, la cuestin de la movilidad de la etapa adulta es en todo caso una cuestin emprica, que debe atacarse mediante investigacin y que no puede ser establecida por un fiat metodolgico. El intento de traspasar las barreras de un sistema conceptual dado y de escapar al alcance de las "gafas popperianas" (Lakatos) es una parte esencial de esa investigacin (y debera ser una parte esencial de toda vida interesante).210 Mirando ahora al segundo elemento de la refutacin, el trabajo en el campo antropolgico, vemos que lo que aqu es anatema (y por muy buenas razones) es todava un principio fundamental para los representantes contemporneos de la filosofa del Crculo de Viena. Segn Carnap, Feigl, Nagel y otros, los trminos de una teora reciben su interpretacin de un modo indirecto, relacionndolos con un sistema conceptual diferente que es, o una -teora ms vieja, o un lenguaje de observacin.211 Esta teora ms vieja, este lenguaje de observacin, no se adoptan debido a su excelencia terica. Y posiblemente no pueden serlo: las teoras ms viejas usualmente estn refutadas; se adoptan porque son "utilizadas por una cierta comunidad lingstica como un medio de comunicacin".212 Segn este mtodo, la frase "tener mucha mayor masa relativista que [] " se interpreta parcialmente ponindola primeramente en conexin con algunos trminos prerrelativistas (trminos clsicos, trminos del sentido comn), los cuales son "comnmente entendidos" (presumiblemente como resultado de previa enseanza en conexin con mtodos de pesar poco afinados), y se utiliza slo despus de que tal conexin ha dado a la frase un significado bien definido. Esto es todava peor que el hecho de que una vez fuera requisito popular el aclarar puntos dudosos traducindolos al latn. Porque, mientras que el latn fue elegido por su precisin y

claridad, y tambin porque era conceptualmente ms rico que los idiomas vulgares que evolucionaban lentamente,213 la eleccin de un lenguaje de observacin o de una teora ms vieja como base para la interpretacin se justifica diciendo que estn "entendidas previamente": la eleccin se basa en la pura popularidad. Adems, si los trminos prerrelativistas, los cuales estn considerablemente alejados de la realidad (especialmente a la vista del hecho de que proceden de una teora incorrecta que implica una ontologa inexistente), pueden ensearse ostensivamente, por ejemplo, con ayuda de mtodos de pesar poco afinados (y hay que suponer que pueden ensearse as, ya que si no todo el esquema se hunde), entonces, por qu no introducir los trminos relativistas directamente y sin la asistencia de los trminos de algn otro idioma? Finalmente, es de sentido comn que la enseanza o el aprendizaje de lenguajes nuevos y desconocidos no deben ser contaminados con material externo. Los lingistas nos recuerdan que una traduccin perfecta no es nunca posible, incluso si uno se dispone a emplear complejas definiciones contextuales. sta es una de las razones de la importancia del trabajo de campo en el que los nuevos lenguajes se aprenden por captacin, y del rechazo, por inadecuada, de toda descripcin que descansa en una traduccin total o parcial'. Sin embargo, justamente lo que en lingstica es un anatema es lo que el empirismo lgico da por supuesto, ocupando en ste un mtico "lenguaje de observacin" el lugar que en aqulla ocupa el castellano de los traductores. Comencemos un trabajo de campo en este dominio tambin y estudiemos el lenguaje de las nuevas teoras, no en los lugares donde se elabora la definicin del modelo del doble lenguaje, sino en compaa de aquellos metafsicos, tericos, dramaturgos v cortesanas que han construido nuevas concepciones del mundo! Esto termina mi discusin del principio que subyace a la segunda objecin contra el realismo y la posibilidad de teoras inconmensurables. Otro punto que se seala con frecuencia es que existen experimentos cruciales que refutan una de las dos presuntas teoras inconmensurables y confirman la otra (ejemplo: el experimento de Michelson-Morley, la variacin de la masa de las partculas elementales, el efecto Doppler transversal, se dice que refutan MC y confirman ER). La respuesta a este problema tampoco es difcil: adoptando el punto de vista de la relatividad, encontramos que los experimentos, que desde luego sern descritos ahora en trminos relativistas, que emplean las nociones relativistas de longitud, duracin, velocidad, etc.,214 son relevantes para la teora. Y tambin encontramos que apoyan la teora, Adoptando MC (con o sin un ter), encontramos de nuevo que los experimentos, que son descritos ahora en los muy diferentes trminos de la fsica clsica, esto es, ms o menos en la forma en que fueron descritos por Lorentz, son relevantes. Pero tambin encontramos que torpedean MC, esto es, la conjuncin de la electrodinmica clsica y de MC, Por qu habra de ser necesario poseer una terminologa que nos permita decir que es el mismo experimento el que confirma una teora y refuta la otra? Pero no hemos empleado nosotros mismos tal terminologa? Bien, en primer lugar sera fcil, aunque algo laborioso, expresar lo que acababa de decirse sin afirmar la identidad. En segundo lugar, la identificacin no es desde luego contraria a nuestra tesis, porque no estamos ahora empleando los trminos de la relatividad o de la fsica clsica, como se hace en una contrastacin, sino que nos estamos refiriendo a ellos y a su relacin con el mundo fsico. El lenguaje en el que se lleva a cabo este discurso puede ser clsico, relativista u ordinario. No es bueno insistir en que los cientficos actan como si la situacin fuese mucho menos complicada. Si actan de ese modo, entonces, o son instrumentalistas (vase ms arriba), o estn equivocados (muchos cientficos estn hoy da interesados en frmulas, mientras que aqu se trata de interpretaciones). Tambin es posible que estando familiarizados a la vez con MC y ER, vayan de ac para all de una a otra de estas teoras con tal rapidez que parezca que permanecen dentro de un inico universo de discurso. Tambin se dice que al admitir la inconmensurabilidad en la ciencia no podemos ya decidir si una nueva concepcin explica lo que se supone que explica, o si no divaga por diferentes campos.215 Por ejemplo, no sabramos si una teora fsica recientemente inventada est todava tratando con problemas de espacio y tiempo o si su autor no ha hecho por error una asercin biolgica. Pero no es necesario poseer tal conocimiento. Porque, una vez admitido el hecho de la inconmensurabilidad, no surge la cuestin que subyace a la objecin. El progreso conceptual frecuentemente hace imposible plantear ciertas cuestiones y explicar ciertas cosas; as, ya no podemos volver a preguntar

por la velocidad absoluta de un objeto, al menos en tanto que tomemos en serio la relatividad. Constituye esto una grave prdida para la ciencia? En absoluto! El progreso se ha logrado por ese mismo "divagar por diferentes campos" de los cuales la indecidibilidad ejerce ahora tan ampliamente la crtica: Aristteles vio el mundo como un sper-organismo, como una entidad biolgica, mientras que un elemento esencial de la nueva ciencia de Descartes, Galileo y sus seguidores en medicina y en biologa es su perspectiva exclusivamente mecanicista. Han de prohibirse tales desarrollos? Y si no, qu motivo hay para quejarse? Una objecin, ligada de cerca a sta, parte sin duda de la nocin de explicacin o reduccin y subraya que esta nocin presupone continuidad de conceptos; otras nociones podran emplearse para iniciar exactamente la misma clase de argumento. (La relatividad se supone que explica las partes vlidas de la fsica clsica; de aqu que no pueda ser inconmensurable con ella!) La respuesta es otra vez obvia. De hecho es una trivialidad para todo aquel que tenga tan slo la ms ligera familiaridad con la filosofa hegeliana: por qu habra de verse afectado el relativista por la suerte de la mecnica clsica excepto como parte de un ejercicio de historia? Hay slo una tarea que podamos legtimamente pedir a una teora, y es que nos d una descripcin correcta del mundo, es decir, de la totalidad de los hechos vistos a travs de sus propios conceptos. Qu tienen que ver los principios de explicacin con esta exigencia? No es razonable suponer que un punto de vista como el de la mecnica clsica que ha sido encontrado defectuoso en varios respectos, que se ve en dificultades con sus propios hechos (vase arriba, los experimentos cruciales), y debe por ello ser considerado como autoinconsistente (otra aplicacin de los principios hegelianos!), no es razonable suponer decimos que no puede tener conceptos completamente adecuados? No es igualmente razonable intentar reemplazar sus conceptos por los de una cosmologa ms prometedora? Adems, por qu habra de cargar la nocin de explicacin con la exigencia de continuidad conceptual? Anteriormente se ha visto que esta nocin es demasiado estrecha (exigencia de derivabilidad), y tuvo que ampliarse hasta incluir conexiones parciales y estadsticas. Nada nos impide ampliarla todava ms y admitir, digamos, "explicaciones por equivocacin". Las teoras inconmensurables pueden, pues, ser refutadas por referencia a sus respectivos tipos de experiencia, es decir, descubriendo las contradicciones internas que sufren (en ausencia de alternativas conmensurables, estas refutaciones son, sin embargo, bastante dbiles).216 Sus contenidos no pueden ser comparados, ni es posible hacer un juicio de verosimilitud excepto dentro de los confines di una teora particular. Ninguno de los mtodos que Popper (o Carnap, o Hempel, o Nagel) quiere aplicar para racionalizar la ciencia puede ser aplicado, y el nico que puede aplicarse, la refutacin, es de fuerza muy reducida, Lo que quedan son juicios estticos, juicios de gusto, y nuestros propios deseos subjetivos.217 Significa esto que vamos a acabar en el subjetivismo? Significa esto que la ciencia se ha vuelto arbitraria, que se ha convertido en un elemento del relativismo general que tanto preocupa a algunos filsofos? Bien, vemoslo.

Referencias

Cf. Malleus Maleficarum, trad. Montague Summers, Londres, Pushkin Press, 1928, Parte II, cuestin 1, captulo IV: "Aqu sigue el modo segn el cual las brujas copulan con aquellos Demonios conocidos como ncubos"; punto segundo, los actos, "si se acompaa siempre con la inyeccin de semen recibida de algn otro hombre [,..]". La teora se remonta a santo Toms de Aquino.

196

Desde luego, es posible establecer correlaciones entre los enunciados de las dos teoras, pero hay que darse cuenta de que los elementos de la correlacin, cuando se interpretan, no pueden tener significado ambos o ser ambos verdaderos: si la relatividad es verdadera, entonces las descripciones clsicas o son siempre falsas o carecen siempre de sentido. Cuando se siguen usando los, enunciados clsicos deben por tanto considerarse como una abreviatura de enunciados del siguiente tipo: "Dadas las condiciones C, el enunciado E ha sido expresado por un fsico clsico cuyos rganos de los sentidos estn en orden, y que entiende su fsica"; y los enunciados de este tipo, tomados junto con determinadas supuestos psicolgicos, pueden emplearse para contrastar la relatividad. Sin embargo, las afirmaciones expresa(las en estos enunciados forman parte del edificio relativista, porque emplean trminos relativistas. Lakatos no presta la debida atencin a esta situacin y argumenta como si los trminos clsicos y los trminos relativistas pudiesen combinarse a voluntad, de lo cual infiere la inexistencia de inconmensurabilidad.
Esto se me hizo de todo punto claro en el curso de una discusin con Mr. L. Briksman, en el seminario del profesor Watkins en la London School of Economics. 199 Esto parece que ocurre en ciertas versiones de la teora general de la relatividad. Cf. A. Einstein, L. Infeld, y B. Hoffmann, "The Gravitational Equations and tire Problem of Motion", Annals of Mathematics, 39 (1938), 65, y Sen, Fields and/or Particles, pp. 19 y ss. 200 Esta consideracin ha sido elevada a principio por Bohr y Rosenfeld, Kgl. Danske Videnskab. Selskab, Mat.-Fys. Medd., 12, n 8 (1933), y, ms recientemente por Robert F. Marzke y John A. Wheeler, "Gravitation as Geometry I", en Gravitation and Relativity, p. 48, eds. Chiu y Hoffmann: "cada teora debera proveer en y por s misma sus propios medios para definir las cantidades con las que trata. Segn este principio, la relatividad general clsica debera admitir calibraciones de espacio y tiempo que estn completamente libres de toda referencia a [objetos que son externos a] ella tales como reglas rgidas, relojes inerciales, o relojes atmicos [que implican] el quantum de accin". 201 Los sistemas de referencia espacio-tiempo pueden basarse completamente en este nuevo elemento, y evitar la contaminacin de modos de pensamiento anteriores. Todo lo que hay que hacer es reemplazar las distancias por tiempos luz y tratar los intervalos de tiempo a la manera relativista, utilizando, por ejemplo, los k-clculos (Cf, el captulo II de J. L. Synge, "Introduction to General Relativity", en Relativity, Groups and Topology; ed. C. M. Dewitt y B. B. Dewitt, Nueva York, Gordon, 1964. En cuanto a los k-clculos vase H. Bondi, Assumption and Myth in Physical Theory, Londres, Cambridge University Press, 1967, pp. 28 y ss., as como D. Bohm, The Special Theory of Relativity, Nueva York, Benjamin,1965, captulo XXVI). Los conceptos resultantes (distancia, velocidad, tiempo, etc.) son una parte necesaria de la relatividad, en el sentido de que todas las dems ideas, como la idea de longitud definida trasladando reglas rgidas, deben cambiarse y adaptarse a ellos. Por lo tanto, esos conceptos son suficientes para explicar la relatividad. Marzke y Wheeler siguiendo su propio principio descrito en la nota 200 han dado una descripcin de los trminos relativistas que no implica ningn objeto externo a la teora (esta descripcin se remonta a Robert F. Marzke, "The Theory of Measurement in General Relativity", A. B, tesis doctoral, Princeton University, 1959; el artculo de Marzke y Wheeler es el nico informe publicado de que se dispone). Todos los intervalos, ya sean espaciales o temporales, se expresan en trminos de algn intervalo standard (espacial o temporal). No hay ninguna diferencia entre las unidades empleadas para intervalos de distancia y los intervalos de tiempo. La construccin que conduce a la medida en trminos del intervalo standard se lleva a cabo con la ayuda de la luz y de masas puntuales solamente y no implica ni reglas rgidas ni relojes cuya construccin habra de explicarse en trminos no relativistas. "La importancia de los rayos luminosos y del cono de luz en la geometra intrnseca de la fsica sale a la superficie ms directamente. La verdadera funcin de la velocidad de la luz ya no se vuelve a confundir con la tarea trivial de relacionar dos unidades de intervalo separadas, el.metro y el segundo, cuyo origen es puramente histrico y accidental" (Marzke y Wheeler, "Gravitation as Geometry I", p. 56). La diferencia entre tales trminos y los trminos clsicos es ahora completamente obvia y la afirmacin de la inconmensurabilidad se hace mucho ms precisa. Cf, tambin la nota 205. 202 En lo que respecta a este punto y otros argumentos ms ver A. S. Eddington, The Mathematical Theory al Relativity, Cambridge, Cambridge University Press, 1963, p. 33. El problema ms general de conceptos y nmeros ha sido tratado por Hegel, Logik, I, Das Mass. 203 Esto tiene presente una objecin que el profesor J. W. N. Watkins ha expuesto en varias ocasiones. 204 Para ms detalles, referentes especialmente al concepto de masa, 'la funcin de las "leyes puente" o las "reglas de correspondencia", y el modelo del doble lenguaje, vase la seccin IV "Problems of Empiricism".
198

197

Resulta obvio que, dada la situacin descrita en el texto, no podemos derivar la mecnica clsica a partir de la relatividad, ni siquiera aproximadamente. Por ejemplo, no, podemos derivar la ley clsica de la conservacin de la masa a partir de las leyes relativistas. No se excluye, sin embargo, la posibilidad de poner en conexin las frmulas de las dos disciplinas de una manera que pueda satisfacer a un matemtico puro, o a un instrumentalista. Una situacin anloga en el caso de la mecnica cuntica puede verse en la seccin 3 de mi ensayo "On a Recent Critique o Complementarity". Para consideraciones ms generales vase la seccin 2 del mismo artculo. 205 Marzke y Wheeler miden la longitud del siguiente modo (vase detalles en "Gravitation as Geometry, I"): Primeramente se calcula la ausencia de curvatura del espacio con el grado de aproximacin deseado. Despus se idea un mtodo para construir una paralela a cualquier recta en el espacio-tiempo (el mtodo emplea trayectorias inerciales y rayos luminosos nicamente, eliminando as todas las nociones espaciotemporales no clsicas). En tercer lugar, se construye un "reloj geodsico" haciendo que una seal luminosa se refleje yendo y viniendo entre dos paralelas: las intersecciones de la seal con cada una de las lneas son los tictacs del reloj. Por ltimo se comparan del modo siguiente dos intervalos arbitrarios AB y CD: Se halla una trayectoria, i, que una A con C. Se traza a i una paralela, ii. Se construye un reloj geodsico entre i e ii. Se enva un rayo luminoso, a, desde i hacia B el cual vuelve a i reflejado, b. N't y N"t son los tiempos de salida y llegada de este rayo luminoso, contados a partir de A. Suponiendo c igual a 1 vemos que

Grfico 5. Diagrama de reloj geodsico

Nt = t x Nt = t + x
de modo que

NN t2 = t2 x2 = (t 0)2 (x 0)2 = tB tA)2 (xB xA)2 = ( sAB)2,

de aqu

( sAB) = AB = t N' N" ( sCD) = CD = t N" ' N" "

de modo que

CD AB

N' N" N" ' N" "

lo cual da el valor numrico que resulta de la comparacin. Ahora bien, este mtodo slo sirve si podemos suponer que da los mismos resultados en todos los sistemas inerciales, por ejemplo, si podemos

suponer que c tiene el mismo valor en todos los sistemas inerciales. Si hay un sistema que goza de preferencia, o si el principio clsico de la suma de velocidades se admite todava como vlido, entonces el mtodo ya no lleva a nmeros tiles, y la transitividad de la longitud no puede garantizarse par todos los sistemas inerciales (supongamos tres sistemas, A, B y C, tales que B se mueva con una velocidad c/2 con respecto a A, y C con una velocidad c/2 respecto a B; entonces la longitud medida en C siempre ser 0, suponiendo que A es el sistema en reposo). 206 R. Carnap, "The Methodological Character of Theoretical Concepts", Minnesota Studies In the Philosophy Of Science, vol. I, ed. H. Feigi y M. Scriven, Minneapolis, University of Minnesota Press, 1956, p. 47. 207 Un principio an ms conservador se usa a veces al:discutir la posibilidad de lenguajes con una lgica diferente.de la nuestra: "Toda presunta nueva posibilidad debe poder ajustarse a, o ser entendida en trminos de, nuestro actual aparato conceptual o lingstico" (B. Stroud, "Conventionalism and the Indeterminacy of Translations", Synthese, 1968, p: 173). 208 Se invita al lector a consultar como ejemplo J. Piaget, The Construction of Reality in the Child, Nueva York, Basic Books, 1954. 209 Ibid., pp. 5 y ss. 210 Sobre la condicin de investigacin formulada en la ltima frase vase la seccin 8 de "Reply to Criticism", Boston Studies in the Philosophy of Science, vol. II, ed. Cohen y Wartofsky. En cuanto al papel de la observacin vase la seccin 7 del mismo artculo. Sobre la aplicacin de la obra de Piaget a la fsica y, ms especficamente, a la teora de la relatividad, ver el apndice de The Special Theorv of Relativity, de Bohm. Bohm y Schumacher han realizado tambin un anlisis de las varias estructuras informales que subyacen a nuestras teoras. Uno de los principales resultados de su trabajo es que Bohr y Einstein argumentaban desde puntos de vista inconmensurables. Visto de esta manera el caso de Einstein, Podolsky y Bosen no puede refutar la interpretacin de Copenhague, como tampoco puede ser refutado por sta. Antes bien, la situacin es que tenemos dos teoras, una que nos permite formular EPR, la otra que nos provee de la maquinada necesaria para tal formulacin. Nosotros tenemos que hallar medios independientes para decidir cul de ellas adoptar: En la seccin 9 de mi "On a Recent Critique of Complementarity" se comenta ms ampliamente este problema. 211 Sobre lo que sigue cf, tambin mi comentario sobre Structure of Science de Nagel, en las pginas 237249 del British Journal for the Philosophy of Science 6 (1966) 212 R. Carnap, "The Methodological Character of Theoretical Concepts", p. 40. Cf. tambin C. G. Hempel Philosophy of Natural Science. Englewood Cliffs, N. J. Prentice-Hall, 1966, pp. 74 y ss. 213 Por esta razn Leibniz consideraba el alemn de su tiempo y especialmente el alemn de los artesanos un lenguaje observacional perfecto, mientras que el latn, para l estaba ya demasiado contaminado con nociones tericas. Ver su Unvorgreiflige Gedanken, betreffend die Ausbung und Verbeserung del Teutschen Sprache, publicado en Wissenschaftliche Beiheifte zur Zeitschrift des allgemeinen deutschen Sprachvereins, IV, 29, Berln, F. Beggold, 1907; pp. 292 y ss. 214 Pueden verse ejemplos de tales descripciones en el artculo de Synge a que se hace referencia en la nota 201. 215 Esta objecin se hizo en una conferencia del profesor Roger Buck. 216 Sobre este punto de vista puede consultarse la seccin I de Reply to Criticism as como las secciones correspondientes de Problems of Empiricism