Антиномия: понятие и значение¶

Антиномия (от др.-греч. ἀντινομία — «противоречие в законе», из ἀντί — «против» и νόμος — «закон») — в широком смысле — противоречие между двумя положениями, каждое из которых признаётся логически доказуемым и обоснованным. В философии и логике антиномия — это ситуация, при которой два суждения, находящиеся в отношении контрадикторности (то есть отрицающие друг друга), одновременно выводятся из одной и той же системы посылок, признаваемой непротиворечивой. Антиномия представляет собой особый тип парадокса, при котором рассуждение, следующее правилам логики, приводит к взаимоисключающим заключениям.

¶История понятия

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

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

В XX веке понятие антиномии получило новое развитие в математической логике в связи с обнаружением парадоксов в основаниях математики (парадокс Рассела, парадокс Кантора). Давид Гильберт и другие математики использовали термин «антиномия» для обозначения логических противоречий, возникающих в формальных системах. Курт Гёдель в своих теоремах о неполноте (1931) показал, что в достаточно богатых формальных системах невозможно одновременно гарантировать полноту и непротиворечивость, что придало антиномиям фундаментальный статус в теории познания.

¶Антиномии Канта

Иммануил Кант выделил четыре антиномии чистого разума, каждая из которых состоит из тезиса и антитезиса:

1. Первая антиномия — о мире: тезис — мир имеет начало во времени и ограничен в пространстве; антитезис — мир бесконечен во времени и пространстве.
2. Вторая антиномия — о простом: тезис — всякая сложная субстанция состоит из простых частей; антитезис — ни одна сложная вещь не состоит из простых частей.
3. Третья антиномия — о свободе: тезис — существует свобода как причинность, не обусловленная внешними причинами; антитезис — всё в мире происходит по законам природы, свободы нет.
4. Четвёртая антиномия — о необходимой сущности: тезис — существует абсолютно необходимая сущность (Бог); антитезис — никакой необходимой сущности не существует.

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

¶Логические антиномии

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

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

Эти антиномии показали, что наивное понимание множеств и высказываний приводит к логическим тупикам. Для их разрешения были разработаны аксиоматические теории множеств (Цермело — Френкеля, фон Неймана — Бернайса — Гёделя) и иерархические подходы к определению истины (Альфред Тарский).

¶Антиномии в праве

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

• Иерархические антиномии — противоречия между нормами разной юридической силы (например, закон и подзаконный акт).
• Темпоральные антиномии — противоречия между нормами, принятыми в разное время.
• Содержательные антиномии — противоречия между нормами, регулирующими сходные отношения.

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

¶Антиномии в культуре и религии

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

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

¶Современное значение

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

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

¶Источники

• Кант И. Критика чистого разума. — М.: Мысль, 1994.
• Френкель А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966.
• Гёдель К. О formally неразрешимых предложениях Principia Mathematica и родственных систем. — В кн.: Сборник работ по математической логике. — М.: ИЛ, 1948.
• Тарский А. Семантическая концепция истины и основания семантики. — М.: Логос, 1999.
• Хинтикка Я. Логико-эпистемологические исследования. — М.: Прогресс, 1980.