Закон не противоречия выражается формулой: ┐ (А^ ┐А) («Неверо, что А и не — А) ; (р É р)
Данный закон выражает требование непротиворечивости мышления.
Закон не противоречия гласит: два суждения, из которых в одном утверждается нечто о предмете мысли («А есть В»), а в другом тоже самое отрицается об этом же предмете мысли («А не есть В»), не могут быть одновременно истинными, если при этом признак В утверждается или отрицается о предмете мысли А, рассматриваемом в одно и то же время и в одном и том же отношении, чаще всего пересматривают какую-то часть теории, чтобы избежать противоречия и т.д.
Закон не противоречия указывает на то, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно не может быть как истинным, так и ложным: бумага не может быть белой и небелой. Правомерность формально-логического закона не противоречия со времен Аристотеля подвергается критике.
Формально-логический закон не противоречия является мощным инструментом развития знания. В процессе познания из теории, которую считают соответствующей действительности, выводятся следствия, не соответствующие действительности.
Принцип не противоречия требует, чтобы мышление было последовательным. Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т.е. запрещает одновременно принимать некоторое утверждение и его отрицание.