непротиворечия закон

непротиворечия закон
логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона - закон противоречия, подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости.
Противоречат друг другу, напр., высказывания: "Фобос - спутник Марса" и "Фобос не является спутником Марса", "Кентавры существуют" и "Кентавры не существуют" и т. п. Большинство неверных толкований Н. з. и большая часть попыток оспорить его приложимость если не во всех, то хотя бы в отдельных областях связаны с неправильным пониманием логического отрицания, а значит, и логического противоречия.
Нет, в частности, противоречия в утверждении "Листва опала и не опала", подразумевающем, что некоторые деревья уже сбро-сили листву, а другие нет, в утверждении "Человек и ребенок, и старик", выражающем идею, что один и тот же человек в начале своей жизни - ребенок, а в конце ее - старик, и т. п.
Введя понятия истины и лжи, Н. з. можно сформулировать так: никакое высказывание не является одновременно истинным и ложным. Истина и ложь - две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Закон отрицает, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему.
Иногда Н. з. формулируют таким образом: из двух противоречащих друг другу высказываний одно является ложным. Эта формулировка подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию заведомо ложное положение, что, разумеется, недопустимо.
С использованием символики логической (р - некоторое высказывание; & - конъюнкция, "и"; непротиворечия закон - отрицание, "неверно, что") Н. з. выражается формулой:
непротиворечия закон(р&непротиворечия законр),
неверно, что р и не-р. Напр.: "Неверно, что глина металл и что она не металл", "Неверно, что птицы летают и что они не летают" и т. п.
Логические противоречия - противоречия непоследовательного, путаного рассуждения - принципиально отличны от противоречий диалектических. Н. з. запрещает первые, но он не распространяется на вторые. О диалектике развития и борьбе противоположных сторон, определяющей развитие, нужно рассуждать последовательно и непротиворечиво, как и обо всем другом.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.