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

Закон непротиворечия (также закон противоречия, лат. Lex contradictionis) — один из фундаментальных законов формальной логики, утверждающий, что два противоположных (противоречащих) суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть одновременно истинными. Формально закон записывается как: «Неверно, что А и не-А одновременно истинны» (¬(A ∧ ¬A)). Нарушение закона непротиворечия делает рассуждение логически несостоятельным и бессодержательным.

История

Античность

Первая чёткая формулировка закона непротиворечия принадлежит Аристотелю (384—322 до н. э.). В «Метафизике» он называет его «самым достоверным из всех начал» и даёт следующее определение: «Невозможно, чтобы одно и то же вместе было и не было присуще одному и тому же в одном и том же смысле». Аристотель обосновал закон онтологически: никакая вещь не может одновременно обладать и не обладать одним и тем же свойством. В «Категориях» он уточнил, что противоречие может возникнуть только при условии тождества предмета, времени и отношения. Платон в диалоге «Софист» также упоминал о невозможности одновременного утверждения противоположностей, но систематического закона не вывел.

Средневековье

Схоласты (в частности, Фома Аквинский) приняли аристотелевскую трактовку, развив её в рамках теологии. Закон непротиворечия рассматривался как отражение божественного порядка: Бог не может одновременно утверждать и отрицать одно и то же, иначе Его слово лишилось бы истинности. В «Сумме теологии» Аквинский использует закон для доказательства бытия Бога через невозможность бесконечной регрессии противоречий.

Новое время

В XVII—XVIII веках Готфрид Лейбниц включил закон непротиворечия в число двух «великих принципов» своего учения (наряду с законом достаточного основания). Он сформулировал его в виде: «Ни одно предложение не может быть одновременно истинным и ложным». Иммануил Кант в «Критике чистого разума» рассматривал закон как формальное условие истины, но ограничил его сферой рассудка, полагая, что в мире «вещей в себе» противоречия возможны (антиномии чистого разума). В XIX веке Георг Гегель подверг закон критике с позиций диалектики, утверждая, что противоречие — источник развития, а не запрет. Однако диалектическое противоречие Гегеля (единство и борьба противоположностей) относится к процессам, а не к синхронным логическим высказываниям.

Логическая формулировка

В современной формальной логике закон непротиворечия записывается как общезначимая формула исчисления высказываний:

¬ (A ∧ ¬A)

Где:

• A — произвольное высказывание (пропозициональная переменная);
• ∧ — логическое «и» (конъюнкция);
• ¬ — логическое отрицание.

Эта формула истинна при любых значениях A. Если A истинно, то ¬A ложно, конъюнкция A ∧ ¬A — ложна, а её отрицание — истинно. Если A ложно, то ¬A истинно, конъюнкция снова ложна, отрицание — истинно. Таким образом, утверждение о тождестве A и ¬A всегда ложно.

В предикатной логике закон принимает вид:

¬∃x (P(x) ∧ ¬P(x))

Что означает: не существует такого x, для которого одновременно выполнялось бы свойство P и его отрицание.

Отличие от других законов

Закон непротиворечия часто путают с законом исключённого третьего и законом тождества, хотя они различны:

• Закон тождества (A ≡ A): требует сохранения смысла терминов на протяжении рассуждения.
• Закон непротиворечия (¬(A ∧ ¬A)): запрещает одновременную истинность утверждения и его отрицания.
• Закон исключённого третьего (A ∨ ¬A): утверждает, что из двух противоречащих высказываний одно обязательно истинно (третьего не дано).

Хотя все три закона взаимосвязаны, они работают в разных аспектах. Например, закон исключённого третьего не выполняется в интуиционистской логике, тогда как закон непротиворечия сохраняется.

Ограничения и парадоксы

Логические парадоксы

Парадокс лжеца («это высказывание ложно») демонстрирует ситуацию, где закон непротиворечия формально нарушается: если высказывание истинно, то оно ложно, и наоборот. В классической логике такие конструкции считаются некорректными (самореферентными), и для их разрешения разработаны иерархические теории (например, теория типов Бертрана Рассела).

Диалектическое противоречие

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

Квантовая механика

В квантовой физике принцип суперпозиции (частица может находиться в нескольких состояниях одновременно — например, спин 1/2 «вверх» и «вниз») иногда интерпретируется как нарушение закона непротиворечия. Однако это неверно: закон относится к высказываниям о состояниях, а не к самим состояниям. Формально высказывание «электрон имеет спин вверх» и «электрон не имеет спин вверх» не могут быть одновременно истинными в одном измерении. Квантовая суперпозиция — это математическая модель, а не логическое противоречие.

Паранепротиворечивые логики

В XX веке были созданы паранепротиворечивые логики (например, логика да Косты), где закон непротиворечия не является обязательным. Они применяются для анализа противоречивых теорий и рассуждений в условиях неполной информации. В таких системах допускается (A ∧ ¬A), но вывод из противоречия любого утверждения (принцип взрыва) блокируется. Однако в повседневной и научной практике классическая версия закона остаётся доминирующей.

Значение и применение

В науке

Закон непротиворечия — основа аксиоматического метода. В любой формальной системе (математика, теоретическая физика) наличие противоречия делает теорию тривиальной: из него можно вывести любое утверждение (ex contradictione quodlibet). Поэтому проверка непротиворечивости — одна из центральных задач метаматематики (теоремы Гёделя о неполноте показали, что для достаточно сложных систем непротиворечивость недоказуема внутри самой системы, но она постулируется как цель).

В юриспруденции

Принцип «non bis in idem» (нельзя дважды за одно и то же) и требование непротиворечивости правовых норм (lex specialis derogat generali) восходят к закону непротиворечия. Суд не может одновременно признать лицо виновным и невиновным по одному эпизоду — это прямое нарушение закона.

В повседневной речи

Бытовое «логическое противоречие» (например, «я всегда вру, и сейчас говорю правду») — это нарушение закона непротиворечия. В риторике и аргументации противоречие служит основанием для опровержения позиции оппонента (argumentum ad contradictionem).

В богословии

Ряд теологов (например, Тертуллиан) утверждали, что религиозные истины могут быть «абсурдны» с точки зрения человеческой логики («Верую, потому что абсурдно»). Однако ортодоксальное христианство, ислам и иудаизм в целом признают закон непротиворечия, ограничивая его областью тварного мира — Бог, как трансцендентная причина, может быть «выше» логических ограничений, но явных противоречий в Откровении не допускает.

Интересные факты

• В советской логике (А. Ф. Лосев, Э. В. Ильенков) закон непротиворечия иногда отвергался как «метафизический», а диалектическое противоречие считалось единственно адекватным отражением реальности. Однако к 1960-м годам возобладала позиция, что законы формальной логики (включая закон непротиворечия) применимы в любой науке.
• В 1910 году Бертран Рассел показал, что система Фреге (основы математики) содержит противоречие (парадокс Рассела), что привело к кризису оснований математики и разработке теории типов.
• В некоторых восточных философских традициях (даосизм, адвайта-веданта) противоречия считаются допустимыми в рамках высшей истины («Дао, которое может быть выражено словами, не есть постоянное Дао»). Однако это не отрицание закона, а указание на ограниченность логического языка.

Источники

• Аристотель. Метафизика, кн. IV (Г), гл. 3.
• Лейбниц Г. В. Новые опыты о человеческом разумении, кн. IV, гл. 2.
• Кант И. Критика чистого разума, раздел «Трансцендентальная диалектика».
• Ильенков Э. В. Диалектическая логика. — М.: Политиздат, 1974.
• da Costa N. C. A. On the theory of inconsistent formal systems // Notre Dame Journal of Formal Logic, 1974, vol. 15, no. 4.
• Успенский В. А. Простейшие парадоксы современной математики // Математическое просвещение, 2004, вып. 8.