马克思主义学部首页 近期，《Notes on type-free axiomatic theories of positive truth》已在《Logic Journal of the IGPL》2026 年第34卷第1期正式刊发（页码：1-28）。该期刊为牛津大学出版社旗下SCI收录的逻辑学领域权威期刊，同时被美国数学会核心数据库Mathematical Reviews索引，被中国数学会纳入高质量期刊名录，学术影响力高。论文第一作者为湖南师范大学哲学学院科技哲学与逻辑学系副教授、湖南师范大学科技与社会发展研究中心校内研究员刘大为，中山大学哲学系熊卫教授为通讯作者。研究围绕无类型正真理论的公理化体系展开，分析了结合一致性公理（CONS）与完全性公理（COMP）所衍生的各类正真理论变体，梳理出从PUTB到KF+CONS的层级化理论谱系。研究表明：PUTB+CONS可证明说谎者语句，而PUTB+COMP可证明其否定；除该谱系中最弱理论外，所有正真理论的内部逻辑均无法同时满足一致性与完全性。最终，论文论证指出，相较于 PUTB 与 KF，LKF+CONS系统更适配紧缩主义的理论立场，为相关领域研究提供了新的形式化框架。
供稿：王伊帆
一审：胡耀飞
二审：文贤庆
三审：李培超