1ER. PROBLEMA ONTOLGICO DE LA LGICA MODAL 1.

El status ontolgico de los mundos posibles El primer problema se plantea con la siguiente pregunta: Debemos suponer que hay realmente mundos posibles distintos al actual y que hay objetos posibles que no existen en este mundo? Si bien se suele hablar de diversos estados de cosas posibles con respecto, por ejemplo, al clima (a pesar de Russell) queda an por resolver la cuestin de qu tipo de entidades son. Hemos identificado dos posturas: el realismo absoluto o posibilismo extremo (Lewis) y el realismo moderado o reductivo. Dentro de esta ltima a su vez existen dos vertientes: el posibilismo moderado (Stalnaker y Plantinga (posibilismo moderado de re), Adams (posibilismo moderado de dicto)) y el actualismo no modal. En esta ltima se ubican: el enfoque nominalista de Carnap, el enfoque conceptualista de Rescher y el combinatorialismo de Quine y Cresswell. 2. Desarrollo del problema Cuando se hace uso de la nocin de mundo posible, se vuelve factible lidiar con los condicionales contrafcticos como Si Atahualpa no hubiera confiado en los espaoles, entonces la dinasta incaica hubiera perdurado hasta nuestros das. Sin embargo, existe el riesgo de que se explique lo que es un mundo posible de manera circular. Porque 1) cuando decimos que un mundo es posible afirmamos que existe una descripcin consistente de l. 2) Pero esa misma descripcin es aquella que es posiblemente verdadera, es decir, compatible con las leyes lgicas. 3) Ahora bien, ocurre que las leyes lgicas se caracterizan por ser verdaderas en todo mundo posible 4) Finalmente, los mundos posibles son aquellos que se ajustan a las leyes lgicas. Notamos una circularidad entre 4) y 5). El problema surge cuando cuantificamos sobre mundos posibles. Esto genera la siguiente pregunta: debemos suponer que hay realmente mundos posibles adems del mundo real y que hay objetos posibles que no se encuentran en el mundo real? Aunque digamos que necesitamos pensar en esos mundos posibles cuando, por ejemplo, nos planteamos algunas hiptesis con respecto al clima de maana, queda an por resolver la cuestin de qu tipo de entidades son. A decir de Quine, existe un cierto compromiso ontolgico con respecto a los mundos posibles. As, decimos que una proposicin es necesaria cuando es verdadera en todos los mundos posibles; y es posible cuando lo es en algunos. Entonces podemos aceptar que los mundos posibles realmente existen. Y sobre este asunto existen dos posturas realistas:

1ER. PROBLEMA ONTOLGICO DE LA LGICA MODAL 1) El Realismo absoluto o posibilismo extremo De acuerdo con la primera postura, los mundos posibles son reales, es decir, existen como existe este mundo y es distinto de nuestro mundo actual. Representante: David Lewis Entonces, existen objetos que no existen en el mundo real. Esto implica que nuestro mundo no tiene ningn privilegio ontolgico. Decir: mi mundo es actual solo es mencionar que mi mundo fue aquel lugar donde tuvo cabida esa expresin. 2) El Realismo moderado o reductivo Para esta posicin, los mundos posibles pueden identificarse con otras entidades ms bsicas y simples. Existen dos formas de este realismo: 2.1) Posibilismo moderado Esta opinin considera que los mundos posibles son cierto tipo de posibilidad. 2.1.1) Posibilismo de re Representantes: Plantinga y Stalnaker En este caso se presenta la dicotoma entre existencia y ejemplificacin. Este mundo real es el nico objeto del conjunto de los mundos posibles que tiene la propiedad de ser ejemplificado 2.1.2) Posibilismo de dicto Representantes: Robert Adams Aqu se considera la nocin de proposicin como bsica. Un mundo posible es un conjunto consistente mximo de proposiciones tal que para toda p, o bien p pertenece o bien p no pertenece a l. Los mundos posibles son conjuntos de proposiciones cuyos miembros podran haber sido todos verdaderos y el mundo real es aquel conjunto consistente mximo de proposiciones todas las cuales son de hecho verdaderas. 2.2) Actualismo no modal Este planteamiento identifica los mundos posibles con entidades que existen efectivamente. Los mundos posibles son reducibles o, analizables en trminos de, construcciones a partir de entidades no modales efectivamente existentes. M. J. Loux distingue 3 enfoques: 2.2.1) Nominalismo Representantes: Carnap Los mundos posibles son construcciones terico-conjuntistas, conjuntos de expresiones lingsticas, es decir, de oraciones que se asocian en una descripcin de estado que es un conjunto consistente mximo de oraciones atmicas o de oraciones atmicas negadas de un determinado lenguaje. 2.2.2) Conceptualismo Representantes: Rescher y Kripke Existen mundos posibles diferentes al actual pero solo como objetos de ciertos procesos intelectuales de los humanos tales como concebir posibilidades, hacer hiptesis, suponer, etc. Si se replica que no hay bastantes actos de concebir reales para generar el mbito completo de las

1ER. PROBLEMA ONTOLGICO DE LA LGICA MODAL posibilidades pues hay incontables mundos posibles que ningn humano ha concebido jams, Rescher responder diciendo que la existencia de lo posible no depende en ser concebido sino en ser concebible. Pero as definimos un concepto modal (lo posible) en trminos de otro concepto modal (se concebible): circularidad. Sin embargo, el idealismo contraataca con otro argumento: los mundos posibles se fundan en la actividad conceptual de Dios que no est sujeta a las limitaciones de los mortales. 2.2.3) Combinatorialismo Representantes: Quine y Cresswell Los mundos posibles distintos del real pueden entenderse como combinaciones de entidades que pueblan el mundo real. Los mundos posibles son disposiciones alternativas de ciertas entidades bsicas que se toman como ladrillos del mundo actual (materialismo democritiano: los mundos posibles alternativos son conjuntos de n-plas ordenadas, donde las n-plas relevantes asignan localizaciones espaciotemporales a las diversas partculas). Un problema se plantea cuando el combinatorialista acepta que todos los mundos posibles pueden ser construidos a partir de las partculas del tipo relevante que se encuentran realmente. Sin embargo, tiene sentido pensar que podra haber habido ms o menos partculas relevantes de las que de hecho hay. Pero, si el combinatorialista dice que es imposible que haya ms o menos partculas de las que de hecho hay se contradice. Cresswell plantea que los mundos posibles son conjuntos de n-plas que especifican qu puntos espaciotemporales estn ocupados por materia. Pero Loux replica que si fuera as, no habra nada necesario en los contenidos de nuestro mundo real. Este mundo contendra objetos distintos de LOS objetos que de hecho lo componen Bibliografa KNEALE, William y Martha (1980) El desarrollo de la lgica. Madrid: Tecnos. Captulo IX, Desarrollos formales posteriores a Frege, apartado 4. La lgica modal, pp. 509-527 ORAYEN Raul (2005) Lgica modal. En ALCHOURRN, Carlos E. (2005) Lgica. Madrid: Trotta, pp. 289-323. PALAU, Gladys (2002) Introduccin filosfica a las lgica no clsicas. Barcelona: GEDISA. En captulo 2. La nocin de consecuencia de la lgica clsica, 2.3. Los aportes de Lewis. FRAPOLLI, Mara Jos y ROMERO, Esther (1998) Una aproximacin a la filosofa del lenguaje. Madrid: Sntesis. En captulo 5: Referencia y Necesidad. El externalismo del significado de S. Kripke. Pp. 147-172 HUGHES, G. E. y CRESWELL, M. J. (1973) Introduccin a la lgica modal. Madrid: Tecnos. GARCA SUREZ, Alfonso (2011) Modos de Significar. Una Introduccin temtica a la filosofa del lenguaje. Madrid: Tecnos. En Seccin IV: Opacidad Referencial. Captulo 9: Modalidad.