本網訊（通訊員孫中陽）2021年12月4日，由beat365体育官网主辦的“蒂莫西·威廉姆森談他自己的哲學”系列講座第六講圓滿舉行，本次講座的主題為“必然主義”。本場講座通過學術志網站平台進行，beat365体育官网程勇教授主持。beat365体育官网Peter Finocchiaro副教授評議。beat365体育官网以及校内外、海内外的老師和學生參加了講座。

在本次講座中，威廉姆森教授探讨了自己在模态形而上學方面的工作。模态形而上學關注模态(可能性、必然性)與其他形而上學問題之間的相互作用。通過在一階邏輯的語言中增加關于可能性和必然性的算符，模态形而上學的原則可以在一階模态邏輯的形式語言中精确地表達出來。威廉姆森教授首先探讨了傳統一階模态邏輯處理同一性和存在性的不對稱性。傳統一階模态邏輯将同一性和非同一性視為必然，而拒絕偶然的同一性；但卻不把存在和非存在視為必然，而是接受偶然的存在性。在威廉姆森教授看來，同一性和存在性的邏輯性質相似，不對稱地對待同一性和存在性是十分反常的。

緊接着，威廉姆森教授首先作出如下澄清：可能性是指形而上學意義下的可能性，而不是認識論意義上的可能性。接下來，威廉姆森教授給出了關于偶然存在性的例子。對于這個例子的傳統解釋是假設有n個t型粒子(n≥1)。但是可能有更多的t粒子，比如n + 1。所以可能多一個t粒子，但實際上并不存在。所以實際不存在并不意味着必然不存在。類似地，t粒子也可能更少，比如說n -1。所以實際有一個t粒子，但它可能不存在。所以實際存在并不意味着必然存在。然而威廉姆森教授對這樣一個例子給出了一個完全不同的解釋。威廉姆森教授指出，存在和非存在不是偶然特征，“存在n個物體”和“不存在n個物體”才是偶然特征。

基于上面的例子，威廉姆森教授引出了本次講座的主題——必然主義。必然主義的原則是存在和不存在是必然特征；對必然主義的否定是偶然主義。必然主義的時态對應版本是永久主義，其稱存在和不存在是永久(不變)的特征；永久主義的否定是暫時主義的。威廉姆森教授認為必然主義簡化了模态邏輯和形而上學，永久主義簡化了時态邏輯和形而上學。在可能世界語義學方面，必然主義相當于“常項域語義學”：即在一個給定的模型中，任何兩個世界必須具有相同的個體論域。偶然主義對應于“變項域語義學”：即在一個給定模型中，任何兩個世界可能具有不同的個體論域。 在必然主義下，如下兩個著名的公理模式是成立的：Barcan公式◊∃xFx→∃x◊Fx及其逆公式∃x◊Fx→◊∃xFx。而對于偶然主義，這兩個公式都不成立。

一階模态邏輯的公理和形式語義學之間的對應關系，已經被深入研究，并且在20世紀80年代被廣泛理解。然而，威廉姆森教授發現一階模态邏輯的公理和非形式語義之間的關系，卻很少被研究和理解。 他由此引出本次講座探讨的第二部分内容：對于非形式語義而言，一個一階模态邏輯的公式是有效的意味着什麼？例如，若我們将□解讀為形而上學的必然性，将◊解讀為形而上學的可能性，那麼公式£p →p是有效的意味着什麼？因p代表任意的命題，公式£p →p有效意味着∀p (□p →p)為真。威廉姆森教授指出，假設一個一階模态邏輯公式是有效的等價于其全稱概括形式為真，由于全稱概括通常涉及量化語句或謂詞，它是更高階模态邏輯中的一個公式；因此，要理解一階或高階模态邏輯中的非形式有效性，就需要在更高階模态邏輯中進行研究。 全稱概括本身并不是任何特殊意義上的元語言學或元邏輯學;它隻是對所有的屬性或命題作高階類比，這種全稱概括屬于形而上學。因此，在研究模态公式的有效性時，我們實際上是在做形而上學。考慮到模态邏輯和形而上學之間的重疊，威廉姆森教授遵循一種溯因方法論為模态邏輯的原則作辯護。正是這種原則暗示了必然主義的高階類比，因此溯因地支持了其必然主義的思想。

威廉姆森教授指出自己使用高階邏輯作為理解形而上學的方法是結合了蒯因最不贊同的兩個方面:高階邏輯和模态邏輯。雖然這削弱了蒯因對形而上學承諾的著名分類，然而在更一般的層面上，作為形而上學的模态邏輯的方法論符合奎因在“經驗主義的兩個教條”中關于邏輯的反例外主義。在文章《模态科學》(2016)中，威廉姆森教授進一步将這種方法論應用于模态形而上學，得出了反奎因的結論。文章展示了模态邏輯如何使我們能夠提取許多自然科學中使用的數學模型中隐含的模态内容，特别是那些動态系統理論模型(例如混沌理論)。講座的最後，威廉姆森教授扼要解釋了自己反對劉易斯模态實在論觀點的原因。

在評議環節，Peter Finocchiaro副教授高度評價了威廉姆森教授的講座，并就劉易斯的模态實在論及其反駁論證，理論選擇中簡單性的衡量标準，必然主義與模态實在論理論簡單性的比較等問題與威廉姆森教授進行了交流。之後參會觀衆及陳波教授、程勇教授提出可能對象的本質、模态同一性與萊布尼茲同一性原則，Barcan公式變體的有效性等方面問題，威廉姆森教授耐心一一回答并提出自己的看法。

最後，主持人程勇教授對威廉姆森教授的此次講座表達了感謝，本場講座圓滿結束。

（編輯：鄧莉萍   審稿：嚴璨、吳昕炜）