最新图书

本体逻辑是以人类自然语言（本书以中文汉语言）为研究对象，并以命题是肯定或否定的语义性质为真值形式的逻辑演算系统。关于逻辑系统和形式化语言的关系，现代著名逻辑学家丘奇[美]曾经这样作出区别：“我们根据下面这一点在逻辑系统与形式化语言之间作出区分：前者是一种没有对之确定任何一种解释的、被抽象地系统表述的演算系统；而后者则是一种带有对其表达式的意义指派的逻辑系统”。本体逻辑系统是一个基于哲学本体论的真值演算系统，即是一个以本体论定理为逻辑元定理，并且重新定义了真值形式——不以真假形式为真值形式的新的逻辑体系。