АНТИНОМИЯ (от греч. Antinomia - противоречие в законе)
-рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого.
Характерным примером логической А. является «лжеца» парадокс.
Наибольшую известность из открытых уже в XX в. А. получила A. Рассела.
Примером достаточно простой и оригинальной А. может быть следующее: некоторые слова, обозначающие свойства, обладают тем самым свойством, которое они называют. Так, прилагательное «русский» само является русским, «многосложное» — многосложно, а «пятислоговое» — имеет пять слогов. Такие слова, относящиеся к самим себе, называют аутологическими; слова, не имеющие свойства, обозначаемого ими, — гетерологическими. Последних в языке подавляющее большинство: «сладкое» не является сладким, «холодное» — холодным, «однослоговое» — однослоговым и т. д. Разделение прилагательных на две группы представляется ясным и не вызывающим возражений. Оно может быть распространено и на существительные: «слово» само является словом, «существительное» — существительным, но «стол» — это не стол, а «глагол» — не глагол, а существительное. А. обнаруживается, как только задается вопрос: к какой из двух групп относится само прилагательное «гетерологическое». Если оно аутологическое, то обладает обозначаемым им свойством и должно быть гетерологическим. Если же оно гетерологическое, то не имеет называемого им свойства и должно быть поэтому аутологическим.
Необходимым признаком логической А. обычно считается логический словарь, в терминах которого она формулируется. Однако в логике нет четких критериев деления терминов на логические и внелогические. Кроме того, в логических терминах можно сформулировать и внелогические утверждения.
На первых порах изучения А. казалось, что их можно выделить по нарушению какого-то еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б. Расселом «принцип порочного круга», согласно которому в совокупность не должны входить объекты, определимые только посредством этой же совокупности. Все А. имеют общее свойство — самоприменимость, или циркулярность. В каждой А. объект, о котором идет речь, характеризуется посредством совокупности объектов, к которой он сам принадлежит. Если мы, к примеру, говорим: «Это высказывание ложно», мы характеризуем данное высказывание путем ссылки на совокупность всех ложных высказываний, включающих и данное высказывание. Однако циркулярность — свойство и многих непарадоксальных рассуждений. Такие примеры, как «самый большой из всех городов», «наименьшее из всех натуральных чисел», «один из электронов атома меди» и т. п., показывают, что далеко не всегда циркулярность ведет к противоречию. Однако провести различие между «вредной» и «безвредной» циркулярностью не удается.
А. свидетельствуют о несовершенстве обычных методов образования понятий и методов рассуждения. Они играют роль контролирующего фактора, ставящего ограничения на пути конструирования систем логики.
Один из предлагавшихся путей устранения А. — выделение наряду с истинными и ложными бессмысленных высказываний. Этот путь был предложен Б. Расселом, объявившим А. бессмысленными на том основании, что в них нарушаются требования особой «логической грамматики». В качестве последней Б. Рассел предложил теорию типов, вводящую своеобразную иерархию рассматриваемых объектов: предметов, свойств предметов, свойств свойств предметов и т. д. Свойства можно приписывать предметам, свойства свойств — свойствам и т. д., но нельзя осмысленно утверждать, что свойства свойств имеются у предметов. Напр., высказывания «Это дерево — зеленое», «Зеленое — это цвет» и «Цвет — это оптическое явление» осмысленны, а, скажем, высказывания «Этот дом есть цвет» и «Этот дом есть оптическое явление» — бессмысленны.
Исключение А. достигается также путем отказа от «чрезмерно больших множеств», подобных множеству всех множеств. Этот путь был предложен немецким математиком Е. Цермело, связавшим появление А. с неограниченным конструированием множеств. Допустимые множества были определены им некоторым списком аксиом, сформулированным так. чтобы не выводились известные А.
Были предложены и другие способы устранения А. Ни один из них не лишен, однако, возражений.