逻辑学研究 2022年第3期

第15卷（总第64期）2022年6月18日出版

双月刊 2008年创刊

中英文对照目录

--英文目录--

❖ A Logic of von Wright’s Deontic Necessity

Jie Fan

❖ Symmetry Tense Heyting Algebras

Xue Ge

❖ The Complexity of Nilradicals and Jacobson Radicals in Computable Rings

Xun Wang

❖ Modal Logic of Multivalued Frames over Inversely Well-Ordered Sets

Fan He

❖ A Similarity-Based Signaling Game

Liping Tang

--中文目录--

❖冯·赖特道义必然的逻辑

范杰

❖对称的时态海廷代数

葛雪

❖可计算环上幂零根与Jacobson根的计算复杂度 

王勋

❖逆良序集上多值框架的模态逻辑

何凡

❖基于相似性推理的信号博弈

唐丽萍

论文摘要

冯·赖特道义必然的逻辑

范杰（中国科学院哲学研究所；中国科学院大学人文学院）

摘要：在本文中，我们在冯·赖特（G. von Wright）的道义逻辑和贝泽拉（E. Bezerra）与文丘里（G. Venturi）的 ⊞ 逻辑之间架起一座桥梁：一方面，我们将 ⊞ 算子解释成冯·赖特的道义必然；另一方面，我们给出冯·赖特道义模态词的确切语义。受启发于一个几乎可定义模式，我们解释为什么极小 ⊞ 逻辑的典范模型以那种方式被定义。我们也提出 ⊞ 逻辑的各种公理化，其中传递系统也是受到上述模式的启发。我们解释为什么文献中关于 ⊞ 的两种不等价语义，其中一个是标准的，另一个是非标准的，能给出相同的逻辑。在结尾部分，我们将讨论道义非偶然和道义偶然的概念。

对称的时态海廷代数

葛雪（厦门大学哲学系）

摘要：本文引入了对称的时态海廷代数类（sIK.t-algebras），它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t 的希尔伯特公理化系统，随后证明sIK.t 代数逻辑具有有穷模型性（FMP），该结论将在本文给出的矢列演算系统下，通过证明论和代数模型论的方法得到证明。

可计算环上幂零根与Jacobson根的计算复杂度

王勋（北京大学哲学系）

逆良序集上多值框架的模态逻辑

何凡（中山大学逻辑与认知研究所；中山大学哲学系）

摘要：通过引入取值集合，将Kripke框架推广为多值框架。本文假设取值集Q为逆良序的集合，与之对应的模态语言在Q上的多值框架中得到解释。本文证明了某些Q-框架类的Goldblatt-Thomason定理。本文还引入了正规Q-模态逻辑，并证明了其完全性与Makinson定理。

基于相似性推理的信号博弈

唐丽萍（早稻田大学国际学术院）

摘要：语言使用和语用推理经常涉及相似性推理。基于经典的刘易斯（D. Lewis） 信号博弈，我们提出了一种基于相似性推理和信号命题内容的信号博弈。在新的 基于相似性推理的信号博弈中，我们讨论了即使已有的信号表达力不如我们想要 传达的信息，该模型仍旧能够在已有的信号中选出最优的信号。此外，我们还将 该模型应用于霍恩（L. Horn）对于语用学分工的分析。