古今中外有不少著名的悖论,它们震撼了逻辑和数学的基础, 震动最大的是罗素悖论。1901年罗素在素朴集合论中发现了一个简单而重要的悖论,引发了数学史上第三次基础理论“危机”。因为素朴集合论被当时的数学界普遍公认为是整个数学大厦的基础。由于素朴集合论可用纯逻辑语言表达与刻画,这场“危机”也被归之于逻辑基础理论。罗素悖论内容是 集合可以分为两类:第一类特征是集合本身又是集合中的元素,例如“所有集合所成的集合”;第二类特征是集合本身不是集合的元素,例如直线上点的集合。显然,一个集合必须是,并且只能是这两类集合中的一类。假定A是所有第二类集合所成的集合。那么,A是哪一类的集合呢?如果A是第一类的,A是自己的元素。但由定义,A只由第二类集合组成,于是A又是第二类集合;如果A是第二类集合,那么,由A的定义,A必须是A的元素,从而A又是第一类集合。总之,左右为难,无法给出回答。这就是著名的“罗素悖论”。
悖论在科学理论基底部分出现使罗素等人认识到,对悖论的探讨,决不是无谓的文字游戏,而是关乎人类思维基础的重大问题。 关于悖论的研究,一般认为作为一种理论事实,含义有两个方面:其一,悖论并不存在于客观对象世界,而存在或内蕴于人类已有知识系统之中;其二,悖论是一种系统性存在物,再简单的悖论也是从背景知识经逻辑推导构造而来,任何孤立的语句本身都不可能构成悖论。构成严格意义的逻辑悖论有三个要素共同决定,即公认正确的背景知识,严密无误的逻辑推导和可以建立矛盾等价式。 在三要素中,严密无误的逻辑推导和可以建立矛盾等价式可从逻辑语形学和语义学获得解释,唯有公认正确的背景知识是一个涉及认知主体并具有一定模糊性的语用学概念。背景知识既可以是人们公认的明晰知识,也可以是认知主体不自觉地使用的预设。如“一切真理都是相对的”这句话,其本身在语言学上就设定为这话绝对正确,是绝对真理,由它本身推导说明还是有绝对真理。因此落实到每个具体悖论,其背景知识设定与本身性质自组合往往产生出悖论构造。
悖论在科学理论基底部分出现使罗素等人认识到,对悖论的探讨,决不是无谓的文字游戏,而是关乎人类思维基础的重大问题。 关于悖论的研究,一般认为作为一种理论事实,含义有两个方面:其一,悖论并不存在于客观对象世界,而存在或内蕴于人类已有知识系统之中;其二,悖论是一种系统性存在物,再简单的悖论也是从背景知识经逻辑推导构造而来,任何孤立的语句本身都不可能构成悖论。构成严格意义的逻辑悖论有三个要素共同决定,即公认正确的背景知识,严密无误的逻辑推导和可以建立矛盾等价式。 在三要素中,严密无误的逻辑推导和可以建立矛盾等价式可从逻辑语形学和语义学获得解释,唯有公认正确的背景知识是一个涉及认知主体并具有一定模糊性的语用学概念。背景知识既可以是人们公认的明晰知识,也可以是认知主体不自觉地使用的预设。如“一切真理都是相对的”这句话,其本身在语言学上就设定为这话绝对正确,是绝对真理,由它本身推导说明还是有绝对真理。因此落实到每个具体悖论,其背景知识设定与本身性质自组合往往产生出悖论构造。









