Противоречие (в общем смысле) – характеристика отношения между свойствами объекта (или объектов) как свойств взаимно отрицающих (полностью взаимоисключающих) друг друга (в одно и то же время, в одном и том же отношении) и не допускающих промежуточных ("третьих") вариантов свойств между данными противоречащими (напр., данный стакан пустой или не пустой; этот костюм светлый или не светлый; этот телефон исправный или не исправный).

Противоречие (контрадикто́рность) – (вид отношения несовместимых понятий) – объёмы понятий не совпадают, поскольку их признаки взаимно отрицают (исключают) друг друга (напр.: «наука» – «не наука»). При этом противоречащие понятия полностью исчерпывают объём общего для них родового понятия, тем самым исключают наличие "третьего" варианта (напр., "способы познания" бывают "научные" и "не научные"). Противоречащими (взаимоисключающими) могут быть также суждения (напр., "Сократ жив" и "Сократ не жив"), и системы суждений (напр., противоречащие друг другу концепции). Противоречащие суждения не допускают "третьего" варианта (напр., логически недопустим вариант "Сократ полужив").

Противоречащий – логически отрицающий, исключающий то, с чем находится в отношениях противоречия.