卞拓蒙 冯彦波 刘学文 孙明湘 胡泽洪 约翰·克恩斯 隋云云 林伟洪 张忠玉 苏国鑫

蠡测 推理规则 非经典逻辑 矛盾律 语义学 无效式 三题 形式化语言 辩证哲学 哲学、生活、认识与逻辑 集合 完全性 我国古代 逻辑基础 真度 汉传因明 经验世界 标准量子力学 语言形式 逻辑学研究 阵论 不协调 一致性 三藏法师 构造 有效式 思维形式 逻辑哲学 现代逻辑 以言行事