现实化的可能体与最简的量化模态逻辑

现实论(actualism)这项方案,旨在清除逻辑与模态形而上学中那些讨人嫌的本体论承诺。它从一切存在的都是现实的这个观点出发,试图重新解释语言,以避免承诺“可能体”(possibilia)的存在。所谓“可能体”,指那些可能的,但非现实的对象。量化模态逻辑(QML)似乎就要求这种对象存在。最简QML为古典量化理论与模态命题逻辑之合并,可是它使巴康(Barcan)公式(今日x由→ax令Q)有效。从而,由可能存在一头会说话的驴子这个事实,就推出了存在某物,它可能是一头会说话的驴子。这看起来在宣称一个可能实体的存在(假定每个现实的东西都不可能是会说话的驴子)。现实论者们大力主张克里普克(Kripke)所描述的语义学,以此来免除这项承诺,这种语义学采用了可变论域,因而使巴康公式归于无效。