论威廉姆森的必然主义

威廉姆森在他的新著《作为形而上学的模态逻辑》中论证了必然主义,即必然地任何东西都必然地是某个东西,或者说,任何对象都存在于任何可能世界中。首先重构他支持必然主义的三个论证:诉诸于巴肯公式的论证、诉诸于存在限制的论证以及诉诸于模态概括公理的论证。其次阐释他通过逻辑原则得出形而上学结论的方法论启示。威廉姆森的工作对于推动当代分析形而上学的发展具有重要意义。