En filosofía y lógica, especialmente en lógica modal, la noción de mundo posible se utiliza para interpretar afirmaciones modales como «es posible que llueva» o «es necesario que 1 + 2 = 3», y para definir algunas nociones filosóficas como esencia y superveniencia. Sin embargo, no existe acuerdo sobre qué son los mundos posibles. Según el realismo modal de David Lewis, los mundos posibles son universos, y nuestro universo es sólo uno entre muchos.[1][2] Para Saul Kripke en cambio, los mundos posibles no son algo que se descubre, sino algo que se estipula mediante descripciones.[3] Para Adams y Plantinga, entre otros, los mundos posibles son conjuntos maximales de proposiciones. Que un conjunto de proposiciones sea maximal quiere decir que si se le agrega cualquier otra proposición, se vuelve inconsistente. En tanto conjuntos, los mundos posibles de Adams y Platinga son entidades abstractas, platónicas.[2] En lógica modal, la noción de mundo posible se toma como primitiva y por lo tanto no se define.
Historia
Recientemente ha demostrado Jesús Padilla Gálvez que el pensador Antonio Rubio de Rueda introdujo por primera vez la noción de mundo posible.[4] Posteriormente Gottfried Leibniz lo reelaboró en un trabajo de 1710 conocido como Teodicea. Según Leibniz, los mundos posibles son ideas en la mente de Dios, distintas maneras en las que Dios podría haber creado el mundo.[2] Su conclusión es que como Dios es benevolente, el mundo actual debe ser el mejor de todos los mundos posibles. Esta propuesta fue luego ridiculizada por Voltaire en su obra de 1759 titulada Cándido.
En 1959, Saul Kripke utilizó la noción de mundo posible para dar una semántica formal a la lógica modal y demostrar su completitud semántica.[5] Desde entonces, su uso se ha extendido a otras partes de la lógica y la filosofía, por ejemplo para definir nociones como esencia o superveniencia. Junto con la difusión de su uso, creció también el debate sobre qué son exactamente los mundos posibles.
Lewis, David (1986). On the Plurality of Worlds(en inglés). Wiley.
↑ Pruss, Alexander Robert (1991). (en inglés). University of Western Ontario. Archivado desde el original el 26 de enero de 2013. Consultado el 6 de junio de 2013.
Kripke, Saul (1980). Naming and Necessity(en inglés). Cambridge: Harvard University Press. p. 5. «Generalmente, las cosas sobre una situación contrafáctica no se «descubren», se estipulan; los mundos posibles no se dan necesariamente de manera puramente cualitativa, como si los estuviéramos mirando a través de un telescopio.»
Padilla Gálvez, Jesús (2018). «El mejor de todos los mundos posibles». Cuadernos Salmantinos de Filosofía45: 231-259.
Kripke, Saul (1959). «A Completeness Theorem in Modal Logic». The Journal of Symbolic Logic(en inglés)24 (1).
Datos:Q1088088
Abril 08, 2022
mundo, posible, filosofía, lógica, especialmente, lógica, modal, noción, mundo, posible, utiliza, para, interpretar, afirmaciones, modales, como, posible, llueva, necesario, para, definir, algunas, nociones, filosóficas, como, esencia, superveniencia, embargo,. En filosofia y logica especialmente en logica modal la nocion de mundo posible se utiliza para interpretar afirmaciones modales como es posible que llueva o es necesario que 1 2 3 y para definir algunas nociones filosoficas como esencia y superveniencia Sin embargo no existe acuerdo sobre que son los mundos posibles Segun el realismo modal de David Lewis los mundos posibles son universos y nuestro universo es solo uno entre muchos 1 2 Para Saul Kripke en cambio los mundos posibles no son algo que se descubre sino algo que se estipula mediante descripciones 3 Para Adams y Plantinga entre otros los mundos posibles son conjuntos maximales de proposiciones Que un conjunto de proposiciones sea maximal quiere decir que si se le agrega cualquier otra proposicion se vuelve inconsistente En tanto conjuntos los mundos posibles de Adams y Platinga son entidades abstractas platonicas 2 En logica modal la nocion de mundo posible se toma como primitiva y por lo tanto no se define Historia EditarRecientemente ha demostrado Jesus Padilla Galvez que el pensador Antonio Rubio de Rueda introdujo por primera vez la nocion de mundo posible 4 Posteriormente Gottfried Leibniz lo reelaboro en un trabajo de 1710 conocido como Teodicea Segun Leibniz los mundos posibles son ideas en la mente de Dios distintas maneras en las que Dios podria haber creado el mundo 2 Su conclusion es que como Dios es benevolente el mundo actual debe ser el mejor de todos los mundos posibles Esta propuesta fue luego ridiculizada por Voltaire en su obra de 1759 titulada Candido En 1959 Saul Kripke utilizo la nocion de mundo posible para dar una semantica formal a la logica modal y demostrar su completitud semantica 5 Desde entonces su uso se ha extendido a otras partes de la logica y la filosofia por ejemplo para definir nociones como esencia o superveniencia Junto con la difusion de su uso crecio tambien el debate sobre que son exactamente los mundos posibles Vease tambien EditarAntonio Rubio de Rueda Gottfried Leibniz Logica modal Saul Kripke David LewisReferencias Editar Lewis David 1986 On the Plurality of Worlds en ingles Wiley a b c Pruss Alexander Robert 1991 Possible Words What they are good for and what they are en ingles University of Western Ontario Archivado desde el original el 26 de enero de 2013 Consultado el 6 de junio de 2013 Kripke Saul 1980 Naming and Necessity en ingles Cambridge Harvard University Press p 5 Generalmente las cosas sobre una situacion contrafactica no se descubren se estipulan los mundos posibles no se dan necesariamente de manera puramente cualitativa como si los estuvieramos mirando a traves de un telescopio Padilla Galvez Jesus 2018 El mejor de todos los mundos posibles Cuadernos Salmantinos de Filosofia 45 231 259 Kripke Saul 1959 A Completeness Theorem in Modal Logic The Journal of Symbolic Logic en ingles 24 1 Datos Q1088088 Obtenido de https es wikipedia org w index php title Mundo posible amp oldid 138241824, wikipedia, wiki, leyendo, leer, libro, biblioteca,
