数理逻辑是以符号语言为主要工具语言的逻辑,也被称为符号逻辑. 其提出可以追溯到17世纪后期到18世纪早期的著名科学家和哲学家“莱布尼茨(Leibniz, 1646-1716)”,他的代表作是《人类理智新论》.他区分了理性真理和事实真理,前者必然为真,后者则或然为真,一切必然真理都是分析的.他试图建立一种分析的真理体系.莱布尼茨曾设想过创造一种“通用的科学语言”,可以把推理过程象数学一样利用公式来进行计算,从而得出保真的结论.他的思想成为数理逻辑部分内容的萌芽,从这个意义上讲,莱布尼茨可以说是数理逻辑的先驱. 而数理逻辑的实际开创者应该说是英国哲学家和数学家布尔.1847年,布尔发表了《逻辑的数学分析》,建立了“布尔代数”,并创造一套符号系统,利用符号来表示逻辑中的各种概念.布尔建立了一系列的运算法则,利用代数的方法研究逻辑问题,初步奠定了数理逻辑的基础. 十九世纪末二十世纪初,数理逻辑有了比较大的发展,1884年,德国数学家弗雷格出版了《算术基础》一书,在书中引入量词的符号,使得数理逻辑的符号系统更加完备.对建立这门学科做出贡献的,还有美国人皮尔斯,他也在著作中引入了逻辑符号.从而使现代数理逻辑最基本的理论基础逐步形成,成为一门独立的学科.
问数理逻辑最初是由哪位科学家提出的
问题描述:
数理逻辑之父
答推荐答案
答其他答案
数理逻辑最初是由科学家(亚里士多德)提出的 数理逻辑又称符号逻辑、理论逻辑。
它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。答其他答案
逻辑演算的思想,也就是数理逻辑最初的思想,首先由 G.W.莱布尼茨明确提出,又经 G.布尔、(F.L.)G.弗雷格、B.A.W.罗素和A.N.怀特海等加以发展和完善。现代数理逻辑的研究已远远超出了逻辑演算的范围而发展成为四个主要分支──模型论、公理集合论、递归论和证明论。
知道问答相关问答
-
爱牙日的由来每年的9月20日,是全国爱牙日。作为中国特有的节日,爱牙日的由来主要与兰州地区的牙科医生--白成平有关。白成平在17岁的时候,就跟随美国口腔医学博士毛燮均学习牙医技术。此后,他便一直在兰州一家医院担任牙科医生。在50多年的牙医生涯中,他对人
-
爱尔兰是哪个国家爱尔兰被称为翡翠岛国,这里西临大西洋、东靠爱尔兰海,与英国隔海相望。爱尔兰其实是一个独立的西欧国家,为北美通向欧洲的通道。爱尔兰、英格兰、苏格兰、威尔士是四个民族,也是四个地方。在历史上,这四个地方分分合合,瓜葛不断。1918年前,四个民族
-
圣城是哪个城市希腊雅典、中国洛阳、沙特麦加和以色列耶路撒冷被世界公认为世界四大圣城。关于洛阳圣城称号的由来,可追溯至上古时期。 相传上古时期,洛阳孟津县境内的黄河中出现背着“河图”的龙马和背着“洛书”的神龟,它们把图和书献给了伏羲后,伏羲根据图和书
-
芥菜的营养价值食材简介: 芥菜又称盖菜、挂菜,是中国的特产蔬菜。芥菜植株一般可高150厘米,幼茎及叶具有毛刺。经过长期选择和栽培,芥菜出现了不同的变种:根芥菜,也叫大头菜,主要用来腌制咸菜;叶芥菜俗称雪里红,可制成霉干菜;茎芥菜,用来制作榨菜;芽芥
-
猪肝的营养价值食材简介: 猪肝又名血肝,是猪的肝脏,与胆相连,肝脏是动物体内储存养料和解毒的重要器官。猪肝在消化系统中能够制造胆汁,一般呈紫红色、红褐色,质软而脆,呈楔形,右端圆钝,左端扁薄,可分为上、下两面,前后两缘,左右两叶。 营养功效:
-
花椒的营养价值食材简介: 花椒,又叫麻椒、蜀椒、点椒等,是我国原产的一种干、枝、叶、果均具浓郁辛香的落叶灌木或小乔木。它最初野生于我国中西部,是作为是敬神的香物。现在广泛分布于我国南北各地。由于它的果皮暗红,密生粒状突出的腺点,犹如细斑,故花椒之名
-
银鱼的功效与作用食材简介: 银鱼,又称炮仗鱼、面条鱼、白饭鱼等,通体白色,整体长约10厘米,刺少,有牙并且十分锋利。银鱼具有海洋至江河洄游的习性,多生活于水的下层,我国的太湖、西湖、马湖是三大银鱼盛产湖。 营养功效: 银鱼所含营养十分丰富,具有高
-
大理旅游攻略 大理旅游大理是悠闲和浪漫的代名词,下关的风,上关的花,苍山的雪,洱海的月,“风花雪月”构成了大理最著名的特色。去大理,我们的路线是先游览大理古城周边及崇圣寺三塔,然后环洱海游,最后以登苍山结束。大理古城是大理旅游的核心区,这里承载着大理历史文化、宗