10.3969/j.issn.1000-7326.2022.07.006
模态逻辑与真理论
模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰.算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案.形形色色的模态谓词悖论无不隐含着对真之原则的不当使用,不一致的真理论是导致模态谓词悖论的根本因素.模态算子逻辑的成功在于它化解了不一致真理论的威胁.谓词方法倘若忽略了这个关键点,也效仿算子方法对真的处理,则必然导致悖论.解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词,以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础.
模态逻辑、真理论、谓词、算子、悖论
B81(逻辑学(论理学))
国家社会科学基金17ZDA025
2022-08-17(万方平台首次上网日期,不代表论文的发表时间)
共8页
36-43