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

发布时间：2017-09-22 01:07

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

【摘要】：正事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A
【作者单位】：中国人民大学哲学院;中国逻辑学会;
【关键词】： 全称概括规则 分离规则 演绎定理 推理规则 逻辑教材 数理逻辑 一阶逻辑 规则定义 保真性 受限制
【分类号】：B811
【正文快照】： 事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A应当

【相似文献】

中国期刊全文数据库前10条

1 张忠义;;因明的“合离”与“分离规则”[J];社会科学战线;1992年03期

2 余俊伟;形式系统的可靠性和完全性问题[J];湖南科技大学学报(社会科学版);2005年01期

3 熊明辉;;自然语言论证评价的逻辑分析[J];哲学研究;2006年10期

4 张莉敏;;国外非单调道义逻辑研究探析[J];学术论坛;2008年09期

5 刘新文;;命题逻辑的证伪系统[J];湖南科技大学学报(社会科学版);2011年03期

6 熊明辉;;论证评价的非形式逻辑模型及其理论困境[J];学术研究;2007年09期

7 宋伟;;一种命题形式系统的等价性证明[J];重庆工学院学报(社会科学版);2009年06期

8 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

9 刘奋荣;全国现代逻辑学术研讨会综述[J];哲学动态;2002年10期

10 杜珊;;评三值逻辑SLO[J];科学文化评论;2006年04期