近期，我中心执行主任熊明教授与博士生袁兆隆合作的论文Kripke's Intrinsic Truths in Boolean Systems（布尔系统中的克里普克内在真）发表于国内权威杂志《逻辑学研究》（英文版）2025年第18卷第6期。该杂志由中山大学与中国逻辑学会共同主办，为CSSCI收录期刊。

《逻辑学研究》创刊于2008年，目前为双月刊，中英双语出版。主要栏目包括符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。该杂志由中山大学主管，中山大学与中国逻辑学会共同主办，并由教育部人文社会科学重点研究基地——中山大学逻辑与认知研究所承办，是我国逻辑学领域内正式出版的专业刊物。

=====论文摘要=====

在克里普克真理论中，最大内在不动点同最小不动点一道在所有不动点中具有特殊的理论意义。然而，对于那些内在但无根的语句（即属于最大内在不动点但不属于最小不动点的语句），目前人们只提供了零星的例子，判断此类语句的普遍标准仍然未知。本文旨在基于克林强赋值模式，为自指语句的布尔系统建立判定其中语句是否是内在真的一个通用标准。为此，我们首先阐述了关于克林强逻辑中三值函数可定义性的一个已知结果。然后，通过将不动点的判定问题转化为命题逻辑中的计算问题，我们给出了布尔系统中内在真的真值函数特征。我们由此提出一种在皮亚诺算术的一阶语言中构造内在真的能行方法。本文还讨论了上述结果对克林弱赋值模式的适用性。

=================

文章信息：Ming Hsiung, Zhaolong Yuan, Kripke’s Intrinsic Truths in Boolean Systems, Studies in Logic, Vol. 18, No. 6 (2025): 19-42.

撰稿：袁兆隆

初审：胡扬

复审：伍素

终身：熊明