反例

✍ dations ◷ 2024-12-23 09:26:37 #逻辑,哲学

在逻辑学中,反例是相对于某个全称命题的概念。反例在数学、哲学和自然科学中都有重要的应用。举例来说,对一个命题:所有的天鹅都是白色的。这是一个全称命题,声明对于某类事物全体(所有的天鹅),都有某个性质(是白色的)。为了说明这个命题不是真的,只需要举出一个例子,其对象属于这类事物,但不具有命题中声称的性质就可以了。这样的例子称为反例:一只不是白色的天鹅就是这个命题的反例。

数学中,反例常被用于证明之中。有许多数学猜想或命题的叙述是全称命题,声称所有的一类事物都有某种性质,或者是只要满足某个条件,就会得出某种结果。当证明这样的数学猜想遇到困难时,数学家会趋向于寻找一个反例,以说明这个猜想是错误的。

此外,某些反例可以帮助人们更好地理解一些数学概念的性质。这是因为反例的存在表示着:由某些事物A满足条件P,但没有性质Q。这样可以避免使用全称推断造成的错误结果。一个著名的例子是命题:“所有级数都是收敛的。”这样一个命题。在18世纪以前,几乎所有的数学家都认为这是毋庸置疑的。这造成了许多荒谬的结果,例如欧拉“证明”了级数:

他的证明是:这个级数必然有一个和(因为收敛)。设这个和是S,那么:

所以 2 S = 1 {\displaystyle 2S=1} ,从而 S = 1 2 {\displaystyle S={\frac {1}{2}}} 。他自己也承认这是一个悖论,因为整数的求和不可能等于分数。事实上,上面的级数就是一个反例,说明级数不总是(在传统意义上)收敛的。

另一个著名的例子是“所有的函数都是几乎处处连续可导(甚至光滑)的”,这也是一个早期数学中默认的想法。然而后来找到了处处不连续或者连续但处处不可导的函数,作为反例。这些反例包含的信息是:函数的图像可以是比人类想象的还要复杂得多。

在哲学中,大部分的结论和推断都是较为广泛而无法象数学中一样严格证明的,因此构造反例主要是为了说明某个哲学理论或论断无法适用于某种特殊情况。一个有名的例子是葛梯尔问题。长期以来西方哲学中对于知识的概念可以概括为所谓JTB理论,即得到辩护的真信念(justified true belief)。1960年代,盖梯尔发表了一篇论文,其中提出对这种定义的质疑,并举出了反例,使得对何谓知识的定义重新成为哲学界探讨的话题。

“JTB理论”的内涵是:某个人A“知道”某个事实B,是指:

这样的情况下,我们说A掌握了关于B的知识。这样获得的知识是真实可靠的。JTB理论中的每一点都是必要的。比如说,某人买了彩票后弄丢了,然后他认为自己也没有中彩票。虽然事实上他也没中,但由于他的相信是无理由的(未经辩护),所以不能称作是知识:他并不知道自己的确没中彩票。然而,盖梯尔对这样的定义提出了质疑,认为即使满足了这三点,也未必能够称为知识。他举的反例如下:

史密斯被告知琼斯有一辆福特车,他因此相信这件事,并同时也有理由相信:“或者琼斯有一辆福特车,或者布朗在巴塞罗那”,虽然他根本不知道布朗在哪里。事实上,琼斯并没有福特车,但是布朗的确在巴塞罗那,所以史密斯相信的事情是真的(真信念),并且是得到辩护了的,但并不是知识。

一开始,哲学家们认为很快就可以找到一个简单的解决办法。然而,更多的“盖梯尔式”的反例被制造出来,使得附加了各种额外要求的JTB理论仍然无法准确地描述“知道”这个概念。这是因为盖梯尔问题的解决涉及到认识论的根本问题,如何为可靠的辩护,何谓真理等等。

相关

  • 三苯甲醇三苯甲醇是一种有机化合物,属于醇类,也属于芳香族,其化学式为(C6H5)3COH或Ph3COH或C19H16O,常缩写为TrOH。它是一种白色结晶固体,是不溶于水和石油醚,但溶于乙醇、二乙醚、乙醚、
  • 都铎詹姆斯式风格都铎式建筑(Tudor architecture)是流行于英格兰都铎王朝的一种建筑风格,都铎式拱和凸肚窗是都铎式建筑的典型特征。它属于中世纪建筑的范畴。在亨利八世解散修道院之后,从教会那
  • Culex pipiens尖音库蚊(学名:Culex pipiens),又称淡色库蚊、家蚊、混杂家蚊或地下家蚊,是蚊科的一种吸血蚊子。这个物种是一些疾病的载体,如日本脑炎、脑膜炎、荨麻疹,在美国,它传播西尼罗河病毒
  • 如 山如山(1811年 - ?),赫舍哩氏,字诗臣,号冠九,别号如道人,写秋轩,古稀外史,古稀男子,满洲镶蓝旗人。道光十五年乙未科举人,十八年戊戌科进士。后来担任起居注笔帖式、擢赞善。历任湖北武昌
  • 曼德勒海湾酒店曼德勒海湾酒店(英语:THEhotel at Mandalay Bay)是一家位于内华达州拉斯维加斯的酒店,该酒店由美高梅国际酒店集团所有并负责运营。酒店本身高43层,拥有1,117间豪华套房。
  • 老恒和酿造老恒和酿造有限公司,简称老恒和酿造(英语:HONWORLD GROUP LIMITED,港交所:2226),在1895年,由钱蓉江于浙江省湖州市(总部)成立前身为“老恒和酱园”(前身为老元大酱园)。主要股东为陈卫忠
  • 路易·雷诺路易·雷诺(法语:Louis Renault,1877年2月15日-1944年10月24日),法国实业家,汽车工业先驱之一,雷诺汽车创始人之一。1940年,纳粹德国军队入侵法国。路易·雷诺选择与维琪政府合作,以
  • 戈迪·豪戈迪·豪(英语:Gordie Howe,1928年03月31日-2016年06月10日),加拿大著名冰球运动员,绰号冰球先生。
  • 以革伦 (肯塔基州)以革伦(英语:Ekron),是美国肯塔基州的一座城市。面积约为0.3平方公里(0.1平方英里)。根据2010年美国人口普查,该市的人口为135人。
  • 卡洛斯·门迭塔·蒙特富尔卡洛斯·门迭塔·蒙特富尔(Carlos Mendieta y Montefur,1873年11月4日-1960年)古巴政治人物。曾短暂出任临时古巴总统。出生于比亚克拉拉省,逝世于哈瓦那。