矛盾 在傳統邏輯學中如果一個命題與自身或既定事實相衝突則稱之為矛盾英語contradiction又稱恆假這種情況經常用來發現人們的不誠實信念或偏見亞里士多德提出的無矛盾律進一步說明了應用邏輯的普遍原則即一件事物不可能在同一時間對於相同的對象同時為是與非 在當代的形式邏輯和類型論領域矛盾一詞專指某個特定的命題通常使用偽符號英语Up tack  displaystyle bot  英语Bottom type來表示根據邏輯規則如果一個命題能導出假英语False logic則該命題被視為矛盾亦即它是一個永遠不成立的命題也就是說自我矛盾的論述這個概念可以延伸應用到一系列的論述上這時可以說這一系列論述中包含有矛盾