请输入您要查询的字词:

 

字词 演绎逻辑
释义

演绎逻辑【英】

deductive logic

译文来源

金炳华.马克思主义哲学大辞典[Z].上海辞书出版社,2003:573.

定义

演绎逻辑,与“归纳逻辑”相对,是指以演绎推理为基本内容的逻辑系统。传统的演绎逻辑以包括性质命题的直接推理、三段论、假言推理、选言推理、二难推理等等为研究对象。演绎逻辑的基本特征在于:(1)该系统的一切推理的结论所涉及的知识范围都不大于前提所涉及的知识范围,推理的前提与结论之间具有蕴含关系,只要其前提与结论之间的联系是符合逻辑规则的,即形式是正确的,而且其前提是真实的,那么其结论就必然是真实的;(2)演绎逻辑系统是结论具有必然性的系统,在演绎逻辑系统中,每一个有效的推理,其前提与其结论之间的联系都是必然的,若前提为真,则结论不可能为假。演绎逻辑系统的发展可以追溯到古希腊时期,古希腊哲学家亚里士多德是主张进行有组织的研究演绎推理的第一人,他系统研究了以三段论为主的演绎推理形式,为传统演绎逻辑奠定了基础。之后的斯多亚学派提出和研究了假言推理和选言推理,奠定了命题逻辑的基础,进一步促进了演绎逻辑的发展。十九世纪末以后,演绎逻辑发展到现代阶段,数理逻辑的发展和运用,使得用形式化方法研究演绎问题取得了重大成果,演绎逻辑发展到一个新的历史阶段和高度。“现代演绎逻辑扩大了演绎证明的手段,使传统演绎逻辑的许多概念得到更确切的解释,并把一系列新的问题,如演绎体系的不矛盾性问题、完全性问题等等,引入了演绎证明的理论。”(金炳华,2003:574)。归纳主义者反对或贬低演绎逻辑,认为演绎逻辑不是一种科学的方法,不能给人以新知识,因为它的结论本身就包含在前提之中,若不能证明其前提的正确性,必然导致先验论。归纳主义者对演绎逻辑的否认具有一定的道理,但不可否认,演绎逻辑仍然具有其积极意义。演绎推理虽然不能告诉人类新知识,却能告诉人类隐含于前提中的知识,而且对于检验知识的正确性具有重要意义。

定义来源

金炳华.马克思主义哲学大辞典[Z].上海辞书出版社,2003.

网络参考例句

例句 1:
第二章运用符号逻辑里面出现的怪异现象(比如说模态逻辑里面的“可能世界”的语义学概念和“实质蕴含怪论”)来说明演绎逻辑的理论基础存在的困难,为辩证逻辑的存在提供了存在的合理性。——《“真”的范畴变迁史》,西南大学硕士学位论文,2013
Chapter two shows some difficulties in Deductive logic, especially the notion of "possible worlds" in semantics of model logic and the paradoxes of material implication to illustrate the problems in Deductive logic and rationalize the existence of Dialectical logic.

例句 2:
研究金岳霖的演绎逻辑思想,对当代逻辑学的发展有着非常重要的理论意义与现实意义。——《金岳霖演绎逻辑思想探析》,黑龙江大学硕士学位论文,2011
Study the deductive logic thinking of JinYue-lin, has a very important theoretical meaning and realistic significance in contemporary logic development.

例句 3:
研究表明,从人与自然关系的视角来分析城市文化的演绎逻辑更有利于从根本上解释有形的城市物质文化与无形的城市非物质文化之间的契合关系。——《世界现代田园城市构建中的生态文化探析》,成都理工大学硕士学位论文,2011
Studies have shown that analyzing deductive logic of city culture from the angle of relationship between human and nature is more conducive to explain the compatibility relationship between the tangible urban material culture and intangible urban non-material culture.

随便看

 

汉译英翻译词典收录7925条汉英翻译词条,基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等,是英语学习的有利工具。

 

Copyright © 2004-2024 Newdu.com All Rights Reserved
更新时间:2024/7/1 9:05:11