关于辩论.PPT

以神之名 一位天神在地球出现，帮助地球人类。地球人类信仰这天神，称之为“A”。 这位天神也在火星出现，帮助火星人类。火星人类信仰这天神，称之为“B”。 当火星人遇到地球人的时候，他们开始产生争执。地球人说：“我们信仰A，唯一真实的神”。火星人说：“我们信仰B，唯一真实的神”。 吵着吵着，地球人与火星人开始打架。 这时候，天神作何感想？ 朱厚熜的自号 灵霄上清统雷元阳妙一飞玄真君九天弘教普济生灵掌阴阳功过大道思仁紫极仙翁一阳真人元虚玄应开化伏魔忠孝帝君太上大罗天仙紫极长生圣智昭灵统三元、证应玉虚总掌五雷大真人玄都境万寿帝君 明世宗朱厚熜，还是死了。 为“名”所累 学生为“文凭”所累，老师为“职称”所累，名人为“名誉”所累……为外物所役被名利所困动心劳形 现代的“博士”教育，已经不是教育博士，而是教育专士。教育专士也不错，有错的是以下误区：A.人类越来越不能互相理解，西方文明博士不理解东方文明博士。人类的冲突与混乱增加。B.关注于琐碎的细节与技巧，不鼓励对于前提的反思与超越。C.在学术权威（权）和课题赞助（钱）的压力下，有意无意地追随成见，不敢独立自由和创新。 本科的“博雅教育”，基本上也是名存实亡。教育功利是因为社会功利 ，社会功利是因为人心功利 故事：不不同意就是同意 某公司员工大会上，老板对员工说：“为了发展大家的工作热情和能力，公司计划每天多加班两小时。我们充分尊重大家的决定，不同意的请举手。” 老板环视着大家，所到之处，伸出来的手都缩了回来。 老板清点一下，满意地说道：“参加会议共一百位员工，现在五位员工不同意，也就是说剩下的九十五位员工都同意。” 民主通过！ 影响：逻辑计算与分析哲学 他开创的数理逻辑对上世纪的科学和哲学两大领域都有重大影响。一方面，顺着罗素，希尔伯特，哥德尔，计算机之父图灵机，人工智能之父麦卡锡这个方向，他开创的数理逻辑思想被广泛用到计算机科学，被广泛用到人工智能和程序证明。另一方面，顺着罗素，维特根斯坦，卡尔纳普，奎因，普特南这个方向，他开创的数理逻辑及概念分析法发展成分析哲学。而分析哲学，是当前西方哲学的主流方向之一。概念分析用到语言就成了语言哲学，概念分析用到了心灵，就成了心灵哲学。 罗素：逻辑的集大成者 罗素的头衔很多，哲学家，数学家，逻辑学家，社会活动家，文学家。他在逻辑学方面的成就，主要是与他的老师怀特海编写了《数学原理》，使得弗雷格开创的数理逻辑更加系统更加完善。 罗素悖论 如果说弗雷格是数理逻辑的开山祖师，那么罗素就是数理逻辑的集大成者。罗素继续弗雷格的逻辑主义，想把数学归结到逻辑上。然后，他自己提出的罗素悖论使这一努力失败。 罗素悖论引起了第三次数学危机，数学哪里出现了问题？ 布劳维尔：构造主义 布劳维尔：荷兰数学，自立门户，提出了直觉主义思想，反对康托尔集合，认为罗素悖论是根源于非构造性的数学，强调构造性证明，反对基于无穷集的排中律。 构造性的数学，才是可靠的数学。 希尔伯特 “我们必须知道，我们必将知道。”－－希尔伯特 数学基础出现了矛盾，以确定性追求为己任的数学家如何受得了。集合论的矛盾弥漫开来，有人也怀疑算术是否也有矛盾。 为了捍卫古典数学的尊严，作为当时数学界的领袖，希尔伯特当仁不让，接过了这个挑战。 形式主义纲领 继1900在数学家大会上提出著名的希尔伯特23个问题后，1904年，希尔伯特在数学家大会上又提出一个证明算术无矛盾性的思路。 这个思路也称为形式主义纲领，它的核心思想是将算术表达为一种形式系统或称公理系统，然后用有穷步骤证明该系统的无矛盾性。 希尔伯特的目的是试图对形式系统的无矛盾性给出让大家都可以接受的证明，以便克服悖论所引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。 语法：构造性 语义：经典数学 陷入语执：乌龟与鱼的对话 乌龟说：“我爸是一只乌龟。” 鱼生气地说：“你爸才是一只乌龟呢？！我爸是一只鱼。” 乌龟说：“哦，原来你爸是一只乌龟，但我爸确实是一只乌龟。” 语言沟通的可能性与局限性 语言交流之所以可能：人类认识能力的相似性。语言共同体的训练。不断地练习适应。 语言的三种基本功能：信息性用法、表达性用法和指令性用法。 语言交流的局限性：同样一个词语，对于A的意义是如此，对于B的意义可能是另外。所以，通过语言没有办法与对方分享所没有的经验。 使用语言，但也不要迷信语言。语言指引真实，但真实并不在语言里。不是迷失在形式上迷失在外表上迷失在末流上。 山寨语言 每个人都是根据自己的理解来使用语言，更有趣的是我们往往都自认为是好的一方正义的一方。于是，很多美好的词汇经常会被滥用。 例如：“自由啊，自由，多少罪恶假汝之名”。“平等”，“神”，“自然”，“科学”，“正义”，“我们做强盗是替天行道”这些词语也是如此。 滥用并