葛梯尔式反例的普遍形式与葛梯尔问题的实质

通过对葛梯尔本人提出的两个反例的形式分析,可以发现一个共同的逻辑形式。不难证明所有葛梯尔式的反例都具有这种普遍形式。由该形式可以看出葛梯尔问题的实质,即知识的辩护性条件和真实性条件是彼此分离的,从而使得反例与知识的GK-定义一起逻辑地导出矛盾。传统知识定义与GK-定义在重要的方面存在区别,即它实际上并没有将知识的真实性与辩护分离开来,这使得传统定义可以免受葛梯尔问题的威胁。