Зако́н непротиворе́чия, один из основных логических принципов, согласно которому два взаимно противоречащих высказывания не могут быть одновременно истинными, т. е. одно из них должно быть ложным. Аристотелю принадлежат три версии закона непротиворечия, получившие названия: онтологическая, характеризующая закон непротиворечия как универсальный принцип бытия, наиболее достоверное из всех начал [«...невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении» (Метафизика. IV, 3 1005b 20–21)], психологическая [«…не может кто бы то ни было считать одно и то же существующим и не существующим» (Метафизика. IV, 3 1005b 23–24)] и логическая [«...наиболее достоверное положение – это то, что противолежащие друг другу высказывания не могут быть вместе истинными» (Метафизика. IV, 6 1011b 13–14)]. Согласно Г. В. Лейбницу, закон непротиворечия является основой математики: «Один этот принцип достаточен для того, чтобы вывести всю арифметику и всю геометрию, а стало быть, все математические принципы» (Лейбниц Г. В. Сочинения. Т. 1. Москва, 1982. С. 433). И. Кант считал закон непротиворечия общим, хотя и негативным, логическим критерием истины.

В современной логике высказываний закон непротиворечия выражается тождественно истинной (или доказуемой) формулой вида ¬(A&¬A): неверно, что A и в то же время не-A. В классической логике предикатов общезначимой и доказуемой формуле вида ∀x¬(A(x)&¬A(x)) соответствует принцип: никакой предмет не может обладать и в то же время не обладать одним и тем же свойством. Нарушение закона непротиворечия в большинстве логических исчислений приводит к доказуемости любой сформулированной на языке этого исчисления формулы, и в результате такая логика перестаёт представлять интерес. С середины 20 в. получили развитие системы паранепротиворечивой логики, в которых закон непротиворечия не имеет места, и тем не менее в таких логических системах недоказуемо всё что угодно.