往期回顾 | 《逻辑学研究》2022年第1期目录及摘要
逻辑学研究 2022年第1期
第15卷（总第62期）2022年2月18日出版
双月刊 2008年创刊
目 录
专栏：现代逻辑会议 主持人：文学锋
❖基于迭代分解的特征化概率论辩语义求解方法
陈东恒、廖备水
❖基于可能性逻辑的结构化论辩理论P-ASPIC+
崔建英
❖二阶修正KROM 逻辑的表达能力与复杂性
冯世光、王克诩、赵希顺
❖冯诺依曼型元胞自动机和自指语句
邬舒雯、熊明
❖法律证据事实的逻辑方法探析
杜文静、刘海
❖《吕氏春秋》中的“类”观念及其说理
李秋红
论文摘要
基于迭代分解的特征化概率论辩语义求解方法
陈东恒（浙江大学逻辑与认知研究所）、廖备水（浙江大学逻辑与认知研究所）
摘要：抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具。关于概率论辩语义的求解，现有的基于特征化子图的方法可以在很大程度上提高算法的计算效率，但在枚举特征子图时仍存在一定的盲目性。针对该问题，本文在现有方法的基础上提出了一种基于迭代分解的改进方法，通过对概率论辩框架进行迭代分解，减小了枚举域的大小，降低了计算量。实验结果表明，改进方法在计算速度上较原算法有所提高，提升幅度约为2个数量级。
基于可能性逻辑的结构化论辩理论P-ASPIC+
崔建英（中山大学逻辑与认知研究所、中山大学哲学系）
摘要：抽象论辩框架（AF）是定性分析非单调常识推理的经典理论，基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑，提出结构化论辩理论P-ASPIC+，该理论满足良性论证系统的合理性公设条件，可量化处理论证中的不确定性知识，拓展ASPIC+的定性推理能力，避免利用概率理论量化AF理论所导致的概率分布不一致、不完全，以及论证概率解释不清等问题。
二阶修正KROM 逻辑的表达能力与复杂性
冯世光（南通大学信息科学技术学院）、王克诩（中山大学逻辑与认知研究所）、赵希顺（中山大学逻辑与认知研究所）
冯诺依曼型元胞自动机和自指语句
邬舒雯（华南师范大学哲学与社会发展学院）、熊明（华南师范大学哲学与社会发展学院）
摘要：熊明（2020）把初等元胞自动机与自指语句结合起来进行研究，建立起二者在演化过程方面的紧密关联。沿此路径，本文主要考虑一类称为总和型的二维冯诺依曼型元胞自动机，给出其自指语句表达形式。并且通过利用自指语句的性质，寻找元胞自动机相对应的不动点，将其与自指悖论相联系。同时，通过分析其演化过程的（不）稳定性特征，进行了相应的分类。
法律证据事实的逻辑方法探析
杜文静（华东政法大学文伯书院）、刘海（上海对外经贸大学统计与信息学院）
摘要：本文从法律逻辑视角探讨了司法证明中证据与事实之间的证据推理，并提出运用过程的明示化是实现理性证明的重要保证。证据推理的目的是构建案件事实，其过程是多种推理类型的综合运用，但从证据到案件事实的构建，背后的理念是一种最佳解释推论。最佳解释推论是异于演绎推理、归纳推理、类比推理的新型推理模式，它包括构建解释、比较解释、选择解释这三个思维过程。最佳解释推论为法律逻辑学的实践转向提供了新的视野和研究方法，对我国司法改革和司法证明的科学化具有重要的借鉴意义。
《吕氏春秋》中的“类”观念及其说理
李秋红（中国人民大学哲学院）
摘要：《吕氏春秋》是一部“杂家”著作，具有兼收并蓄的特点，其中“类”概念也有多重意义。以往的研究主要是从逻辑学的进路展开，把《吕氏春秋》中的“类”都解释为对类比推理的原则或方法的阐发。这种解释具有一定合理性，却未揭示出《吕氏春秋》“类”观念的特定内涵与作用。因为，一方面《吕氏春秋》“邻类”“类固不必”两个命题中的“类”有特定所指：“邻类”指行动方法与结果之间必然的因果联系，“类固不必”则指事物的价值应当依据实际应用效果而非说理规则来评判；另一方面，《吕氏春秋》论说“类”的观念是为了阐发政治伦理主张，对统治者修身、治国等各方面的行动进行劝说。而在说理中必须考虑到当时的社会局势、被劝说者的文化心理与个人偏好等因素，才能发挥说理的效力。因此，不能简单地套用类比推理来解释《吕氏春秋》中的“类”观念，而应当将对“类”的界说与基于“类”的说理相结合，还原到其思想背景与说理情境中去加以理解。