生活中的悖论问题 教案.doc.docVIP

第一课时 什么是悖论 教学目标：了解悖论的概念及日常生活中的悖论问题 教学重点、难点：生活中“悖论”问题的理解 教学过程： “悖论”（paradox）一词常见诸报端，其字面意思为“荒谬的理论或自相矛盾的话”。从逻辑上看，悖论性的语句具有这样的特征：如果假定这个语句为真，那么会推出这个语句为假；反之，如果假定这个语句为假，又会推出这个语句为真。说它对也不是，不对也不是，真是左右为难。 语义学悖论举例 悖论古已有之。一般认为，最早的悖论是古希腊的“说谎者悖论”。《新约全书·提多书》是这样记述的： 克里特人中的一个本地先知说：“克里特人总是撒谎，乃是恶兽，又馋又懒。”这个见证是真的。 这个克里特岛的“先知”是伊壁孟尼德（Epimenides）。后来欧布里德（Eubulides）将他的话改进为： 我正在说谎。 这句话是真的，还是假的？ 如果是句真话，由这句话的内容可知：说话者正在撒谎，既然是撒谎，那么说的是假话；反之，如果这句话是假的，说假话就是说谎，这句话的内容正是“我正在说谎”，因此这句话又是真的。 后来又发现了好几种“说谎者悖论”的变种，例如所谓“说谎者循环”： A说：“下面是句谎话。” B说：“上面是句真话。” “说谎者悖论”和“说谎者循环”是与自然语言的表达方式密切相关的悖论，涉及真假、定义、名称、意义等语义方面的概念，这类悖论被称为“语义学悖论”。语义学悖论的实例很多，“格列林（K.Grelling）-纳尔逊（L.Nelson）悖论”就饶有趣味，它与形容词的应用有关： 将形容词分为两类，一类称为“自谓的”，即可对于它们自身成立、对自己为真的。例如，形容词“Polysyllabic（多音节的）”本身是多音节的，“English（英文的）”本身是英文的，它们都是自谓的。另一类称为“它谓的”，即对于它们自身不成立、对自己不真的。例如，形容词“Monosyllabic（单音节的）”是它谓的，因为这个词不是一个单音节词；“英文的”也是它谓的，因为这个词是中文的而不是英文的。问题来了：形容词“它谓的”是不是它谓的？ 得到的结果是：如果“它谓的”是它谓的，那么会推出“它谓的”不是它谓的，反之亦然。导致了自相矛盾。 集合论悖论与公理化 另一类悖论涉及数学中的集合论，被称为“数学悖论”或“集合论悖论”。集合论是19世纪70-80年代由德国数学家康托尔创立，它建立在一种无限观——“实无限”的基础上。所谓“实无限”，即把“无限”作为一个已经完成了的观念实体来看待。例如，在集合论中用N={n：n是自然数}表示全体自然数的集合就是如此。需要指出的是，在此之前的几千年数学发展史中，占主导地位的是另一种无限观，即古希腊哲学家亚里士多德所主张的“潜无限”观念。所谓“潜无限”，是把“无限”作为一个不断发展着的、又永远无法完成的过程来看待。例如，把自然数看成一个不断延伸的无穷无尽的序列1，2，3，…，n，…就是如此。 集合论是数学观念和数学方法上的一次革命性变革，由于它在解释旧的数学理论和发展新的数学理论方面都极为方便，因而逐渐为许多数学家所接受。然而，在康托尔创立集合论不久，他自己就发现了问题，这就是1899年的“康托尔悖论”，亦称“最大基数悖论”。与此同时，还发现了其他集合论悖论，最著名的是1901年的“罗素悖论”： 把集合分成两类，凡是不以自身作为元素的集合称为正常集，（例如，自然数集N本身不是一个自然数，因此N是正常集。）凡是以自身作为元素的集合称为异常集。（例如，所有的非生物的集合F并非生物，因此F是异常集。）每个集合或者为正常集或者为异常集。设V为全体正常集所组成的集合，即V={x：x?埸x}，那么V是不是正常集？ 如果V是正常集，由正常集的定义知V?埸V，又因V是全体正常集的集合，所以正常集V∈V，但这说明V不是正常集，是异常集；反之，如果V不是正常集，是异常集，那么由异常集的定义知V∈V，这说明V是全体正常集组成的集合V的元素，因而V又应该是正常集。 罗素悖论揭示了一个严酷的事实：集合论是隐含着逻辑矛盾的，如果把数学建立在集合论的基础之上，将会使数学大厦从根基上产生深深的裂痕，这种裂痕甚至有可能使整座大厦倾覆。一石激起千层浪，一场关于数学基础问题的论战爆发了。 在这场论战中，最为激进的是以荷兰数学家布劳威尔为代表的直觉主义学派，他们对集合论采取了全盘否定的态度，并认为“实无限”的观念是集合论悖论产生的根源。与此相反，另一些数学家走上了改良的道路，他们试图亡羊补牢，对集合论加以适当的修正，以避免悖论。这方面的代表性成果是公理集合论，它已成为现代数学的一个重要分支。公理集合论采用公理化的方法来刻画集合和集合的运算，并对康托尔集合论