紧缩真理论的多元化发展-重庆理工大学学报.PDF

重庆理工大学学报（社会科学）　　２０１６年第３０卷第３期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３０Ｎｏ．３２０１６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１６．０３．００２ 主持人语： 中国逻辑学会会长　邹崇理 研究员 　　传统的紧缩真理论似乎自诞生之初就是与真之符合论对立的，而且这种传统的紧缩论在其发展过程中一直是存在缺 陷的。李娜教授等的《紧缩真理论的多元化发展》阐释了稳健的紧缩论、反紧缩论、弱紧缩论、双面真的紧缩论，并指出紧 缩论的工作还要继续，但一定要在保持一致性的前提下努力探寻一种新的紧缩论，从而更加全面客观地反映真之本质。 孙雯博士后和杜国平研究员在《吉伯德 萨特思韦特防策略不可能性定理的逻辑初探》中借助公理化的方法探讨吉伯 德 萨特思韦特防策略不可能性定理，并形式化地给出定理的内容和证明，把精细的逻辑推理应用于复杂的过程分析中， 使防策略投票这一过程形式化、清晰化，从而指导人们进行合理、有效的决策活动。最终完美地刻画和解决策略投票问 题，这在今天具有重要的理论意义和现实意义。 在理性主体寻求达成其目的的过程中，信念、愿望和意图起着重要的作用。作为认知型智能Ａｇｅｎｔ，其典型的行为模 型就是ＢＤＩ逻辑框架。由Ｒａｏ和Ｇｅｏｒｇｅｆｆ提出的信念 愿望 意图逻辑是建立在分支时间可能世界模型的基础之上的。林 颖教授等在《信念 愿望 意图逻辑探析》中展示了Ｒａｏ和Ｇｅｏｒｇｅｆｆ提出的ＢＤＩ逻辑的主要思想及相关内容。 周龙生博士在《怀疑逻辑的弗协调方案探赜》中，通过在系统ＳＰＮ内定义相关的认知模态算子的方法，提供了一个建 立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。由此，怀疑逻辑三分认知世界的设想得以实 现，同时由于弗协调认知逻辑的原因，一些怀疑逻辑公式的有效性发生了变化。 紧缩真理论的多元化发展 李　娜，孙新会 （南开大学 哲学院，天津　３０００７１） 摘要：传统的紧缩真理论似乎自诞生之初就是与真之符合论对立的，而且这种传统的紧缩论在 其发展过程中一直是存在缺陷的。２０多年来，对紧缩真理论的研究呈现多元化发展的态势。 在阐释稳健的紧缩论、反紧缩论、弱紧缩论、双面真的紧缩论基础上，指出必须在保持一致性的 前提下努力探寻一种新的紧缩论，从而更加客观地反映真之本质。 关键词：紧缩真理论；多元化；真之符合论 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１６）０３－０００７－０６ ＤｉｖｅｒｓｉｆｉｅｄＤｅｖｅｌｏｐｍｅｎｔｏｆＤｅｆｌａｔｉｏｎｉｓｍ ＬＩＮａ，ＳＵＮＸｉｎｈｕｉ （ＣｏｌｌｅｇｅｏｆＰｈｉｌｏｓｏｐｈｙ，ＮａｎｋａｉＵｎｉｖｅｒｓｉｔｙ，Ｔｉａｎｊｉｎ３０００７１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｇｅｎｅｒａｌｌｙ，ｉｔｉｓｃｏｎｓｉｄｅｒｅｄｔｈａｔｔｈｅｃｏｎｖｅｎｔｉｏｎａｌｄｅｆｌａｔｉｏｎｉｓｍｉｓｏｐｐｏｓｉｔｅｔｏｔｈｅｃｏｒｒｅｓｐｏｎ ｄｅｎｃｅｔｈｅｏｒｙｏｆｔｒｕｔｈ，ｗｈｉｌｅｓｕｃｈｄｅｆｌａｔｉｏｎａｒｙｔｈｅｏｒｙｉｓｆｌａｗｅｄ．Ｔｈｉｓａｒｔｉｃｌｅｆｏｃｕｓｅｄｏｎｔｈｅｄｉｖｅｒｓｉｆｉｅｄ 　　收稿日期：２０１５－０９－０２ 基金项目：国家社会科学基金项目“公理化真理论研究”（１２ＢＺＸ０５９） 作者简介：李娜（１９５８—），女，河南开封人，教授，博士生导师，研究方向：现代逻辑。 引用格式：李娜，孙新会．紧缩真理论的多元化发展［Ｊ］．重庆理工大学学报（社会科学），２０１６（３）：７－１２． Ｃｉｔａｔｉｏｎｆｏｒｍａｔ：ＬＩＮａ，ＳＵＮＸｉｎｈｕｉ．ＤｉｖｅｒｓｉｆｉｅｄＤｅｖｅｌｏｐｍｅｎｔｏｆＤｅｆｌａｔｉｏｎｉｓｍ［Ｊ］．ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆ