индукция

(от лат. inductio - наведение)

умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. И. может давать из истинных посылок ложное заключение; ее заключение может содержать информацию, отсутствующую в посылках. И. противопоставляется дедукция - умозаключение, в котором связь посылок и заключения опирается на закон логики и в котором заключение с логической необходимостью следует из посылок.

Два примера индуктивных умозаключений:

Енисей течет с юга на север; Лена течет с юга на север; Обь и Иртыш текут с юга на север.Енисей, Лена, Обь, Иртыш - крупные реки Сибири. Все крупные реки Сибири текут с юга на север.

Железо - металл; медь - металл; калий - металл; кальций -

металл; рутений - металл; уран - металл.

Железо, медь, калий, кальций, рутений, уран - химические

элементы.

Все химические элементы - металлы.

Посылки обоих этих умозаключений истинны, но заключение первого истинно, а второго ложно.

Понятие дедукции (дедуктивного умозаключения) не является вполне ясным. И. (индуктивное умозаключение) определяется, в сущности, как "недедукция" и представляет собой еще менее ясное понятие. Можно темные менее указать относительно твердое "ядро" индуктивных способов рассуждения. В него входят, в частности, неполная И., индуктивные методы установления причинных связей, аналогия, т.наз. "перевернутые" законы логики и др.

Неполная И. представляет собой рассуждение, имеющее следующую структуру:

S1 есть Р, S2 есть Р,

.............

Sn есть Р

Все S1, S2,..., Sn есть S.

Все S есть Р.

Посылки данного рассуждения говорят о том, что предметам S1, S2,..., Sn, не исчерпывающим всех предметов класса S, присущ признак Р и что все перечисленные предметы S1, S2, ..., Sn принадлежат классу S. В заключении утверждается, что все S имеют признак Р. Напр.:

Железо ковко.

Золото ковко.

Свинец ковок.

Железо, золото и свинец - металлы.

Все металлы ковки.

Здесь из знания лишь некоторых предметов класса металлов делается общий вывод, относящийся ко всем предметам этого класса.

Индуктивные обобщения широко применяются в эмпирической аргументации. Их убедительность зависит от числа приводи-

мых в подтверждение случаев. Чем обширнее база индукции, тем более правдоподобным является индуктивное заключение. Но иногда и при достаточно большом числе подтверждений индуктивное обобщение оказывается все-таки ошибочным. Напр.:

Алюминий - твердое тело.

Железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец - твердые тела.

Алюминий, железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец - металлы.

Все металлы - твердые тела.

Все посылки этого умозаключения истинны, но его общее заключение ложно, поскольку ртуть - единственная из металлов - жидкость.

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

Начало систематическому изучению И. было положено в начале XVII в. Ф. Бэконом. Уже он весьма скептически относился к неполной И., опирающейся на простое перечисление подтверждающих примеров.

Этой "детской вещи" Бэкон противопоставлял описанные им особые индуктивные принципы установления причинных связей. Он даже полагал, что предлагаемый им индуктивный путь открытия знаний, являющийся очень простой, чуть ли не механической процедурой, "почти уравнивает дарования и мало что оставляет их превосходству...". Продолжая его мысль, можно сказать, что он надеялся едва ли не на создание особой "индуктивной машины". Вводя в такого рода вычислительную машину все предложения, относящиеся к наблюдениям, мы получали бы на выходе точную систему законов, объясняющих эти наблюдения.

Программа Бэкона была, разумеется, чистой утопией. Никакая "индуктивная машина", перерабатывающая факты в новые зако-ны и теории, невозможна. И., ведущая от единичных утверждений к общим, дает только вероятное, а не достоверное знание.

Высказывалось предположение, что все "перевернутые" законы логики могут быть отнесены к схемам индуктивного умозаключения. Под "перевернутыми" законами имеются в виду формулы, получаемые из имеющих форму импликации (условного утверждения) законов логики путем перемены мест основания и следствия. К примеру, поскольку выражение "Если р и q, то р" есть закон логики, то выражение "Если р, то р и q" есть схема индуктивного умозаключения. Аналогично для "Если р, то р или q" и "Если р или q, то р" и т. п. Сходно для законов модальной логики: поскольку выражения "Если р, то возможно р" и "Если необходимо р, то р" - законы логики, выражения "Если возможно р, то р" и "Если р, то необходимо р" являются схемами индуктивного рассуждения и т. п. Законов логики бесконечно много. Это означает, что и схем индуктивного рассуждения (индуктивной аргументации) бесконечное число.

Предположение, что "перевернутые" законы логики представляют собой схемы индуктивного рассуждения, наталкивается на серьезные возражения: некоторые "перевернутые" законы остаются законами дедуктивной логики; ряд "перевернутых" законов, при истолковании их как схем И., звучит весьма парадоксально. "Перевернутые" законы логики не исчерпывают, конечно, всех возможных схем