Новая философская энциклопедия В 4 томах. Том 2 (1184479), страница 78
Текст из файла (страница 78)
М, 1914; Пойя Д.Математика и правдоподобные рассуждения. М., 1957; Кайберг Г.Вероятность и индуктивная логика. М., 1978; The Problem ofInductive Logic. Amst, 1986.В. С. ЧернякИНДУКТИВНАЯ ЛОГИКА - раздел логики, в которомизучается индукция. Индукция как познавательная процедура, приводящая к обобщению в результате обнаружения сходства наблюдаемых предметов, в современной логике можетбыть формализована различными средствами, образуя соответствующие варианты индуктивной логики.
Вариант формализации индукции, предложенный Р. Карнапом, основан наинтерпретации вероятности как логического отношения между двумя высказываниями. Это отношение выражает степеньподтверждения гипотезы И эмпирическими данными е, обычно понимаемыми как констатация результатов наблюдений.Р. Карнап отличает понятие логической вероятности от эмпирической вероятности, изучаемой в теории вероятностейи математической статистике.
Он использует язык логики предикатов первого порядка и «описания состояний» (модели), спомощью которых он вводит числовую функцию меры т, областью значений которой является закрытый числовой промежуток между 0 и 1. Сумма значений m-функции на «описаниях состояния» равна 1; т-функция логически ложныхвысказываний равна 0, а /и-функция логически истинных высказываний равна 1.
Высказывания, не являющиеся ни логически истинными, ни логически ложными, имеют значениеm-функции, заключенное между 0 и 1. Степень подтверждения гипотезы h данными наблюдения е определяется как отношение значения /я-функции для конъюнкции hue к значению m-функции для е.В индуктивной логике Р. Карнапа был получен пессимистический результат: индуктивная вероятность высказываний сквантором общности (т. е. индуктивных обобщений) равнанулю.
Я. Хинтикка, используя созданный им формальныйаппарат, показал, что в его версии индуктивной логики карнаповский результат об индуктивных обобщениях не имеетместа.Г. Рейхенбах развил концепцию индуктивной логики какбесконечнозначной вероятностной логики. Он в качестве исходной связки использовал импликацию вида «если «а» истинно, то «6» вероятно со степенью р». В вероятностной логикеГ. Рейхенбаха истинностные значения понимаются как степени истинности, интерпретируемые как вероятности.Новым направлением в индуктивной логике является автоматическое порождение гипотез.
Целью исследований в этомнаправлении является формализация средств извлечения за-117ИНДУКЦИЯкономерностей из эмпирического материала, представленного в базах данных компьютерных систем.Схема индуктивного вывода в теориях автоматического порождения гипотез состоит в следующем: посылками выводаявляются теоретические допущения и эмпирические утверждения, а следствием - теоретические утверждения, являющиеся идуктивными обобщениями.
Оригинальная теорияавтоматического порождения гипотез (GUHA-метод) былапредложена чешскими математиками П. Гаеком и Т. Гавранеком.Известные методы обнаружения причинно-следственныхзависимостей, предложенные Д. С. Миллем, оказались идейным импульсом для развития теории правдоподобных рассуждений типа ДСМ. Эта теория была реализована в интеллектуальных системах типа ДСМ, в которых формализовансинтез познавательных процедур, представляющий взаимодействие индукции, аналогии и абдукции. Правдоподобныерассуждения этого типа формализуются посредством бесконечнозначной логики с кванторами по кортежам переменнойдлины. Истинностные значения этой логики конструктивнопорождаются посредством правил вывода первого и второгорода и приписываются автоматически обнаруженным гипотезам. Сначала посредством правил первого рода порождаютсягипотезы о причинах, представляющее обнаруженное сходство в эмпирических данных.
Гипотезы о причинах затем используются в правилах второго рода для вывода по аналогии,посредством которого формируется индуктивное обобщение.Критерием принятия порожденных гипотез является абдуктивный вывод, с помощью которого объясняется исходноесостояние базы данных.Важной проблемой индуктивной логики является формирование критерия принятия гипотез. Существуют различныеформализации критерия принятия гипотез, использующие,в частности, степень подтверждения гипотез или абдукцию,объясняющую исходное множество фактов.Понятия и процедуры индуктивной логики являются весьмаполезными для применений в прикладных системах машинного обучения.Лит.: Carnap R. The Logical Foundations of Probability.
Chic, 1952; Idem.The Continuum of Inductive Methods. Chic., 1952; Hintikka J. ATwoDemensional Continuum of Inductive Methods. — Aspects of InductiveLogic. Amst., 1966; Reichenbach H. The Theory of Probability. Berkeleyand 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 LosAngeles, 1949; Carnap R. The Logical Foundations of Probability, 2 ed.Chic, 1957; Popper K. R. Object Knowledge. An Evolutionary Approach.Oxf, 1974.В. К. ФиннИНДУСТРИАЛЬНОЕ ОБЩЕСТВО - одно из основных понятий политологии и социологии, характеризующееприроду развитых, модернизированных государств. Терминбыл введен К. А. Сен-Симоном в начале 19 в. Различные варианты истолкования индустриального общества встречались в работах классиков западной социологии — О. Конта,Э. Дюркгейма и др. Однако широкое распространение понятие получило лишь в 50-е гг.
20 в. в связи с активной экспансией в социальных науках теории модернизации. Модернизация тех или иных сообществ в 50—60-х гг. однозначносвязывалась с процессами урбанизации, индустриализации,118ИНЖЕНЕРНАЯ ДЕЯТЕЛЬНОСТЬрого человек выступает как пассивный объект манипуляции.бюрократизации и рационализации управления, с распростВопрос о возможности целенаправленного создания заведоранением массового образования, обеспечением надежныхмо оптимальных социальных структур связан с фундаментранспортных коммуникаций и т.
д. Индустриальное общетальным соотношением стихийного и сознательного началство описывалось, как правило, следующими параметрамив функционировании и развитии общества. Лишь немногиесоциальной системы. В экономике — завершенная индустсоциальные институты были спроектированы сознательно,риализация, преобладание индустриального сектора над агсчитает К. Поппер, давший теоретическое обоснование общихрарным, массового производства товаров и услуг над всемипринципов социальной инженерии, в своем же большинствеостальными формами организации производства. В социальинституты являются непреднамеренным результатом человеной сфере — развитая система социальной стратификации,ческих действий.
Общество и историю нельзя спланировать,основанная на сложном и всеохватывающем разделении труно планировать отдельные социальные институты можно ида, высокая степень дифференциации ролей и институтов,нужно, ибо только посредством социальных технологий иразвитая система образования, способная заполнить вознисоциальной инженерии, методом постепенных реформ и декающие ниши в системе профессиональной специализациимократическим воздействием на экономику можно достичьи социальной стратификации. Индустриальное обществолучшего мира.
Такое планирование и конструирование в рамотличается от традиционного уменьшением функциональках частных процессов Поппер называет частичной социальной нерасчлененности социальных единиц и возрастаниемной инженерией. Она направлена на осуществление опредеструктурной дифференцированности, возникновением ноленных институциональных преобразований в обществе, новых социальных организаций, специализирующихся на выне на преобразование общества в целом. «Точно так же, какполнении особых функций. При этом имплицитно подраглавной задачей инженера-физика является проектированиезумевалось, а иногда и прямо постулировалось, что каждаямашин, их реконструкция и обслуживание, в задачи «частичструктурная единица социальной системы при дифференного» социального инженера должно входить проектированиециации ее функций порождает новые социальные элементыновых социальных институтов, их перестройка и управлениес большей адаптационной способностью и, следовательно,ими, когда они уже существуют» (Поппер К.
Нищета историболее совершенные. В антропологическом и социокультурпизма.- «ВФ», 1992, № 8, с. 27).ном плане индустриальное общество означает переход отмышления, ориентированного на поддержание освященноСоциальные институты не являются самоцелью. Частичнаяго традицией, сакрализованного порядка, к рациональномусоциальная инженерия напоминает физическую, поскольмышлению, акцентирующему внимание на возможностяхку обе они выносят конечные цели за пределы технологии.активной преобразующей деятельности, что предполагаетЧастичный социальный технолог или инженер смотрит наослабление всякого рода запретов и предписаний.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
