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

Известно, что Н. В. Гоголь очень не жаловал чиновников. В «Мертвых душах» они изображены с особым сарказмом. Они «были, более или менее, люди просвещенные: кто читал Карамзина, кто „Московские ведомости", кто даже и совсем ничего не читал». Хороша же просвещенность, за которой только чтение газеты, а то и вовсе ничего нет!

Испанский писатель XVI— XVII вв. Ф. Кеведо так озаглавил свою сатиру: «Книга обо всем и еще о многом другом». Его не смутило то, что, если книга охватывает «все», для «многого другого» уже не остается места.

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

Нелогично утверждать одновременно А и не-А. Но каждому хорошо понятно двустишие римского поэта I в. до н. э. Катулла: «Да! Ненавижу и вместе люблю. — Как возможно, ты спросишь? Не объясню я. Но так чувствую, смертно томясь».

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

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

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

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