逻辑学与现代科学的发展,逻辑学悖论

日期:2019-11-23编辑作者:现代文学

第一章 逻辑学悖论

图片 1

如果你曾向学生介绍过逻辑学的基本概念,就会发现,没有什么比一个使人主意忽左忽右的悖论更能引起他们的兴趣了。他们被一步一步地引上繁花似锦的小道,遵循着一条无懈可击的推理思路往前走,结果他们忽然发现自己已陷入矛盾之中。到底是什么错了?难道就在演绎推理这一过程背后有可能隐伏着什么倒霉的缺陷吗?

这一章的主要目的,是尽可能用娱乐的方式,通过提出现代逻辑学中最重要的悖论来引起学生的兴趣。在这里,“悖论”这个词意思比其他部分要窄一点。在其他几章中,悖论是强烈违反我们直觉的问题。在这里,悖论只是直接导致彼此矛盾的结果,就像证明2 2又等于4,又不等于4一样。逻辑悖论是“不可解”的,除非能找到一种方法来完全消除这种恶性的矛盾。

尽管从古希腊起到今天,逻辑悖论一直人们带来很大乐趣,可是最伟大的数学家都总是极严肃地对待它。在发展现代逻辑学和集合论中一些巨大进展正是努力解决经典悖论的直接结果。在这里,你会看到引自伯特兰德·罗素的话,他谈到他花了好些年的时间研究悖论而没有成功,后来他和阿尔弗雷德·怀特里德合作,写了《数学原理》,这是一本奠基了现代形式逻辑的代表性论著。

作为一个数学教师,不用人提醒就懂得,逻辑学是一切演绎推理的基础,一个不懂基础逻辑的学数学的学生是没有能力来掌握数学基础的。对这些基础的理解往往是较困难的,它使初学学生丧失对数学的兴趣。幸好,这组故事可以帮助你使学生认识到,逻辑学并不像他们想象的那样枯燥无味,而是一个对数学很重要的、生动有趣的课题、其中有很多令人兴奋的问题尚待解决。

在这组故事中有三个中心问题。

1.在我们谈论语句的真实价值时,为什么需要以一种更高级的语言(称为“元语言”)来谈论它?

2.为什么现代集合论有一些规则禁止一个集合是此集合本身的元素?

3.在什么样的特殊情况下,预言未来在逻辑上是不可能的?

最好是在学习逻辑学、集合论或演绎(推理)证明的时候来认真阅读这一部分。现代几何学教科书,如雅可比的《几何学》,和很多代数以及普通数学教科书一样是以演绎推理开头的。如果你使用的是这类教科书.那末在教课(或学习)之前最好先看看这一章。

这一章的内容为展开演绎推理方面的讨论提供了丰富的背景知识,并预计到可能会提出的问题,还为较优秀的学生提供了很多精彩的补充材料。

作者简介:蔡曙山,1950年生,哲学博士,清华大学哲学系教授,清华大学科学技术与社会研究中心研究员。

关键词:逻辑学/现代科学/学科分类

逻辑学在现代科学的发展中起到愈益重要的作用。按照联合国教科文组织的学科分类,逻辑学是列在“知识总论”下的一级学科。联合国教科文组织的“科学技术领域的国际标准命名法建议”中,更将逻辑学列于众学科之首。美、英、德、日等国家的学科划分都遵照这一标准(注:丁雅娴主编《学科分类研究与应用》,中国标准出版社1994年版。)。在我国,长期以来都把逻辑学作为二级学科,置于哲学之下,或置于数学之下,与国际通行的学科划分有很大的差异。国内外学科划分的这种差异,一是因为我们将社会科学与自然科学人为地分离,二是因为我们在学科划分上搞几十年一贯制,未能及时纠正学科划分中存在的问题。这样的划分,降低了逻辑学的地位,削弱了逻辑学的作用,限制了逻辑学自身的发展,也影响到几乎所有学科的发展。本文拟就逻辑学的基础地位和它在现代科学发展中的作用以及其他相关问题进行讨论。

一、第三次数学危机和逻辑学基础地位的确立

传统的学科划分,将数学列于众学科之首,这一直是没有争议的,因为有了数学这样精确的分析工具,才会有以自然现象为研究对象的物理学、化学、天文学、地质学、生物学,也才会有以社会和人文现象为研究对象的经济学、政治学、社会学、法学、语言学、文学等等。这些都被写在科学史上和哲学史上,似乎科学的发展本身就是这样。

长期以来,人们从未费心去想一想数学本身的问题:数学的基础是什么?我们凭什么相信数学?难道所有学科都要假定数学吗?

本文由云顶娱乐发布于现代文学,转载请注明出处:逻辑学与现代科学的发展,逻辑学悖论

关键词: 云顶娱乐

知道点世界文化

“作者敢打赌,拿长剑的准能得胜。”“拿长刀的能赢,瞧,他身板多强壮!小编赌20塔仑。”观者席上的奥斯陆权族...

详细>>

陈逢坤简要介绍,享受沪郊的平静慢生活

姓名:陈逢坤 国籍:新加坡共和国 时期:未知 职位:Singapore国际元立集团主持人   姓名:陈逢坤  性别:男  职...

详细>>

你说话为啥那么大声,谈判中的二十条妙计

④比对方提前到达约定地点。当自己比约定的时间晚到时,难免会觉得很不好意思;倘若发现对方还没到,心情就舒...

详细>>

首尔SEOUL以此名字曾经用了500多年,有名气的人民

云顶娱乐 ,姓名:chaerim 国籍:韩国.汉城 年代:1979.3.28- 职位:娱乐明星   英文名称:chaerim  生日:1979年3月28日...

详细>>