Логика

Противоречие недопустимо в строгом рассуждении, когда оно смешивает истину с ложью. Но, как очевидно уже из приведенных примеров, у противоречия в обычном языке много разных задач.

Оно может выступать в качестве основы сюжета какого-то рассказа, быть средством достижения особой художественной выразительности и т. д.

Если противоречие может сделаться "каналом духовной связи", оно не только допустимо, но даже необходимо.

Реальное мышление — и тем более художественное мышление — не сводится к одной логичности. В нем важно все: и ясность, и неясность, и доказательность и зыбкость, и точное определение и чувственный образ. В нем может оказаться нужным и противоречие, если оно стоит на своем месте.

Нелогично утверждать и отрицать одновременно одно и то же. Но каждому хорошо понятно двустишие римского поэта I в. до н. э. Катулла:

Да! Ненавижу и вместе люблю. — Как возможно, ты спросишь? Не объясню я. Но так чувствую, смертно томясь.

"…Все мы полны противоречий. Каждый из нас — просто случайная мешанина несовместимых качеств. Учебник логики скажет вам, что абсурдно утверждать, будто желтый цвет имеет цилиндрическую форму, а благодарность тяжелее воздуха; но в той смеси абсурдов, которая составляет человеческое "я", желтый цвет вполне может оказаться лошадью с тележкой, а благодарность — серединой будущей недели". Этот отрывок из романа С. Моэма "Луна и грош" выразительно подчеркивает сложность, а нередко и прямую противоречивость душевной жизни человека."…Человек знает, что хорошо, но делает то, что плохо", — с горечью замечал Сократ.

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

Логические противоречия недопустимы в науке, но установить, что конкретная теория не содержит их, непросто: то, что в процессе развития и развертывания теории не выведено никаких противоречий, еще не означает, что их в самом деле нет. Научная теория — очень сложная система утверждений. Далеко не всегда противоречие удается обнаружить относительно быстро путем последовательного выведения следствий из ее положений.

Вопрос о непротиворечивости становится яснее, когда теория допускает аксиоматическую формулировку, подобно геометрии Евклида или механике Ньютона. Для большинства аксиоматизированных теорий непротиворечивость доказывается без особого труда.

Есть однако теория, в случае которой десятилетия упорнейших усилий не дали ответа на вопрос, является она непротиворечивой или нет. Это — математическая теория множеств, лежащая в основе всей математики. Немецкий математик Г.Вейль заметил по этому поводу с грустным юмором: "Бог существует, поскольку математика, несомненно, непротиворечива, но существует и дьявол, поскольку доказать ее непротиворечивость мы не можем".

3. Закон исключенного третьего

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

Символически:

A v ~ A,