主论证也叫“第奥多鲁疑难”，是古希腊麦加拉学派哲学家第奥多鲁为自己的“可能”概念寻找生存空间而提出的。爱比克泰德所记录的主论证表明第奥多鲁已从三个命题的联言推论出矛盾。主论证与必然、偶然和自由有关，现仅残留三个命题与不相容的结论，而无论证过程。三个命题：A、每一个关于过去的真命题是必然的；B、可能在逻辑上不蕴涵不可能；C、现在不真将来也不真的命题是可能的。这三个命题不相容，即任意两个命题与另一命题不相容。第奥多鲁通过否定命题C来消除这种不相容性，建立了第奥多鲁模态系统，并与亚里士多德展开了关于“可能”的争辩。然而，这三个命题如何不相容?如何推论?第奥多鲁的解答是否正确?为了解决这些问题，法国哲学家维耶曼重建主论证。维耶曼发现，亚里士多德的著作《论天》中驳斥柏拉图宇宙论假说里的不相容性的论证最接近主论证的论证思想，两者的论证过程与所用的原理大同小异，异曲同工。从《论天》论证中，维耶曼分析出四个专有原理：1、模态守恒原理；2、可能的可能实现原理或模态历时膨胀原理以及假言必然原理；3、不可能实现过去的偶然可能原理；4、从未实现的可能存在原理。其中后三个原理也为主论证所有。根据这些原理，维耶曼运用现代逻辑与增加前提来重建《论天》的论证，并根据《论天》的论证思想重建主论证，十分精巧地再现了两者的论证过程。此外，维耶曼利用托马斯·杨的双缝装置为思想模型，以概率逻辑和统计学为工具操作了一个独特的思维实验，在经典力学和量子力学系统中分别检验与诠释第奥多鲁的解答，呈现别样景致。在经典力学系统中，第奥多鲁解答正确，而在量子力学系统中，第奥多鲁解答错误。
本文来源: https://www.lw50.cn/article/ba0c1ac38cff114491e55bb4.html