新刊速递 | 《逻辑学研究》2023年第5期目录及摘要
逻辑学研究 2023 年第 5 期
第16卷（总第72期）2023年10月18日出版
双月刊 2008 年创刊
目 录
❖康德论逻辑的本性——兼与前期维特根斯坦相关观点的比较
韩林合
❖论证型式的规范性
田洁 ，晋荣东
❖经典决策论的规范性问题及其回应
宋子明
❖周延理论难题及其解决方案
张燕京，李邢睿
❖非正规模态逻辑 C2 的时态扩张
涂保勋
❖基于人工智能的多 Agent 协同辩证逻辑推理方法
黄海，桂起权
论文摘要
康德论逻辑的本性
——兼与前期维特根斯坦相关观点的比较
韩林合（北京大学外国哲学研究所，北京大学哲学系）
摘要：在其一生的哲学研究和教学生涯中，康德对逻辑给予了特别的关注。他所关注的逻辑首先是沃尔夫学派的逻辑，进而是亚里士多德所建立的传统逻辑。康德对亚里士多德逻辑做出了极高的评价，认为它“已经结束了并且完成了”。但是，这并非就意味着康德对这样的逻辑就无法做出任何实质性的贡献了。实际上，康德对传统逻辑进行了系统的整理和改造，澄清了逻辑的许多基本概念，特别是他对逻辑的本性做出了深入的思考。在思考逻辑的本性问题过程中，他对逻辑与世界内的对象的关系问题给出了极为深刻的回答。他回答中的一些内容可以说颇为现代，与维特根斯坦的相关观点在某种程度上不谋而合。
论证型式的规范性
田洁（华东师范大学哲学系）
晋荣东（华东师范大学哲学系）
摘要：论证型式刻画了既非演绎也非归纳的所谓第三类论证即假定性论证的推论结构。以非形式逻辑学家沃尔顿、布莱尔、汉森为代表的肯定派主张型式具有规范性，平托则对这一主流看法表示反对。通过对肯定派与否定派相关论述的批判性考察，本文厘清了“论证型式的规范性”论题的内涵，提出型式的规范性包含证明力与约束力双重维度；其次，讨论了批判性问题在评估假定性论证时的显性运用和隐性运用，揭示了肯定派论述中的不一致与概念混淆，在平托的基础上进一步论证了型式没有证明力，没有推论性联系上的好坏之分，假定性论证不能仅凭所例示的型式而区分出好坏；最后，考察了型式与论证提出者、接受者在对话中的行为之间的关系，修正了肯定派的某些提法，认为型式能够引导论证参与者根据对话类型的目标与规则进行话步交换并对实际对话进行评估，但这种约束是间接的、有限度的。
经典决策论的规范性问题及其回应
宋子明（四川大学哲学系）
摘要：决策论哲学中的一个重要问题是如何在规范层面上理解经典决策论。即使作为形式工具，自创始之初它就被认为符合人类理性选择的某些基本原则，被用来说明和预测选择行动。这一决策论的心智主义解释预设理论元素具有心理实存对应物。当代对心智主义预设的质疑认为，它误解了决策论的形式理论。同时，决策论的规范维度也受到行为经济学等实证研究的挑战。然而，通过进一步分析决策论的规范性刻画问题，本文辩护一种从规范层面刻画经典决策论的立场，旨在表明规范性决策论是评估选择合意性的一种“逻辑”。
周延理论难题及其解决方案
张燕京 （河北大学哲学与社会学学院）
李邢睿 （河北大学哲学与社会学学院）
摘要：传统词项逻辑试图接纳亚里士多德逻辑不认可的负词项，但这使得传统词项逻辑成为了一个不一致的理论，原因是负词项的引入与传统的周延理论存在冲突。取消负词项的合法地位可以直接消解不一致性，但会极大缩小词项逻辑的表达与推理能力。因此，对周延理论进行怎样的修改才能使词项逻辑恢复一致并判定出全部有效三段论，是词项逻辑面临的一大难题。传统逻辑学家对该难题进行了一定的探索，但并没有产生一个公认可行的解决方案。现代逻辑学家对该难题的研究存在两种路径：一是在保留周延性传统内涵的基础上修改命题中词项周延性的四条规定，二是修改或删除周延性传统内涵以保留命题中词项周延性的四条规定。其中第二种路径可以与现代逻辑的研究成果相结合并进一步判定出接纳负词项的全部有效三段论，体现了词项逻辑中周延理论最前沿的发展趋势。解决该难题有助于完善逻辑学的理论，促进词项逻辑的进一步发展。
非正规模态逻辑 C2 的时态扩张
涂保勋（中山大学逻辑与认知研究所，中山大学哲学系）
摘要：本文构建了非正规时态逻辑C2t的矢列演算GC2t。运用高野道夫（M.Takana）的语义方法证明了GC2t的子公式性质，进而证明了GC2t的有穷模型性和可判定性。另外，本文还证明了GC2t的插值性质。
基于人工智能的多Agent协同辩证逻辑推理方法
黄海（许昌学院马克思主义学院，同济大学移动源后处理研究院）
桂起权（武汉大学哲学院）
摘要：为消除Agent内部信念冲突，实现多Agent的协同运行，利用人工智能技术，设计多Agent协同的论辩式辩证逻辑推理方法。根据Agent的组成结构以及多Agent之间的通信方式，建立多Agent协同模型。在该模型下，利用人工智能技术，求解多Agent协同任务，消解Agent间冲突。通过计算识别出微小变化会导致系统行为重大变化的关键变量，找到推理依据，在推理论据和规则的支持下，实现多Agent 协同的论辩式辩证逻辑推理。实验结果表明，设计论辩式辩证逻辑推理方法的加速率提高了1.4，多Agent之间的协同程度提高了4.12，同时抵制恶意节点的成功率提升了12.6%，具有更好的应用效果。