面对量子力学实验中的种种奇特现象和由此产生的佯谬，科学家们越来越热衷于谈到平行宇宙，即量子力学的多宇宙解释。而哲学和逻辑上与平行宇宙相应的理论也产生了，这就是可能世界理论。
可能世界与平行宇宙 　　面对量子力学实验中的种种奇特现象和由此产生的佯谬，科学家们越来越热衷于谈到平行宇宙，即量子力学的多宇宙解释。而哲学和逻辑上与平行宇宙相应的理论也产生了，这就是可能世界理论。 　　最早提出可能世界概念的是德国数学家、哲学家莱布尼茨，他是数理逻辑的先驱。现在的可能世界理论分为两大派别：一派是以美国逻辑学家克里普克为代表的温和可能世界理论，另一派是以美国逻辑学家刘易斯为代表的激进可能世界理论。前者认为可能世界（包括物理上可能和物理上不可能两大类）中的非现实世界只是理论上存在，是一种像著名逻辑学家卡尔纳普所使用的“状态摹状”或者描述事物的极大协调集。后者则认为可能世界中的非现实世界也像现实世界一样存在着，也就是说物理上可能存在的非现实世界也存在，物理上不可能存在的非现实世界也存在。 　　前苏联学者莫斯捷帕年科在其《“可能世界”思想和现代物理学》论文中指出：“不能排斥另一些世界的存在，它们有另一种时空拓扑结构，有取另一些数值的宇宙常数，有另一些自然规律形式，有宇宙系统的另一些初始条件，以及其它等等。”显然，平行宇宙认同的是后一种激进可能世界理论。 　　可能世界的一个核心问题是有关莱布尼茨替换规律的，也就是存不存在所谓能“跨越不同可能世界”的同一个体，简称为“跨界同一性”问题。莱布尼茨替换规律一般表述为：对任何个体x和y，x同一于y当且仅当x和每种性质都是y的每种性质。假如在每个迥然不同的可能世界与可能世界、平行宇宙与平行宇宙之间，x和y都能互相替换而性质不变，那么就可认为x和y是跨界同一个体。 　　但我们知道，可能世界与可能世界、平行宇宙与平行宇宙之间必须（至少有一点）是不同的，而且还是某种本质上的不同。如果可以把每个世界都用一个庞大的公理系统表达，类似欧几里得几何或策墨罗—弗兰克尔公理集合论，每个世界就至少有一条互不相同的公理。如设现实世界是W0，其它可能世界是W1、W2、W3……再假定W0就是用欧氏几何表达，那么W1就可能用罗巴切夫斯基几何表达，W2就可能用黎曼几何表达，W3又可能用第三种非欧几何表达。它们的不同都体现在平行公理上，平行公理改变了，为了保持各种几何的协调性，其它的公理和初始概念都要有相应的改变，从而一切定理和导出概念也随之改变。如果假定W0是用策墨罗—弗兰克尔公理集合论表达，那么W1、W2等就可能用一种非策墨罗—弗兰克尔公理集合论也即非康托尔集合论的公理系统表达，它们的不同体现在选择公理和连续统假设上。 　　当然，最应该假定的是W0遵循从牛顿力学到爱因斯坦相对论这一套物理学的公理系统，那么光速不变原理就是W0的一条公理或定理。当W1像改变平行公理一样改变了光速不变原理，在W1里光速就是可以超越的，这种情况下为了保持公理系统的协调性，也就是不产生矛盾，其它所有的概念、公理和定理都将随之改变，以适应超光速的新情况。按照莱布尼茨替换规律就不存在跨越几种公理系统而保持不变的概念，也就是说即使理论上也不存在跨越几个世界而保持不变的个体。 　　可能世界却要承认这样的概念、个体存在，否则的话它本身没有任何存在的证据，也就没有意义了。 　　为了解决这个矛盾，克里普克提出了所谓“本质主义”的“个别本质”说，我们可以这样来理解：某一个体在W0里不能达到超光速，但它的速度并非“个别本质”，仅仅是个偶然属性，所以不影响它适用莱布尼茨替换规律，它的性质在W0和W1都是同一的。这在W1里也许说得通，因为W1里爱因斯坦相对论不成立，我们可以说个体的速度、质量和能量等都不是它的个别本质，换到相对论成立的现实世界W0就有点说不过去了。根据狭义相对论，我们知道个体的速度和质量是有关联的。按照著名的质能方程，质能相当，我们再说一个个体的能量、质量都不是它的个别本质，恐怕就很难让人信服了。 　　克里普克本质主义的解决方案是有疑点的，由刘易斯提出的“副本”或“对应体”说则困难更大，因为它几乎使一切反事实条件句失去意义，也就威胁到了平行宇宙理论的本体地位，这和刘易斯的激进可能世界观点也是相悖的。 　　跨界同一性问题至今没有能够彻底解决，如果关于它的最终答案是肯定的，那么可能世界也就能作为平行宇宙的理论基础或数学模型，UFO也好，UAP（不明空中现象）也好，一切已有的科学知识无法说明的超现实、超自然的东西，都可以作为跨越不同平行宇宙间的同一个体处理，得到协调而完美的解释。 　　当然，可能世界也不是这样一个大菜篮，只要拣到篮里的都是菜，它包括现实世界，也包括非现实世界；包括物理上可能的世界，也包括物理上不可能的世界，却不包括“不可能世界”，即逻辑上不可能的世界。 　　经典逻辑理论把违反矛盾律并非（p且非p）作为不可能世界的标志，这不一定是妥当的。我们看一看量子力学中著名的薛定谔猫佯谬：一个量子系统有两种叠加态，活猫态和死猫态。