摘要：通過對葛梯爾本人提出的兩個反例的形式分析,可以發現一個共同的邏輯形式。不難證明所有葛梯爾式的反例都具有這種普遍形式。由該形式可以看出葛梯爾問題的實質,即知識的辯護性條件和真實性條件是彼此分離的,從而使得反例與知識的GK-定義一起邏輯地導出矛盾。傳統知識定義與GK-定義在重要的方面存在區別,即它實際上并沒有將知識的真實性與辯護分離開來,這使得傳統定義可以免受葛梯爾問題的威脅。