Social bookmarks
   
 

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


АНТИНОМИЯ


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


Другие термины:

Архитектурный словарь
Бизнес словарь
Биографический словарь
Большой энциклопедический словарь
Исторический словарь
Медицинский словарь
Морской словарь
Политический словарь
Психологическая энциклопедия
Психологический словарь
Религиозный словарь
Сексологический словарь
Социологический словарь
Строительный словарь
Философский словарь
Финансовый словарь
Экономический словарь
Этнографический словарь
Юридический словарь

Словарь воровского жаргона
Словарь Даля
Словарь Ефремовой
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер и весов
Словарь нумизмата
Словарь Ожегова
Словарь русских фамилий
Словарь символов
Словарь синонимов

del.icio.us digg Furl YahooMyWeb blinkbits BlinkList blogmarks co.mments connoteas De.lirio.us Fark feedmelinks LinkaGoGo Ma.gnolia NewsVine Netvouz RawSugar Reddit scuttle Shadows Simpy Smarking Spurl TailRank Wists segnalo