En
lógica y
filosofía, 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. Para
Saul Kripke en cambio, los mundos posibles no son algo que se descubre, sino algo que se estipula mediante descripciones. 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. En
lógica modal, la noción de mundo posible se toma como primitiva y por lo tanto no se define.