第一章逻辑学悖论.ppt

第一章 逻辑学悖论 这一章的主要目的，是尽可能用娱乐的方式，通过提出现代逻辑学中最重要的悖论来引起学生的兴趣。在这里，“悖论”这个词意思比其他部分要窄一点。在其他几章中，悖论是强烈违反我们直觉的问题。在这里，悖论只是直接导致彼此矛盾的结果，就像证明2+2又等于4，又不等于4一样。逻辑悖论是“不可解”的，除非能找到一种方法来完全消除这种恶性的矛盾。 尽管从古希腊起到今天，逻辑悖论一直人们带来很大乐趣，可是最伟大的数学家都总是极严肃地对待它。在发展现代逻辑学和集合论中一些巨大进展正是努力解决经典悖论的直接结果。在这里，你会看到引自伯特兰德·罗素的话，他谈到他花了好些年的时间研究悖论而没有成功，后来他和阿尔弗雷德·怀特里德合作，写了《数学原理》，这是一本奠基了现代形式逻辑的代表性论著。 逻辑学是一切演绎推理的基础，一个不懂基础逻辑的学数学的学生是没有能力来掌握数学基础的。对这些基础的理解往往是较困难的，它使初学学生丧失对数学的兴趣。幸好，这组故事可以帮助你使学生认识到，逻辑学并不像他们想象的那样枯燥无味，而是一个对数学很重要的、生动有趣的课题、其中有很多令人兴奋的问题尚待解决。 在这组故事中有三个中心问题。 1．在我们谈论语句的真实价值时，为什么需要以一种更高级的语言(称为“元语言”)来谈论它？ 2．为什么现代集合论有一些规则禁止一个集合是此集合本身的元素？ 3．在什么样的特殊情况下