寇里-吉奇悖论(Curry-Geach's paradox),哲学-哲学-逻辑学-逻辑,由作为一种特殊的集合论悖论的寇里悖论衍生而来的不使用否定词的语义悖论。由英国学者P.T.吉奇[注]于1955年发现并严格建构。H.B.寇里于1942年提出了作为罗素悖论的变体的寇里悖论。他把罗素集R:{x:(x∈x)},改造为寇里集C:{x:(x∈x→p)}。可知C∈C ↔ (C∈C→p)。由此运用经典命题逻辑法则可推得任一命题p。自然亦可推得矛盾等价式命题。该悖论的特点是其建构过程中并不涉及否定词,从而说明涉及否定并非是建构集合论悖论的必要条件。该悖论并不本质地涉及语义概念,也可以用消除罗素悖论的解决方案(如公理集合论方案)消除。但吉奇发现,将该悖论的建构路径向语义学推广,可以建构出一个与之类似的特殊的语义悖论。兹请考虑这样一个语句(*):如果(*)是真的,则q((*)真→q)。因为(*)肯定自身为真,故该语句不可能是假的。因为假设语句(*)是假的,则其前件真后件假,故(*)是真的,与假设矛盾,因而(*)必真。继而又可由肯定前件式得到q,而q可以是任意语句。