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