李慧华
- 作品数：4 被引量：4H指数：2
- 供职机构：中国人民大学哲学院更多>>
- 发文基金：中国人民大学科学研究基金贵州省教育厅高等学校人文社会科学研究项目更多>>
- 相关领域：哲学宗教更多>>
- 试论语义悖论的弗完全理论被引量：2
- 2011年
- 弗完全理论通过限制排中律的使用,弱化经典逻辑,采用非经典的三值语言来处理语义悖论,最终使得形式语言能够一致地包含自身的真谓词。文中我们讨论了弗完全理论的两种基本形式——基础的弗完全理论和高级的弗完全理论。基础的弗完全理论引入了"真值空缺"的思想,认为句子除了真假之外还有"既不真也不假"的第三值,像说谎者这样的语义悖论语句就落在真假之空缺中,该理论借助于对不动点的归纳构造过程证明了形式语言中真谓词的存在性。高级弗完全理论在前者的基础上引入一个适当的条件句,定义了一个"更强的真",发展出了既满足真的素朴模式又具有不动点解释的、一致的高级弗完全理论。
- 李慧华王文方
- 关键词：语义悖论不动点条件句
- 一个刻画自省的自认知逻辑系统
- 2010年
- 自省能力是人类区另于其他动物的重要性质之一,也是哲学思考得以可能和发展的基础。本文主要对具有自省能力的主体如何推理进行形式刻画,这样刻画的逻辑我们称为自认知逻辑。文中我们给出了简明直观的自认知逻辑系统,包括它的语言、语义、扩张以及可靠性、完全性的证明。
- 李慧华
- 关键词：自省
- 自指、悖论与哥德尔定理被引量：2
- 2010年
- 一般悖论都以自指概念为基础,然而自指并不必然导致悖论。受悖论启发,哥德尔定理最重要的步骤之一是构造了自指的语句,但并没有导致矛盾,关键在于哥德尔在构造自指语句时区分了真与可证、给定系统的可证性与系统外的可证性等概念。
- 李慧华
- 关键词：自指悖论哥德尔定理
- 弗雷格《概念文字》的构造及其意义
- 2009年
- 弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元。
- 李慧华
- 关键词：概念文字函数
