Mundos posibles (possible worlds) — Maneras completas y consistentes en que el mundo podría haber sido, usadas para analizar nociones modales como posibilidad, necesidad y contingencia. Una proposición es posible si es verdadera en al menos un mundo posible, necesaria si lo es en todos, y contingente si es verdadera en algunos y falsa en otros. La idea tiene antecedentes en Leibniz, quien en la Teodicea (1710) sostiene que Dios, entre infinitos mundos posibles, creó el mejor, expresión célebre como “el mejor de los mundos posibles”. En el siglo XX, la semántica de mundos posibles adquirió rigor formal con los trabajos de Saul Kripke sobre lógica modal en 1959–1963, y se aplicó a la filosofía del lenguaje y a la metafísica en Naming and Necessity (El nombrar y la necesidad, conferencias de 1970, libro de 1980), donde Kripke introduce la noción de designador rígido: un término que designa el mismo objeto en todos los mundos en que este existe. El estatuto de los mundos es objeto de debate. Para David Lewis (On the Plurality of Worlds, 1986), el realismo modal afirma que los otros mundos son tan reales como el nuestro, aunque no están conectados espaciotemporalmente con él. Kripke prefiere tratar los mundos como situaciones contrafácticas estipuladas, no como lugares por descubrir. Alvin Plantinga (The Nature of Necessity, 1974) defiende un actualismo, según el cual los mundos son entidades abstractas existentes en el mundo actual, como estados de cosas máximos. Entre las cuestiones abiertas figuran la identidad transmundana y el problema de la contingencia.
Véase también: Leibniz, Saul Kripke, David Lewis.
← Glosario