新刊速递 | 《逻辑学研究》2022年第6期目录及摘要
逻辑学研究 2022 年第 6 期
第15卷（总第67期）2022年12月18日出版
双月刊 2008 年创刊
目 录
--英文目录--
Symposium: Causal Modeling and Its Related Logical and Philosophical Issues
Wenfang Wang
❖Indicative Conditionals as Epistemic Filter Conditionals
Fei Liang, Wenfang Wang
❖A Qualitative Logical Analysis of Probabilistic Causal Models
Kaibo Xie
❖Counterfactual Triviality and Structural Causal Models
Xiaoan Wu
❖Causation as a Tool or Causation as a Target
——The Analysis of Pearl’s and Lewis’ Theory of Causation
Zhanglyu Li, Shangcheng Tang
❖Algorithmic Correspondence Theory for Sabotage Modal Logic
Zhiguang Zhao
--中文目录--
专栏：因果模型与相关之逻辑与哲学问题
主持人：王文方
❖认知过滤式指示条件句
梁飞，王文方
❖概率因果模型的质化逻辑分析
谢凯博
❖反事实的贫乏性与结构因果模型
吴小安
❖以因果为工具与以因果为对象
——珀尔与刘易斯的因果理论之辨
李章吕，唐上程
❖破坏模态逻辑的算法对应理论
赵之光
论文摘要
认知过滤式指示条件句
梁飞（山东大学哲学与社会发展学院；山东大学概念与推理研究所）
王文方（山东大学哲学与社会发展学院；山东大学概念与推理研究所）
摘要：Deng 和 Lee（2021）使用“外推式”因果模型语义学对指示条件句进行了刻画。这种刻画方式要求我们对变量先进行优先级排序并用它计算出外推子模型的排序，然后在此基础上定义出最小外推子模型集从而解释指示条件句的语义。在本文中，我们首先论证这一刻画指示条件句的方式会产生不必要的复杂性，并且可能会产生错误的结果。随后，我们提出了一种对指示性条件句的“认知过滤式”刻画，并证明这种刻画可以成功地避免上述问题。
概率因果模型的质化逻辑分析
谢凯博（清华大学哲学系）
摘要：因果推理往往需要处理不确定性。尽管传统的结构等式模型擅于处理确定因果结构中的推理，却不能直接用来刻画涉及概率的因果推理。当前一些学者试图将量化的概率表达式引入到关于因果性的形式语言中，从而描述概率因果推理。有别于这种量化研究路径，本文提出一种关于概率因果推理的质化模型，通过认知关系来表达变元的不确定性。此外，基于该模型的形式语言能够在质化的意义上表达变元间的独立关系，有助于进一步研究因果与概率之间的联系。
反事实的贫乏性与结构因果模型
吴小安（西北工业大学马克思主义学院 西北工业大学陕西省舆情信息研究中心）
摘要：威廉姆斯提出了反事实贫乏性问题。在本文中，我仔细考察了威廉姆斯的贫乏性结果所依赖的四个前提，并在结构因果模型的框架内，证明了这四个前提中的两个前提（CRT和CVPP）分别应用于两种不同类型的反事实条件句，所以在两个前提中所使用的(C)并不等价，从而证明了威廉姆斯的贫乏性结果并不成立。
以因果为工具与以因果为对象
——珀尔与刘易斯的因果理论之辨
李章吕（西南大学逻辑与智能研究中心）
唐上程（西南大学逻辑与智能研究中心）
摘要：珀尔的因果理论与刘易斯的因果理论在当今因果关系研究领域都具有重要地位，但学界对两种理论的差异与适用范围的讨论是不足的。通过使用珀尔的结构因果逻辑处理刘易斯因果理论遭遇的三大疑难，即“抢先”问题、“副现象”问题、“充分必要条件下倒果为因”问题，发现上述疑难都能被轻易消解。“轻易消解”的深层次原因是：在逻辑层面，珀尔认为“真值不影响因果关系”，而刘易斯认为“真值会影响因果关系”。这种逻辑层面的差异解释了珀尔和刘易斯因果理论的最大差异：以因果为工具与以因果为对象。珀尔的因果理论适合处理“因果工具型”问题，该类问题的特点在于默认了因果关系的存在；刘易斯的因果理论适合处理“因果对象型”问题，该类问题的特点在于不认为“因果”是一个可以不加分析而被使用的初始概念。
破坏模态逻辑的算法对应理论
赵之光（泰山学院数学与统计学院）
摘要：破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子，解释成“在删掉一条边后，公式为真”。在本文中，我们试图解决一个开放问题，即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式，并给出一个算法来计算破坏模态逻辑的Sahlqvist公式的一阶对应。