ИНДУКТИВИЗМ— направление в логике и философии науки, гносеологическим принципом которого является признание индукции в качестве единственного источника и способа удостоверения нового знания. Сократ был первым, кто использовал индуктивные рассуждения при построении определений. Аристотель определяет индукцию как восхождение от частного к общему, но ограничивается рассмотрением лишь полной индукции через простое перечисление. Родоначальником «индуктивной философии» является Ф. Бэкон, который установил новый метод истолкования природы, состоящий в методическом расположении собранных фактов, выявлении случайных признаков, выдвижении предварительных гипотез и приближении к правильной индукции путем исследования типичных случаев. На практике индуктивный метод сознательно стали применять в своих исследованиях члены Британского Королевского общества. И. Ньютон сформулировал его суть в известных «Правилах умозаключений в физике». В сер. 19 в. Дж. Ст. Милль, изучая эмпирические методы физических наук, систематизировал их в единое учение под названием «индуктивная логика». В основу новой логики он положил принцип единообразия природы, открывающий возможность индуктивных умозаключений от фактов наблюдаемых к ненаблюдаемым.

116

ИНДУКТИВНАЯ ЛОГИКА Философия индуктивизма в 19 в. представлена в работах Д. Гершеля и У Уэвелла. Классический эмпиризм опирался на две основные формы: логику открытия и логику обоснования. Первая имела своим предметом генезис научного знания на основе правильно выполненных индуктивных процедур. Классический индуктивизм требовал начинать с бесспорных фактов, из которых путем последовательного применения индукции получают теории все более высокого порядка. Вторая имела целью дать безошибочное обоснование найденным результатам. В целом же процесс познания рассматривался как постепенное накопление (кумуляция) бесспорных фактов и неопровержимых индуктивных обобщений. К нач. 20 в. классическая модель индуктивной науки была подвергнута решительной критике (особенно Дюгемом). Параллельно получает новый импульс эпистемологическое направление, именуемое ныне гипотетизмом, суть которого описана в книге А. Пуанкаре «Наука и гипотеза» (1902). Согласно Пуанкаре, опыт — единственный источник истины. Но целью математической физики являются предсказания, основанные на систематизации и обобщении наблюдаемых фактов. Благодаря обобщению (гипотезе) каждый наблюдаемый факт позволяет предвидеть множество других. Однако из достоверности единичного факта еще не следует достоверность гипотезы. Поэтому все предсказанные гипотезой факты не истинны, а только вероятны. Сам выбор гипотезы основан на двух постулатах — единстве природы и принципе простоты, который обеспечивает выбор наиболее вероятной гипотезы. Физик, применяя метод индукции, явно или неявно пользуется теорией вероятностей. В 1920-х гг. классический индуктивизм был в значительной мере модифицирован благодаря усилиям видных представителей Венского кружка— М. Шлика, Р. Карнапа, X. Рейхенба- ха. Эта модификация состояла в том, что контекст открытия не рассматривался более в качестве составной части философии науки и относился к психологии научного творчества, так что проблема индукции была сведена к проблеме оправдания. Этот этап в процессе нового истолкования индуктивизма получил название верификаицонизма. Позднее Карнап, Рейхенбах и др. пришли к мысли заменить верификацию т. н. конфирмационизмом (confirmation — подтверждение). Оправдание уже не мыслилось как безошибочное и окончательное обоснование общих положений, а понималось лишь как подтверждение их некоторой совокупностью фактов, так что речь могла идти лишь о частичном или вероятностном подтверждении, степень которого оценивалась с помощью теории вероятностей. Подобный подход к проблеме индукции, являющийся разновидностью гипотетизма, резко уклонялся от трактовки индуктивного метода в классической эпистемологии, которая признавала лишь четкую дихотомию между теориями истинными (доказуемыми) и ложными (недоказуемыми). Позитивистский индуктивизм подвергся резкой критике со стороны К. Поппера, который выдвинул концепцию фальсификации. Эта версия Поппера оказала определенное влияние и на сторонников логического эмпиризма, которые, сохранив принцип подтверждаемости, усилили его требованием подвергать испытаниям не сомнительные, а наиболее вероятные гипотезы. В современной философии (С. Тулмин, П. Стросон и др.) отвергается возможность построения системы количественной индуктивной логики. При этом исходят из того, что степень подтверждения свидетельством можно оценить лишь в терминах отношения субъекта к утверждению, которое он высказывает. В целом же существуют две основные проблемы индуктивизма. Одна из них связана с оправданием отдельных видов индуктивного рассуждения, другая — с оправданием индуктивной логики как общего метода. Большинство исследователей считают, что оправдание конкретных способов индуктивного рассуждения возможно лишь путем анализа аргументов, используемых в той или иной специальной области науки, в то время как требование общего оправдания индукции признается ошибочным или сомнительным. Примером такого подхода является анализ схем правдоподобных умозаключений (предложенный известным математиком Д. Пойя). Лит.: Л/ш//яоа Дедуктивная и индуктивная логика. М., 1905; МимьДж. Система логики силлогистической и индуктивной. М., 1914; Пойя Д. Математика и правдоподобные рассуждения. М., 1957; Кайберг Г. Вероятность и индуктивная логика. М., 1978; The Problem of Inductive Logic. Amst., 1986. В. С. Черняк

ИНДУКТИВНАЯ ЛОГИКА— раздел логики, в котором изучается индукция. Индукция как познавательная процедура, приводящая к обобщению в результате обнаружения сходства наблюдаемых предметов, в современной логике может быть формализована различными средствами, образуя соответствующие варианты индуктивной логики. Вариант формализации индукции, предложенный Р. Карншюм, основан на интерпретации вероятности как логического отношения между двумя высказываниями. Это отношение выражает степень подтверждения гипотезы h эмпирическими данными е, обычно понимаемыми как констатация результатов наблюдений. Р. Карнап отличает понятие логической вероятности от эмпирической вероятности, изучаемой в теории вероятностей и математической статистике. Он использует язык логики предикатов первого порядка и «описания состояний» (модели), с помощью которых он вводит числовую функцию меры /я, областью значений которой является закрытый числовой промежуток между 0 и 1. Сумма значений /я-функции на «описаниях состояния» равна 1; /я-функция логически ложных высказываний равна 0, а /я-функция логически истинных высказываний равна 1. Высказывания, не являющиеся ни логически истинными, ни логически ложными, имеют значение /я-функции, заключенное между 0 и 1. Степень подтверждения гипотезы h данными наблюдения е определяется как отношение значения /я-функции для конъюнкции h и е к значению /я-функции для е. В индуктивной логике Р. Карнапа был получен пессимистический результат: индуктивная вероятность высказываний с квантором общности (т. е. индуктивных обобщений) равна нулю. Я. Хинтикка, используя созданный им формальный аппарат, показал, что в его версии индуктивной логики кар- наповский результат об индуктивных обобщениях не имеет места. Г. Рейхенбах развил концепцию индуктивной логики как бесконечнозначной вероятностной логики. Он в качестве исходной связки использовал импликацию вида «если «о» истинно, то «Ы вероятно со степенью р». В вероятностной логике Г. Рейхенбаха истинностные значения понимаются как степени истинности, интерпретируемые как вероятности. Новым направлением в индуктивной логике является автоматическое порождение гипотез. Целью исследований в этом направлении является формализация средств извлечения за-

117

ИНДУКЦИЯ кономерностей из эмпирического материала, представленного в базах данных компьютерных систем. Схема индуктивного вывода в теориях автоматического порождения гипотез состоит в следующем: посылками вывода являются теоретические допущения и эмпирические утверждения, а следствием - теоретические утверждения, являющиеся идуктивными обобщениями. Оригинальная теория автоматического порождения гипотез (GUHA-метод) была предложена чешскими математиками П. Гаеком и Т. Гавране- ком. Известные методы обнаружения причинно-следственных зависимостей, предложенные Д. С. Миллем, оказались идейным импульсом для развития теории правдоподобных рассуждений типа ДСМ. Эта теория была реализована в интеллектуальных системах типа ДСМ, в которых формализован синтез познавательных процедур, представляющий взаимодействие индукции, аналогии и абдукции. Правдоподобные рассуждения этого типа формализуются посредством беско- нечнозначной логики с кванторами по кортежам переменной длины. Истинностные значения этой логики конструктивно порождаются посредством правил вывода первого и второго рода и приписываются автоматически обнаруженным гипотезам. Сначала посредством правил первого рода порождаются гипотезы о причинах, представляющее обнаруженное сходство в эмпирических данных. Гипотезы о причинах затем используются в правилах второго рода для вывода по аналогии, посредством которого формируется индуктивное обобщение. Критерием принятия порожденных гипотез является абдук- тивный вывод, с помощью которого объясняется исходное состояние базы данных. Важной проблемой индуктивной логики является формирование критерия принятия гипотез. Существуют различные формализации критерия принятия гипотез, использующие, в частности, степень подтверждения гипотез или абдукцию, объясняющую исходное множество фактов. Понятия и процедуры индуктивной логики являются весьма полезными для применений в прикладных системах машинного обучения. Лит.: Carnap R. The Logical Foundations of Probability. Chic, 1952; Idem. The Continuum of Inductive Methods. Chic, 1952; Hintikka J. A Two- Demensional Continuum of Inductive Methods. — Aspects of Inductive Logic. Amst., 1966; Reichenbach H. The Theory of Probability. Berkeley and Los Angeles, 1949; Кайберг Г. Вероятность и индуктивная логика. М., 1978; Гаек П., Гавранек Т. Автоматическое образование гипотез. М., 1984; Кузнецов С. О. ДСМ-метод как система автоматического обучения.— В кн.: Итоги науки и техники, серия «Информатика», т. 15, М., 1991; Финн В. К. Синтез познавательных процедур и проблема индукции.— Научно-техническая информация, сер. 2, п. 1—2, 1998, с. 6-51. В. К. Финн

ИНДУКЦИЯ— познавательная процедура, посредством которой из сравнения наличных фактов выводится обобщающее их утверждение. Идея индукции обсуждалась Сократом и Аристотелем, который в «Аналитиках» рассматривал индуктивные рассуждения как вспомогательные средства обоснования посылок силлогизмов. Систематическое изучение индуктивных процедур начал Ф. Бэкон, предложив таблицы присутствия и отсутствия изучаемых явлений. Он рассматривал индукцию как единственно научный способ познания, противопоставляя ее умозрительным рассуждениям. Теория индуктивных рассуждений, наследующая идеи Ф. Бэкона об индукции, была развита Д. С Миллем. Последний предложил пять методов индуктивных рассуждений, посредством которых выводятся заключения о причинных связях между явлениями (методы сходства, различия, объединенный метод сходства и различия, метод остатков и метод сопутствующих изменений). Индуктивные методы Д. С. Милля являются примерами правдоподобных рассуждений. Эти методы получили ряд уточнений средствами современной логики (Г. фон Вригг, Г. Гриневский, В. Финн и др.). Признание индукции в качестве решающей познавательной процедуры характеризует теорию познания эмпиризма. Однако признание существования индукции как познавательной процедуры не влечет за собой признание возможности обосновать индуктивные обобщения. Так Д. Юм развил скептический взгляд на индукцию, считая, что индуктивные обобщения не могут быть обоснованы и являются лишь результатом ассоциации идей. Юмовский скептицизм был усилен К. Р. Поппером, который считал, что правила индуктивного вывода не могут быть сформулированы, а реальными познавательными процедурами являются лишь фальсификация гипотез, метод проб и ошибок, и, конечно, дедуктивное доказательство. Индукция же, согласно Попперу, не может быть обоснована и не имеет познавательного значения. Теории индукции, основанные на вероятностном подходе, были развиты Г. Рейхенбахом и Р. Карнапом. В современных исследованиях по искусственному интеллекту, в которых имитируются и усиливаются посредством компьютерных систем некоторые аспекты интеллектуальной деятельности, формализация индукции осуществляется средствами современной логики, алгоритмических языков и баз данных с неполной информацией. Одним из интересных приложений идеи индукции является индуктивный синтез программ. Следует отметить, что индукция в интеллектуальных компьютерных системах представима во взаимодействии с другими познавательными процедурами — аналогией и абдукцией. Естественная связь индукции и абдукции была отмечена Ч. С. Пирсом. Лит.: Котарбиньский Т. Избр. произв. Лекции по история логики, М., 1963; Аристотель. Соч., т. 2. М., 1978; Кайберг Г. Вероятность и индуктивная логика. М., 1978; Гаек П., Гавранек Т. Автоматическое образование гипотез. М., 1984; МилльД. С. Система логики силлогистической и индуктивной. М., 1900; Финн В. К Синтез познавательных процедур и проблема индукции.— Научно-техническая информация, сер. 2, 1998; Reichenbach H. The Theory of Probability. Berkley and Los Angeles, 1949; Carnap R. The Logical Foundations of Probability, 2 ed. Chic, 1957; Popper К R. Object Knowledge. An Evolutionary Approach. Oxf., 1974. В. К. Финн

ИНДУСТРИАЛЬНОЕ ОБЩЕСТВО- одно из основных понятий политологии и социологии, характеризующее природу развитых, модернизированных государств. Термин был введен К. А. Сен-Симоном в начале 19 в. Различные варианты истолкования индустриального общества встречались в работах классиков западной социологии — О. Конто, Э. Дюркгейма и др. Однако широкое распространение понятие получило лишь в 50-е гг. 20 в. в связи с активной экспансией в социальных науках теории модернизации. Модернизация тех или иных сообществ в 50—60-х гг. однозначно связывалась с процессами урбанизации, индустриализации,

118

ИНЖЕНЕРНАЯ ДЕЯТЕЛЬНОСТЬ бюрократизации и рационализации управления, с распространением массового образования, обеспечением надежных транспортных коммуникаций и т. д. Индустриальное общество описывалось, как правило, следующими параметрами социальной системы. В экономике — завершенная индустриализация, преобладание индустриального сектора над аграрным, массового производства товаров и услуг над всеми остальными формами организации производства. В социальной сфере — развитая система социальной стратификации, основанная на сложном и всеохватывающем разделении труда, высокая степень дифференциации ролей и институтов, развитая система образования, способная заполнить возникающие ниши в системе профессиональной специализации и социальной стратификации. Индустриальное общество отличается от традиционного уменьшением функциональной нерасчлененности социальных единиц и возрастанием структурной дифференцированности, возникновением новых социальных организаций, специализирующихся на выполнении особых функций. При этом имплицитно подразумевалось, а иногда и прямо постулировалось, что каждая структурная единица социальной системы при дифференциации ее функций порождает новые социальные элементы с большей адаптационной способностью и, следовательно, более совершенные. В антропологическом и социокультурном плане индустриальное общество означает переход от мышления, ориентированного на поддержание освященного традицией, сакрализованного порядка, к рациональному мышлению, акцентирующему внимание на возможностях активной преобразующей деятельности, что предполагает ослабление всякого рода запретов и предписаний. Конкретные критерии «индустриализированности» того или иного общества неодинаковы у различных авторов, однако в обобщенном виде все различия оказываются вариациями на одну и ту же тему: индустриальное общество описывается с помощью понятий функциональной специализации, дифференциации, рационализма, централизации, тогда как «традиционное доиндустриальное» общество характеризуется понятиями функциональной нерасчлененности, иррационализма, локальности. Концепции модернизации и индустриального общества легли в основу многочисленных теорий современной политологии и социологии — конвергенции, постиндустриального, информационного общества и др. Лит.: Гэлбрэйт Дж. Новое индустриальное общество. М, 1969; Comparative perspective of industrial society. Boston, 1969; Dahren- dorf R. Class and class conflict in industrial society. Stanford, 1959; EtzioniA. Studies in social change. N. Y., 1966. _ r _ Э. Г. Соловьев

ИНЖЕНЕРИЯ СОЦИАЛЬНАЯ- деятельность по проектированию, конструированию, созданию и изменению организационных структур и социальных институтов; комплекс прикладных методов социологии и др. социальных дисциплин, составляющих инструментарий такой деятельности. Становление социальной инженерии связано с развитием обшей теории систем и системного подхода к явлениям разных уровней природной и социальной реальности; принципов проектирования сложных технических систем; «человеческой инженерии», изучающей влияние особенностей человеческого организма и психики на функционирование технических систем и разрабатывающей схемы взаимодействия в системе «человек—машина». Социальная инженерия концептуально близка прежде всего понятию технократии, в рамках которого человек выступает как пассивный объект манипуляции. Вопрос о возможности целенаправленного создания заведомо оптимальных социальных структур связан с фундаментальным соотношением стихийного и сознательного начал в функционировании и развитии общества. Лишь немногие социальные институты были спроектированы сознательно, считает К. Поппер, давший теоретическое обоснование общих принципов социальной инженерии, в своем же большинстве институты являются непреднамеренным результатом человеческих действий. Общество и историю нельзя спланировать, но планировать отдельные социальные институты можно и нужно, ибо только посредством социальных технологий и социальной инженерии, методом постепенных реформ и демократическим воздействием на экономику можно достичь лучшего мира. Такое планирование и конструирование в рамках частных процессов Поппер называет частичной социальной инженерией. Она направлена на осуществление определенных институциональных преобразований в обществе, но не на преобразование общества в целом. «Точно так же, как главной задачей инженера-физика является проектирование машин, их реконструкция и обслуживание, в задачи «частичного» социального инженера должно входить проектирование новых социальных институтов, их перестройка и управление ими, когда они уже существуют» (Поппер К. Нищета истори- цизма.- «ВФ», 1992, № 8, с. 27). Социальные институты не являются самоцелью. Частичная социальная инженерия напоминает физическую, поскольку обе они выносят конечные цели за пределы технологии. Частичный социальный технолог или инженер смотрит на институты с «функциональной» или «инструменталистской» точки зрения, оценивая их как средство для достижения определенных целей, как машины, а не как организмы, самодостаточные в своем существовании. При этом он отдает отчет в существенной разнице между социальными институтами и физическими инструментами. Напротив, холистская, или утопическая социальная инженерия имеет, по мнению Поппера, не частичный, а тотальный, государственный характер. Она нацелена на то, чтобы контролировать с «ключевых позиций» исторические силы, которые создают будущее развивающегося общества, т. е. либо задерживать это развитие, либо предвидеть его ход и приспосабливать к нему общество. Такого рода социальная инженерия связана с историцизмом — убеждением в существовании исторических закономерностей и возможности на этой основе предсказывать будущее развитие общества. В. М. Быченков