en l贸gica y filosof铆a, esta noci贸n 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.
No existe acuerdo sobre qu茅 son los mundos posibles:
En l贸gica modal, la noci贸n de mundo posible se toma como primitiva y por lo tanto no se define.
David Lewis, (realismo modal), los mundos posibles son universos, y nuestro universo es s贸lo uno entre muchos.
Saul Kripke, los mundos posibles no son algo que se descubre, sino algo que se estipula mediante descripciones.
Adams y Plantinga, (entre otros), los mundos posibles son conjuntos maximales, (que si se le agrega cualquier otra proposici贸n, se vuelve inconsistente), de proposiciones. En tanto conjuntos, son entidades abstractas, plat贸nicas.
Gottfried Leibniz introdujo por primera vez la noci贸n de mundo posible en su Teodicea (1710). Para 茅l los mundos posibles son ideas en la mente de Dios, distintas maneras en las que podr铆a haber creado el mundo. Como Dios es benevolente, el mundo actual debe ser el mejor de todos los mundos posibles.
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. 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.(Wikipedia).