典型文献
模态逻辑与真理论
文献摘要：
模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰.算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案.形形色色的模态谓词悖论无不隐含着对真之原则的不当使用,不一致的真理论是导致模态谓词悖论的根本因素.模态算子逻辑的成功在于它化解了不一致真理论的威胁.谓词方法倘若忽略了这个关键点,也效仿算子方法对真的处理,则必然导致悖论.解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词,以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础.
文献关键词：
模态逻辑;真理论;谓词;算子;悖论
中图分类号：
作者姓名：
李晟;胡泽洪
作者机构：
四川师范大学哲学学院,四川成都,610066;华南师范大学哲学与社会发展学院,广东广州,510631
文献出处：
引用格式：
[1]李晟;胡泽洪-.模态逻辑与真理论)[J].学术研究,2022(07):36-43
A类：
蒙塔古
B类：
模态逻辑,真理论,谓词,悖论,子方,古式,形形色色,倘若,效仿,立模,公理化,语形,语义基础
AB值：
0.207802
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
