描述认识进程的抽象逻辑  

作　　者：李未[1] 张玉平[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系,北京100083

出　　处：《中国科学（E辑）》1996年第2期167-178,共12页Science in China(Series E)

基　　金：国家"八六三’计划;国家自然科学基金资助项目

摘　　要：定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于描述认识进程.理论的核心是一种形式化的导出关系,可以证明:经典逻辑,直觉主义逻辑的推出关系,模型论弱力迫关系,非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例,可以用来构造具体的抽象逻辑,也可以用于描述认识进程,还明确了不同抽象逻辑间的差异主要表现在所对应的特征规则的差别上.

关 键 词：逻辑 模型论 认识进程 抽象逻辑 

分 类 号：O141.4[理学—数学]