Racionalidad en ciencia y tecnologa

Nuevas perspectivas iberoamericanas

Serie del Seminario de Investigacin Sociedad del Conocimiento y Diversidad Cultural

Secretara de Desarrollo Institucional Coordinacin de Difusin Cultural Direccin General de Publicaciones y Fomento Editorial

Racionalidad en ciencia y tecnologa

Nuevas perspectivas iberoamericanas
Ana Rosa Prez Ransanz y Ambrosio Velasco Gmez Coordinadores

Universidad Nacional Autnoma de Mxico 2011

Q175 R33

Racionalidad en ciencia y tecnologa : nuevas perspectivas iberoamericanas / Ana Rosa Prez Ransanz y Ambrosio Velasco Gmez.-- Mxico : UNAM, Secretara de Desarrollo Institucional : Seminario Sociedad del Conocimiento y Diversidad Cultural : Direccin General de Publicaciones y Fomento Editorial, 2011. p. 480 ISBN: 978-607-02-2616-8 1. Ciencia -- Filosofa. 2. Tecnologa -- Filosofa. 3. Racionalismo. I. Prez Ransanz, Ana Rosa, ed. II. Velasco Gmez, Ambrosio, ed.

Racionalidad en ciencia y tecnologa Nuevas perspectivas iberoamericanas Primera edicin: 12 de septiembre de 2011 D.R. 2011 Universidad Nacional Autnoma de Mxico Secretara de Desarrollo Institucional Coordinacin de Difusin Cultural Direccin General de Publicaciones y Fomento Editorial Ciudad Universitaria, C.P. 04510, Mxico, D.F. Universidad Autnoma de Chihuahua Av. Escorza, 900, Zona Centro, C.P. 31000, Mxico, Chihuahua, Chih. ISBN: 978-607-02-2616-8 Prohibida la reproduccin total o parcial de esta obra por cualquier medio sin autorizacin escrita del titular de los derechos patrimoniales. Impreso y hecho en Mxico

Universidad Autnoma de Chihuahua Jess Enrique Seez Senz Rector Sal Arnulfo Martnez Campos Secretario General Sergio Reaza Escrcega Director de Extensin y Difusin Cultural Alejandro Chvez Guerrero Director Acadmico Javier Martnez Nevrez Director de Investigacin y Posgrado Rosendo Mario Maldonado Estrada Director de Planeacin y Desarrollo Institucional Horacio Jurado Medina Director Administrativo

Universidad Nacional Autnoma de Mxico Jos Narro Robles Rector Eduardo Brzana Garca Secretario General Enrique del Val Blanco Secretario Administrativo Hctor Hiram Hernndez Bringas Secretario de Desarrollo Institucional Ramiro Jess Sandoval Secretario de Servicios a la Comunidad Luis Ral Gonzlez Prez Abogado General Len Oliv Director del Seminario de Investigacin Sociedad del Conocimiento y Diversidad Cultural Sealtiel Alatriste y Lozano Coordinador de Difusin Cultural David F. Turner Barragn Director General de Publicaciones y Fomento Editorial

ndice
Serie de Publicaciones del Seminario de Investigacin Sociedad del Conocimiento y Diversidad Cultural Introduccin: Los avatares de la racionalidad Ana Rosa Prez Ransanz y Ambrosio Velasco Gmez
13 15

Primera seccin: Enfoques generales

La razn naturalizada y la racionalidad plural Len Oliv Mostern, o de la razn Jess Zamora Bonilla La universalidad de la racionalidad cientfica Jess Mostern La tecnologa como paradigma de accin racional Miguel ngel Quintanilla Racionalidad o racionalidades? Hacia un pluralismo no relativista Oscar Nudler Dos dogmas del racionalismo (y una propuesta alternativa) Javier Echeverra
29

39

51

59

69

77

Segunda seccin: Tipos y aspectos de la racionalidad

William James. Esbozos de una teora de la racionalidad Cristina Di Gregori y Cecilia Duran Razn instrumental y racionalidad pragmatista Jos Miguel Esteban Tres aspectos de la racionalidad cientfica Mario Casanueva Prudencia, verdad prctica y razn postmoderna Alfredo Marcos Es la racionalidad de la ciencia una especie de la racionalidad prctica? Jess Vega Encabo
91

99

109

119

135

En rescate de la racionalidad prctica de la ciencia Leticia O. Minhot La distincin entre racionalidad terica y racionalidad prctica, o la frontera entre Tijuana y San Diego Andoni Ibarra La ciencia como parte de la naturaleza Gonzalo Munvar El origen evolutivo de la racionalidad humana Antonio Diguez La racionalidad cientfica como un problema de la evolucin de normas culturales Sergio F. Martnez Tres esferas normativas de racionalidad personal Fernando Broncano

149

159

171

179

193

205

Tercera seccin: Racionalidad y cuestiones metodolgicas

En qu sentido es racional la ciencia? Manuel Comesaa Reconstrucciones de la Concepcin Heredada. Una racionalidad cientfica inventada Adriana Gonzalo La racionalidad cientfica y su base observacional Juan Vzquez Racionalidad y diversidad en la ciencia Sebastin lvarez El carcter terico y prctico de las descripciones en la dinmica epistmica de la ciencia Juan C. Gonzlez Intuicin y razn ante dos debates: realismo vs. instrumentalismo y explicacin vs. prediccin Eduardo H. Flichman La racionalidad de la ciencia normal y la estructura de las teoras Jos A. Dez
217

225

233

241

249

259

267

T.S. Kuhn y el cambio terico revolucionario. La racionalidad cientfica puesta en cuestin? Xavier de Donato Rodrguez La heurstica: una forma de racionalidad Atocha Aliseda Llera Sobre una posible justificacin trascendental de la induccin Slvio Pinto Racionalidad, leyes fundamentales y leyes de la biologa Pablo Lorenzano Mecnica cuntica: ontologa, lenguaje y racionalidad Olimpia Lombardi Modelos tericos y racionalidad cientfica. Un enfoque instrumental de la teorizacin en fsica Andrs Rivadulla Modelos ilustrativos: cules son las decisiones?, cules los criterios? Juan Carlos Garca-Bermejo Ochoa Popper, Friedman y la ingeniera social, cincuenta aos despus David Teira Serrano

281

293

301

313

327

337

345

359

Cuarta seccin: otras dimensiones de la racionalidad

La tijera de Simon y la racionalidad ecolgica: ecologa y valores J. Francisco lvarez Un estudio crtico del concepto de objetividad social en el debate Pasteur-Pouchet sobre la generacin espontnea Jos A. Lpez Cerezo Internet y el acceso al conocimiento: la articulacin de lo epistemolgico y lo moral Eduardo Bustos Guadao y Roberto Feltrero Oreja La racionalidad en la tica prctica: la biotica contempornea Jorge Enrique Linares Otro gnero de razn Eulalia Prez Sedeo La dimensin afectiva de la racionalidad Ana Rosa Prez Ransanz
367

375

393

405

415

431

La construccin de una teora y su esquema racional Csar Lorenzano Tradiciones: racionalidad del participante y racionalidad del observador Ral Alcal Campos Hacia una racionalidad cientfica sin mitos Ricardo J. Gmez Cmo defender a la democracia multicultural de la ciencia? Ambrosio Velasco Gmez

441

455

461

473

Mecnica cuntica: ontologa, lenguaje y racionalidad

Olimpia Lombardi*

Introduccin
Para Aristteles, la palabra logos posea un significado mltiple. En su acepcin primaria, logos significaba palabra o discurso; en este sentido, el logos era el principio inteligible del decir, la racionalidad misma del lenguaje. A su vez, logos significaba concepto o razn en tanto estructura del pensamiento humano. Pero logos tambin deba entenderse como ley o principio, esto es, como el orden inmanente de lo real. Sin embargo, no se trataba de significaciones diferentes puesto que, para Aristteles, la realidad, el pensamiento y el lenguaje compartan una misma estructura racional: el logos era, entonces, la racionalidad intrnseca a lenguaje, pensamiento y realidad; ello explicaba que pudiramos alcanzar el conocimiento de lo real y expresar lingsticamente tal conocimiento. En la actualidad ya son pocos quienes creen que la realidad posee una estructura que podemos descubrir tal como es en s misma. Al menos desde Kant, aceptamos la intervencin de nuestros esquemas categoriales en la constitucin del objeto de conocimiento. Y desde el giro lingstico del siglo XX, reconocemos el papel central del lenguaje como manifestacin intersubjetiva de tales esquemas. No obstante, aun habindose abandonado el realismo acrtico de la filosofa griega, persiste entre los realistas el supuesto de la estrecha relacin postulada por Aristteles entre realidad, lenguaje y pensamiento: podemos pensar lo que podemos decir, y nuestro
* CONICET/Universidad de Buenos Aires, Argentina. Correo electrnico: olimpiafilo@arnet.com.ar

decir expresa las categoras ontolgicas que estructuran lo real. A comienzos del siglo XX, la fsica cuntica irrumpe en el escenario cientfico, produciendo una profunda revolucin en la fsica contempornea. Desde entonces, sus impresionantes xitos predictivos la han convertido en la teora fundamental de la fsica terica. Pero a pesar de sus numerosas confirmaciones empricas, an en la actualidad la mecnica cuntica sigue provocando mltiples perplejidades: nunca antes en la historia de la ciencia una teora cientfica gener tantos debates en torno a su interpretacin. Y es que hay algo esencialmente elusivo en la mecnica cuntica que hace que, a ms de cien aos de su formulacin original, no podamos todava discernir con claridad la ontologa descripta por la teora. Por otra parte, si bien existe una estructura matemtica que permite formular la mecnica cuntica en trminos formales con total precisin, la teora se resiste a todo intento de traducir el formalismo matemtico a un lenguaje lgico tradicional. De este modo, con la mecnica cuntica los estrechos lazos entre lenguaje, pensamiento y realidad parecen haberse roto por primera vez: contamos con una exitosa teora cientfica cuya referencia no podemos describir con nuestros lenguajes no-matemticos; en consecuencia, no acabamos de comprender la realidad de la que nos habla dicha teora. Cabe entonces preguntarse por aquella racionalidad tradicional expresada en la estructura lgica del lenguaje y, con ello, en las categoras ontolgicas de nuestra realidad. El propsito del presente trabajo es poner de manifiesto el modo en

328

Olimpia Lombardi

que la mecnica cuntica obliga a reflexionar acerca de tal racionalidad terica, en la medida en que pone en crisis ciertas categoras lgico-ontolgicas bsicas que han predominado a lo largo de la historia de la lgica y la metafsica, hasta nuestros das.

1. El principio de complementariedad
En 1927, Werner Heisenberg public el famoso artculo donde se introducan las hoy bien conocidas relaciones de indeterminacin. En ese artculo Heisenberg demostraba, a partir del recientemente desarrollado formalismo de la mecnica cuntica,1 la imposibilidad de determinar simultneamente desde la teora la posicin y el momento -o la velocidad- de una partcula cuntica: cuanto mayor es la precisin en la determinacin de la posicin del objeto, menor es la precisin en la determinacin de su momento y viceversa. El punto relevante es que esta relacin entre magnitudes denominadas incompatibles no resulta de deficiencias experimentales o limitaciones empricas de la observacin, sino que se demuestra directamente a partir del formalismo de la teora. Las relaciones de indeterminacin de Heisenberg pusieron claramente de manifiesto la existencia de dos descripciones complementarias de las entidades fsicas fundamentales. La posicin es esencialmente una propiedad corpuscular: las partculas pueden ser localizadas de manera precisa. Las ondas, por el contrario, si bien se extienden en el espacio, tienen momento cintico. Las relaciones de indeterminacin muestran que cuanto ms se conoce sobre el aspecto ondulatorio de la realidad, menos se conoce sobre su aspecto corpuscular, y viceversa. Los experimentos diseados para detectar partculas siempre detectan partculas; los experimentos diseados para detectar ondas siempre detectan ondas. Pero ningn experimento puede mostrar a una entidad cuntica comportndose como partcula y como onda simultneamente. Esta caracterstica del mundo cuntico es lo que condujo a Niels Bohr a formular su Principio de Complementariedad.
1 Heisenberg desarroll su demostracin en el formalismo de la mecnica matricial desarrollada junto con Pascual Jordan unos aos antes. La formulacin axiomtica de la mecnica cuntica es posterior, debida a von Neumann (1932).

En el otoo de 1927, se reuni en la ciudad de Como, Italia, el Congreso Internacional de Fsica, al cual acudieron los fsicos ms prestigiosos de la poca.2 Fue frente a esa ilustre audiencia que Bohr, en una conferencia titulada El postulado cuntico y el reciente desarrollo de la teora atmica, present por primera vez en pblico sus ideas sobre complementariedad. Luego de comparar la descripcin de los fenmenos clsicos y de los fenmenos cunticos, Bohr expres su posicin en los siguientes trminos: ... la propia naturaleza de la teora cuntica nos fuerza a considerar la coordinacin espacio-temporal y el requisito de causalidad, cuya unin caracteriza a las teoras clsicas, como aspectos complementarios de la descripcin (citado en Jammer, 1974: 87). Esta frase, en la cual Bohr introduce por primera vez el trmino complementariedad, contiene la esencia de la versin ms temprana de lo que luego se conoci con el nombre de su famoso principio. Para Bohr, dar cuenta de un evento de la naturaleza significa ser capaz de experimentarlo directamente, lo cual implica localizarlo espacio-temporalmente, o conectarlo con una experiencia directa de manera no ambigua, lo cual presupone la existencia de una cadena causal de hechos interconectados. En otras palabras, toda experiencia debe expresarse en trminos de la fsica clsica, donde descripcin espacio-temporal y descripcin causal se encuentran estrechamente unidas.3 Pero en mecnica cuntica, o bien se localiza una partcula cuntica en un instante dado, perdindose toda localizacin posterior; o bien, se describe su evolucin mediante la ecuacin de Schrdinger, pero sin posibilidad alguna de localizarla con precisin. Por lo tanto, las descripciones espacio-temporal y causal, que siempre marchan juntas en las teoras clsicas, se convierten en la mecnica cuntica en aspectos complementarios pero excluyentes: ambas descripciones son igualmente vlidas, pero dado que ninguna de
2 La reunin se realiz en Como para conmemorar el centenario de la muerte de Alessandro Volta, quien haba nacido y fallecido en esa ciudad. Entre la audiencia se contaban Born, Bragg, de Broglie, Compton, Fermi, Heisenberg, Lorentz, Millikan, Pauli, Planck, Rutherford y Sommerfeld, entre otros. Slo Einstein y Ehrenfest, si bien invitados, no estaban presentes. 3 En algunos casos, Bohr parece sostener una posicin de corte kantiano, como cuando afirma que toda nueva experiencia hace su aparicin en el marco de nuestros habituales puntos

Mecnica cuntica: ontologa, lenguaje y racionalidad

329

las dos es completa en s misma, ambas son indispensables para dar cuenta de los fenmenos cunticos.

2. El concepto de contextualidad
En mecnica cuntica, las magnitudes correspondientes a un sistema, como posicin, momento o spin, se denominan observables. Los valores posibles de los observables son las propiedades predicables acerca del sistema, por ejemplo, una partcula con posicin=x o spin=up. Las relaciones de indeterminacin de Heisenberg o su extrapolacin bajo la forma de complementariedad afirman que, en el caso de observables incompatibles, no es posible determinar con total precisin sus valores en un mismo instante mediante la teora. Sin embargo, esto no excluye la posibilidad de que el objeto cuntico posea simultneamente las propiedades correspondientes a dos observables incompatibles (por ejemplo, posicin=x y momento=y), pero que la teora no brinde los medios para determinar dichas propiedades. Esta fue la idea de Albert Einstein cuando, en su artculo junto con Boris Podolsky y Nathan Rosen (1934), present un experimento mental destinado a respaldar un fuerte argumento en favor de la incompletitud de la mecnica cuntica. La idea implcita en el llamado experimento EPR foment la esperanza de formular una mecnica cuntica que, mediante la introduccin de variables ocultas que completaran la teora, permitiera interpretar el formalismo al modo de la mecnica estadstica clsica. Desde esta perspectiva, el estado cuntico no representa el estado de un nico sistema cuntico, sino la situacin en la que se encuentra un ensemble de sistemas similares: las probabilidades se convierten as en frecuencias relativas dentro del ensemble y adquieren un significado exclusivamente gnoseolgico. El sistema individual bajo estudio posee, entonces, valores definidos para sus observables, pero dado que ignoramos tales valores, slo podemos calcular su probabilidad de ocurrencia a travs de su frecuencia relativa en el ensemble.
de vista y formas de la percepcin (Bohr, 1934: 1), o cuando enfatiza que ningn contenido puede ser caracterizado sin un marco formal (Bohr, 1949: 240). Estas expresiones recuerdan la filosofa trascendental de Kant, si bien sin referencia al carcter a priori de las formas de percepcin o de los marcos categoriales.

Si bien sencilla y plausible, esta interpretacin debi enfrentarse a la profunda dificultad representada por un resultado de Simon Kochen y Ernst Specker (1967), quienes demostraron que el formalismo de la mecnica cuntica impide asignar, de un modo consistente, un valor preciso a cada uno de los observables de un sistema que se encuentra en un cierto estado cuntico.4 En otras palabras, el teorema de Kochen y Specker prueba la imposibilidad de construir un espacio de las fases clsico que defina las propiedades de todos los componentes del sistema y, a la vez, permita reconstruir la estadstica cuntica. Este resultado frustra todo intento de interpretar la probabilidad cuntica como medida de la ignorancia acerca de un microestado clsico subyacente en el que se encontrara el sistema, a la manera de la mecnica estadstica; es en este sentido que muchos autores califican las probabilidades cunticas como irreductibles (cfr. Earman, 1986: 232). Es importante reflexionar aqu acerca de los alcances del resultado de Kochen y Specker. Las relaciones de indeterminacin de Heisenberg nos dicen que la teora no permite determinar simultneamente y con total certeza el valor de dos observables incompatibles y, por tanto, no permite asignar al objeto cuntico propiedades incompatibles en un mismo instante. Pero las relaciones de indeterminacin no afirman an que tal asignacin sea imposible en principio. El teorema de Kochen y Specker, por el contrario, demuestra que cualquier asignacin de propiedades correspondientes a observables incompatibles es contradictoria con la teora. En otras palabras, slo es posible asignar simultneamente las propiedades correspondientes a un subconjunto de observables del sistema formado por todos los observables mutuamente compatibles; dicho subconjunto suele denominarse contexto. En este sentido, la mecnica cuntica es contextual: slo permite asignar valores a los observables de un mismo contexto. Pero no existe ningn camino para completar la teora de modo tal que sea posible predicar simultneamente todas las propiedades del sistema. Esto significa que el objeto cuntico invali4 El trabajo de Kochen y Specker apunta en la misma direccin que un teorema previo formulado por Andrew Gleason (1957). La relacin entre ambos resultados es presentada por Jammer (1974: 327-329).

330

Olimpia Lombardi

da el principio de determinacin omnmoda, segn el cual todas las propiedades de una entidad individual se encuentran objetivamente determinadas.

3. La peculiaridad de los estados cunticos

Frente al carcter contextual de la mecnica cuntica, podra argumentarse que tal caracterstica no es nueva, sino que se tratara de una mera generalizacin del modo en que la fsica clsica considera sus objetos. En efecto, ya en mecnica newtoniana, ciertas propiedades de los objetos fsicos, como la velocidad de un cuerpo, slo pueden definirse en relacin a un sistema de referencia previamente especificado. En relatividad especial y general esta dependencia respecto del sistema de referencia se extiende a otras magnitudes, como las distancias espaciales y los intervalos temporales. Sobre esta base, podra interpretarse que las propiedades dependientes de un sistema de referencia son contextuales: la contextualidad sera, as, el modo natural en que un objeto fsico es descripto, incluso en las teoras no-cunticas. Sin embargo, existe una diferencia fundamental entre la mecnica cuntica y las restantes teoras fsicas que convierte a la contextualidad cuntica en una caracterstica peculiar y conflictiva en cuanto a su interpretacin. En las teoras no-cunticas siempre es posible hallar un invariante frente al cambio de sistema de referencia, que interviene en la descripcin completa del sistema bajo estudio. Esto se cumple incluso en la teora de la relatividad donde, a pesar del carcter relativo de longitudes espaciales e intervalos temporales, las distancias espacio-temporales son invariantes frente al cambio de sistema de referencia; las entidades de la relatividad son objetos cuatridimensionales cuyas propiedades espacio-temporales son intrnsecas. En mecnica cuntica se impone entonces la pregunta: es posible identificar algn elemento de la teora que cumpla el papel de invariante frente al cambio de contexto? En el marco de la teora, la descripcin ms general de un sistema cuntico viene dada por un operador denominado operador densidad, que se representa mediante una matriz hermtica de traza unitaria.5 Dicha matriz, la
5 Si bien en las presentaciones tradicionales de la mecnica cuntica suele trabajarse slo con estados puros, representados por los vectores de un espacio de Hilbert, actualmente

matriz densidad, se caracteriza por el hecho de que sus elementos diagonales brindan informacin acerca de las propiedades asociadas a un contexto, mientras que los elementos fuera de la diagonal poseen informacin referida a otros contextos diferentes. Esta caracterstica de la matriz densidad pone de manifiesto que la descripcin completa de un sistema cuntico exige contar con informacin referida a propiedades asociadas, al menos, a dos contextos diferentes. Pero, a la vez, la contextualidad de la mecnica cuntica expresada por el teorema de Kochen y Specker impide adjudicar simultneamente y de un modo consistente valores a todos los observables del sistema. Por lo tanto, si bien el estado cuntico brinda una caracterizacin del sistema que es completa en el sentido de no ser completable, no permite asignar todas sus propiedades en un dado instante. Esto constituye una diferencia central respecto de las teoras no-cunticas, donde la descripcin completa del objeto fsico no requiere ms de un sistema de referencia, y siempre existe un modo de adjudicar todas las propiedades invariantes predicables del objeto. Esta peculiaridad de los estados cunticos puede expresarse en otros trminos. Mientras en el caso clsico el estado de un sistema en un instante t queda totalmente definido por sus propiedades en t, el estado cuntico en el que se encuentra un sistema en un instante t no fija unvocamente sus propiedades en dicho instante, y esto es vlido an en el caso de sistemas simples como los constituidos por una nica partcula subatmica. R. I. G. Hughes (1989: 68 y 69) subraya esta diferencia al afirmar que el estado clsico es descriptivo ya que puede pensarse como una lista de las propiedades del sistema, y a la vez es disposicional en la medida en que permite especificar la tendencia del sistema a comportarse de un cierto modo; el estado cuntico, en cambio, retiene nicamente el aspecto disposicional pues slo permite calcular la disposicin del sistema a manifestar ciertos valores de sus observables a travs de la medicin, pero pierde todo carcter descriptivo ya que no permite adjudicar todas las propiedades del sistema en un instante dado. Como
se prefiere representar los estados cunticos mediante operadores densidad, que permiten describir tanto estados puros como estados mezcla. Para una presentacin de este tipo, (Cfr. Ballentine, 1998).

Mecnica cuntica: ontologa, lenguaje y racionalidad

331

fue sealado, esta carencia de carcter descriptivo no resulta de una incompletitud de la mecnica cuntica; como demuestra el teorema de Kochen y Specker, todo intento de dotar de carcter descriptivo a los estados cunticos resulta contradictorio con la teora.6

4. Lgicas cunticas
Ya desde las primeras formulaciones de la mecnica cuntica, surge la idea de que los aspectos conflictivos de la teora podan ser abordados y resueltos mediante un cambio de lgica. Los sistemas de lgica cuntica han sido mltiples y variados. El trabajo pionero en este campo fue el de Garrett Birkhoff y John von Neumann (1936), quienes propusieron la reconstruccin axiomtica de la teora como un clculo proposicional basado en la estructura de subespacios del espacio de Hilbert, esto es, el espacio vectorial cuyos elementos -vectores- representan los estados cunticos puros de un sistema. Birkhoff y von Neumann demostraron que, sobre la base de tal estructura, las constantes lgicas deben definirse de modo tal que pierda validez el principio del tercero excluido o la propiedad distributiva de la disyuncin.7 Desde entonces se han propuesto muchos sistemas de lgica cuntica y se sigue trabajando sobre el tema; sin embargo, la mayora de estos intentos han conducido a estancamientos tericos, o bien porque la propuesta presenta problemas tcnicos insuperables, o bien porque los sistemas lgicos resultantes adquieren una complejidad tal que se pierden de vista los problemas centrales de interpretacin de la mecnica cuntica. En la actualidad se sabe que las proposiciones que asignan propiedades -valores de observables- a un sistema cuntico forman un lgebra no-booleana, en particular, un retculo ortomodular. Dicho retculo posee subestructuras booleanas, correspondientes a
6 Hughes considera que, dada esta caracterstica de los estados cunticos, la funcin de probabilidad que generan es conceptualmente previa al operador densidad: tal operador no sera ms que un recurso matemtico conveniente para representar dicha funcin. 7 Por ejemplo, Reichenbach (1944) propuso una lgica trivaluada que introduce, adems de los valores de verdad verdadero y falso, un tercer valor indeterminado aplicable a las proposiciones que expresan asignacin de propiedades correspondientes a observables incompatibles.

las propiedades predicables desde un mismo contexto. Esto explica que podamos continuar expresndonos en un lenguaje booleano en las situaciones de medicin, puesto que cada medicin se efecta desde un nico contexto: slo pueden medirse simultneamente los valores de observables mutuamente compatibles. Pero no existe modo de combinar booleanamente las subestructuras booleanas y, por tanto, no es posible asignar simultneamente todas las propiedades predicables del sistema cuntico, en total concordancia con los resultados de Kochen y Specker. Uno de los ms interesantes programas contemporneos de investigacin en lgica cuntica es el desarrollado por Mara Luisa dalla Chiara y Giuliano Toraldo di Francia (1995). Estos autores se refieren a la mecnica cuntica como el mundo del anonimato, debido a que las partculas cunticas no pueden ser unvocamente discriminadas. En efecto, la identificacin de entidades individuales se ha basado tradicionalmente en la posibilidad de diferenciarlas por sus propiedades. A su vez, el principio leibniciano de identidad de los indiscernibles afirma que, si dos individuos poseen exactamente las mismas propiedades, en realidad se trata de un individuo nico. Pero ambos criterios se tornan inaplicables en el caso de los objetos cunticos, cuyas propiedades no se encuentran simultneamente determinadas. Dalla Chiara y Toraldo di Francia sugieren que los objetos cunticos pueden ser interpretados como entidades intensionales donde las intensiones son representadas por conjuntos de propiedades intrnsecas. Sin embargo, la contextualidad de la mecnica cuntica impide utilizar la teora de conjuntos como universo de interpretacin, debido al carcter no booleano de la estructura de las proposiciones cunticas. Para enfrentar esta dificultad, Dalla Chiara y Toraldo di Francia introducen la nocin de cuasi-conjunto como coleccin de elementos indistinguibles: la nocin de identidad como concepto primitivo se reemplaza por la de indistinguibilidad, lo cual formaliza el hecho de que los objetos puedan ser indistinguibles sin convertirse en idnticos. A su vez, estos autores definen otro concepto primitivo, la cuasicardinalidad, que permite contar elementos indistinguibles y establecer una extensionalidad dbil. Los cuasi-conjuntos que tienen la misma cantidad de elementos de la misma clase son indistinguibles pero no idnticos, aunque resulta imposible la ordenacin.

332

Olimpia Lombardi

Si bien se ha elaborado un sofisticado andamiaje formal para desarrollar la teora de los cuasi-conjuntos, las preguntas ontolgicas siguen sin recibir una respuesta convincente: cmo comprender estos objetos cunticos que no poseen todas sus propiedades determinadas y, en consecuencia, no cumplen con el principio de identidad? Cabe recordar que, en los casos en que la teora de conjuntos suministra la semntica de una teora cientfica, la interpretacin se considera adecuada porque la propia teora de conjuntos posee modelos en los ms diversos mbitos de lo real. Pero si creamos una nueva teora formal para brindar la semntica de la mecnica cuntica, estamos comprometidos a describir la ontologa que opera como modelo de esta nueva teora formal. Es precisamente en este punto que la propuesta de la semntica de cuasi-conjuntos manifiesta su flanco dbil: diseada deliberadamente para dar cuenta de las peculiaridades del formalismo cuntico, la teora de cuasi-conjuntos no brinda argumentos metafsicos adicionales que permitan concebir la ontologa a la cual refiere y, en ese sentido, deja sin responder la pregunta central acerca de la naturaleza del objeto cuntico.

5. El problema ontolgico del objeto contextual

Dos de las categoras fundamentales de la metafsica tradicional son las categoras de objeto particular (o individuo) y de propiedad. Se supone, as, que una entidad individual es un sustrato que posee, o en el que inhieren, propiedades. En el lenguaje lgico, sea cual sea el sistema considerado, estas categoras ontolgicas se representan mediante las categoras lgicas de individuo y predicado: las proposiciones se forman al asignar predicados a las constantes o variables de individuo.8 Las categoras del lenguaje lgico reflejan la estructura ms bsica del lenguaje natural, donde los nombres denotan entidades individuales y las diferentes formas adjetivales y relacionales cumplen el papel predicativo.
8 Cuando me refiero a propiedades -plano ontolgico- o a predicados -plano lgico-, no aludo exclusivamente a propiedades o predicados mondicos, sino que incluyo en esta categora lgico-ontolgica las propiedades y predicados n-dicos que indican relaciones entre dos o ms individuos.

Es precisamente mediante este lenguaje natural que se expresan los fsicos en su actividad cotidiana cuando afirman, por ejemplo, que un electrn ha dejado la traza de su trayectoria en una cmara de niebla, o que los fotones producen una figura de interferencia al atravesar una pantalla con dos rendijas. Sin embargo, este modo de hablar resulta engaoso cuando se recuerda que, en sentido estricto, slo es posible adjudicar simultneamente propiedades a un sistema cuntico desde un contexto. En qu sentido, entonces, se puede continuar hablando de una entidad individual, como un electrn o un fotn, portadora de propiedades definidas? Las dificultades para establecer la ontologa descripta por la mecnica cuntica se tornan particularmente serias cuando se considera la propiedad de localizacin temporal. Desde una perspectiva clsica, todo objeto fsico posee una posicin determinada en cada instante, esto es, posee una propiedad definida respecto de la magnitud posicin. Incluso suele suponerse que, en un instante dado, la propiedad de posicin es lo que permite diferenciar dos entidades indistinguibles respecto de todas sus restantes propiedades. En otras palabras, localizacin espacial y ubicacin temporal han sido siempre consideradas como elementos centrales en la individuacin de entidades. Sin embargo, en mecnica cuntica la posicin es tambin un observable del sistema y, por tanto, mantiene relaciones de incompatibilidad con otros observables como, por ejemplo, el momento cintico. En consecuencia, si se describe un sistema cuntico desde el contexto al que pertenece el observable momento, no es posible adjudicar con certeza (es decir, con probabilidad igual a uno) un valor a la observable posicin: la entidad cuntica no posee una ubicacin espacial determinada. Si esto es as, qu nos autoriza a considerar que estamos en presencia de una entidad individual? Estas consideraciones ponen claramente de manifiesto que la contextualidad propia de la mecnica cuntica impone un serio desafo a la categora ontolgica tradicional de objeto o entidad individual. Estrictamente, slo podemos afirmar la presencia de ciertas propiedades desde un contexto y de ciertas otras desde un contexto diferente. Cada conjunto de propiedades parece corresponder a un objeto, pero no es posible pensar en una entidad individual que subyace a las propiedades en la medida en que no es

Mecnica cuntica: ontologa, lenguaje y racionalidad

333

admisible predicar todas las propiedades simultneamente. En otras palabras, la nocin misma de objeto cuntico en tanto individuo es una nocin contextual: puede concebirse un objeto correspondiente a un cierto contexto, pero no se puede formular una nocin de objeto vlida para contextos diferentes. Si tantas son las dificultades a las que se enfrenta todo intento de construir una ontologa capaz de dar cuenta de la contextualidad cuntica, cabe preguntarse si la respuesta al problema ontolgico podra hallarse, no ya en un cambio de lgica o en una modificacin de la teora de conjuntos que juega el papel de semntica de la teora, sino en una nueva concepcin de la estructura categorial de la ontologa cuntica. En particular, si el objeto cuntico se escurre cada vez que intentamos asirlo, tal vez la mejor estrategia sea abandonarlo. Como afirma Andrea Costa (2003: 97):
A principios del siglo XIX la idea de un ter luminfero que deba servir de sustrato a las ondas electromagnticas continuaba resistindose a una caracterizacin fsica y filosficamente adecuada: Einstein cort el nudo gordiano postulando la inexistencia del ter. La presente propuesta se inspira en la exitosa estrategia einsteniana: si el objeto cuntico se resiste insistentemente a una caracterizacin que respete los condicionamientos tericos y que resulte metafsicamente inteligible, tal vez el mejor camino consista en acostumbrarnos, de una vez por todas, a prescindir de l.

El ncleo de esta propuesta consiste en prescindir del objeto cuntico como entidad fundamental y, con ello, adoptar una ontologa de propiedades. En una ontologa tal, el objeto cuntico no existe como entidad bsica sino que slo se constituye contextualmente como un haz de propiedades (cfr. Lombardi y Castagnino, 2008). Sin duda, la tesis metafsica segn la cual la entidad individual no debe ser concebida en trminos de particular o individuo, sino como un haz de propiedades, no es nueva en filosofa. Desde la demoledora crtica de Hume al concepto de sustancia, muchos autores han adoptado la denominada teora del haz como alternativa metafsica a una ontologa de objetos y propiedades (cfr. Armstrong, 1978).9
9 Para una discusin crtica y comparativa de las teoras del

Si bien no basada en las crticas de Hume sino en una posicin platonista, la teora de las guisas de Hctor Neri Castaeda (1972) tambin constituye una propuesta interesante en cuanto al abandono de la nocin de objeto individual.10 Segn la teora de las guisas, las entidades individuales se manifiestan a travs de diferentes aspectos o guisas en tanto haces parciales de propiedades; en consecuencia, un individuo resulta ser un haz de guisas, es decir, un haz de haces de propiedades. No es difcil asociar la guisa de Castaeda con el conjunto de propiedades predicables desde un mismo contexto, esto es, con el conjunto de los valores de observables mutuamente compatibles. Frente a esta propuesta, podra argumentarse que asignar propiedades a individuos en una ontologa de objetos individuales y propiedades, o considerar que los individuos no son ms que haces de propiedades son dos alternativas igualmente plausibles cuya eleccin slo depende de preferencias metafsicas. Sin duda, ste es el caso en la situacin clsica, donde las propiedades correspondientes a todas las diferentes perspectivas o contextos convergen en un nico haz, de modo tal que es admisible suponer la existencia de un sustrato invariante en el cual inhieren todas las propiedades. Pero la peculiaridad de la mecnica cuntica es que slo forman haces las propiedades determinables desde un mismo contexto, y no es posible reunir dichos haces en un haz nico al cual subyace el objeto individual. En trminos de Castaeda, la mecnica cuntica describe una ontologa de guisas, pero tales guisas no pueden asociarse para conformar individuos. Por lo tanto, la adopcin de una ontologa de propiedades como referencia de la mecnica cuntica no depende ya de una preferencia metafsica sino de las limitaciones impuestas por la propia teora.

6. Mecnica cuntica: un desafo a la racionalidad?

Como hemos visto, en la realidad descripta por las teoras fsicas no-cunticas, as como en nuestra
sustrato y del haz, (Cfr. Rodrguez-Pereyra, 2003). 10 No se considerar aqu el problema de decidir si las propiedades cuyos haces constituyen el objeto individual son universales o particulares en tanto propiedades instanciadas -tropos-. La discusin sobre este punto excede los lmites del presente trabajo.

334

Olimpia Lombardi

realidad cotidiana, resulta admisible tanto conservar como abandonar la categora ontolgica de objeto individual. Es precisamente la posibilidad terica de concebir ambos tipos de ontologa en situaciones clsicas lo que permite seguir utilizando un lenguaje de nombres y predicados aun si se adopta una ontologa de propiedades: en este caso, los nombres no hacen ms que referir al haz de propiedades, pero no hay entidad sustancial alguna nombrada por esos trminos. Por el contrario, cuando la ontologa de propiedades se impone como consecuencia de la propia teora cuya ontologa se intenta esclarecer, un lenguaje de nombres y predicados resulta inadecuado: los nombres ya no tienen qu nombrar pues no existen siquiera los haces de propiedades que juegan el papel de individuos. Esto explica las profundas dificultades a las que se enfrentan los autores que intentan explicar la estructura y los resultados de la mecnica cuntica prescindiendo de su formalismo y slo mediante el lenguaje natural. Podra pensarse que la situacin se resuelve acudiendo a los lenguajes artificiales que nos proporciona la lgica formal. Sin embargo, ste no es el caso en la medida en que todo sistema lgico se formula mediante un lenguaje bsico que incluye smbolos de individuo y de predicado. Puesto que las proposiciones se forman por la yuxtaposicin de predicados y smbolos de individuo, la lgica formal no nos permite representar una ontologa donde no existen entidades individuales y las propiedades no convergen en un nico haz. En definitiva, la mecnica cuntica parece referir a una ontologa de la cual no podemos hablar con nuestros lenguajes, sean stos naturales o artificiales. La situacin se torna an ms paradjica cuando se considera que la teora no nos fue sugerida al odo por Dios, sino que fue desarrollada por varias generaciones de fsicos enfrentndose a severas dificultades conceptuales. Pero si slo podemos pensar aquello de lo que podemos hablar, cmo pensar una realidad inasible desde nuestros propios lenguajes?, implica la mecnica cuntica una renuncia a comprender una teora que nosotros mismos hemos construido? Es precisamente en este sentido que la mecnica cuntica constituye un desafo a la racionalidad terica tradicional expresada en las estructuras lgico-ontolgicas de lenguaje y realidad, con independencia de que la coincidencia entre dichas estructuras se

explique por un isomorfismo a priori o por el papel constitutivo del lenguaje respecto de la realidad. Cuando se quiebra la estrecha correspondencia entre categoras lgicas y categoras ontolgicas, se abren dos alternativas. Una de ellas consiste en admitir que la mecnica cuntica ha superado los lmites de nuestra racionalidad y reconocer que sus resultados son esencialmente incomprensibles para el ser humano. La segunda alternativa, por el contrario, supone resistir a la resignacin y defender un concepto ms amplio de racionalidad: una racionalidad que supere las limitaciones impuestas por el lenguaje natural o lgico y que permita concebir nuevas estructuras de lo real. Desde esta perspectiva, el formalismo matemtico debidamente interpretado en trminos metafsicos brindara un amplio espectro de categoras ontolgicas mediante las cuales podramos concebir incluso aquellas ontologas que escapan a nuestro hablar cotidiano. Quienes confiamos en el poder y la plasticidad del pensamiento humano nos inclinamos hacia esta segunda alternativa, que conduce a una nocin ms rica y abarcadora de racionalidad.

Fuentes
Armstrong, D. M., (1978) Universals and Scientific Realism. Cambridge, Cambridge University Press. Ballentine, L., (1998) Quantum Mechanics: A Modern Development. Singapore, World Scientific. Birkhoff, G. y von Neumann, J., (1936) The logic of quantum mechanics, Annals of Mathematics, 37: 823-843. Bohr, N., (1934) Atomic Theory and the Description of Nature. Cambridge-London, Cambridge University Press. ___________, (1949) Discussion with Einstein on epistemological problems in atomic physics, en P. A. Schilpp (ed.), Albert Einstein: Philosopher-Scientist. Evanston Library of Living Philosophers: 199-241. Castaeda, H. N., (1972) Thinking and the structure of the world, Crtica, 6: 43-86. Costa, A., (2003) Complementariedad y contextualidad en la interpretacin de la mecnica cuntica, en V. Rodrguez y L. Salvatico (eds.), Epistemologa e Historia de la Ciencia 2003. Crdoba, Universidad Nacional de Crdoba: 91-98. Dalla Chiara, M. L. y Toraldo di Francia, G., (2001) Quantum logics, Los Alamos National Laboratory, arXiv:quant-ph/0101028v2: 1-101.

Mecnica cuntica: ontologa, lenguaje y racionalidad

335

Earman, J., (1986) A Primer on Determinism. Dordrecht-Boston, Reidel Publishing Company. Einstein, A., Podolsky, B. y Rosen, N., (1935) Can quantum-mechanical description of physical reality be considered complete?, Physical Review, 47: 777-780. Gleason, A. M., (1957) Measures on the closed subspaces of a Hilbert space, Journal of Mathematics and Mechanics, 6: 885-893. Heisenberg, W., (1927) ber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift fr Physik, 43: 172-198. Hughes, R. I. G., (1989) The Structure and Interpretation of Quantum Mechanics. Cambridge MA, Harvard University Press. Jammer, M., (1974) The Philosophy of Quantum Mechanics. The Interpretation of Quantum Mechanics in

Historical Perspective. New York, John Wiley. Kochen, S. y Specker, E., (1967) The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, 17: 59-87. Lombardi, O. y Castagnino, M., (2008) A modalHamiltonian interpretation of quantum mechanics, Studies in History and Philosophy of Modern Physics, 39: 380-443. Reichenbach, H., (1944) Philosophic Foundations of Quantum Mechanics. Berkeley, University of California Press. Rodrguez-Pereyra, G., (2003) Particulares y universales, en J. Gonzlez y E. Tras (eds.), Enciclopedia Iberoamericana de Filosofa. Madrid, CSIC-Editorial Trotta. von Neumann, J., (1932) Matematische Grundlagen der Quantenmechanik. Berlin, Springer.