近几十年来,可能世界语义学的发展方兴未艾,但由“可能世界”的定义及其本体地位问题引起的纷争一直不断,且有愈演愈烈的趋势。威廉姆森正是在这种情况下提出了自己关于必然主义的理论,提倡用偶然与必然的对立取代可能与现实的争斗,以此来澄清各种混淆不清的争执。他提出了著名的关于必然主义的三个论证:一是基于巴肯公式的论证;二是基于存在限制的论证;三是基于强模态概括公理的论证,其中第三个是他最重要的论证,我们又称之为核心论证。威廉姆森必然主义的形成不可避免地受到了莱布尼茨的影响。莱布尼茨在非模态领域提出了关于可能与必然的主张,他的“完整概念”和“可能世界”理论对威廉姆森建立自己的理论起到了前期指导作用。莱布尼茨认为,个体并不存在偶然属性,所有属性已经预先地包含在个体实体中了。同时在哲学上,莱布尼茨主张,与现实世界相对立的可能世界是可能存在的,可通过反事实设想构造出许多可能世界。核心论证是以高阶模态逻辑作为背景逻辑,以强模态概括公理为前提,对必然主义进行的论证。高阶模态逻辑的形成具有重要意义,它以一种更为广泛的方式拓宽了人们的理论视野。模态概括公理是指,对于任意公式都存在一个与之等价的性质,威廉姆森由此通过论证得出,在高阶模态逻辑中必然主义比偶然主义更有优势。威廉姆森试图通过必然主义的有效性论证形而上学的地位,实现从逻辑向形而上学的复归。他在一定程度上实现了这个目标,但他关于必然主义的核心论证也不乏问题。正确认识威廉姆森的必然主义论证,从而更多的发掘出实现形而上学复归的道路,这对我们来说仍然任重道远。