从奎因的角度看模态逻辑

摘要

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