美高梅注册 1

亚里士多德的三段论推理系统保证了推理所得的结果是“逻辑真理”。而逻辑学的有趣之处在于,一些在逻辑学中被认为正确的事情可能会与人们的直觉相矛盾,让人们很难理解和接受,其中典型代表就是乌鸦悖论。

在这些高科技成果的背后,有着十分漫长的发展历程。

根据常识,大家就知道A说的话是错的了,这便是最简单的逻辑推理(但是这种推理还是需要一定的经验常识来辅助,如果有人不知道鲨鱼是什么,那么B可能就不能说服这个人)。

可能人们很难将亚里士多德的三段论与人工智能联系起来,但正是他所提出的这套推理系统,使逻辑迈上了形式化的轨道。后人在此基础上对其理论不断完善和发展,让逻辑学得到了极大的进步。尤其是后来发明的布尔代数,使计算可以通过逻辑变换得到。后来,英国哲学家、逻辑学家罗素(Bertrand
Russell)

Tips:

亚里士多德(公元前384-322)

提到亚里士多德,我们可能会联想到教科书中那个常被当作“反面教材”的形象(例如他认为地球上的物质由水火土气四种元素组成被作为朴素唯物主义的代表、他认为力是维持物体运动的原因等),但实际上亚里士多德在逻辑学、数学、哲学、美学、生物学等方面的贡献对后世影响深远。他开创了形式逻辑的先河,被誉为逻辑学之父;在哲学方面,亚里士多德虽然没有提出复杂的辩证唯物主义,但其思想中包含着辩证法的思维方式。可以说,亚里士多德在科学以及人类发展史中是功不可没的。

人工智能技术的发展正逐渐改变我们的生活方式。

责任编辑:

“只要确定某些论断,某些异于它们的事物便可以必然地从如此确定的论断中推出。”

现在来回忆一下高中时候学过的逆否命题,“所有的乌鸦都是黑色的”这一命题的逆否命题是:“所有不是黑色的东西都不是乌鸦”。

雅克-路易·大卫的油画《苏格拉底之死》。图片来源:The Death of
Socrates|Wikipedia

仅看规则不免有些晦涩,不妨通过“苏格拉底之死”的例子来理解三段论的规则:

AAA:

全称命题。全称命题是指某一类事物的全部成分(个体)都具有或不具有某种性质。例如“人都会犯错”、“鸟都会飞”等包括了泛指某一类事物的词,这些前提都是全称命题。全称命题概念的出现也为后来数学中集合概念的提出奠定了基础。

我们几乎每个人手中都有一部智能手机,只需动一动手指就能够对家里的电器下达指令;在医院里,手术机器人已经开始被投入使用,代替医生做一些极其精巧的手术,具有图片识别功能的人工智能软件也开始帮助医生分析病理图片,从而更好地诊断病情,给病人带来福音;机器人生产线极大地提高了生产力,一台机器人能够顶十几个熟练工人的工作量;自动驾驶汽车也可能很快会来到我们的生活中,我们可以在开车时拥有自己的时间,甚至在开车时还可以参加远方的视频会议。

在这段话中,第一行似乎是一个大前提,第二行成为一个小前提,第三行得出了结论。看上去,划分法已经具有了三段论的雏形,亚里士多德的《前分析篇》中认为,“划分法”是一种“弱三段论”。但划分法与真正的三段论还是有些区别的(而是两种可能性)。

显然这是一个荒谬的三段论,这是因为两个相比较的内容其实毫无任何关联。所以,必须有一个全称命题,使得相对比的两个东西有关联。

1、每个三段论中,必须有一个前提是肯定的并且必须有一个前提是全称命题。

2、在每个三段论中,两个前提中否命题的数目必须与结论中否命题的数目相同。

3、每个证明都是且只能是通过三个词项得到的。

在这个三段论中,两个前提分别是“人都会死”和“苏格拉底是人”,都是肯定的,且“人都会死”是一个全称命题,符合了“全称命题”。

这就是著名的乌鸦悖论,它是一个人们的直觉和感性的认知与逻辑学中的理性判断之间存在矛盾的著名案例。

本文来自微信公众号:,作者:田达玮(中国科学院海洋研究所硕士,未来实验室科普策划)、秦曾昌
(北京航天航空大学副教授,果壳网科学顾问,未来实验室创始人),编辑:婉珺。

美高梅注册 2

本文由 我是科学家iScientist 授权 虎嗅网
发表,并经虎嗅网编辑。转载此文请于文首标明作者姓名,保持文章完整性(包括虎嗅注及其余作者身份信息),并请附上出处(虎嗅网)及本页链接。原文链接:https://www.huxiu.com/article/262366.html

*美高梅注册,文章为作者独立观点,不代表虎嗅网立场

举个例子:

“所有糖都是甜的,

“葡萄糖是糖,

本文来自微信公众号:我是科学家iScientist(ID:IamaScientist),作者:田达玮(中国科学院海洋研究所硕士,未来实验室科普策划)、秦曾昌
(北京航天航空大学副教授,果壳网科学顾问,未来实验室创始人),编辑:婉珺。

现在,我们可以来验证这些规则的正确性了。

两个古希腊人相遇了,A为了显示自己的博学,用充满自信的口气向B说道:

“所有动物都会奔跑。”

这时,B就会拿出这个看起来像编程语句的话来反驳:

这一套推理系统,已经出现了现代逻辑公理系统的雏形,保证了逻辑推理系统的有效性和必然性,也保证了推理结果是“逻辑真理”。

通俗地说就是只要给定了确定的大前提和小前提,就能推出确切的结论。例如,亚里士多德曾就苏格拉底之死说过一段著名的三段论:

三段论的提出者——亚里士多德。图片来源:Aristotle|Wikipedia

得到“逻辑真理”这点在逻辑分析中至关重要。在这套逻辑推理系统产生前,若想对某些事物进行判断,依靠的是个人经验。人们的经验总是有限的,因此能够做出判断的内容也是有限的。而根据亚里士多德的逻辑推理系统,人们可以不依赖于经验事实,而只通过逻辑分析的方法得到“逻辑真理”。正如罗素认为的那样:“逻辑只与形式有关,它们不包含任何经验的内容,它们不依赖于其内容而仅依赖于其形式。”这对于逻辑学的发展有重大意义,同样对计算机的发展也具有重要意义——计算机并不存在生活经验,因此需要一套完全不依赖于经验的
“逻辑真理”的体系。

原标题:从三段论到人工智能:拆开手机,只见里面写着两个大字——逻辑

从“if…then…”到“弱三段论”

未按照规范转载者,虎嗅保留追究相应责任的权利返回搜狐,查看更多

分享一个伍迪·艾伦式的三段论:“所有人都会死,苏格拉底会死,所以,所有人都是苏格拉底。”是不是觉得哪里不对劲?图片来源:AZQuotes

亚里士多德和他的三段论

亚里士多德在《后分析篇》中采用变项来表示某一特征或某一内容。类似于今天计算机中的赋值。他用A来表示肯定的命题,用E表示否定,并认为所有的三段论都可以转化为AAA或EAE两种形式。

“所有的水果都不好吃,

“菠菜不是水果,

“所以菠菜好吃。”

“所有人都会死,

“所以凯撒会死。”

不要觉得这样的对话很奇怪,古希腊社会非常崇尚演讲和辩论,这样的交谈方式并不少见。在这些辩论的过程中,人们也在不断思考如何进行辩论,这就促进了逻辑学的发展。

在公元前5世纪的古希腊,便已经出现了“如果…那么…”的推理辩论方法。如果你学过编程,可能会说,这不就是计算机语言中的“if…then…”吗?是的,只不过当时,这种语法不是用来编程的,而往往被用来做否定的推理。

“人都会死。(All men are mortal.)

……大前提

“苏格拉底是人。(Socrates is a man.)

……小前提

“所以苏格拉底会死。”(Therefore, Socrates is mortal.)

……结论

美高梅注册 3

“所有动物要么是会死的,要么是不朽的,

“人是动物,

举个例子,柏拉图曾经说过:

EAE:

“野猪会跑,

“所以野猪会飞。”

在这个证明中,是通过人、苏格拉底、死这三个词来证明的,符合了“三个词项”。

一个命题和它的逆否命题在逻辑上是等价的,(对此贝叶斯概率可以证明)。

无论未来人工智能技术达到多么发达的水平,逻辑学这门基础科学在其中所起的重要作用无法被忽视。而这门重要的科学,早在2000多年前,就已形成了雏形。

相关文章