¡Dos Libros Gratis!

Ted Sider ha puesto a disposición del público en general el borrador completo de su libro Logic for Philosophy (PDF) que será publicado por la Oxford University Press. John Burgess acaba de hacer lo propio con el borrador completo de su libro Philosophical Logic (Word) que será publicado por la Princeton University Press. ¡Ambos altamente recomendables! (Estas son las cosas que justifican la existencia de la internet…).

El Problema de la Bella Durmiente

Adam Elga propone el siguiente problema: supongamos que la Bella Durmiente va ha ser sometida al siguiente experimento: ella va ha ser puesta a dormir el Domingo por la noche y va ha ser despertada brevemente el Lunes por la mañana. Cuando la despierten el Lunes, nadie le va ha decir que es Lunes. En ese momento se lanzará una moneda no trucada y, sin que ella vea el resultado, será puesta nuevamente a dormir. Si la moneda cayó Cara, se la dejará dormir tranquila hasta que el experimento termine el Miércoles por la mañana. Sin embargo, si cayó Sello, se le administrará una droga que borrará sus recuerdos del día anterior y se la despertará el Martes por la mañana. El efecto de la droga será una amnesia parcial de tal manera que cuando la despierten el Martes, ella no recordará que fue despertada el Lunes (esto es lo único que olvidará). Es decir, si cae Sello, cuando despierte el Martes ella no sabrá que no es Lunes. Si los tres posibles escenarios en los que será despertada (Cara-Lunes, Sello-Lunes y Sello-Martes) son indistinguibles desde su punto de vista y además:

a) La Bella Durmiente es perfectamente racional.

b) El Domingo por la noche, antes de que se vaya a dormir, se le dice todos los detalles de este experimento (es decir, se le dice todo lo que aquí he narrado).

Pregunta: En el instante en el que ella despierte el Lunes por la mañana, ¿qué grado de creencia (probabilidad subjetiva) debería ella otorgarle a la hipótesis de que la moneda cayó Cara?

Respuesta 1: 1/2. La Bella Durmiente sabía el Domingo por la noche que la moneda no estaba trucada y, por lo tanto, le asignó el grado de creencia (probabilidad subjetiva) de 1/2. Puesto que al ser despertada el Lunes por la mañana, no recibió ninguna información nueva, el grado de creencia que ella debería asignarle a la hipótesis de que la moneda cayó Cara debería seguir siendo 1/2. En otras palabras, la probabilidad subjetiva y la probabilidad objetiva deberían coincidir.

Respuesta 2: 1/3. Supongamos que el experimento se llevara a cabo muchas veces. Dado que la moneda no es trucada, la mitad de las veces caerá Cara y la otra mitad caerá Sello. Sin embargo, como de todas las veces que caiga Sello, una mitad es Sello-Lunes y la otra es Sello-Martes, la Bella Durmiente debería asignarle 1/3 a cada posible escenario (es decir, 1/3 a Cara-Lunes, 1/3 a Sello-Lunes y 1/3 a Sello-Martes). Por lo tanto, debería asignarle 1/3 a la hipótesis de que la moneda cayó Cara.

¿Cuál es la respuesta correcta? Adam Elga sostiene que la Respuesta 2 es la correcta. David Lewis piensa que la Respuesta 1 es la correcta. ¿Con quién estás de acuerdo? [Lo que motiva mi pregunta es pura curiosidad].

Dios y La Galleta Parlante.

Compara los siguientes argumentos. El Argumento 1 es una versión del clásico Argumento Ontológico en favor de la existencia de Dios. El Argumento 2 es una versión del novedoso Argumento Ontológico en favor de la existencia de la nunca bien ponderada galleta parlante de 1.80 metros de altura.

Argumento 1:

1) Supongamos que Dios no existe en la realidad, sólo en el pensamiento.

2) Definición: Dios es aquello mayor que lo cual nada puede pensarse. [Definición por cortesía de San Anselmo]

3) Es posible pensar en un ser cualitativamente idéntico a Dios (con todos sus atributos) pero que además exista en la realidad. Llamémoslo ‘Dios*’.

4) Si x existe en la realidad e y es cualitativamente idéntico a x pero y sólo existe en el pensamiento, x es mayor que y.

C1) Por lo tanto, Dios* es mayor que Dios.

5) Pero (C1) contradice a (2).

C2) Por lo tanto, Dios existe en la realidad.

Argumento 2:

1) Supongamos que Torcuata no existe en la realidad, sólo en el pensamiento.

2) Definición: Torcuata es la galleta parlante de 1.80 metros de altura mayor que la cual ninguna otra galleta parlante de 1.80 metros de altura puede pensarse.

3) Es posible pensar en un ser cualitativamente idéntico a Torcuata (con todos sus atributos) pero que además exista en la realidad. Llamémoslo ‘Torcuata*’.

4) Si x existe en la realidad e y es cualitativamente idéntico a x pero y sólo existe en el pensamiento, x es mayor que y.

C1) Por lo tanto, Torcuata* es mayor que Torcuata.

5) Pero (C1) contradice a (2).

C2) Por lo tanto, Torcuata existe en la realidad.

 

Moraleja: No todos los argumentos ontológicos fueron creados iguales… ¿o si?

 

¿Mundos Posibles en Proposiciones?

Acabo de terminar de releer el libro Complex Demonstratives de J. King. En este libro, King se propone desafiar la explicación semántica de los demostrativos complejos que él atribuye a la Teoría de la Referencia Directa. Los demostrativos complejos son expresiones tales como ‘ese libro’, ‘aquel profesor’, ‘aquel espía bebiendo un Martini’, ‘esa mujer’, etc. De acuerdo con la Teoría de la Referencia Directa, la contribución de los demostrativos complejos a las proposiciones de los que son parte son los individuos a los que refieren. Por ejemplo, la contribución del demostrativo complejo ‘aquel libro’ en la oración ‘Aquel libro es interesante’ es el libro mismo del que se está hablando. King sostiene que la Teoría de la Referencia Directa sólo explica ciertos usos de los demostrativos complejos pero que hay muchos usos de los mismos que no se ajustan a esta explicación. Uno de esos tipos de usos es el que llama “No Hablante No Demostración”. Por ejemplo, supongamos que en una clase sobre la prehistoria, el profesor dice:

1. Aquel homínido que descubrió cómo producir fuego fue un genio.

Evidentemente, el profesor no esta hablando de ningún homínido presente en su contexto físico ni tiene en mente uno en particular. El profesor está diciendo sobre quienquiera que haya sido el homínido que descubrió cómo producir fuego que fue un genio. Esto aparentemente va en contra de la explicación de la Teoría de la Referencia Directa, según la cual la contribución del demostrativo complejo ‘aquel homínido que descubrió cómo producir fuego’ a la proposición expresada por (1) es el individuo mismo que descubrió cómo producir fuego. Esta limitación de la Teoría de la Referencia Directa sería aún más obvia si, basados en (1), aseveramos la siguiente oración verdadera:

2. El profesor cree que aquel homínido que descubrió cómo producir fuego fue un genio.

Supongamos que en la realidad (o mejor dicho, en el mundo actual) el homínido que descubrió cómo producir fuego fue Homey. Si la Teoría de la Referencia Directa fuese correcta, (2) le estaría atribuyendo al profesor la creencia de que Homey fue un genio. No obstante, esta atribución es falsa: el profesor no tiene la menor idea acerca de quién fue exactamente el homínido que descubrió cómo producir fuego. Luego de discutir éste y muchos otros ejemplos, así como ofrecer abundante evidencia sintáctica, King concluye que la explicación que hace la Teoría de la Referencia Directa de los demostrativos complejos es errónea. Su tesis principal es que términos tales como ‘ese’ o ‘aquel’ en los demostrativos complejos son cuantificadores a la par de ‘para todo’ (cuantificador universal) o ‘existe’ (cuantificador existencial). Detalles aparte, el análisis de términos tales como ‘ese’ o ‘aquel’ en los demostrativos complejos que King propone es el siguiente:

(DC) ___ y ___ están únicamente ___ en un objeto x y x es ___.

Por ejemplo, supongamos que Sandra dice, señalando a un libro en particular (llamémoslo ‘β’): ‘Aquel libro es malo’. Supongamos que ella pronuncia estas palabras en el mundo w y en el tiempo t. De acuerdo con (DC), la proposición que Sandra está expresando es (DC*):

(DC*) La propiedad de ser libro y la propiedad de ser idéntico a β están únicamente simultáneamente instanciadas en w, t en un objeto x y x es una instancia de la propiedad de ser malo.

Nótese que la proposición (DC*) incluye el mundo posible w. Esta inclusión de un mundo posible en la proposición es muy problemática. La razón es la siguiente: dado que las creencias de Sandra en w, t sobre β no son esenciales para la existencia de Sandra en w, t, (3) es verdadera:

3. Sandra pudo haber creído que aquel libro [señalando a β] es bueno.

De acuerdo con el análisis que propone King, una de las interpretaciones (presumiblemente, la más adecuada) de (3) es (3*):

(3*) Posiblemente [[Sandra cree que [aquel libro: x][x es bueno]]

La proposición expresada por (3*) es verdadera en w si y sólo si hay otro mundo w* tal que en w* Sandra cree que aquel libro es bueno. Sin embargo, si el análisis de ‘aquel libro es bueno’ es idéntico a (DC*) excepto por la última parte (reemplazar ‘una instancia de la propiedad de ser malo’ por ‘una instancia de la propiedad de ser bueno’), (3*) será verdadera sólo si en w* Sandra tiene creencias sobre w. No obstante, nada en nuestro ejemplo sugiere que en w* Sandra tenga creencias sobre w. Por lo tanto, la propuesta de King tiene la indeseable consecuencia de que nuestra atribución de creencias a habitantes de otros mundos posibles sobre objetos que también existen en el mundo actual implica atribuirles creencias no sólo sobre dichos objetos, sino también sobre el mundo actual. Este resultado claramente socaba una parte importante de la propuesta central de Complex Demonstratives.