Индуктивная логика

ИНДУКТИВНАЯ ЛОГИКА, раздел логики, в котором изучается индукция. Индукция как познавательная процедура, приводящая к обобщению в результате обнаружения сходства наблюдаемых предметов, в современной логике может быть формализована различными средствами, образуя соответствующие варианты индуктивной логики. Вариант формализации индукции, предложенный Р. Карнапом, основан на интерпретации вероятности как логического отношения между двумя высказываниями. Это отношение выражает степень подтверждения гипотезы эмпирическими данными, обычно понимаемыми как констатация результатов наблюдений. Карнап отличает понятие логической вероятности от эмпирической вероятности, изучаемой в вероятностей теории и математической статистике. Х. Рейхенбах развил концепцию индуктивной логики как бесконечнозначной вероятностной логики.

Новым направлением в индуктивной логике явилось автоматическое порождение гипотез, ставящее своей целью формализацию средств извлечения закономерностей из эмпирического материала, представленного в базах данных компьютерных систем. Посылками индуктивного вывода в теориях автоматического порождения гипотез являются теоретические допущения и эмпирические утверждения, а следствием - теоретические утверждения, представляющие собой идуктивные обобщения. Оригинальная теория автоматического порождения гипотез (GUHA-метод) была создана чешскими математиками П. Гаеком и Т. Гавранеком.

Методы обнаружения причинно-следственных зависимостей, предложенные Дж. С. Миллем, послужили импульсом для развития теории правдоподобных рассуждений и, соответственно, методов автоматического порождения гипотез, в которых был формализован синтез познавательных процедур, представляющий собой взаимодействие индукции, аналогии и абдукции (вывод, осуществляющий принятие правдоподобных объяснительных гипотез). Понятия и процедуры индуктивной логики применяются в исследованиях по искусственному интеллекту, в прикладных системах машинного обучения.

Лит.: Carnap R. The continuum of inductive methods. Chi., 1952; idem. Logical foundations of probability. 2nd ed. Chi., 1962; Hintikka J. А two-dimensional continuum of inductive methods // Aspects of inductive logic. Amst., 1966; Reichenbach Н. The theory of probability. 3rd ed. Berk.; L., 1971; Кайберг Г. Вероятность и индуктивная логика. М., 1978; Гаек П., Гавранек Т. Автоматическое образование гипотез. М., 1984; Финн В. К. Синтез познавательных процедур и проблема индукции // Научно-техническая информация. 1999. Сер. 2. № 1-2.