荣立武 弘华 李建华 沈旭明 汪慧英 陈娜 李霞飞 罗仕国 刘大为

推论 逻辑演算 真理 语言分层 科学性评价 心灵与机器关系 逻辑思维能力 反本质主义 封闭性 有效性 存在 谓词公式 哥德尔不完全性定理 排中律 归纳问题 归纳集 波普尔 普通逻辑知识 逻辑系统 PEL模型 非经典逻辑 推理形式 物质存在集 一致性 判定 形式化 逻辑观 本质 普效性 精神存在集

中南大学政治学与行政管理学院 中南大学哲学系 湖南长沙 湖南湘潭 湘潭师范学院学报编辑部 中南大学哲学研究所 湖南科技大学期刊社 湘潭大学