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