自证逻辑是什么意思

         自证逻辑的意思是:一种重要的非单调逻辑，它把缺省假设看做理想主体的自我信念的反映。其中逻辑的意思是:一个推导过程。这是一个思考的过程。思考有许多种，最关键的是这个过程如何，都要有自己的体系支撑。

自证逻辑是一种重要的非单调逻辑。

它把缺省假设看做理想主体的自我信念的反映。自认知逻辑(autocpistcmic logic)一种重要的非单调逻辑.它把缺省假设看做理想主体的自我信念的反映，体现一种推理主体自知之明的内省，自认知逻辑的语言引人一个模态算子L表示信念，代表一类模态非单调逻辑的研究