现代模态逻辑对必然性的刻画

从亚里士多德开始就有关于必然性的讨论,其后的麦加拉和斯多葛学派,甚至用时态的观点来解释必然性。而莱布尼茨则建立了初步的可能世界理论,也区分了必然命题和偶然命题。但对必然性刻画最清楚的,还是现代模态逻辑,尤其是可能世界语义学。由各个模态逻辑公理系统,我们可以清晰地看到对必然性的不同刻画,甚至由K和D系统,我们还可以对必然性进行分层次的理解,这是其他任何一种解读方式所达不到的。如果说,对后面几个刻画不同必然性的公理模式比较缺乏直观上的理解,那么可能世界语义学则为我们提供了一个理解必然性的形象而直观的工具:将对必然性的不同理解转化为对不同物理空间的描述。