Les théories des mondes possibles sont des théories élaborant la possibilité qu'existent d'autres mondes que le nôtre. Elles sont issues de la sémantique de Kripke qui est à l'origine de nombreuses réflexions métaphysiques. D'abord théorisé par Leibniz, le concept de « mondes possibles » a fait l'objet d'un intérêt renouvelé, au XXe siècle, grâce aux travaux de la logique modale, portant sur la nécessité, la possibilité et la contingence, et en particulier grâce à la sémantique des mondes possibles développée dans les années 1950 par Saul Kripke, Stig Kanger et Jaakko Hintikka. À partir de cette sémantique, on a théorisé une métaphysique des mondes possibles, dans laquelle plusieurs positions théoriques s'opposent concernant la réalité ou statut ontologique des mondes possibles, et leur utilité théorique. Parmi ceux qui acceptent les formulations des mondes possibles comme manière d'exprimer les propositions de la logique modale, certains (David Lewis) accordent une réalité concrète à ces mondes possibles, tandis que d'autres (Robert Stalnaker (en)[1], Robert Adams[2], Alvin Plantinga, Saul Kripke, Peter van Inwagen) les considèrent uniquement comme des abstractions. La théorie des mondes possibles ne doit pas être confondue avec la théorie des mondes multiples de la mécanique quantique.