刘伟 王晓萍 马雷 李霞飞 李建华 卞拓蒙 曹志平 郭三保 姚从军 孙明湘 张水良 昌灏

科学事实 解释学意义 语义理论 模型论 解释 判定 归约能力 辩证逻辑 公理系统 科学对象 自动机 蕴涵怪论 相干原理 逻辑可能性 语义学 语义 推理形式 辩证矛盾 充分必要条件 大型计算机 形式本体论 辩证法 亚里士多德 智证结构 占筮 解释范式 完全性 研究纲领 逻辑常项 一致性