从奎因的角度看模态逻辑

【摘要】现代模态逻辑是经典逻辑加上模态算子进行扩张而形成的一种新形式系统，它一经提出，就遭到了奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑，他甚至主张，模态逻辑应该完全被抛弃。本文主要探讨了奎因是如何一步一步批判模态逻辑的，并详细剖析了模态逻辑之所以在逻辑上和哲学上都站不住脚的根源是由于模态语境指称的暧昧性，而这种暧昧性是来源于模态算子的含糊性。虽然此后很多逻辑学家论证了奎因的批判不能成立，但奎因对模态逻辑的深入思考和他提出的质疑对模态逻辑的发展还是具有极其重要的意义的。

【关键词】模态逻辑；从言模态；从物模态

现代模态逻辑是经典逻辑的一种扩张，它是在经典逻辑的基础上加上模态算子而形成的一种新形式系统，它是为解决经典逻辑中的“实质蕴涵”问题而建立起来的。由于它在发展初期建立了各种模态系统，但却没有提出比较完善的语义解释，因而受到了当时很多学者的质疑，其中以奎因最为典型。奎因对模态逻辑进行了严厉甚至是毫不留情的批判，并得出了一个令人震惊的结论：模态逻辑应该完全被抛弃。本文主要探讨了奎因是如何一步一步批判模态逻辑的，并详细剖析了模态逻辑之所以在逻辑上和哲学上都站不住脚的根源是由于模态语境指称的暧昧性，而这种暧昧性是来源于模态算子的含糊性。……