Словарь по логике_ Ивин. Словарь по логике Разработан на основе

• Название: Словарь по логике Разработан на основе
• Дата: 24.03.2019
• Размер: 1.81 Mb.
• Имя файла: Словарь по логике_ Ивин.doc
• Тип: Документы; #71390
• страница: 1 из 24

Словарь по логике
Разработан на основе:

Ивин А.А., Никифоров А.Л. Словарь по логике. – М.: Гуманитарный издательский центр ВЛАДОС, 1997. – 384 с.
АБСОЛЮТИЗАЦИЯ — мыслительный прием, суть которого заключается в том, что в качестве точного принимается такой предел приближения к действительности, который обусловлен потребностями практики. В процессе А. относительно точное в рамках решаемой задачи рассматривается как точное в некотором абсолютном смысле. Напр., требуется купить скатерть на стол. Для этого следует измерить площадь стола. Однако ясно, что измерять площадь стола с точностью до микрона не имеет смысла. Приближенные, огрубленные результаты измерения рассматриваются как истинные в некотором абсолютном смысле.
АБСТРАКТНЫЙ ПРЕДМЕТ (англ. – abstract entity) – предмет, не существующий в действительности, созданный нашим воображением. В процессе познания окружающей реальности мы выделяем отдельные свойства, стороны, отношения реальных предметов и делаем их объектом изучения. Напр., всякий товар имеет свойство обладать некоторой ценой. Мы можем отделить это свойство от тех вещей, которым оно присуще, и сделать его самостоятельным предметом рассмотрения, исследуя, скажем, колебания цены от величины спроса. В этом случае цена выступает как абстрактный предмет. Точно такими же абстрактными предметами являются величина, форма, цвет, масса, скорость и т. п. Оперирование абстрактными предметами облегчает нам процессы рассуждения, позволяя сосредоточить внимание именно на том, что нас интересует, и дает возможность сделать их более точными. Однако всегда следует помнить о том, что абстрактные предметы существуют лишь в нашем воображении. Попытка приписать им реальное существование приводит к ошибке гипостазирования.
АБСТРАКЦИЯ (от лат. abstractio – отвлечение) – 1) процесс отвлечения от некоторых характеристик (свойств, отношений) изучаемых предметов и явлений, от реальных носителей интересующих нас характеристик; 2) результат этого отвлечения, представляющий собой некоторый абстрактный предмет. Отвлекаясь от некоторых характеристик исследуемых объектов, мы одновременно выделяем те характеристики, которые нас в данном случае интересуют, и делаем их предметом своего рассмотрения. Когда вы ищете себе книгу для приятного чтения, вас не интересует ее обложка, качество бумаги, на которой она напечатана, ее формат и т. п., вам важно лишь одно: чтобы книга была интересной. Но если вы ищете книгу для подарка, ее содержание интересует вас уже гораздо меньше и вы большее внимание обращаете на ее внешний вид. В зависимости от того, что именно интересует нас в данном случае, мы будем абстрагироваться от разных характеристик и благодаря этому получать разные абстрактные предметы.
АБСУРД (от лат. absurdus – нелепый, глупый) – в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия нет». Абсурдным считается также выражение, которое внешне не является противоречивым, но из которого все-таки может быть выведено противоречие. Скажем, в высказывании «Александр Македонский был сыном бездетных родителей» есть только утверждение, но нет отрицания и, соответственно, нет явного противоречия. Но ясно, что из этого высказывания вытекает очевидное противоречие: «Некоторые родители имеют детей и вместе с тем не имеют их». А. отличается от бессмысленного: бессмысленное не истинно и не ложно, его не с чем сопоставить в действительности, чтобы решить, соответствует оно ей или нет. Абсурдное высказывание осмысленно и в силу своей противоречивости является ложным. Напр., высказывание «Если идет дождь, то трамвай» бессмысленно, а высказывание «Яблоко было разрезано на три неравные половины» не бессмысленно, а абсурдно.

Логический закон непротиворечия говорит о недопустимости одновременно утверждения и отрицания. Абсурдное высказывание представляет собой прямое нарушение этого закона.

В логике рассматриваются доказательства путем «приведения к А.»: если из некоторого положения выводится противоречие, то это положение является ложным (см.: Косвенное доказательство).

В обычном языке однозначности в понимания слова «А.» нет. Абсурдным называется и внутренне противоречивое выражение, и бессмысленное, а иногда и все нелепо преувеличенное.
АКСИОМА (от греч. axioma – значимое, принятое положение) – исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений.

Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и как истинное положение, не нуждающееся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384-322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность.

Переосмысление проблемы обоснования А. изменило и содержание самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А. Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. – это просто одна из тех формул, из которых выводятся остальные доказуемые формулы. Если, однако, теория еще не определена однозначно, выбор ее А. может диктоваться и содержательными соображениями.
АЛГОРИТМ (АЛГОРИФМ) (от Algorithmi – латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорезми) – конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого класса однотипных задач. Примерами простейших А. могут служить А. вычитания, сложения, умножения и деления целых чисел в арифметике с десятичной системой счисления.

Осуществление алгоритмического процесса может быть передано машине, которая благодаря своему быстродействию способна решать задачи, недоступные человеку. Возможность передать машине осуществление алгоритмических процедур стимулировала создание математической теории алгоритмов, в которой понятие А. было уточнено с помощью таких понятий, как «рекурсивная функция», «машина Тьюринга», «нормальный А.» и т.п.
АЛОГИЗМ (от греч. а – не, logos – разум) – ход мысли, нарушающий какие-то законы и правила логики и поэтому всегда содержащий в себе логическую ошибку. Если ошибка допущена непреднамеренно, то перед нами паралогизм; если же ошибка допущена с определенной целью, то мы столкнулись с софизмом.
АМФИБОЛИЯ (от греч. amphibolia – двусмысленность, двойственность) – логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Напр.: «Шуба – русское слово, но шуба греет, следовательно, некоторые русские слова греют». Здесь слово «шуба» употреблено в разных смыслах, поэтому и получился абсурдный вывод.
АНАЛИЗ И СИНТЕЗ. А. (от греч. analysis – разложение) – разделение объекта на составные части, стороны, свойства. С. (от греч. synthesis – соединение) – объединение полученных в результате А. частей объектов, их сторон или свойств в единое целое. А. и С. используются как в мыслительной, так и в практической, напр. экспериментальной, деятельности. Уже на ступени чувственного познания мы разлагаем явления на отдельные стороны и свойства, выделяя их форму, цвет, величину, составные части и т. п. Процедуры А. и С. являются необходимым элементом всякого научного познания и обычно образуют его начальный этап, на котором происходит переход от общего, нерасчлененного описания изучаемых объектов к выявлению их строения, состава и отдельных свойств. В различных науках используются специфические способы А. и С.
АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ (в логике). А. с. – суждения, истинность которых устанавливается без обращения к действительности посредством логико-семантического анализа их компонентов. С. с. – суждения, истинность которых устанавливается только в процессе их сопоставления с той реальностью, о которой они говорят.

Впервые в ясной форме разделение суждений на А. и С. было осуществлено немецким философом И. Кантом (1724-1804). А. с. Кант называл такое суждение, предикат которого уже входит в содержание субъекта и, таким образом, ничего не добавляет к тому, что мы знали о субъекте. Напр., суждение «Всякий холостяк неженат» является аналитическим, т.к. признак «быть неженатым» уже мыслится в содержании понятия «холостяк». «Всякое тело протяженно», «Москвичи живут в Москве» – все это А. с. Синтетическим же, согласно Канту, является такое суждение, предикат которого добавляет что-то новое к содержанию субъекта, напр. «Алмаз горюч», «Тихий океан – самый большой из океанов Земли» и т.п. Считается, что только С. с. выражают новое знание, А. с. представляют собой тавтологии, не содержащие никакой информации.

Современная логика расширила понятие а.с., включив в число таких суждений и сложные суждения, истинность которых можно установить лишь на основе логических правил, не обращаясь к реальности. Напр., если нам дано суждение «а --> а», то нам не нужно обращаться к действительности, чтобы узнать, истинно или ложно суждение «а», – в любом случае данная импликация будет истинной. Следовательно, это А. с.

Различие между А. и С. с. не является строгим и четким, ибо наши понятия в процессе развития познания изменяют свое содержание, включают в него новые признаки, а это приводит к тому, что какие-то С. с. становятся А.с. Напр., когда-то суждение «Все тигры полосаты» было С. с. и несло в себе новую информацию о тиграх. Но сейчас понятие «тигр», кажется, уже включило в свое содержание признак полосатости. Скорее всего мы затруднимся назвать тигром животное, во всем похожее на тигра, но лишенное характерных полос на шкуре. Следовательно, это суждение стало А. с.
АНАЛОГИЯ (от греч. analogia – соответствие) – сходство между предметами, явлениями и т. д. Умозаключение по А. (или просто А.) – индуктивное умозаключение, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам. Напр., планеты Марс и Земля во многом сходны: они расположены рядом в Солнечной системе, на обеих есть вода и атмосфера и т. д.; на Земле есть жизнь; поскольку Марс похож на Землю с точки зрения условий, необходимых для существования живого, можно сделать вывод, что на Марсе также имеется жизнь. Это заключение является, очевидно, только правдоподобным.

А. – понятие, известное со времен античной науки. Уже тогда было замечено, что уподобляться друг другу, соответствовать и быть сходными по своим свойствам могут не только предметы, но и отношения между ними. Помимо А. свойств существует также А. отношений. Напр., в известной планетарной модели атома его строение уподобляется строению Солнечной системы: вокруг массивного ядра на разных расстояниях от него движутся по замкнутым орбитам легкие электроны, подобно тому как вокруг Солнца обращаются планеты. Атомное ядро не похоже на Солнце, а электроны – на планеты; но отношение между ядром и электронами во многом подобно отношению между Солнцем и планетами. Продолжая это сходство, можно предположить, что электроны, как и планеты, движутся не по круговым, а по эллиптическим орбитам.

Сходство сопряжено с различием и без различия не существует. А. всегда является попыткой продолжить «сходство несходного», причем продолжить его в новом, неизвестном направлении. Она не дает достоверного знания: если посылки рассуждения по А. истинны, это еще не означает, что и его заключение будет истинным. А., дающую высоковероятное знание, принято называть строгой или точной. Научные А. обычно являются строгими. Умозаключения по А., нередкие в повседневной жизни, как правило, не особенно строги, а то и просто поверхностны. От А., встречающихся в художественной литературе, точность вообще не требуется, у них иная задача, и оцениваются они по другим критериям, прежде всего по силе художественного воздействия.

Для повышения вероятности выводов по А. необходимо стремиться к тому, чтобы было схвачено и выражено действительное, а не кажущееся сходство сопоставляемых объектов. Желательно, чтобы эти объекты были подобны в важных и существенных призна­ках, а не в случайных и второстепенных деталях. Полезно также, чтобы круг совпадающих признаков был как можно шире. Но наиболее важен для строгости А. характер связи сходных признаков предметов с переносимым признаком. Информация о сходстве должна быть того же типа, что и информация, распространяемая на другой предмет. Если исходное знание внутренне связано с переносимым признаком, вероятность вывода заметно возраста­ет. И наконец, при построении А. следует учитывать не только сходные черты сопоставляемых объектов, но и их различия. Если последние внутренне связаны с признаком, который предполагается перенести с одного объекта на другой, А. окажется маловероятной.

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

Рассуждение по А. дало науке многие блестящие результаты, нередко совершенно неожиданные. Так, в XVII в. движение крови в организме сравнивали с морскими приливами и отливами; А. с насосом привела к идее непрерывной циркуляции крови. Д. Менделеев, построив таблицу химических элементов, нашел, что три места в ней остались незаполненными; на основе известных элементов, занимающих аналогичные места в таблице, он указал количественные и качественные характеристики трех недостающих элементов, и вскоре они были открыты. А. между живыми организмами и техническими устройствами лежит в основе бионики, использующей открытые закономерности структуры и жизнедеятельности организмов при решении инженерных задач и построении технических систем.

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

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

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

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

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

Примером достаточно простой и оригинальной А. может быть следующее: некоторые слова, обозначающие свойства, обладают тем самым свойством, которое они называют. Так, прилагательное «русский» само является русским, «многосложное» – многосложно, а «пятислоговое» – имеет пять слогов. Такие слова, относящиеся к самим себе, называют аутологическими; слова, не имеющие свойства, обозначаемого ими, – гетерологическими. Последних в языке подавляющее большинство: «сладкое» не является сладким, «холодное» – холодным, «однослоговое» – однослоговым и т.д. Разделение прилагательных на две группы представляется ясным и не вызывающим возражений. Оно может быть распространено и на существительные: «слово» само является словом, «существительное» – существительным, но «стол» – это не стол, а «глагол» – не глагол, а существительное. А. обнаруживается, как только задается вопрос: к какой из двух групп относится само прилагательное «гетерологическое». Если оно аутологическое, то обладает обозначаемым им свойством и должно быть гетерологическим. Если же оно гетерологическое, то не имеет называемого им свойства и должно быть поэтому аутологическим.

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

На первых порах изучения А. казалось, что их можно выделить по нарушению какого-то еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б. Расселом «принцип порочного круга», согласно которому в совокупность не должны входить объекты, определимые только посредством этой же совокупности. Все А. имеют общее свойство – самоприменимость, или циркулярность. В каждой А. объект, о котором идет речь, характеризуется посредством совокупности объектов, к которой он сам принадлежит. Если мы, к примеру, говорим: «Это высказывание ложно», мы характеризуем данное высказывание путем ссылки на совокупность всех ложных высказываний, включающих и данное высказывание. Однако циркулярность – свойство и многих непарадоксальных рассуждений. Такие примеры, как «самый большой из всех городов», «наименьшее из всех натуральных чисел», «один из электронов атома меди» и т.п., показывают, что далеко не всегда циркулярность ведет к противоречию. Однако провести различие между «вредной» и «безвредной» циркулярностью не удается.

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

Один из предлагавшихся путей устранения А. – выделение наряду с истинными и ложными бессмысленных высказываний. Этот путь был предложен Б. Расселом, объявившим А. бессмысленными на том основании, что в них нарушаются требования особой «логической грамматики». В качестве последней Б. Рассел предложил теорию типов, вводящую своеобразную иерархию рассматриваемых объектов: предметов, свойств предметов, свойств свойств предметов и т. д. Свойства можно приписывать предметам, свойства свойств – свойствам и т. д., но нельзя осмысленно утверждать, что свойства свойств имеются у предметов. Напр., высказывания «Это дерево – зеленое», «Зеленое – это цвет» и «Цвет – это оптическое явление» осмысленны, а, скажем, высказывания «Этот дом есть цвет» и «Этот дом есть оптическое явление» – бессмысленны.

Исключение А. достигается также путем отказа от «чрезмерно больших множеств», подобных множеству всех множеств. Этот путь был предложен немецким математиком Е. Цермело, связавшим появление А. с неограниченным конструированием множеств. Допустимые множества были определены им некоторым списком аксиом, сформулированным так, чтобы не выводились известные А.

Были предложены и другие способы устранения А. Ни один из них не лишен, однако, возражений.
АНТИНОМИЯ РАССЕЛА – одна из наиболее известных логических антиномий, обнаруженная в начале ХХ века англ. философом и логиком Б. Расселом (1872-1970). А. Р. связана с понятием множества. Относительно каждого множества представляется осмысленным задать вопрос, является оно своим собственным элементом или нет. Напр., множество всех людей не является человеком, так же как множество стульев – это не стул. Но множество, объединяющее все множества, представляет собой множество и, значит, содержит самое себя в качестве элемента. Назовем множества, не содержащие себя в качестве элемента, обычными, а содержащие себя – необычными и рассмотрим множество, составленное из всех обычных множеств. Поскольку это множество, о нем можно спрашивать, обычное оно или нет. Ответ, однако, оказывается обескураживающим. Если оно обычное, то, согласно своему определению, не должно содержать самое себя в качестве элемента, поскольку содержит все обычные множества. Но это означает, что оно является необычным множеством. Допущение, что рассматриваемое множество представляет собой обычное множество, приводит, таким образом, к противоречию. Значит, оно не может быть обычным. С другой стороны, оно не может быть также необычным: необычное множество содержит самое себя в качестве элемента, а элементами рассматриваемого множества являются только обычные множества. В итоге множество всех множеств, не являющихся собственными элементами, есть свой элемент в том и только том случае, когда оно не является таким элементом. Полученное противоречие говорит о том, что такого множества не существует. Но если столь просто и ясно заданное множество не может существовать, то в чем различие между возможными и невозможными множествами? Наивное, или интуитивное, представление о множестве как сколь угодно обширном соединении в чем-то однородных объектов способно вести, таким образом, к противоречию и нуждается в прояснении и уточнении.

А. Р. не имеет специфически математического характера, ее можно переформулировать в чисто логических терминах. Б. Рассел предложил следующий популярный вариант открытой им антиномии. Представим, что совет какой-то деревни так определил обязанности парикмахера: брить всех мужчин деревни, которые не бреются сами, и только этих мужчин. Должен ли он брить самого себя? Если да, то он будет относиться к тем, кто бреется сам, а тех, кто бреется сам, он не должен брить. Если нет, он будет принадлежать к тем, кто не бреется сам, и, значит, он должен будет брить себя. Таким образом, этот парикмахер бреет себя в том и только том случае, когда он не бреет себя. Это, разумеется, невозможно.

Для избежания этой и других антиномий Б. Рассел построил теорию логических типов.

Другим способом устранения А. Р. является отказ от использования «слишком больших множеств». Ни первый, ни второй из этих способов не являются общепризнанными.
АНТИТЕЗИС (от греч. antithesis – противоположение) – суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном доказательстве тезиса: мы обосновываем ложность А. и, опираясь на закон исключенного третьего, гласящий, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему суждения – тезиса.
АПОРИЯ (от греч. aporia – затруднение, недоумение) – трудноразрешимая проблема, связанная с противоречием между данными опыта и их мысленным анализом. Наиболее известны А., сформулированные древнегреч. философом Зеноном Элейским (ок. 490 – ок. 430 до н.э.). В А. «Ахилл» говорится о том, что быстроногий Ахилл не способен догнать медлительную черепаху, так как, пока он пробежит разделяющее их расстояние, она проползет немного, пока он будет пробегать этот отрезок, она еще немного отползет и т.д. А. «Дихотомия» говорит, что, прежде чем пройти весь путь, движущееся тело должно пройти его половину, а до этого – половину половины и т.д.; процесс такого деления бесконечен, поэтому тело вообще не может начать двигаться или, если оно уже движется, движение не может окончиться.

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

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

Вместе с тем с точки зрения классической механики Ньютона такая устойчивость является в принципе недостижимой. Н. Бор указывал, что именно размышление над данным затруднением заставило его отказаться от классической механики при объяснении внутреннего строения атома. Это противоречие между тем, что дано в наблюдении, и тем, что предписывает ньютоновская механика, является типичной А.
АРГУМЕНТ (лат. argumentum) – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых логически следует доказываемое суждение. Напр., для доказательства суждения «Железо плавко» мы можем воспользоваться двумя А.: «Все металлы плавки» и «Железо есть металл». Приняв эти два суждения в качестве посылок, мы можем логически вывести из них доказываемое суждение и тем самым обосновать его истинность.

А., используемые в процессе доказательства некоторого суждения, должны удовлетворять следующим правилам:

1. А. должны быть истинными суждениями.

2. А. должны быть суждениями, истинность которых устанавливается независимо от тезиса.

3. А. должны быть достаточным основанием для доказываемого тезиса.

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

А., используемые в дискуссии, споре, могут быть разделены на два вида: A. ad rem (к существу дела) и A. ad hominem (к человеку). А. первого вида имеют отношение к обсуждаемому вопросу и направлены на обоснование истинности доказываемого положения. В качестве таких А. могут использоваться основоположения или принципы некоторой теории; определения понятий, принятые в науке; суждения, описывающие установленные факты; ранее доказанные положения и т.п. Если А. данного вида удовлетворяют перечисленным выше правилам, то опирающееся на них доказательство будет корректным с логической точки зрения.

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

А. к авторитету – ссылка на высказывания или мнения великих ученых, общественных деятелей, писателей и т. д. в поддержку своего тезиса. Такая ссылка может показаться вполне допустимой, однако она некорректна. Дело в том, что человек, получивший признание благодаря своей успешной деятельности в некоторой одной области, не может быть столь же авторитетен во всех других областях. Поэтому его мнение, выходящее за пределы той области, в которой он работал, вполне может оказаться ошибочным. Кроме того, даже в той области, в которой творил великий человек, далеко не все его высказывания или мнения безусловно верны. Поэтому ссылка на то, что такой-то человек придерживался такого-то мнения, ничего не говорит об истинности этого мнения. А. к авторитету имеет множество разнообразных форм. Апеллируют к авторитету общественного мнения, к авторитету аудитории, к авторитету противника и даже к собственному авторитету. Иногда изобретают вымышленные авторитеты или приписывают реальным авторитетам такие суждения, которых они никогда не высказывали.

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

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

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

А. к личности – ссылка на личностные особенности оппонента, его вкусы, внешность, достоинства или недостатки. Использование этого А. ведет к тому, что предмет спора остается в стороне, а предметом обсуждения оказывается личность оппонента, причем обычно в негативном освещении.

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

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

А. к тщеславию – расточение неумеренных похвал противнику в надежде, что, тронутый комплиментами, он станет мягче и покладистей. Как только в дискуссии начинают встречаться обороты типа «не подлежит сомнению глубокая эрудиция оппонента», «как человек выдающихся достоинств, оппонент...» и т.п., здесь можно предполагать завуалированный А. к тщеславию.

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

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

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

Все перечисленные А. являются некорректными и не должны использоваться в споре. Однако спор – это не только столкновение умов, но и столкновение характеров и чувств, поэтому перечисленные А. все-таки встречаются и в повседневных, и в научных спорах. Заметив А. подобного рода, следует указать противнику на то, что он прибегает к некорректным способам ведения спора, следовательно, не уверен в прочности своих позиций (см.: Спор).
АРГУМЕНТАЦИИ ТЕОРИЯ – теория, изучающая те многообразные дискуссионные приемы, которые используются в процессе аргументации.

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

Центральными понятиями общей А. т. являются: способ аргументации и ее основание, стиль аргументации, контекст аргументации, позиция участника аргументации, диссонанс и консонанс позиций, спор (полемика и дискуссия) и диалог, истина и ценность в аргументации, аргументация и доказательство и др.

Для А. т. существенны оппозиции: абсолютная – сравнительная аргументация, общезначимая – контекстуальная, истинностная – ценностная, естественнонаучная – гуманитарная аргументация и др.

В процессе абсолютной аргументации приводятся те убедительные, или достаточные, аргументы в поддержку тезиса, в силу которых он должен быть принят. Сравнительная аргументация имеет своей задачей показать, что лучше принять данный тезис, чем какое-то иное положение. Общая схема абсолютной аргументации: «A приемлемо, поскольку С»; схема сравнительной аргументации: «А более приемлемо, чем В, поскольку С». Здесь А – тезис, В – его альтернатива, С – основание аргументации. Абсолютная аргументация может быть истолкована как частный случай сравнительной: «A приемлемо, поскольку С» означает «A более приемлемо, чем не-А, поскольку С». Абсолютную аргументацию принято называть также обоснованием, сравнительную – рационализацией (рациональность в этом случае означает умение выбрать лучшую из имеющихся альтернатив). Обоснование является абсолютной оценкой знания, рациональность – сравнительной оценкой («Должно быть принято А, поскольку С» и «Лучше принять A, чем В, поскольку С»).

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

Общие контуры новой А. т. наметились в последние десятилетия. Она восстанавливает то позитивное, что было в античной риторике и иногда называется на этом основании новой риторикой. Стало очевидным, что А. т. не сводится к логической теории доказательства, которая опирается на понятие истины и для которой понятия убеждения и аудитории совершенно инородны. А. т. не сводима также к методологии науки или теории познания. Аргументация – это определенная человеческая деятельность, протекающая в конкретном социальном контексте и имеющая своей конечной целью не знание само по себе, а убеждение в приемлемости каких-то положений. В числе последних могут быть не только описания реальности, но и оценки, нормы, советы, декларации, клятвы, обещания и т.п. А. т. не сводится и к эристике – теории спора, ибо спор – это только одна из многих возможных ситуаций аргументации.
АРГУМЕНТАЦИЯ (от лат. argumentatio – приведение аргументов) – приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к выдвинутому положению; совокупность таких доводов. Цель А. – принятие выдвигаемых положений аудиторией. Истина и добро могут быть промежуточными целями А., но конечной ее целью всегда является убеждение аудитории в справедливости предлагаемого ее вниманию положения, склонение ее к принятию данного положения и, возможно, к действию, предполагаемому им. Это означает, что оппозиции «истина – ложь» и «добро – зло» не являются центральными ни в А., ни, соответственно, в ее теории. Аргументы могут приводиться не только в поддержку тезисов, представляющихся истинными, но и в поддер­жку заведомо ложных или неопределенных тезисов. Аргументированно отстаиваться могут не только добро и справедливость, но и то, что кажется или впоследствии окажется злом. Теория А., исходящая не из отвлеченных философских идей, а из реальной практики А. и представления о реальной аудитории, должна, не отбрасывая понятий истины и добра, ставить в центр своего внимания понятия «убеждение» и «принятие».

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

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

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