美梦还是噩梦(下)——关于“人工智能”的哲学遐想

在技术占统治地位的今日西方社会,"理智",真象雅克·德里达所说,已经陷入"绝对的危机"了吗?关于"理智"的问题,随着"人工智能"研究的开展,也越来越显得突出."人工智能"要模拟人的智能,就必须切实弄清楚人脑活动的种种功能和本质.从"人工智能"的要求出发来谈认识论,就不能纸上谈兵了,不能象以往西方的一些哲学家那样,尽说空话.     

美梦还是噩梦(上)——关于“人工智能”的哲学遐想

计算机早已能模拟人的一部分"智能",但在将来,计算机的"智能"能否提高到类似人智的水平,或者说,科学能否使一台"非人"的机器产生"人一样的智能"?对于这个问题,西方曾出现过所谓乐观派和悲观派这两种相反的见解.乐观派认为计算机能模拟人的智能,他们和18世纪的法国哲学家拉·梅特里一样,认为"人是机器",人脑也不过是一台复杂的计算机;计算机的局限性,也是人智的局限性;计算机能够、应该,而且将会做人能做的一切.悲观派则认为人的智能远非计算机所能企及,计算机永不可能达到人的智能水平.但近几年来,却又出现了另一种乐观和悲观的对立,双方都以机器思维最终将能够与人智并驾齐驱这一假设为前提,尽管这个假设的可信程度还低.     

赫兹贝格谈悖论研究——安大略湖畔寄语

什么叫做悖论?我在《悖论研究八十年》(见本刊1980年第7期)一文中,曾介绍过一些著名的例子。例如“说谎者悖论”:“我说的这句话是谎话。”如果这是真话,那它便是谎话;如果确是谎话呢,那这句话又说了真话。这叫做“语义悖论”。另一个重要悖论,叫做“罗素悖论”,这是罗素的一个重要发现。“集合”是一个数学概念。“桌子”的概念包含世界上所有的桌子,但“桌子”这个概念只是一个概念,而不是一张具体的、真的桌子,所以“桌子”这个集合中不能包含“桌子”这个集合。再假定把所有“不包含集合自身在内的集合”合在一起,于     

“不协调逻辑”小议

近来从书刊上看到,美国、巴西、澳洲已有一些逻辑学家在认真研究并提出了各种所谓"不协调逻辑"系统和理论.这一类逻辑学家和哲学家中较著名的有达考斯塔(N. da Costa)、理查·罗特列和瓦雷里·罗特列(Richard and Valerie Routley)、罗伯特·K.梅耶(RobertK. Meyev)、格兰·普里斯特(Graham Priest)、尼古拉斯·雷歇尔(Nicholas Rescher)、罗     

略论现代西方逻辑学的发展

本世纪初以来,尤其是近三四十年来,欧美学术界在形式逻辑的研究方面,有显著的成绩。在生产力发展的推动下,本世纪初,西欧诸国在数学研究方面,出现了新的问题,从而推动了逻辑学的研究;其后逻辑学方面的成就,又反过来促成了数学方面的发展和许多有关分支的兴起。数学与哲学(包括逻辑学在内)之间有着辩证的相互排斥和统一的关系,正好从这种现象中得到说明。从数     

论当代西方音乐

作者E.沃尔伯格(Eric Walberg)是加拿大马克思主义年青学者,多伦多塞纳加学院经济学讲师,曾在英国牛津大学研究经济学,同时也是一位钢琴演奏家,毕业于多伦多皇家音乐学院。译者于去年在多伦多大学时同他认识,本文是他应约为本刊寄来的稿件,据他说这是他将要讲授的音乐理论课《通俗文化与资本主义》中的一章。现全文译出如下。     

哥德尔理论与悖论有没有“必然联系”?

杨英锐同志评论了几篇拙文中有关哥德尔"不完全性定理"的介绍和论述.这儿先略谈杨文中提出的第二个问题.第一个问题比较单纯,放在后边讨论.哥德尔不完全性定理与悖论的关系关于这个问题,只要借用客瑞(H. B. Curry)的一段简明的话,就大致清楚了:     

数学和二十世纪的人

数学是科学的接生婆.没有数学,我们的文明还会停留在黑暗时代.可是就大多数人所受的教育而言,数学方面只学到中世纪的数学就停止了.这就短少了五百年左右的知识.这种情形,有点象学文学的人,还没有学到莎士比亚,就停止学下去一样.这有多大关系呢?关系很重大.数学已不仅仅是科学和技术的"语言",它已经闯入原来不懂数学的人们能应付裕如的一些领域,例如企业管理、社会科学、卫生安全等方面了.如     

推荐一部世界《逻辑史》——评杜米特里乌著四卷本《逻辑史》

目前欧美比较著名的逻辑学史大约有四五种,其中比较流行的有天主教多明我会教士I.M.波汉斯基(Boche?ski)的《形式逻辑史》和英国尼尔(William and Martha Kneale)的《逻辑学的发展》,后者是六十年代初英国牛津大学出版的,为不少人所推重.但上述这两部逻辑史,同最近由英国坎特的吞布里奇·威尔斯"算盘出版社"(Abacus Press)出版的罗马尼亚悖论专家安东·杜米特里乌教授(Prof. Anton Dumitriu)所著的四     

悖论研究八十年

西方哲学界和数学界对悖论(paradoxes,antinomies)问题的研究,算来已有八十多年了。这个问题牵涉到逻辑和哲学。具体说来,它还同“公理化形式系统”、“判定问题”等数理逻辑上的实际问题有关。因此,它不但有深刻的哲学意义,也有实践意义。八十年来关于悖论问题的文献已经很浩瀚。但西方哲学界和数学界对这个问题至今还在热烈讨论,公认并没有得到圆满的解答。随便翻开一本最新的西方逻辑学著作,都是这么说。例如,最近出版的杰罗姆·马立兹著的《数理逻辑导论》(1979年美国Springer-Verlag版)一书中,在谈到罗素悖论的成因