全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题  

作　　者：陈慕泽[1] 

机构地区：[1]中国人民大学哲学系,北京100872

出　　处：《浙江社会科学》2001年第2期99-101,共3页Zhejiang Social Sciences

摘　　要：本文指出了国内一些有影响的数理逻辑教材或专著中存在的一个重要错误 :一方面在定义一阶逻辑形式系统的公理和规则时不正确地使用了“可证”这个概念 ;另一方面又自相矛盾地叙述和论证了受限制的演绎定理。

关 键 词：数理逻辑 全称概括规则 演绎定理 

分 类 号：B81[哲学宗教—逻辑学]