从逻辑系统到知识系统

From Logical System to Knowledge System

当前的模态或非模态逻辑系统的概念都是狭义的,它们关心的主要是一些重言式或永真式。而对人来说,事实真或假的知识同样是非常重要的,但这样的知识却超出了它们的定义范围。当它们(通常是模态逻辑系统)被用于意识系统研究时,这就不合适了。为此,本文提出了一种知识系统的观点,其中不仅包括了通常逻辑系统的内容,而且也包括了事实真或假的知识等相关内容,从而解决了这一问题。

The various logical systems today, modal ones or none modal ones, care mostly the tautologies. On the other hand, the capability to give proper decisions shows to be one of the most important abilities of human being, which is usually given basing upon the true or false knowledge. However,an ordinary logical system doesn't care or define such kind of knowledge that it can hardly reflect such character of intentional system,even if it is a modal logical system. For this reason,a idea of constructing a sort of knowledge system is proposed in this paper,which includes true or false knowledge,and some other needed properties.