本文作者:访客

逻辑论的创始人?

逻辑论的创始人?摘要: 一般认为是亚里士多德。真正要说逻辑学还是得从西方的形式逻辑开始。印度逻辑和先秦逻辑实在不成气候。谈形式逻辑的话,亚里士多德可以认为是创始人。他的《工具论》是形式逻辑的经典。尽管在...

一般认为是亚里士多德。

真正要说逻辑学还是得从西方的形式逻辑开始。印度逻辑和先秦逻辑实在不成气候。谈形式逻辑的话,亚里士多德可以认为是创始人。他的《工具论》是形式逻辑的经典。尽管在之前的智者派对此有所贡献。

归纳逻辑之父是弗朗西斯培根。他著有《新工具》与亚里士多德的演绎逻辑对抗。

另外数理逻辑之父是莱布尼茨。他的“世界语言计划”寻求用统一的逻辑语言描述对象,尽管失败了,却大概是首先提出这种思想的人。

二千三百年前,古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑,为逻辑发展史树起了第一座丰碑。

逻辑学的创始人是古希腊的亚里士多德,他的主要理论贡献有三段论逻辑、模态逻辑等。

数理逻辑,有什么专业书,介绍一本,书名,出版社,作者,出版时间

目前比较好的教材有:
汉米尔顿的《数理逻辑》,朱水林翻译的
还有《面向计算机的数理逻辑》忘记是陆钟万或者陆汝钤了
人民大学的陈幕泽也写过一本《数理逻辑》。
推荐的就是上面的基本
出版社和出版时间忘记了,汉米尔顿的《数理逻辑》很老的教材,但是最经典

逻辑学包括哪三大学科?

形式逻辑(普通逻辑)、数理逻辑、哲学逻辑、模糊逻辑、非形式逻辑、辩证逻辑、制约逻辑等。

数学逻辑和数理逻辑一样吗???

不一样
通常我们以为数学逻辑智能就是算术,这当然是事实,但是,数学逻辑智能并不仅仅局限于算术,
它同样可以帮助我们了解如何看待和解决问题。 数学逻辑智能其实是用来分析问题和考虑解决问题的可能性的。

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。

发表评论

快捷回复:

评论列表 (暂无评论,2人围观)参与讨论

还没有评论,来说两句吧...