理解的认知基础与逻辑刻画

哲学史上对理解的研究源远流长，争论不休。本书把“理解”作为研究对象，分析其概念的基础，进而深入分析其认知基础，旨在说明理解活动在人脑中是如何进行的。本书运用认知逻辑的方法形式化“理解一个命题”，并作为描述理解的特征公理加在描述知识的S5系统上，建立描述理解的一个认知系统ELU和系统U,这两个系统都具有完全性定理与可靠性定理。对理解的一般性用形式化的方式进行了描述。