认知科学与系统哲学.ppt
《认知科学与系统哲学.ppt》由会员分享,可在线阅读,更多相关《认知科学与系统哲学.ppt(82页珍藏版)》请在三一办公上搜索。
1、第7讲,认知科学哲学与系统哲学有一种比海洋更大的景象,这便是天空。有一种比天空更大的景象,这便是人的内心活动。(雨果),一.数理逻辑与人工智能,数理逻辑来自于悖论的研究,一般说来,凡“似是而非”,“似非而是”的论点,都被人们称之为“悖论”。构成一个悖论需要具备如下条件:(1)悖论都表现为两个相互矛盾的命题等价式,其一般形式为:P-P;(2)悖论作为一种特殊的逻辑矛盾,具有与普通逻辑矛盾相区别的两个特征:第一,任一悖论都是相对于某些公认的背景知识而言的,这些共识既可以是人们公认的明晰知识,也可以是人们不自觉地确认的共同直觉;第二,任一悖论都是从某些共识合乎逻辑地推导出来的。,数学史的三次危机,毕
2、达格拉斯学派相信“万物皆数”,认为任何数都可以标述为整数之比。但是根据他们提出的直角三角形的边长关系,可以构想出单位正方形的斜边是21/2,这是一个无法表示为整数之比的无理数,带来了第一次数学危机。第二次数学危机是牛顿,莱布尼兹创立微积分以后,贝克莱认为微积分运算中的无限小量是个无限趋向于0又不等于0的不可理解的量,仿佛是不断消失的“幽灵”数。第三次数学危机是集合论悖论的发现。,布尔代数,1847年,布尔(1815-1864)提出了逻辑代数的构想以后,符号逻辑获得了长足的进步。他把一个真命题的真值规定为1,假命题的真值规定为0。否定关系(非)为,合取关系(且)为+,析取关系为。于是就有:0=1
3、,1=0;0+0=0,0+1=1+0=1,1+1=1(并联电路)00=0,01=10=0,11=1(串联电路)所有x是y表示为x(1-y)=0无x是y表示为xy=0有x是y表示为xy=v有x不是y表示x(1-y)=v。,皮亚诺的算术构造,皮亚诺从不经定义的“集合”,“自然数”,“后继者”与“属于”等概念出发,提出了关于自然数的五个公理:(1)1是一个自然数;(2)1不是任何其它自然数的后继者;(3)每一个自然数a都有一个后继者;(4)如果a与b的后继者相等,则a与b也相等;(5)若一个由自然数组成的集合S含有1,又若当S含有任一数a时,它一定也含有a的后继者,则S就含有全部自然数。,哥特洛布弗
4、雷格(1848-1925),弗雷格是德国耶拿大学数学教授,在耶拿平静地度过一生,主要著作有:概念文字(1879);算术基础(1884);算术基本法则(第一卷,1893;第二卷,1903)。,形式语言,概念文字的副标题是“一种摹仿算术语言构造的纯思维的形式语言”。他认为日常语言的不完善性在于语法关系复杂,不服从逻辑规则,不能表达精确的意义,不能进行严格的推理。亚里斯多德用传统逻辑规范语言形式失败的根源在于主谓逻辑。因此,需要发明形式语言。,命题函项,按照传统逻辑,命题“第欧根尼是人”被分析为主词“第欧根尼”和谓词“人”,由系动词“是”联结而成。按照弗雷格的分析,这个命题应被分析为命题函项“x是人
5、”和x的值“第欧根尼”这样两部分。弗雷格还把自然语言的联词形式化为逻辑联词符号。这些符号是:1.表示析取关系(“和”)的符号或2.表示合取关系(“或”)的符号3.表示蕴涵关系(如果,那么)的符号或4.表示等同关系(“等于”)的符号=或5.表示否定关系的符号命题的真值:正确T,错误F。普遍量词(x):(x)F(x);存在量词(x):(x)G(x)。,自然数的定义,弗雷格认为,自然数并不是一个类所包含的事物的数目,自然数就是类(集合)本身,但却不是可感事物的类,也不是无条件地等同于类,而是可以从逻辑上加以限定的类。从逻辑上看,一切事物可以分为两大类:一类是自身相等同的事物,另一类是与自身不相等同的
6、事物。弗雷格把数目0定义为“一切与自身不相等同的事物的类”,相当于“空集”。数目1定义为“一切与0相等同的类所组成的类”,数目2定义为“一切与0相等同的类和一切与1相等同的类所组成的类”,依次类推。弗雷格的依次定义的序列设定了自然数序列的无限性,但是设定本身却是无法证明的,称为“无限性公理”。更为严重的是,在“等同”和“非等同”的逻辑区分被运用于“类”的情况下,还会产生逻辑悖论。,罗素:二十世界最伟大哲学家,贝特兰罗素(1872-1970)是分析哲学的创始人,20世纪闻名世界的哲学家与社会活动家。他与柏格森,加缪是获得诺贝尔文学奖的少数专业哲学家。,罗素悖论的发现,1900年3月,罗素在巴黎参
7、加国际哲学家大会,在会上接触到了皮亚诺关于自然数算术公理的思想(与数学归纳法有关),这成为他开始探索符号逻辑的精神转折点。1901年6月,在运用康托尔创立的集合论解决自然数数列问题时,罗素发现了悖论。1902年6月16日,他写信给弗雷格,告之这一发现。弗雷格读后大为震惊,他在即将出版的算术基本法则第二卷的结尾处写道:一个科学家的工作完成之日,也是这一建筑物的基础倒塌之时,没有什么比这更糟糕了。当本书即将付梓之时,罗素先生的一封信把我置于这样的境地。,罗素悖论,弗雷格对数的定义从0开始,这一定义的前提是把一切事物分为“与自身相等同”和“与自身不相等同”两类。如果把这一逻辑标准应用于“类”或“集合
8、”,那么,一切集合也可分为“与自身相等同”(比如,由“抽象概念”组成的集合就是一个抽象概念)和“与自身不相等同”(由“水果”组成的集合不是一个水果)两大类。悖论就出在“一切与自身不相等同的集合组成的集合”这一概念。用集合论的符号表示,“属于集合”记作x,“与自身相等同的集合”即“属于自身的集合”,记做x x,与自身不相等同的集合”记作xx。设Axx,如果A A,则A A;如果A A,则A A。类似的悖论有“说谎者悖论”与“理发师悖论”。,数学原理,在所有的数学都可以还原为关于自然数学的命题这个流行的假设下,罗素提出,这些命题也都可以还原为形式逻辑体系的命题。当时,他不知道弗雷格早在三十年前已经
9、致力于这项研究了。这项工作首先要求发现那种以纯逻辑项来定义自然数的方法;其次要构造一种逻辑体系,它对由它推演出来的算术命题将是足够丰富的。罗素在他1903年出版的数学的原理中试图实现第一项要求,第二项要求的实现体现在他与先前的数学导师怀特海合著的三卷本数学原理(1910-1913)中。,类型理论,1906年,罗素在数学原理和一些论文中,提出了解决罗素悖论的方案。他发现,一切悖论都来源于自我指示的恶性循环,即:用已经蕴涵着整体规定性的个体定义反过来规定整体。整体与个体的关系有不同的层次,其逻辑形式就是类型。罗素提出用简单类型理论处理集合与元素,集合与子集的关系。0级类型:个体a,b,c等,它们是
10、变元x的值。1级类型:1级谓词f和0级变元构成fx。2级类型:2级谓词F和较低级变元构成Fx和F(fx)。一般来说,n+1级类型由n+1级谓词和n级以及n级以下变元构成。这就是罗素简单类型理论。,希尔伯特旅馆,罗素的类型理论还无法消除类似“贝利悖论”的怪物:比如“用至少15个字描述的最小整数”。另外,还要简单地断定无限的存在,引入无限公理与选择公理,但无限概念包含着令人费解的矛盾,当我们考虑无限集合的时候,可能不存在明确的选择方法:罗素设想一个有钱人有无数双袜子,他让男仆从每双袜子中都挑出一只;但男仆无法开始,因为他无法确定要选择每一双中的哪一只。伟大的数学家希尔伯特提出了一个关于无限数的有趣
11、设想,叫做“希尔伯特旅馆”。一位旅客来到希尔伯特的旅馆想租一个房间,经理说:“客满了,不过这不是不可解决的问题;我们能够为你腾出地方来。”他把新客人安排在1号房,将1号房的人搬到2号房,2号房的人搬到3号房,N号房的人搬到N+1号房等等。这个旅馆正好有无限多间房。,伽里略悖论与康托尔对角线法,伽里略注意到一个类似的悖论,每一个整数可以平方,由此我们可以断言平方数与整数一样多。112=1,222=4,332=9,等等。但为何会这样,按照熟知的事实存在不是平方数的整数,如2,3,5,6,。1847年,康托尔发现对角线方法,证明了无理数比有理数的数目多得多。假如我们把0和1之间随机选择的数字按顺序排
12、列起来,那么就可以发现这个序列即使达到无限长,都一定会有数字不在里面。我们能够构造一个新数:选择第一个数的10分位的数字作为新数的第一个数字;以第二个数字百分位数字为新数的第二个数字;如此类推,最后得到的新数无法排列进去。,康托尔的超限数,康托尔一开始定义一个无限集合为一个可以与自己的部分建立一一对应关系的集合。他注意到每个可以与所有整数的集合建立一一对应关系的集合必然含有无限多个元素,他称这个数为“第一个超限基数”,记为0。这些集合是可数的,实数的基数比正整数的基数大。它与一条直线,一个平面或者一个高维空间中的点的基数相同,这些不可数的集合记为c.比0大的最小基数记作1,因此1c。实数集的所
13、有可能的子集的“数目”是一个更大的超限基数2c。比1大的最小的基数记作2,因此22c。,存在无限多个超限数,0:1 2 3 4 5 6 7 8 9 10 11 12 1:2:,现代连续统理论,公理方法,无穷集和不可数集是现代连续统理论的关键概念。戴德金把无穷集定义为:一个集合是无穷的,当且仅当它的元素与其真子集的元素之间建立起一一对应的关系。一个无穷集是可数的,当且仅当它能一一映射到自然数集上,否则它就是不可数的。连续统就是一个不可数无穷集。自然数极其稀疏地分布于实数中,每个自然数都被无数个超越数包围着:“代数数包括自然数分布于平面上,如黑夜中的星辰;而浓密的夜空便是超越数的疆土。”,连续统问
14、题,康托尔-戴德金型的连续统理论产生了连续统问题:如果是所有自然数集合1,2,3,的基数,即所有与它等价的集合之集合,那么可以表明,1,2,3,的所有子集的集合的基数c也是所有实数之集合的基数,用恰当的取幂定义来表示就是:c=2。康托尔用对角线论证法证明了,c,而且他猜测说,不存在这样一个基数x,使得xc。c是继之后更高的基数这一猜测,通常称为连续统假设。,连续统假设的独立性,1938年,哥德尔证明了,连续统假设在标准的集合论系统中是不可否证的。1963年,P.柯亨证明了,连续统假设也是不可能证明的。连续统假设独立于集合论公理这一认识,象认识到平行公设在欧氏几何中的独立性一样,很可能成为新发展
15、的丰富源泉。,数学中的无限,无限概念的数学分析,不同于无限概念的哲学分析。无限的数学分析注重形式上没有矛盾的无限概念,无限的哲学分析注重无限的辨证性质。德莫克利特的原子论,因为不可通约性的发现而动摇;欧几里德的比例论是后来连续统理论的原形;阿基米德的穷竭法,已经包含了极限概念。微积分引入了无限小量与无限大量,柯西把“变”量概念引入极限运算。实数理论,连续统问题,包含着对无限的理解。,无限的悖论,伽里略时代就发现:无限集合可以等价于(一一对应)自己的真子集,这就是无限的悖论。而戴德金把这一事实作为无限集合的定义。康托尔的集合论详细分析了基数(势)和超限(无限的)序数的阶。集合论悖论与无限悖论产生
16、的原因是实无限抽象法,它把那些适用于有限集合的简明的和绝对正确的传统逻辑的规律无条件地搬用到无限集合。,哥德尔定理,所谓哥德尔定理,一般是指如下的句子:在足以包括数论的任一形式系统中,存在着一个不可判定的公式即一个公式和它的否定都是不可证明的。(这个语句往往是指哥德尔第一定理)有时还在这语句中加上:不可判定的公式是真的。这定理的一条系定理是:足以包括数论的形式系统的协调性在本系统中不能得到证明(哥德尔第二定理)。,不可判定性,算术是不完全的,因为至少有一个算术真理,不能从算术公理推出,却能用系统外的元数学论证来建立。这个真公式G相当于在哥德尔数编码算术形式证明的时候,出现了类似康托尔对角线方法
17、中无法排入可证明定理的哥德尔数序列中的新数。算术还是本质上不完全的,因为即使把真公式G当作公理添入原公理集,填补而成的系统仍不足以形式地产生所有算术真理:我们仍可构造一真公式,它用该系统内的形式手段不可证。无论把这种给初始集添加公理的过程重复多少次,情况都不会改变。,人脑与电脑,哥德尔结论与能不能造一台数学推理能力等于人脑的计算机的问题有关。如今的计算机都有一组固定指令存入其中,又都是一步接一步运算的。鉴于哥德尔不完全性定理,不论这类机器的内部机制多么复杂,也不论其运算速度多快,总有无穷尽的初等数论问题是它们按本性无力提供答案:图灵机的停机问题。,人脑无限智慧之源,不可能建造一台等价于人脑的计
18、算机也不一定意味着没希望用物理和化学术语来说明生命和人的理性。哥德尔不完全性定理既没有排除又没有肯定这类说明的可能性。尽管人脑也有局限,可能无力求解一些数学问题,但是人心的结构与威力远远比目前的任何机器复杂和微妙。,二.认知科学的发展,在1943年的数学物理学通报中,麦卡洛克和皮茨发表了一系列把逻辑应用于生物学的论文,其中最重要的是“神经活动内在概念的逻辑演算”。他们提出了以下物理学概念:(1)神经元活动是一个“有或无”的过程;(2)为了在任何时刻刺激一个神经元,在潜伏的附加期内必须有一定数目的突触受到刺激,而这一数目与这个神经元以前的活动和位置有关;(3)神经系统内唯一有效的延迟是突触延迟;
19、(4)任一抑制性突触的活动都完全阻止了那一时刻的神经元的刺激;(5)网的结构不随时间变化。,神经元学习(1949),1949年,赫伯(1904-1985)出版了行为的组织:一种神经心理理论,提出了以下假设:“当细胞i的轴突足够近地刺激细胞k,并反复或持续地激励它时,某种增长过程或新陈代谢变化就会在它们中间发生,使得作为激励k的诸细胞之一的i细胞的激励效率增大。”赫伯学习规则:(1)如果在突触(连接)前后的两个神经元被同时(同步,相关)激活,那么这个突触连接增强;(2)如果在突触(连接)前后的两个神经元被异步(不相关,负相关)激活,那么这个突触连接减弱或消除。,罗森勃拉特感知器(1958年),罗
20、森勃拉特严格证明了:按照神经元的麦卡洛克-皮茨模型,通过神经元输出与期望的误差能够反馈到输入进行修正,这种算法反复进行,误差会越来越小,即算法是收敛的。,人工神经网络的功能(1986),1.信息的搜索,绝不是像计算机那样依据信息的地址查询方法,而是依据信息本身部分内容关联“勾引起”其他内容的内容存取记忆。2.计算机中的“0”或“1”有明确意义,大脑中的信息完全不是这样,而是分布在相当规模的神经网络(脑皮层块)中,这叫分布式存储。3.记忆是神经元群体行为,如果某些神经元坏了,有关的记忆不会有明显改变,这叫容错能力。4.当有一个不完整的信息输入后,神经网络依靠“联想”可能找出原来记住的完整内容。这
21、叫联想记忆,也叫纠错能力。,免疫系统的学习能力,与神经网络相比,人体免疫系统拥有的淋巴细胞数量,比大脑拥有的神经元数量更为庞大!免疫系统,通过改变细胞网络单元间的浓度与亲和度实现学习,而不是像神经网络中改变神经元之间的连接强度。免疫系统遍及全身各处,没有确定的结构形式;而生物神经系统的组织划分与神经元的位置都相对稳定,结构严密。为了能“覆盖”各种各样可能的病原体外形,身体内会同时存在许多种类型的淋巴细胞。免疫系统利用随机性,让淋巴细胞能识别的形状互不相同。,神经网络,进化计算与免疫系统比较,约翰塞尔的“中文屋子”(1980):如果一个系统仅仅是无意义的符号,那就不能保证它有理解,我们想象塞尔教
22、授被封闭在小屋里,输入输出中文,而他对中文一窍不通。他盲目死板地按照指令手册和利用纸张处理,输出中文符号作回答,结果完全正确!但按照图灵规则,整个系统似乎懂中文。1990年,塞尔提出4条公理:(1)计算机程序是形式化的句法实体;(2)头脑具有精神内容(或语义);(3)语法自身对语义而言是不充分的;(4)精神源于大脑,精神涉及大脑的因果能力:“仅仅模拟大脑的输入输出功能,不可能再现精神状态”。,克里克:惊人的假说(1994),人的精神活动(大脑的行为)完全是由神经细胞,胶质细胞的行为及其和构成,影响它们的原子,离子和分子的性质所决定。正如编写程序时不必了解计算机内电路布线一样,功能主义者在研究大
23、脑的信息加工和计算过程时,不考虑这些过程的神经生物学机制。一旦我们了解大脑工作的某些细节,功能主义者关心的高层次描述就会成为分析大脑整体行为的有用方法。其正确性可以用低层次的细胞核分子的研究加以验证。高层次的尝试性描述可能成为阐明大脑复杂操作的初步向导。真实神经元的轴突,突触和树突都存在时间延迟和处理过程中的不断变化。神经网络的大多数设计者讨厌这些特征,回避它们。这种态度是错误的。,三.系统科学与唯物辩证法,美籍奥地利生物学家贝塔朗菲(1901-1971)在1945年发表第一篇系统论论文关于一般系统论,1968年的著作一般系统论的基础、发展和应用影响最大。普遍联系与变化发展的辩证法具体化了。美
24、国犹太科学家维纳(1894-1964)是控制论的创始人,1943年维纳与罗森勃吕特、毕格罗发表了最早关于控制论的论文行为、目的和目的论,1948年出版的控制论(或关于在动物和机器中控制和通讯的科学),宣告了控制论这门科学的正式诞生。美国数学家与工程师申农(1916)在1948年发表通信的数学理论,奠定了信息论的理论体系。信息论定量地体现了物质具有反映能力的哲学思想,并把信息视为战胜混沌的组织力量之一。,系统自组织理论,比利时科学家普里高津(1917-2003)在1945年最早提出“最小熵原理”,从1947-1967年,经过近20年的努力,最终得到了“耗散结构”的概念,著作有从存在到演化,从混沌
25、到有序,探索复杂性等,认为系统演化始于“分子混沌假设”之类的简单随机性(熵之源),经过远离平衡态的开放有序的耗散结构,达到确定性的不可准确计算的“伪随机性”(无组织力量之根)。德国物理学家哈肯(1927-)早年从事激光理论研究,1969年第一次提出“协同学”概念,以后发表了大量协同学论文,主要协同学著作协同学导论(1977),高等协同学(1984),提出了“序变量”,“自组织系统”等概念。对立统一规律与主要矛盾,矛盾主要方面的哲学思想在复杂的自组织系统演化中具体化,定量化了。,非线性动力学,法国数学家雷内托姆(1923-2002),在1968年发表了突变理论方面的第一篇论文生物学中的拓扑模型,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 认知科学 系统 哲学
链接地址:https://www.31ppt.com/p-6343223.html