Противоре́чие — отношение двух суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования (границы применимости), то у Гегеля, Маркса, в диалектике противоречие рассматривается как необходимая логическая форма, в которой осуществляется развитие мышления, познания вообще (см. диалектическое противоречие).
Следует отличать отношение противоречия (контрадикторности) и отношение противоположности (контрарности). Отношение противоречия есть установление взаимоисключающего отношения. Например, как отношение «белое» и «не-белое». Отношение противоположности — это не взаимоисключающее отношение. Например, как отношение «белое» и «черное».