新刊速递 | 《逻辑学研究》2023年第1期目录及摘要
逻辑学研究 2023 年第 1 期
第16卷（总第68期）2023年2月18日出版
双月刊 2008 年创刊
目 录
专栏：逻辑常项的哲学问题 主持人：张留华
❖逻辑常项的使用规则的生成与证成
周志荣
❖关于指示条件句的会话假设
荣立武
❖事件–状态语义学
———一个关于英语时体时态句的形式语义
张文彦，周北海
❖直觉主义认知逻辑与不同程度的真
程华清
❖真之多元论与真值条件多元论
周振忠
❖关于心灵、机器与真理的模态论证
薄谋
论文摘要
逻辑常项的使用规则的生成与证成
周志荣（中南财经政法大学哲学院）
摘要：在证明论语义学中，一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的，而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战，而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的GE-协调性没有对I-规则如何“协调地导致”相应的GE-规则做出清楚的描述，也无法用于解答普通E-规则的证成问题。基于GE-规则的生成机制的GM-协调性能够弥补这两点不足，但是它仍然无法排除具有弱E-规则的不协调的常项。由GE-和Ge-规则的生成机制所共同保证的Ge-协调性则可以克服以上这三点不足，从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。
关于指示条件句的会话假设
荣立武（山东大学哲学与社会发展学院）
摘要：当代逻辑学家普遍认为指示条件句只有最小的语义，即实质蕴含。至于它在使用中产生的丰富意义，格莱斯认为可以通过会话假设将其视为条件式言说的会话蕴含。我将通过以下步骤来辩护关于指示条件句的会话假设：首先，存在有基于直接论证的压倒性理由说明，如果指示条件句的语义是真值函项的，那么它只能是实质蕴含；其次，比较了会话假设与语义假设，后者主张指示条件句的语义是更丰富的、非真值函项的，尤其关注了科恩的嵌入案例对会话假设的挑战；最后，引入了元表征和语义充实的相关思想来回应科恩的挑战，此外奥尔森的实验结果也支持了关于指示条件句以及其他逻辑小品词的会话假设。
事件–状态语义学：一个关于英语时体时态句的形式语义
张文彦（中国消防救援学院）、周北海（山西大学哲学社会学学院）
摘要：英语中与时间相关的表达不仅有时态，还有时体，二者是英语时间表达的两个维度，共同形成了多种时体时态句。时态逻辑、区间语义学、RK理论给出了部分时态句的形式语义解释。如何理解时体维度，给出时体时态句的全面解释，是自然语言的形式语义研究的待解之题。对此事件–状态语义学放弃了时态逻辑的绝对时间框架，构建了以事件和状态为基本要素的相对时间框架。在此框架下，部分时体时态句得到了形式刻画。这一结果显示了事件–状态语义学对于英语时体时态句理解的合理性和处理潜力。其他部分的形式语义刻画将在现有工作的基础上通过进一步增加新的要素加以解决。
直觉主义认知逻辑与不同程度的真
程华清（安徽师范大学文学院）
摘要：直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路，还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释，以“直觉主义知识就是证实的结果”作为核心观点，接纳A→KA和KA→¬¬A。IEL的预期解释借助“证实”概念给出了“直觉主义知识KA的证明”的定义，并以此扩展BHK解释。但直觉主义逻辑依赖于直觉主义数学，这使得BHK解释的核心在于对构造性证明的要求，基于此，IEL的预期解释偏离了BHK解释的初衷，进而IEL未能达到预期构建目标。通过对KA作新解读，能引出直觉主义真和经典真之间不同程度的真，IEL系统的一些重要内定理也将获得新理解。此外，关于IEL系统对应问题的一个猜测被提出来。
真之多元论与真值条件多元论
周振忠（中山大学逻辑与认知研究所 中山大学哲学系）
摘要：直觉上，不同种类的命题有不同的为真方式。真之多元论对这一直觉采取形而上学解读，其核心论点是：存在不同的真性质。直觉上，复合命题与原子命题的为真方式是不同的。为了避免假设复合命题特有的真性质，爱德华兹（D.Edwards）提出将复合命题的“为真方式”解读为真值条件，然后运用分离论点阻止从真值条件的陈述中引入真性质。本文认为爱德华兹的策略同样适用于原子命题，从而强化了对真之多元论的双重计算反驳。这驱使我们放弃真之多元论，回归到真之一元论。
关于心灵、机器与真理的模态论证
薄谋（兰州大学哲学社会学院）
摘要：卢卡斯和彭罗斯认为，人们从哥德尔不完全性定理出发可以推断“心灵不能被机械化”的论题。这是一个强论断。弱论断是由哥德尔提出的。他认为从自己的不完全性定理出发，人们只能推断或者“心灵不能被机械化”成立或者“存在不可判定的数学命题”成立。该析取式论断等价于“如果理想化人类心灵是理想化有限机器，那么人们无法判定某些数学命题的真或假”。哥德尔建议人们从解决内涵悖论入手，证明反机械主义论题成立。科尔纳在机械主义论题上取得的成功，激发斯特恩尝试从可替代真理论出发，证明反机械主义论题成立。科尔纳表明斯特恩的论证无效。斯特恩尝试改进他的论证。我们也表明斯特恩的改进方案无效。斯特恩两次尝试均无法取得成功，这实际上源于人们无法认清楚理想化人类心灵概念即绝对可证明性概念。