本文主要研究D·刘易斯的可能世界理论，即模态实在论。粗略地说就是我们的世界只是众多世界之一，居住在这个世界的我们只是处于所有世界的所有居民者中的少数的本体理论。可能世界概念可以追溯到莱布尼茨，这概念在可能世界语义学诞生之后得到更为广泛的运用，但实际中的可能世界究竟是什么，逻辑学家却未有一致的看法。作为模态实在论的代表，刘易斯认为可能世界和我们的世界——即“我和我周围的环境”是同一类的，因此有相同的本体地位。 本文主体分为四个部分。第一部分介绍了模态实在论产生的背景，从探索模态实在论的根开始，说明了可能世界理论的来源和模态语义学中的应用。第二部分阐述了模态实在论的基本观点。第三部分则阐述了对模态实在论的诘难和刘易斯的辩护。在第四部分，本文认为模态实在论实际上是一种替代的框架，并对什么是可能世界提出了自己的看法。