АБДУКЦИЯ— познавательная процедура принятия гипотез. Впервые явно выделена ?.С. Пирсом, который рассматривал абдукцию (абдуктивный вывод) наряду с индукцией и дедукцией. Ч.С. Пирс считал, отбирая среди необозримого множества гипотез наиболее существенные, исследователи реализуют «абдукционный инстинкт», без которого невозможно было бы развитие науки. Согласно Пирсу, методология науки должна пониматься как взаимодействие 1) абдукции, осуществляющей принятие объяснительных правдоподобных гипотез, 2) индукции, реализующей эмпирическое тестирование выдвинутых гипотез, и 3) дедукции, посредством которой из принятых гипотез выводятся следствия. Таким образом, Ч. С. Пирс создал идейный эскиз теории рассуждений, впоследствии получивший развитие в исследованиях по искусственному интеллекту, в которых абдуктивный вывод представлен как вид автоматизированного правдоподобного рассуждения. Идея абдукции, согласно Ч.С. Пирсу, может быть сформулирована следующим образом: D— множество фактов, Н— множество выдвинутых гипотез, H объясняетD Следовательно, гипотезы из Я правдоподобны. Для последовательного осуществления и усиления этой идеи потребовалось формализовать как процедуру выдвижения гипотез из Я, так и отношение «Я объясняет D». Кроме того, необходимо было конструктивно задать процедуру оценки правдоподобия гипотез, порожденных посредством индукции на основе фактов из D. В ряде работ по автоматизированным правдоподобным рассуждениям было установлено, что формализация абдукции как конструктивной аргументации возможна посредством взаимодействия последней с индукцией и аналогией, причем аргументы порождаются посредством индукции, предсказания посредством аналогии, а принятие гипотез осуществляется с помощью абдукции. Для этого уточнения абдукции (в смысле Ч.С. Пирса) используются многозначные логики. В работах по искусственному интеллекту широко распространена следующая формализация абдукции средствами двузначной логики предикатов первого порядка: Пусть D — множество наблюдаемых фактов, Т— некоторая заданная теория, Я — множество гипотез. Тогда множество высказываний ? называется абдуктивным объяснением D, если и только если для него выполняются следующие условия: (1) ? содержится в Я, (2) из объединения Г и Евыводится Д (3) Г и Е— непротиворечивы. Задача получения абдуктивного объяснения сводится к нахождению Е. Указанная выше формализация абдуктивного объяснения не является достаточно глубокой имитацией идеи Ч.С. Пирса об абдукции как познавательной процедуре, присущей творческой активности человека. Имеются интересные связи между абдукцией и немонотонными рассуждениями, а также формализация ми диагностических процедур, представленных в системах искусственного интеллекта. Лит.: Финн В. К. Синтез познавательных процедур и проблема индукции. - «Научно-техническая информация», сер. 2, № 1-2, 1998, с. 3-52; Burks A.W. Peirce's Theory of Abduction - «Philosophy of Science», 1946, vol. 13, N 4, p. 301-306; Peirce С S. Philosophical

9

АБЕЛЯР writings. N.Y., 1955; Farm KT. Peirce's Theory of Abduction. The Hague Stanford. Martinas Nijhoff. 1970; RescherN. Peirce's Philosophy of Science. Notre Dame - L., 1978; Peng Y., Reggia J.A. Abductive Inference Models for Diagnostic Problem-Solving. N.Y.-B.-Hdlb., 1990; Brewka G., Dix J., Konolige K. Nonmonotonic Reasoning. Stanford, 1997. В. К. Финн

АБЕЛЯРПетр (Petrus Abailardus, Abaelardus) (1079 в Пале, близ Нанта - 21 апреля 1142, Шалтон) - философ, теолог, поэт; основоположник концептуализма. Абеляра называли «трубадуром философии», «рыцарем диалектики». Родился в Бретани в рыцарской семье. Отказался от права майората, стал школяром-клириком. До 1098 посещал в Вансе школу Росцелина, номиналистическую доктрину которого позже расценил как «безумную». Математике учился у Теодорика (Тьерри) Шартрского. В Париже изучал диалектику и риторику у Гильома из Шампо. Сам держал школы в Мелене, Корбейле, Париже, где в основном занимался диалектикой. После 1113 учился в Ланской школе у Ансельма Ланского, где начал преподавать теологию на рациональных основаниях и без церковного разрешения, что вызвало протест Ансельма и его сподвижников. В 1113 написал «Введение в теологию», в 1114 — «Логику для начинающих». После Лана преподавал теологию в Париже, где занял место магистра в соборной школе; получил звание каноника. К 1118—19 относится его роман с Элоизой, племянницей каноника Фульберта. В это время были созданы лирические стихи, а впоследствии замечательная переписка, автобиографическая проза «История моих бедствий» и «Problemata» (ответы на вопросы Элоизы относительно противоречий в Библии и др.). Женившись на Элоизе уже после рождения сына Астролябия, Абеляр предпочел не оповещать широко о браке, чтобы не повредить магистерской карьере. Этому противостоял Фульберт. Тогда Петр перевез Элоизу в монастырь, устроив фиктивный постриг. Фульберт, решив, что Абеляр таким образом избавился от его племянницы, нанял слугу, который оскопил Абеляра. После этого и Абеляр, и Элоиза затворились в монастыре. В 1119 были написаны трактаты «О единстве и троичности Бога» (De unitate et trinitate Dei), «Введение в теологию» (Introductio ad theologiam), «Теология Высшего блага» (Theologia Summi boni). В 1121 состоялся поместный собор в Суассоне, где Абеляра обвинили в нарушениях монашеского обета, выразившихся в том, что он вел занятия в мирской школе и преподавал теологию без церковной лицензии. Однако фактически предметом разбирательства стал трактат «О единстве и троичности Бога», направленный против номинализма Росцелина и реализма Гильома из Шампо. По иронии судьбы Абеляра обвиняли именно за номинализм: в трактате якобы отстаивалась идея трое- божия, в чем Абеляр обвинял Росцелина; трактат был сожжен самим Абеляром. После осуждения Суассонским собором он несколько раз был вынужден менять монастыри, а в 1136 вновь открыл школу на холме св. Женевье- вы. За это время он написал несколько вариантов «Христианской теологии» (Theologia Christiana), «Да и Нет» (Sic et non), «Диалектику» (Dialectica), комментарий у «Посланию к римлянам», «Этику, или Познай самого себя» (Ethica, seu Scito te ipsum) и др. Созванный Бернардом Клервоским в 1141 собор в Сансе обвинил Абеляра в ариан- ской, пелагианской и нестрорианской ересях. Он отправился в Рим с апелляцией, по дороге заболел и последние месяцы провел в монастыре Клюни, где написал «Диалог между Философом, Иудеем и Христианином» (Dialogus inter Philosophum, Iudaeum et Christianum), оставшийся незаконченным. Папа Иннокентий III утвердил приговор собора, обрекая Абеляра на вечное молчание; его трактаты были сожжены в соборе св. Петра в Риме. За Абеляра ходатайствовал клюнийский аббат Петр Достопочтенный. Абеляр умер в монастыре св. Марцелла близ Шалона. С именем Абеляра связано оформление схоластического антитетического метода, основанного на идее эквивокации (термин введен Боэцием), или двуосмысленности. Идея эквивокации, наглядно представленная в «Да и Нет», где через метод цитатного сопоставления были собраны противоречивые высказывания отцов Церкви по поводу одной и той же проблемы, выражена в трех аспектах: 1) один и тот же термин, находящийся по разные стороны противоречия, передает разные смыслы; 2) разные смыслы одного и того же термина есть следствие фигуративности языка и 3) следствие переноса (трансляции) термина из одного вида знания в другое (выражение «человек есть», справедливое для естественного знания, несправедливо для знания теологического, где глагол «есть» может быть применен только к Богу как полноте бытия). Утверждение и отрицание оказываются в одном случае (в теологии) противоречиями, в другом ( в естествознании) образуют разные формы связи слова и вещи. Одним и тем же словом могут быть выражены не только разные вещи, имеющие разные определения, как это было у Аристотеля, но в одной и той же вещи могут быть предположены разные определения в силу ее одновременного сакрально-про- фанного существования. В «Теологии Высшего блага» на основании идеи эквивокации Абеляр выделяет 4 значения термина «персона»: теологическое (бытие Бога в трех Лицах), риторическое (юридическое лицо), поэтическое (драматический персонаж, «передающий нам события и речи») и грамматическое (три лица речи). Абеляр положил начало дисциплинарности знания, обозначив для каждой дисциплины разные способы верификации и устанавливая основные критерии того, что с этого времени вместо ars-искусства начинает назваться scientia и в будущем разовьется в понятие науки. Основные установки теологии как дисциплины (в таком качестве этот термин начинает входить в обиход именно с Абеляра, заместив собою термин «священная доктрина») — это прежде всего непримиримость к противоречиям и вера в разрешимость проблемы (связанной, например, с неясными местами догматики) с помощью переноса термина. Этика представлена у Абеляра как дисциплина, предмет которой предполагает оценку деятельности и человечества в целом, и конкретного поколения людей. С возникновением в 11 в. светского интеллектуального запроса о нравственной ориентированности в мире одним из центральных пунктов моральной философии Абеляра стало определение этических понятий (прежде всего понятия греха) в их отношении к праву. Это породило проблему соотношения двух форм права: естественного и позитивного. Естественное право определяло понятия греха и добродетели применительно к Высшему благу (Богу), позитивное — к праву общему, человеческому, принципы которого были разработаны еще в античной философии; проблема ю