关于推理规则的表述——也谈数理逻辑教材中的一个问题

发布时间：2018-05-15 09:10

  本文选题：推理规则 + 逻辑教材　； 参考：《华南师范大学学报(社会科学版)》2002年06期

【摘要】：正 陈慕泽教授在《全称概括规则和受限制的演绎定理》一文中指出,国内一些有代表性的数理逻辑教材(如王宪钧的《数理逻辑引论》,北京大学出版社1982年版,以下简称《引论》)关于推理规则的表述存在一个问题:推理规则(变形规则)作为逻辑系统的出发点之一,其表述带有符号“ ”,而后来在关于“有前提推演”和“演绎定理”的表述中,推理规则又没有了“ ”。这里存在不一致性或不协调性。相比之下,国外的同类教材或著作在表述推理规则时大都不加“_”,如希尔伯特和阿克曼合著的《数理逻辑基础》。“”加在一个公式
[Abstract]:Professor Chen Muze pointed out in his article "generalization rules and restricted deductive Theorems" that some representative textbooks of mathematical logic in China (such as Wang Xianjun's introduction to Mathematical Logic, Peking University Press, 1982), There is a problem with the expression of reasoning rules: as one of the starting points of logic system, reasoning rules (deformed rules) are characterized by symbols. Later, in the description of "deduction with premises" and "deduction theorem", the rule of reasoning was absent. There is inconsistency or inconsistency. By contrast, foreign textbooks or works of the same kind do not include "_" in describing reasoning rules, such as Hilbert and Ackerman's "fundamentals of Mathematical Logic." added to a formula.
【作者单位】： 华南师范大学政法学院
【分类号】：B813

【相似文献】

相关期刊论文 前10条

1 杜岫石;SAP不能换位为PAS吗?[J];江汉论坛;1982年06期

2 张凤华;杨群;张庆林;汤永隆;;条件推理中的二元效应初探[J];心理科学;2008年06期

3 欧阳丹彤，刘叙华;关于strong形RUE－NRF归结的反倒[J];计算机学报;1994年05期

4 林尚垣;;谓词逻辑推理与机器证明[J];安庆师范学院学报(自然科学版);2005年04期

5 霍书全;;推理关系形式化产生的问题及哲学思考[J];广东广播电视大学学报;2006年04期

6 麻昌贵;;“在愚人节里”的故事不能说明联言判断原理——与彭涟漪、余式厚先生商榷[J];贵州教育学院学报;2008年08期

7 于西昌;谭桂梅;张兴芳;;连续值命题逻辑系统中公式的条件概率真度[J];计算机工程与应用;2009年28期

8 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

9 于西昌;谭桂梅;;几种逻辑系统中的概率真度[J];计算机工程与应用;2011年12期

10 于西昌;张兴芳;;连续值命题逻辑中公式的概率真度及相似度[J];计算机工程与应用;2009年24期

相关会议论文 前10条

1 方毅;;牛顿的哲学推理规则之思考[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

2 李喜初;;试论《易经》符号系统的推理规则[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 高欣;;基于条件不确定性的不确定推理研究[A];第三届中国智能计算大会论文集[C];2009年

4 姚旭晨;马建强;;几个汉语典型语言现象的范畴语法分析[A];中国计算机语言学研究前沿进展（2007-2009）[C];2009年

5 彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年

6 赵岚;胡九川;;基于数据表的模糊推理规则生成法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

7 赵新生;高善清;邢立新;许梅生;;炮兵军用文书智能处理的主要模型及推理规则[A];计算机模拟与信息技术会议论文集[C];2001年

8 石翌轶;;基于前向链策略的RDF闭包生成技术研究[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

9 郭戈;王伟;柴天佑;;一种模糊方法在结晶器液位控制中的应用[A];1997中国控制与决策学术年会论文集[C];1997年

10 张锦文;;推理与计算[A];逻辑学文集[C];1978年

相关重要报纸文章 前10条

1 丁柱杉;禄丰庙山小学尝试开设儿童哲学课[N];楚雄日报(汉);2007年

2 文/高君;网站流量缘何飚升？[N];计算机世界;2004年

3 刘达;GOOGLE百度联姻中国搜索坚持“智能化”革命[N];中国经营报;2004年

4 黄中;自控科技走向全面智能化[N];中国知识产权报;2001年

5 马振兵;加强党员违纪案件审理报告的说理性[N];镇江日报;2008年

6 郭韦钰 丁连红;语义Web和语义网格[N];中国计算机报;2004年

7 朱林源;判决书“本院认为”部分的写作探讨[N];江苏经济报;2000年

8 李建会;人工智能：挑战人类智慧的科学[N];科技日报;2000年

9 丁丽芳;女性管理者在企业中的作用[N];发展导报;2003年

10 李树琦;逻辑推理与科学精神[N];中国社会科学报;2011年

相关博士学位论文 前10条

1 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年

2 谈子敬;XML的完整性约束[D];复旦大学;2003年

3 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年

4 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年

5 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年

6 李兆鹏;汇编指针程序安全性验证的研究[D];中国科学技术大学;2008年

7 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年

8 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

9 王治纲;分布式环境中基于本体的RBAC策略研究[D];华中科技大学;2006年

10 王振明;用于指针逻辑的自动定理证明器的设计与实现[D];中国科学技术大学;2009年

相关硕士学位论文 前10条

1 左丽娟;基于多Agent技术的电子商务模拟系统的研究与实现[D];河海大学;2002年

2 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

3 苏召;XML弱函数依赖与单依赖集合的研究[D];燕山大学;2007年

4 李明洋;基于本体的教育资源知识点推理研究[D];重庆大学;2009年

5 林晖;专利信息检索实验系统的研究与实现[D];北京邮电大学;2009年

6 荣凌燕;XML多值依赖问题的研究[D];燕山大学;2006年

7 王其冰;本体查询和推理规则在学科概念建模中的应用[D];华东师范大学;2009年

8 陈莉;基于领域本体的智能搜索系统的研究和应用[D];南京航空航天大学;2008年

9 王梅娟;XML数据的规范化存储[D];南京师范大学;2007年

10 王立岩;智能型报警处理系统的模型的建立[D];中国电力科学研究院;2006年

，

本文编号：1891841