近期，我中心熊明教授与学生合作的论文分别发表在国际学术期刊Journal of Philosophical Logic（《哲学逻辑杂志》）和Complex Systems（《复杂系统》），详情如下。
论文1：H. Cao & M. Hsiung （曹航杰和熊明）, Symmetry Groups of Boolean Self-referential Systems, Journal of Philosophical Logic, 2026. （目前暂为online first）
论文链接：https://url.scnu.edu.cn/record/view/index.html?key=e69860006a57593bd8fbd5f7edaf5152
===== 论文摘要 =====
非非悖论及其推广（称为非非类型悖论）是一类自指语句，其悖论性产生于语法对称性——这种对称性使得对称的真值指派无法成立。这类语句的语法对称性可通过置换群加以刻画。本文探讨以下问题：在悖论的对称性恰好由某个群刻画的意义上，是否任意置换群都能被一个非非类型悖论所表示？通过引入二元序列的不变预序概念，我们将研究布尔函数对置换群的可表示性时所使用的代数技术进行了推广。当n≥4时，交错群An与对称群Sn被证明具有相同的不变预序。由此，我们得到了本文的主要结果：对于任意n≥4，交错群An不能被任何布尔型自指语句系统所表示——从而更不可能被任何非非类型悖论所表示。借助对称群Sn的不变预序信息，本文还系统性地构造了具有最大对称性的布尔型悖论和非非类型悖论。本文的结果揭示了代数对称性与语义病态性之间的密切联系。
===== 合作者简介 =====
曹航杰，华南师范大学哲学与社会发展学院2024级在读博士生，主持一项校级研究生科研创新项目，此前已（与熊明合作）在《逻辑学研究》发表论文1篇。
===== 期刊简介 =====
Journal of Philosophical Logic（《哲学逻辑杂志》）创刊于1972年，是哲学逻辑领域的顶级国际期刊，主要发表哲学与逻辑学交叉领域的前沿研究，涵盖模态逻辑、认知逻辑、真理论、形式认识论、条件句逻辑、非单调逻辑、模糊性等传统方向，也特别关注逻辑学在计算机科学、人工智能、认知科学、语言学等学科中的应用。
论文2：S. Wu & M. Hsiung （邬舒雯和熊明）, A General Result Relating Totalistic Cellular Automata and Self-Referential Sentences, Complex Systems, 2026: 35(1), 39–61.
论文链接：https://url.scnu.edu.cn/record/view/index.html?key=d5d62c6b03df9bd03a8cb52a971c019d
===== 论文摘要 =====
本文探讨了总和型元胞自动机与自指语句之间的关系。已有研究表明，元胞自动机的演化过程会引发诸多与自指结构相关的不可判定性问题。最近熊明[Elementary Cellular Automata and Self-Referential Paradoxes, J. Log. Comput., 2020: 30(3).]关于自指语句与元胞自动机之间联系的研究揭示了初等元胞自动机与自指悖论之间有密切关系。在此基础上，本文进一步深化了元胞自动机与自指语句之间的联系，指出这种关系不仅存在于一维初等元胞自动机中，而且可以推广至更为复杂的二维总和型元胞自动机。具体而言，文章系统考察了两类常用的二维邻域结构——摩尔型与冯·诺依曼型，并分析其与自指语句之间的对应机制。通过上述分析，本文提出了一种用于判定相关元胞自动机不动点的算法方法，并依据其演化过程中的稳定性与不稳定性特征对这些自动机进行分类。同时，文章还讨论了由这些自动机所诱导的若干特定类型的自指悖论。最后，本文给出了一个关于总和型元胞自动机与自指语句之间关系的普遍性结果，从而在计算模型与逻辑语义之间建立了更为系统的联系。
===== 合作者简介 =====
邬舒雯，2019–2022年就读于华南师范大学哲学（逻辑学）专业，获硕士学位，硕士就读期间已（与熊明合作）在《逻辑学研究》发表论文1篇。现为复旦大学哲学学院博士研究生，目前在慕尼黑大学数学哲学中心（MCMP）从事访问研究。
===== 期刊简介 =====
Complex Systems（《复杂系统》）由斯蒂芬·沃尔夫勒姆（Stephen Wolfram）创办于1987年，是复杂系统研究领域具有代表性的国际期刊之一，发表内容涵盖复杂网络、非线性动力系统、计算模型以及理论基础等多个方向，在相关交叉学科中具有广泛影响力。
撰稿：曹航杰&邬舒雯
初审：胡扬
复审：伍素
终审：熊明
