自證邏輯是什麼意思

         自證邏輯的意思是:一種重要的非單調邏輯，它把缺省假設看做理想主體的自我信念的反映。其中邏輯的意思是:一個推導過程。這是一個思考的過程。思考有許多種，最關鍵的是這個過程如何，都要有自己的體系支撐。

自證邏輯是一種重要的非單調邏輯。

它把缺省假設看做理想主體的自我信念的反映。自認知邏輯(autocpistcmic logic)一種重要的非單調邏輯.它把缺省假設看做理想主體的自我信念的反映，體現一種推理主體自知之明的內省，自認知邏輯的語言引人一個模態算子L表示信念，代表一類模態非單調邏輯的研究