思想实验：盖梯尔的身在巴塞罗那的朋友

“盖梯尔的身在巴塞罗那的朋友”是哲学家埃德蒙·盖梯尔（Edmund Gettier）在其1963年的论文中提出的、用以颠覆概念-知识的传统定义的两个原始思想实验之一（通常被称为“盖梯尔案例”）。

概念-知识的传统定义：知识是被证成的真信念（Justified True Belief, JTB）。

思想实验的内容

盖梯尔邀请我们想象一个情境：

思想实验-盖梯尔的身在巴塞罗那的朋友

1. 信念：史密斯相信他的朋友琼斯拥有一辆福特车。
2. 证成：史密斯的这个信念有很强的证成理由。他一直记得琼斯拥有一辆福特车，并且刚刚琼斯还开着福特车让他搭了便车。
3. 推论：史密斯还有一个朋友叫布朗，他完全不知道布朗在哪里。于是，史密斯从“琼斯拥有一辆福特车”这个信念，推导出了一个新的、更概括的信念：“琼斯拥有一辆福特车，或者布朗在巴塞罗那”。这个析取信念在逻辑上也是被证成的。
4. 真相（转折）：然而，不为史密斯所知的是，琼斯的福特车其实是租来的，他并不真的拥有一辆福特车。但与此同时，纯属巧合，布朗此刻真的就在巴塞罗那。

实验的目的与结论

这个思想实验的核心在于，史密斯的那个析取信念（“琼斯拥有一辆福特车，或者布朗在巴塞罗那”）同时满足了JTB定义的三个条件：

• 它是被相信的：史密斯相信它。
• 它是真的：因为析取句的后半部分“布朗在巴塞罗那”是真的，所以整个析取句都为真。
• 它是被证成的：因为它是由一个被证成的信念（尽管是假的）逻辑地推导出来的。

然而，我们所有人的直觉都强烈地认为，史密斯并不知道“琼斯拥有一辆福特车，或者布朗在巴塞罗那”。他之所以相信一件真事，完全是出于运气和巧合。

这个思想实验的结论是，“被证成的真信念”并不是概念-知识的充分条件。一个信念可以同时满足这三个条件，但仍然不是知识。

盖梯尔的这篇短文引发了当代认识论的革命，哲学家们开始致力于寻找知识的“第四个条件”，以排除这种“盖梯尔式”的认知运气。