第7讲 认知科学哲学与系统哲学 有一种比海洋更太的拿象，这便是天空 空更大的象，这使是人的内心活动。 (雨果)
第7讲 认知科学哲学与系统哲学 有一种比海洋更大的景象，这便是天空。 有一种比天空更大的景象，这便是人的内心活动。（雨果）
一.数理逻辑与人工智能 数理逻辑来自于悖论的研究，一 般说来，凡“似是而非 似非而是”的论点，都被 人们称之为“悖论” 9粥 构成一个悖论需要具备如下条件： 9咒 (1)悖论都表现为两个相互矛盾的命题等价式，其一般 形式为：P→P; (2)悖论作为一种特殊的逻辑矛盾，具有与普通逻辑矛 9粥 盾相区别的两个特征： 第一，任一悖论都是相对于某些公认的背景知识而言的， 这些共识既可以是人们公认的明晰知识，也可以是人们不 自觉地确认的共同直觉； 第二，任一悖论都是从某些共识合乎逻辑地推导出来的
一 . 数理逻辑与人工智能
数学史的三次危机 毕达格拉斯学派相信“万物皆数”，认为任何数 都可以标述为整数之比。但是根据他们提出的直 角三角形的边长关系，可以构想出单位正方形的 斜边是212，这是一个无法表示为整数之比的无理 数，带来了第一次数学危机。 6 第二次数学危机是牛顿，莱布尼兹创立微积分以 后，贝克莱认为微积分运算中的无限小量是个无 限趋向于0又不等于0的不可理解的量，仿佛是不 断消失的“幽灵”数。 第三次数学危机是集合论悖论的发现
数学史的三次危机
rAO 國②☒欧2双 布尔代数 1847年，布尔 (1815-1864)提出了逻辑代 数的构想以后，符号逻辑获得了长足的进 步。 咒 他把一个真命题的真值规定为1，假命题的 真值规定为0。否定关系（非）为~，合取 关系（且）为+，析取关系为×。 粥 于是就有：~0=1，~1=0； 0+0=0,0+1=1+0=1,1+1=1(并联电路 9咒 0×0=0,0×1=1×0=0,1×1=1(串联电路 所有x是y表示为x(1-y)=0 8 无x是y表示为xy=0 有x是y表示为xy-V 布尔，G. 粥 有x不是y表示x(I-y)V
布尔代数
rAB 皮亚诺的算术构造 皮亚诺从不经定义的“集合”，“自然数 ” “后继者”与“属于”等概念出发，提出了关 于自然数的五个公理： 咒 (1)1是一个自然数： (2)1不是任何其它自然数的后继者； 9咒 (3)每二个自然数a都有一个后继者； 9粥 (4)如果a与b的后继者相等，则a与b也相等 光 (5)若一个由自然数组成的集合S含有1，又若 当S含有任一数a时，它一定也含有a的后继者， 则S就含有全部自然数
皮亚诺的算术构造
丰 rAO 國@☒级2双 哥特洛布·弗雷格( 1848-1925) 9咒 弗雷格是德国耶拿大学数学 教授，在耶拿平静地度过 生，主要著作有： 9咒 《概念文字》(1879)； 8咒 《算术基础》(1884)； 咒 《算术基本法则》（第一卷 1893;第二卷，1903)
哥特洛布·弗雷格（1848-1925）
丰 rAO 國②级2双 形式语言 《概念文字》的副标题是“一种 摹仿算术语言构造的纯思维的形 式语言”。 呢格哲学论著这辑 粥 他认为日常语言的不完善性在于 装华客特有 语法关系复杂，不服从逻辑规则 不能表达精确的意义，不能进行 严格的推理。亚里斯多德用传统 逻辑规范语言形式失败的根源在 00 盖发地有能 于主谓逻辑。因此，需要发明形 式语言
形式语言
rAO 國②☒级2双 命题函项 光 按照传统逻辑，命题 “第欧根尼是人”被分析为主 词“第欧根尼”和谓词“人，宙系动词“是”联 结而成。 咒 按照弗雷格的分析，这个命题应被分析为命题函项 “x是人”和x的值“第欧根尼”这样两部分。 8粥 弗雷格还把自然语言的联词形式化为逻辑联词符号。 这些符号是： 咒 1.表示析取关系(“和”)的符号或∩ 粥2.表示合取关系(“或”)的符号U 3.表示蕴涵关系（如果，那么）的符号→或 光 4表示等同关系（“等于”)的符号=或= 6 5.表示否定关系的符号7 命题的真值：正确T,错误F。 普遍量词∀(x):V(x)F(x); 9咒 存在量词3(x):3(x)G(x)
命题函项
版AB 或级2双 自然数的定义 趋生县袋生不情大全粉活留果2灵繁 弗雷格认为， 件地等同于类，而是可以从逻辑上加以限定的类。 粥 从逻辑上看，一切事物可以分为两大类：一类是自身相等同的 事物，另二类是写自身不相等同的事物。 弗雷格把数目0定义为“一切与自身不相等同的事物的类”，相 当于“空集” 咒 数目1定义为“一切与0相等同的类所组成的类”， 数目2定义为 切与0相等同的类和一切与1相等同的类所组成的类”，依 次类推 弗雷格的依次定义的序列设定了自然数序列的无限性，但是设 定本身却是无法证明的，称为“无限性公理” 咒 更为严重的是，在“等同”和“非等同”的逻辑区分被运用于 类”的情沉下，还会产生逻辑悖论
自然数的定义
rA 或☒网2双 罗素：二十世界最伟大哲学家 贝特兰罗素(1872- 1970)是分析哲学的 创始人，20世纪闻名 世界的哲学家与社会 活动家。他与柏格森 加缪是获得诺贝尔文 学奖的少数专业哲学 家
罗素：二十世界最伟大哲学家