La Pluralidad de los Mundos

Habíamos dejado pendiente la cuestión de cómo podíamos combinar las respuestas a las dos preguntas fundamentales, y prometí dar algunos ejemplos. Recordemos que teníamos las siguientes respuestas: para la pregunta cuantitativa, (i)-(iii); y para la cualitativa (a) y (b), como sigue:

(i) un objeto puede cambiar todas sus propiedades y seguir siendo el mismo;
(ii) un objeto puede cambiar algunas pero no todas sus propiedades si es que ha de retener su identidad;
(iii) un objeto no puede cambiar ninguna propiedad: el cambiar una sola implica que “desaparece del mapa”;
(a) hay un cierto tipo de propiedades, llamémoslas esenciales, tal que si un objeto pierde alguna de sus propiedades esenciales, entonces “desaparece del mapa”;
(b) no hay ningún tipo de propiedades tales que, si un objeto pierde alguna (o incluso todas) de ellas, deja de ser el mismo.
Ahora veamos un poco más a fondo las cinco respuestas.
Una respuesta del tipo (i) diría, en el caso de mi computadora, que ésta puede cambiar todas sus propiedades y aún así seguir siendo la misma. Por ejemplo, puede dejar de tener la propiedad de tener a su teclado actual como parte, puede dejar de tener la propiedad de tener el mismo botón de apagado que tiene ahora, y así sucesivamente. Llamemos “Chompi” a mi computadora. Si Chompi puede dejar de tener todas sus propiedades, entonces también puede dejar de tener la propiedad ser una computadora. Así que la respuesta (i) implica que mi computadora podría no ser una computadora –y aún así seguir siendo el mismo objeto: Chompi. Pero si puede cambiar todas sus propiedades, puede cambiar la propiedad ser una computadora por la propiedad ser un ser humano. Incluso podría adquirir la propiedad ser un objeto matemático. Esto nos puede parecer al menos extravagante, pero es lo que la respuesta (i) permite: si un mismo objeto puede cambiar o intercambiar todas sus propiedades, entonces puede intercambiar cualquier propiedad con otro objeto (que, suponemos, también puede cambiar o intercambiar todas sus propiedades). Así que Chompi y Felipe Calderón pueden intercambiar las propiedades ser una computadora y ser un ser humano. De hecho, permite algo todavía peor: mi computadora, llamémosla Chompi, puede dejar de tener la propiedad ser Chompi. Es decir, puede dejar de tener la propiedad ser idéntica a sí misma. Esto es contradictorio: es una ley de la lógica que cualquier objeto es idéntico a sí mismo. Así que el tipo de respuesta (i), sin restricciones, es lógicamente contradictoria.
Por suerte, los que responden a la pregunta cuantitativa con el tipo de respuesta (i) pueden librarse de la contradicción, restringiendo su postura pero conservando su espíritu. El que sostiene esta postura puede decir que un objeto puede perder todas sus propiedades, excepto por la propiedad ser idéntico consigo mismo –y, por supuesto, excepto también por todas aquéllas propiedades que sean tales que: el no poseerlas implica lógicamente el no poseer la propiedad ser idéntico consigo mismo. Las dificultades con esta posición son al menos dos: primero, decir cuáles propiedades son del tipo que: el no tenerlas implica el no ser idéntico consigo mismo; segundo, explicar cómo la extravagancia que postula (el que mi computadora podría no haber sido una computadora, sino, por ejemplo, un planeta) nos ayuda a explicar el cambio modal sin traernos problemas más graves a bordo. La teoría que defiende una respuesta del tipo (i) se conoce como teoría de la identidad desnuda (bare identity theory) o, a veces, hacceitismo. ^[1] En esencia, la idea es que toda propiedad que no implique lógicamente la identidad de un objeto x consigo mismo, es una propiedad que x puede o no tener. Esta postura ha sido expuesta y problematizada por gente como David Kaplan (“How to Russell a Frege-Church”), Graeme Forbes (“A New Riddle of Existence”) y Max Black (el hablante B en “The Identity of Indiscernibles”); y ha sido defendida por gente como Robert Adams (“Primitive Thisness and Primitive Identity”) y Penelope Mackie (How Things Might Have Been, especialmente el capítulo 9).
La teoría de las identidades desnudas parece poder combinarse con ambas respuestas a la pregunta cualitativa, siempre que haga ciertas restricciones. Una teoría del tipo (i a) diría que un objeto puede cambiar todas sus propiedades, excepto por las propiedades esenciales. Las propiedades esenciales serían todas y sólo aquéllas que sean tales que: el no tenerlas, implique lógicamente la diferencia consigo mismo. Una teoría de tipo (i b) diría que una misma cosa podría cambiar todas sus propiedades, incluso la propiedad de la autoidentidad. Al enfrentarse con la respuesta de que la lógica pura afirma que todo es idéntico consigo mismo, el defensor de la teoría (i b) se pondría a trabajar en dar un nuevo fundamento lógico a su teoría: trabajaría en hacer coherente la idea de que la identidad es contingente. Es decir, trataría de hacernos inteligible cómo es que un mismo objeto, digamos O, podría haber sido otro u otros objetos. Esta teoría se conoce como la teoría de la identidad contingente. (Véase Alan Gibbard (“Contingent Identity”) y Yablo (“Identity, Essence and Indiscernibility”) para teorías de identidad contingente).
La respuesta de tipo (ii), que dice que un objeto puede cambiar algunas pero no todas sus propiedades, también tiene el problema de decirnos qué propiedades sí puede cambiar y cuáles no, relativo a cada tipo de objetos. Pero puede dar el comienzo de una respuesta, si se combina con la respuesta (a). Una respuesta del tipo (ii a) dirá que hay cierto tipo de propiedades, las propiedades esenciales, tal que un objeto no puede perder ninguna propiedad esencial si es que ha de seguir siendo el mismo. La postura que defiende esta respuesta se conoce como esencialismo. (A diferencia de la postura que defiende (i a), el esencialismo defenderá que hay propiedades esenciales tales que: el no poseerlas no implica lógicamente el poseer la propiedad de la autoidentidad). Aunque las propiedades esenciales han sido definidas de varias maneras, parece ser que generalmente se las ha tomado como las propiedades más ligadas a la identidad (o existencia) del objeto. Podemos dar una definición de esta postura en el marco de la lógica modal, lo que queda todavía por responder es cuáles propiedades han de contar como esenciales para qué tipo de objetos.
La respuesta de tipo (ii) también puede combinarse con la respuesta de tipo (b), pero parecería una respuesta al menos extraña. La respuesta (ii b) diría que un objeto puede cambiar sólo algunas de sus propiedades, pero no hay ningunas propiedades más “especiales” cuya pérdida implique también la pérdida de la identidad (excepto, claro, por las propiedades tales que el perderlas implique por pura lógica la pérdida de la identidad). Es decir, la espuesta (ii b) sería una respuesta anti-esencialista que no admitiría que un objeto podría haber sido completamente diferente: aunque sí hay un límite, el límite no es “uniforme”: no hay propiedades esenciales para cada tipo de objetos, sin embargo, estos objetos no podrían ser completamente diferentes.
La respuesta de tipo (iii), que afirma que un objeto no puede cambiar ninguna propiedad, suele conocerse como esencialismo extremo, esencialismo máximo o superesencialismo. Parece que la combinación de (iii) con cualquiera de (a) o (b) resulta en la misma teoría. Pues si decimos que un objeto no puede cambiar ninguna propiedad, no importa si las que no puede cambiar sean propiedades de un cierto tipo o no: simplemente no puede cambiar ninguna. El problema con el superesencialismo está en explicar por qué tenemos la intuición de que las cosas de hecho pueden cambiar y seguir siendo las mismas.
Varios filósofos han sostenido varios tipos de superesencialismo. Por ejemplo, según muchos intérpretes, Georg Willheim von Leibniz sostuvo una teoría superesencialista en su Discurso de metafísica (de 1686). Roderick Chisholm sostuvo el esencialismo mereológico, que dice que un objeto no puede perder ninguna de sus partes sin perder también su identidad (por ejemplo en Chisholm 1979, apéndice B; 1989, capítulo 7). Y han habido filósofos que ven, en la filosofía de David Lewis, una teoría superesencialista. Para ver la razón de esto, antes diremos –en el siguiente post-- más sobre la lógica modal.

(En esta entrada Carlos A. Romero C. continúa con la serie de posts sobre el problema filosófico del cambio. Aquí el VÍNCULO a la entrada anterior).

Vimos en el post anterior de esta serie qué pasa cuando nos preguntamos sobre los cambios que un objeto sufre en el tiempo, y qué pasa cuando pasamos partes de un objeto a otro. Pero en lugar de preguntarnos qué pasa cuando realizamos cambios físicos en objetos actuales, podemos preguntarnos qué pasa cuando esos mismos cambios podrían haberse dado. Es decir: en lugar de preguntar si la computadora con el teclado, el disco duro y la unidad distintos es la misma computadora que la que compré, preguntamos si yo podría realizar esos cambios y seguir teniendo esa misma computadora. En lugar de preguntarnos cuál (si es que alguna) de las dos computadoras –la que yo tengo ahora o la que tiene mi amigo con las piezas originales– es la misma computadora que compré, decimos que podría haber realizado esos intercambios, y entonces preguntar cuál sería mi computadora. Aquí surge una problemática filosófica muy amplia.

Esta problemática gira en torno a lo que suele ser conocido como modalidad de re (del latín res, “cosa”). La modalidad de re es simplemente la asunción de que muchas de las cosas pueden ser (o podrían haber sido) diferentes a como de hecho son. La problemática surge al intentar sistematizar este hecho (que existen diferencias posibles) en una teoría filosófica.^[1]
Podemos notar cómo surge el problema de la modalidad de re haciéndonos una pregunta. Con el ejemplo de las obras arquitectónicas, la pregunta sería así: ¿Qué tantas partes podría (incluso si no las cambia de hecho) cambiar el Templo Mayor, antes de que fuera un edificio diferente? ¿Dónde está el punto tal que, a partir de él, hemos llegado a otro objeto?
De hecho, podemos extender la pregunta, hablando no sólo de partes, sino de propiedades. (Grosso modo, una propiedad es una característica de un objeto: la propiedad ser humano es una propiedad que yo tengo (pues yo soy un ser humano), así como la propiedad escribir filosofía.) Y hay filósofos que han argumentado que existen distintos tipos de propiedades: unas más “naturales”, unas más apegadas a la identidad del objeto, unas que son propiedades de otras propiedades, etcétera.
Así que podemos hacer dos tipos de preguntas: ¿Cuántas propiedades podría cambiar mi computadora antes de “desaparecer del mapa”, antes de que nosotros nos encontremos con otro objeto distinto? ¿Cuántas propiedades podría intercambiar mi computadora con otro objeto, y seguir siendo el mismo objeto? Y ¿Cuáles, o de qué tipo, podría cambiar y seguir siendo la misma computadora? ¿Cuáles, o de qué tipo, podría intercambiar y seguir siendo la misma computadora?
Llamemos al primer tipo de pregunta la pregunta cuantitativa; llamemos a la segunda pregunta la pregunta cualitativa. (En adelante, para abreviar, hablaremos sólo de cambio de propiedades, pero eso incluye al intercambio de propiedades.)
Hay varias respuestas posibles para ambos tipos de preguntas y, como en el caso del tiempo y las partes materiales, cada una de ellas puede fundamentarse filosóficamente. Al dar una respuesta, estaremos haciendo metafísica: haremos una investigación filosófica sobre los objetos del mundo. Nuestra investigación filosófica será una investigación de metafísica modal: al inquirir sobre las posibilidades de los objetos, inquirimos sobre los modos en los que ellos podrían ser o haber sido. Así pues, la metafísica modal es la rama de la filosofía que investiga sobre las posibilidades de los objetos –la modalidad de re.
Dijimos que había varias respuestas posibles. Y las tres respuestas posibles a la pregunta cuantitativa son las siguientes: (i) un objeto puede cambiar todas sus propiedades y seguir siendo el mismo; (ii) un objeto puede cambiar algunas pero no todas sus propiedades si es que ha de retener su identidad; (iii) un objeto no puede cambiar ninguna propiedad: el cambiar una sola implica que es otro objeto. Pronto veremos algunos ejemplos, mientras tanto revisemos las respuestas posibles a la pregunta cualitativa.
Las respuestas posibles a la pregunta cualitativa son dos: (a) hay un cierto tipo de propiedades, llamémoslas esenciales, tal que si un objeto pierde alguna de sus propiedades esenciales, entonces ya no tenemos al mismo objeto; (b) no hay ningún tipo de propiedades tales que, si un objeto pierde alguna (o incluso todas) de ellas, deja de ser el mismo. Daremos ejemplos de estas respuestas un poco más adelante.
Notemos que las respuestas (i)-(iii) y (a), (b), pueden combinarse. Es decir, podemos dar una teoría filosófica acerca del cambio modal de los objetos que combine una respuesta a la pregunta cuantitativa con una a la pregunta cualitativa. Y ahora, antes de ver cómo serían estas combinaciones, debemos notar otra cosa.
El reemplazo del hardware de una computadora por hardware más nuevo, la restauración de monumentos, son hechos de la vida cotidiana. Pasa todos los días que las cosas cambien, así como pasa todos los días que digamos enunciados del tipo: Si hubiera pasado que X, entonces... o Si este objeto fuera de tal o cual manera, entonces... o que preguntemos cosas como ¿Qué hubiera pasado si Y? Tenemos hechos de la vida cotidiana y creencias sobre estos hechos. Creemos, en la vida cotidiana, que una computadora podría tener una tecla diferente y seguir siendo la misma –y si creemos esto es porque creemos que es un hecho que una cosa puede o podría cambiar y permanecer ella misma. Pero no siempre tenemos una teoría bien estructurada sobre este tipo de hechos.
Los filósofos suelen llamar intuiciones a este tipo de creencias de la vida cotidiana sobre hechos que podemos investigar filosóficamente. Tenemos la intuición de que muchas cosas podrían cambiar y retener su identidad: tenemos la intuición sobre la posibilidad de esta misma computadora con una tecla diferente; tenemos la intuición de que es posible que el mismo Templo Mayor tenga un par de piedras menos. Lo que los filósofos suelen hacer con estas intuiciones es sistematizarlas, tratar de acomodarlas en una teoría que cubra muchos (si es posible, todos) los casos del mismo tipo. El proceso de sistematización de las intuiciones en una teoría es un proceso complejo, pero suele incluir –en mayor o menor medida– la construcción de modelos lógico-matemáticos en el marco de los cuales estructurar esta teoría.
Hace unos párrafos vimos que la investigación filosófica sobre los objetos y sus diferencias posibles es llamada metafísica modal (o metafísica de la modalidad). El marco lógico-matemático dentro del cual se suele trabajar al hacer metafísica modal es la lógica modal. Esta lógica es la sistematización del comportamiento formal de las nociones de posibilidad y necesidad.
El problema central de esta serie de posts es cómo, bajo la aplicación de la lógica modal, los filósofos intentan dar una respuesta satisfactoria a las dos preguntas que hemos venido persiguiendo, que nombramos las preguntas cuantitativa y cualitativa: ¿qué tanto puede un objeto cambiar? Y: ¿cuáles podrían ser las propiedades que cambien?
En el siguiente post revisaremos las combinaciones posibles de estas respuestas, y cómo dan lugar a varias teorías en la metafísica de la modalidad.

En este post...
...
...Al momento de comenzar a escribir esto, me di cuenta de que había derramado el café sobre el teclado de mi computadora. Así que, después de notar que había quedado inutilizado, me dispuse a cambiarlo por un teclado nuevo. Pero hace meses que también me vi obligado a cambiar el disco duro por uno nuevo, pues el viejo había quedado lleno. De hecho, poco después de comprar mi computadora, cambié su unidad DVD por una Blue-Ray. Ayer que llevé mi laptop con el técnico y él le cambió el teclado, me pregunté lo siguiente: después del cambio de la unidad DVD por una Blue-Ray, después del cambio de disco duro por uno nuevo y después del cambio del teclado por uno nuevo, ¿Cuántos otros cambios podría hacer sin verme orillado a decir que tengo una computadora diferente de la que compré?

Es un hecho ordinario que las cosas cambian. Por ejemplo, sabemos que obras arquitéctonicas del pasado han sido restauradas una y otra vez. Claro que han permanecido –al menos la mayoría de ellas– en el lugar donde fueron construidas, pero también es cierto que un enorme número de sus piezas ha sido intercambiado por piezas nuevas. Y podemos imaginar que en el futuro otro enorme número de ellas será así intercambiado. De hecho, parece que nada nos impide imaginar que todas las piezas originales sean cambiadas por piezas nuevas –piedra por piedra, mosaico por mosaico, tabla por tabla.
La pregunta que nos invita a la perplejidad es la siguiente: ¿Cuántas piedras (mosaicos, tablas...) podemos cambiar antes de decir que nos encontramos ante un objeto distinto al original? ¿Cuál es el límite que no debemos cruzar al cambiar un objeto, antes de encontrarnos con otro objeto?
De hecho, podemos dar un caso general, que abstrae las características comunes de los ejemplos de la computadora y los monumentos –las características comunes que nos importan si lo que queremos hacer es una investigación filosófica sobre el cambio. Supongamos entonces que un objeto cualquiera, sea O, consiste de un número n de piezas. Supongamos que en un momento, llamémoslo t₁, le quitamos una pieza P₁ a O, la que sustituimos por una pieza P₁'. Imaginemos que en un momento posterior, t₂, le quitamos a O otra pieza, P₂, que sustituimos por la pieza P₂'. Así que podemos preguntarnos qué pasará en el momento t_n, cuando le hayamos quitado a O todas sus piezas originales para sustituirlas por otras n piezas diferentes: ¿Seguiremos teniendo enfrente de nosotros al mismo O original, o a otro objeto completamente distinto, O*? Muchos nos sentiremos tentados a decir que tendremos a otro objeto distinto. Pero también es difícil decir cuál número m, menor a n, es tal que: al intercambiar exactamente m piezas de O, tenemos otro objeto completamente distinto a O. Es decir, es difícil decir cuál es el número que marca el límite entre O y otro objeto distinto.
No sólo tenemos este problema. Imaginemos que un ingeniero amigo mío está armando su propia computadora, y acepta gustosamente las antiguas piezas de la mía. Las repara y, con ellas, arma su computadora. Así que tiene una computadora con el antiguo teclado, la unidad DVD y el disco duro de la mía. Después de unos meses, también le regalo la memoria RAM y hasta la tarjeta madre. Yo, por mi lado, compro una nueva memoria RAM y una nueva tarjeta madre. Después de varios meses –quizá hasta un par de años–, le he regalado ya todas las piezas de mi computadora original, piezas que yo, por supuesto, he sustituido por nuevas.
La pregunta ahora es: ¿Cuál, si es que alguna de las dos, es la computadora que compré originalmente: la que yo tengo o la que tiene mi amigo?
El caso general es el siguiente: supongamos que un objeto O tiene n piezas en un momento t₀. En un momento t₁, le quitamos una pieza P₁, que sustituimos por una pieza P₁'. Además, tenemos otro objeto, Q. En t₂, le agregamos P₁ (la pieza original de O) a Q. Y así hasta que, en t_m, todas las piezas originales de O le han sido colocadas a Q; y cada pieza original de O (cada P_i) ha sido sustituida por otra pieza P_i'. La pregunta, entonces, es: en t_m, ¿Es O, Q, o ninguno de los dos, el objeto original que teníamos en t₀?
El problema de cuánto podemos cambiar un objeto antes de encontrarnos con un objeto distinto es un antiguo problema filosófico. Thomas Hobbes lo presentó en su tratado De Corpore (Hobbes 1655) con un ejemplo que remitía a la antigüedad: el famoso ejemplo de la barca de Teseo. Supongamos que la barca de Teseo consistía en tres grandes piezas, que llamaremos, respectivamente, A, B y C. Supongamos que, por otro lado, tenemos otras tres grandes piezas (D, E y F). Y luego imaginemos que sustituimos A por D, B por E y C por F. Así que donde teníamos la barca de Teseo habrá un objeto constituido por D, E y F. Llamemos a este objeto, sin prejuzgar por el momento si es o no el objeto original, barco uno. Imaginemos entonces que con las piezas originales de la barca de Teseo construimos otro barco, barco dos, que entonces llega a estar constituido de A, B y C. Preguntamos entonces cuál, si es que alguno, entre barco uno y barco dos es la mismísima barca de Teseo. Por extraño que parezca, cualquiera de las cuatro respuestas posibles (barco uno = barca de Teseo; barco dos = barca de Teseo; ninguno es la barca de Teseo; ambos barco uno y barco dos son, en algún sentido, la misma barca de Teseo) puede fundamentarse en una teoría filosófica sobre el cambio y la identidad –teoría que puede ser, por supuesto, discutida y argumentada.
Por el momento dejaremos pendiente la cuestión sobre qué tipo de teoría filosófica aceptaríamos al responder de una u otra manera al problema del cambio a través del tiempo. Retomaremos el problema del cambio en otros posts. Mientras tanto, en ésta series de posts revisaremos una problemática sugerida que surge, por así decir, en otra dimensión –una dimensión donde no necesariamente hablamos del tiempo, sino de circunstancias posibles y de diferentes propiedades de los objetos en ellas.