科研之友
微信
新浪微博
Facebook
分享链接
摘要
模态逻辑有算子和谓词两种研究方法，但谓词方法始终面临悖论的困扰。算子方法虽然避免了蒙塔古式悖论，但孔斯却构造了算子方法中的新悖论，因此算子方法并不能作为模态谓词悖论的解决方案。形形色色的模态谓词悖论无不隐含着对真之原则的不当使用，不一致的真理论是导致模态谓词悖论的根本因素。模态算子逻辑的成功在于它化解了不一致真理论的威胁。谓词方法倘若忽略了这个关键点，也效仿算子方法对真的处理，则必然导致悖论。解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词，以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础。
- 单位
