一个刻画自省的自认知逻辑系统

自省能力是人类区另于其他动物的重要性质之一,也是哲学思考得以可能和发展的基础。本文主要对具有自省能力的主体如何推理进行形式刻画,这样刻画的逻辑我们称为自认知逻辑。文中我们给出了简明直观的自认知逻辑系统,包括它的语言、语义、扩张以及可靠性、完全性的证明。     

自指、悖论与哥德尔定理

一般悖论都以自指概念为基础,然而自指并不必然导致悖论。受悖论启发,哥德尔定理最重要的步骤之一是构造了自指的语句,但并没有导致矛盾,关键在于哥德尔在构造自指语句时区分了真与可证、给定系统的可证性与系统外的可证性等概念。