18 Алан

• Гильберт Д., Аккерман В., Основы теоретич. логики, пер. с нем., М., 1947; Клини С. К., Математич. ло­гика, пер. с англ., М., 1973.

АЛГОРИТМ [от algorithm!; algorismus, первоначаль­но — лат. транслитерация имени ср.-азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль-Хорезми)], про­грамма, определяющая способ поведения (вычисле­ния); система правил (предписаний) для эффективного решения задач. При этом подразумевается, что исход­ные данные задач могут изменяться в определ. преде­лах (массовость А.); процесс применения правил к ис­ходным данным (путь решения задачи) определён одно­значно (детерминированность А.); на каждом шаге про­цесса (применения правила) известно, что считать его результатом (результативность А.). Свойство массо­вости А. означает, что А. связан с решением общей проблемы, в условия к-рой входят параметры; ответ «да» или «нет» па эту проблему даётся не прямо, а кос­венно — в зависимости от значений параметров, в об­щем случае допускающих счётно-бесконечное множе­ство значений. Поэтому точное описание А. предпола­гает указание на множество возможных значений пара­метров (т. е. частных вопросов) проблемы. Обычно (без ущерба для общности понятия А.) в качестве воз­можных значений параметров выбирают слова в нек-ром фиксированном алфавите, при этом А. сводится к про­цессу преобразования слов. Результативность процес­са применения А. связывают с его остановкой (обры­вом), что рассматривают как применимость А. к исход­ным данным задачи. Свойство детерминированности А. выражается в том, что когда заданы А. и значения параметров (т. е. выбран частный случай проблемы), процесс решения идёт чисто формально (механически), так что во всех деталях известны последовательность и содержание конкретных (дискретных) шагов работы А. Детерминированность исключает возможность произ­вольных решений, что достигается изоляцией алгорит-мич. процесса от воздействий извне. Именно эта черта А. делает его одновременно и синонимом автоматически работающей машины, и основой автоматизации процес­сов преобразования информации.

Общая проблема совместно с требованием разыскания А. наз. алгоритмической. Если А. предложен, то спра­шивается: всегда ли ответы по предложенному А. будут ответами на частные вопросы данной алгоритмич. проб­лемы? Это выясняют доказательством соответствия А. данной проблеме, после чего алгоритмич. проблему считают разрешимой А. (или алгоритмически разре­шимой). Обычно задачи, решаемые А., сводятся к рас­познаванию свойств конструктивных объектов (см. Конструктивное направление). Напр., А. распознава­ния свойства общезначимости для формул логики вы­сказываний даётся их табличной оценкой. Это же свой­ство характеризует и множество доказуемых формул исчисления высказываний, к-рос, т. о., алгоритмически разрешимо относительно истинности.

Вопрос о проблемах, разрешимых А., связан с воп­росом об использовании машин вместо человека и пре­делах автоматизации процессов мышления. Вера в ал­горитмич. разрешимость всех (по крайней мере, всех математич. и логич.) проблем имела значит, влияние в философии начиная с Декарта и Лейбница. В 1931 К. Гёдель доказал, что в системах аксиом определ. вида есть проблемы, неразрешимые А. этих систем, в связи с чем возник вопрос об описании класса всех возможных типов А. в рамках строгой (формальной) теории А. В 1936 появилось песк. вариантов стандартных систем уточнения понятия А. (формализации функций, вы­числимых по Гёделю, Клини, Тьюрингу, Черчу) и была высказана эмпирически обоснованная гипо­теза, что иных А., удовлетворяющих свойствам со­держат. понятия А., но неэквивалентных стандарт­ным формализациям, не существует. Эта гипотеза означала признание принципиальной завершённости поиска средств, привлекаемых для решения алгорит-мич. проблем, и вместе с тем — признание существова-

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

• Колмогоров А. Н., Успенский В. А., К опреде­лению А., «Успехи математич. наук», 1958, т. 13, в. 4 (82); Трахтенброт Б. А., А. и машинное решение задач, М., 1960"; M а л ь ц е в А. И., А. и рекурсивные функции, М., 1965; Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972; Бирюков Б. В., Ал-горитмич. подход к науке и концепция расплывчатых А., в кн.: Кибернетика и совр. науч. познание, M., 197B; Криницкий Н. А., А. вокруг нас, М., 1977; Успенский В. А., Машина Поста, М., 1979. M. M. Новосёлов.

АЛЕКСАНДЕР (Alexander) Сэмюэл (6.1.1859, Сидней, Австралия,— 13. 9.1938, Манчестер), англ, философ-идеалист, представитель неореализма, один из создате­лей теории эмерджентной эволюции. В филос. взгля­дах отталкивался от нек-рых идеалистически интерпре­тируемых положений теории относительности. Исходной реальностью считал понятие «пространство — время», к-рое отождествлял с энергией и движением. Процесс эволюции, по А., носит «эмерджентпый» — скачкооб­разный, непредсказуемый и научно не объяснимый характер. «Пространство — время» порождает «эмерд-жентные» качества — материальный мир, жизнь, пси­хику, сознание. Учению об объективной причинности в природе А. противопоставил идеалистич. концепцию «низуса» (лат. nisus — порыв, устремление) как духовно­го источника, направляющего эволюцию к своей цели и пределу — божеству. В гносеологии А. придерживал­ся неореалистич. представления о непосредств. характе­ре познават. процесса, развивал учение о категориях как неизменных и постоянных свойствах материи и духа. А. занимался также вопросами этики и эстетики.

• Space, time and deity, v. 1—2, L., 1927; Beauty and other forms of value, L., 1933.

• Богомолов А. С., Англ. бурж. философия 20 в., М., 1973, гл. 4, §3; Mc Carthy J. W., The naturalism of S. Alexander, N. Y., 1948.

АЛЕКСАНДР (Alexander) из Гэльса (латинизи-ров. Alexander Halensis) (ок. 1185, Гэльс, Англия,— 21.8.1245, Париж), ср.-век. философ и теолог. С 1236 монах-францисканец, основатель францисканской шко­лы в Парижском ун-те. Обширная «Сумма теологии», приписываемая А., хотя и не принадлежит ему непос­редственно, составлена кем-то из его последователей на основе работ А. и его учеников — Иоанна из Ла-Ро-шели, Бонавентуры и др. Один из первых коммента­торов «Сентенций» Петра Ломбардского. Примыкал к традиции ср.-век. реализма (его гл. авторитеты — Августин, Псевдо-Дионисий Ареопагит, Боэций). Ви­димо, сформулировал ряд вопросов, получивших раз­вёрнутое обсуждение у Бонавентуры и его учеников и связанных с доказательством бытия бога. В центре их — понимание бога как самодовлеющего бытия. А. опирался прежде всего на Анселъма Кентерберий-ского, но приводил и аргументы, почерпнутые у Арис­тотеля, напр, доказательство из необходимости допу­щения неподвижного двигателя для обоснования дви­жения. В соч. А. впервые задана форма схоластич. из­ложения обсуждаемого вопроса: 1) постановка вопроса; 2) возражения против предполагаемого ответа; 3) ав­торитетные суждения в пользу того утверждения, к-рое является ответом автора на поставленный вопрос, и 4) доказательство этого утверждения; 5) опроверже­ние возражений. Эта форма стала традиционной для разного рода ср.-век. схоластич. соч.: «сумм», коммен­тариев к «сентенциям», «вопросов».

• Summa theologica, v. 1—4, Quaracchi, 1924—48; Glossa in quatuor libros Sententiarum Petri Lombardl, v. 1—2, Quaracchi — Florentlae, 1951—54,

• PIcavet P., Abilard et Alexandre de Haies, createurs de (a methode acolastique, P., 189C; B o e h n e r P h., The system of metaphysics of Alexander of Hales, «Franciscan Studies», 1945 V. 5, p. 366—414; G i i s o n E.H., History of Christian philoso­phy In the middle ages, N. Y., 1955.

АЛЕКСАНДР АФРОДИСИЙСКИЙ (Αλέξανδρος 6 Άφροδισιεύς — из г. Афродисия в Карий, М. Азия, 2—3 вв.), др.-греч. философ, глава перипатетической школы в Афинах (между 198—211), влиятельнейший комментатор Аристотеля. Для А. А. характерен эмпи-рич. натурализм (в духе идей Стратона из Лампсака); он отрицал бессмертие души и реальность времени, а в вопросе об универсалиях занимал позицию, близкую к жёсткому номинализму (существование универсалий «после вещей» — «если бы они не мыслились, то их и не было бы»), отойдя, т. о., от Аристотеля. В комментарии к соч. «О душе» развил оригинальную концепцию троичности ума (нуса), повлиявшую на ср.-век. араб, и евр. философию. А. А. различает естественный, или материальный, ум, приобретённый ум и «приходящий извне», или творч. ум, тождественный перводвигателю Аристотеля и богу. Сверхличный третий ум воздейст­вует на потенциальный первый и оформляет его в на­личный второй ум.

Репутация А. А.-комментатора была исключительно высока в древности («второй Аристотель»); коммента­рии его сохраняют науч. значение до сих пор. Взгля­ды Аристотеля А. А. рассматривал как самодовлею­щую непротиворечивую систему, к-рая должна быть объяснена из неё самой. Эта установка на внутр. рекон­струкцию и догматич. чистоту аристотелизма находит своё выражение в резком отмежевании от др. филос. школ (особенно стоицизма) и постоянной полемике с ними. До нас дошли комментарии 1) к «Метафизике» (А. А. принадлежит только кн. 1—5, кн. 6—14 — ви-зант. комментатору Михаилу Эфесскому); 2) к 1-й кн. «Первой аналитики»; 3) к «Топике»; 4) к «Об ощущении»; 5) к «Метеорологии», а также самостоятельные т. н. «малые сочинения»: 6) «О душе»; 7) «О роке» (защита свободы воли — против стоич. фатализма); 8) «Апории и решения» в 3 книгах; 9) «Нравств. проблемы» (под­линность оспаривается); 10) «О слиянии и росте» (про­тив стоич. учения о взаимопроникновении тел).

Издания: М 1—5 изданы в серии CAG I—III; № 6 — 10 в Supplementum Aristotelicum к той же серии: ν. 2, pt. l—2 (В., 1887—92); Т о d d R. В., Alexander of Aphrodisias on stoic phy­sics: a study of the «De mixtione» with preliminary essays, text, transl. and comm., Leiden, 1976; M o r a u χ P., Le commentaire d'Alexandre d'Aphrodise aux «Seconds Analytiques» d'Aristote, B.— N. Y., 1979.

• История философии, т. 1, M., 1940, с. 268; Praechter K. (Hrsg.), Die Philosophie des Altertums, B., 1926 (именной ука­затель); M о га u x P., Alexandre d'Aphrodise..., Liege, 1942; M e r l a n P., Monopsychism, The Hague, 1963.

АЛЕКСАНДРОВ Георгий Фёдорович [22.3(4.4). 190S, Ленинград,— 21.7.1961, Москва], сов. философ, акад. АН СССР (1946). Чл. КПСС с 1928. Окончил Моск. ин-т истории и философии (1932). В 1940—47 возглав­лял Управление пропаганды и агитации ЦК ВКП(б). В 1947—54 директор Ин-та философии АН СССР. В 1954—55 министр культуры СССР. В 1955—61 ра­ботал в Ин-те философии АН БССР. Гос. пр. СССР: 1943 (за участие в создании труда «История филосо­фии») и 1946 (за кн. «История зап.-европ. философии», по к-рой в 1947 была проведена филос. дискуссия; см. журн. «Вопросы философии», 1947, № 1).

• Филос. предшественники марксизма, М., 1939; Аристотель, М., 1940; Формирование филос. взглядов Маркса и Энгельса, М., 1940; История социологии как наука, Минск, 195S; История со-циологич. учений. Древний Восток, М., 1959.

АЛКМЕОН (Άλκμαίων) из Кротона (согласно единств, хронологич. свидетельству, «был молод, когда Пифагор был стариком», т. е. ок. 500 до н. э.), др.-греч. врач и натурфилософ. По Диогену Лаэртию, «слушал Пифагора», однако считать его «пифагорейцем» в стро­гом смысле слова неправильно. Книга А. была извест­на в древности под традиц. и, вероятно, неподлинным

АЛКМЕОН 19

назв. «О природе». В центре внимания А.— человече­ское тело, понимаемое как микрокосм; в отличие от милетской школы, космогония и метеорология начисто отсутствуют у А., зато впервые появляются (отныне обязательные для всех трактатов «О природе») эмбрио­логия, физиология, теория ощущений и психология. А. последовательно проводит метод аналогий, прежде все­го — в учении о параллелизме микрокосмоса и макро­космоса. Бессмертной части космоса — Солнцу, Луне и звёздам соответствует бессмертная часть человека — душа (псюхе), находящаяся в вечном круговом движе­нии. Эта концепция оказала влияние на космологию Платона и Аристотеля (Аристотель тщательно изучал А. и написал спец. трактат «Против А.»). Моделью человеч. организма служит у А. не только космос, но и гос-во, в этиологии болезней применяется политич. терминология. Здоровье трактуется как «демократич. равноправие» («исономия») элементарных сил горяче­го — холодного, влажного — сухого, горького — слад­кого; «монархия» одной из них приводит к гибели дру­гой и вызывает болезнь. Для А. характерно сочетание поэтически окрашенных спекулятивных конструкций с эмпирич. установками. А.-эмпирику принадлежит гениальное открытие локализации интеллекта в голов­ном мозге, к к-рому он пришёл в результате анатомич. обнаружения глазных нервов. Открытие это было вос­принято Платоном в «Тимее», но отвергнуто Аристо­телем (помещавшим сознание в сердце).

• Φ ρ а г м е н т ы: DK I, 210—16; Timpanaro Cardi-ni M., Pitagorici, fasc. l, Firenze, 1958.

*WachtlerJ.,De Alcmaeone Crotoniata, Lpz., 1896; G u t h-r i e W. K. C., A history of Greek philosophy, v. l, Camb., 1971.

АЛЛЕГОРИЯ (греч. αλληγορία — иносказание), ус­ловная форма высказывания, при к-рой наглядный образ означает нечто «иное», чем есть он сам, его со­держание остаётся для него внешним, и оно однознач­но закреплено за ним культурной традицией. Поня­тие А. близко к понятию символа, граница между ними в конкретных случаях может быть спорной. Различие состоит в том, что символ более многозначен и органи­чен, в то время как смысл А. существует в виде некоей рассудочной формулы, к-рую можно «вложить» в об­раз и затем в акте дешифровки извлечь из образа. С этим же связано то, что о символе чаще говорится применительно к простому образу и мотиву, а об А.— применительно к цепи образов, объединённых в сюжет: напр., если путешествие — символ духовного «пути», то путешествие героя романа Дж. Беньяна «Путь палом­ника» («The pilgrim's progress», pt. 1—2, 1678—84; в рус. пер. «Путешествие пилигрима», 1878), к-рый идёт через «ярмарку Суеты», «холм Затруднения» в «долину Унижения» к «Небесному граду» — бесспор­ная А.

Роль А. в истории философии связана с многочисл. попытками, начиная с эпохи эллинизма, истолковы­вать древние почитаемые тексты как последователь­ность аллегорий (у стоиков — Гомера, у Филона Алек­сандрийского и нек-рых христ. богословов — Библию); в ср. века аллегорически истолковывается и мир при­роды как устроенный богом для человека в качестве нравоучит. наглядного пособия, материализованной басни с моралью.

• Formen und Funktionen der Allegorie. Symposion Wolfenbüt-tel 1978, Stuttg., 1979.

АЛОГИЗМ (от греч. ά — отрицат. частица и λογισμός — разум, рассудок), ход мысли, игнорирующий законы и правила логики, нарушающий согласие мышления с действительностью. А. часто бывает скрыт формальной правильностью высказывания; способ обнаружения подобных А.— конкретно-диалектич. анализ отражён­ной в рассуждении действительности. С кон. 19 в. в нек-рых интуитивистских теориях философии, логи­ки, математики, эстетики А. выступает как основопола-