Закон противоречия влияет на логику доказательств следующим образом: он лежит в основе одного из правил оснований доказательства: они не должны противоречить друг другу. 5 Без действия этого закона было бы невозможным опровержение: доказав истинность одного тезиса, нельзя было бы заключить о ложности противоположного или противоречащего ему тезиса. 5

В разных философских традициях закон противоречия влияет на логику доказательств по-своему:

• Аристотель в «Метафизике» сформулировал закон онтологически: философ представил его как наиболее достоверное из всех начал, универсальный принцип бытия: «невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении». 1
• И. Кант утверждал, что закон противоречия «есть общий, хотя только негативный, критерий всякой истины и относится только к логике». 1

В современной логике закон противоречия применяется не только для высказываний, но и для предикатов. 1 При этом формулировка модифицируется под особенности рассматриваемой логической системы. 1