Sebuah dunia kemungkinan adalah suatu gambaran yang lengkap dan selaras mengenai bagaimana dunia ini ada, atau bagaimana ia dapat saja berlangsung. Konsep dunia mungkin kerap digunakan sebagai perangkat formal dalam logika, filsafat, dan linguistik, untuk menyediakan kerangka semantik bagi logika intensional maupun logika modal. Status metafisika dari dunia kemungkinan telah lama menjadi sumber perdebatan dalam filsafat: para realis modal seperti David Lewis berpendapat bahwa benar-benar terdapat realitas alternatif yang sungguh ada, sementara pemikir lain seperti Robert Stalnaker menegaskan bahwa realitas alternatif semacam itu tidaklah sungguh-sungguh eksis.
Bacaan lanjutan
D.M. Armstrong, A World of States of Affairs (1997. Cambridge: Cambridge University Press) ISBN0-521-58948-7
John Divers, Possible Worlds (2002. London: Routledge) ISBN0-415-15556-8
Paul Herrick, The Many Worlds of Logic (1999. Oxford: Oxford University Press) Chapters 23 and 24. ISBN978-0-19-515503-7