概称句推理逻辑系统G_(0)-G_(4)的完全性  

作　　者：张立英[1] 

机构地区：[1]中央财经大学文化与传媒学院

出　　处：《哲学门》2006年第1期99-123,共25页Beida Journal of Philosophy

基　　金：教育部哲学社会科学研究重大课题攻关项目(04JZD0006)资助。

摘　　要：我们在《基于主谓项涵义联系的概称句推理的几个逻辑》一文中建立了基于主谓项涵义联系的概称句推理逻辑系统G_(0)-G_(4),本文给出这五个形式系统的完全性证明,证明用到了典范模型方法,处理量词公式时,用到了Henkin方法。

关 键 词：概称句 概称框架 概称模型 饱和集 典范模型 

分 类 号：G63[文化科学—教育学]