新刊速递 | 《逻辑学研究》2022年第3期目录及摘要
逻辑学研究 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）对于语用学分工的分析。