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

Закон противоречия гласит: когда в одном тезисе утверждается какой-либо посыл, а в другом — отрицается (причем в отношении одного объекта, в одно время и в одних и тех же обстоятельствах), то они не могут быть истинными.
Утверждения «соискатель N слишком стар» и «соискатель N слишком молод», сказанные в один день при трудоустройстве на одну и ту же специальность, не будут истинными. Но если 50-летний N собирается стать спортивным гимнастом и одновременно приходит в пенсионный фонд, чтобы получать пенсию по достижению пенсионного возраста (для первого он слишком стар, для второго — слишком молод), то здесь не будет противоречия.
Виды и примеры противоречий
Выделяется несколько видов противоречий. Во-первых, они бывают контактными и дистантными. Первые встречаются в тексте недалеко друг от друга и поэтому чаще всего заметны читателю или слушателю. Вторые – более трудные, поскольку могут находиться, например, в начале 400-страничной книги и в ее эпилоге.
Во-вторых, противоречия бывают явными и неявными. Первые из-за своей очевидности практически не встречаются (например, темноволосая блондинка). Неявные противоречия становятся понятны только из контекста, которого человек может не знать, поэтому они встречаются гораздо чаще.
Пример неявного противоречия: «проигравшая холодную войну Россия».
Во-первых, «холодная война» — это метафора, а следовательно, такой войны не было и ее нельзя было проиграть. Во-вторых, если принять во внимание переносное значение этого словосочетания, то стоит заметить, что в течение периода холодной войны такого государства, как Россия, не существовало (был СССР). Т. е. налицо пример нарушения закона противоречия.