本体逻辑原理与应用

《本体逻辑原理与应用》讲述了本体逻辑原理是一个关于逻辑真的形式定义。它把哲学意义上的终极本体，定义为逻辑真的唯一变量形式，并且把这种以逻辑真为唯一变量的真值形式，定义为概念和命题的肯定与否定的语义形式，而且不再把逻辑假作为本体系统中的逻辑真值形式。从《本体逻辑原理与应用》可以看出本体逻辑是一个千真万确的逻辑事实，而且还是一个简单直观而又功能强大的应用逻辑体系。