全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题
文献类型：期刊
作者：陈慕泽[1]
机构：中国人民大学哲学院;中国逻辑学会
年：2012
期刊名称：湖南科技大学学报(社会科学版)
期：01
页码范围：24-26
增刊：增刊
收录情况：中文核心期刊要目总览
所属部门：哲学院
语言：中文
ISSN：1672-7835
关键词：王宪钧;可证;一阶逻辑;逻辑演算;张尚水;一个问题;保真性;符号逻辑;希尔伯特;逻辑形式;
摘要：<正>事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A
作者其他论文
从逻辑的角度看批判性思维.陈慕泽.工业和信息化教育.2014,13-15.
再论逻辑学与通识教育--与王路教授商榷.陈慕泽.西南大学学报（社会科学版）.2009,35(6),42-47.
正确理解哥德尔不完全性定理.陈慕泽.湖南科技大学学报（社会科学版）.2008,11(2),27-30.
主持人寄语.陈慕泽.湖南科技大学学报（社会科学版）.2004,7(6),53.
中国逻辑学会形式逻辑专业委员会2003年学术研讨会概述.陈慕泽;资建民.哲学动态.2004,41-42.
