论文部分内容阅读
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于描述认识进程.理论的核心是一种形式化的导出关系,可以证明:经典逻辑,直觉主义逻辑的推出关系,模型论弱力迫关系,非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例,可以用来构造具体的抽象逻辑,也可以用于描述认识进程,还明确了不同抽象逻辑间的差异主要表现在所对应的特征规则的差别上.
It defines an axiomatic abstraction logic which is based on axiomatic nature of proof theory and model theory possessed by classical logic and can be used to construct an open logical theory of abstraction and thus can be used to describe the cognitive process.The core of the theory is a The formal derivation shows that the relations between classical logic and intuitionistic logic and the weak force of model theory are the relations between the statements in the nonmonotonic reasoning and the theory of the universe of discourse which are all concrete examples of formalized derivation relations , Which can be used to construct specific abstract logic, and also can be used to describe the cognitive process. It also clarifies that the differences between different abstract logics mainly manifest in the differences of the corresponding feature rules.