ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ

- определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным объектом здесь будет число 0, исходной операцией — «следующее за п», т. е. операция, обеспечивающая переход от числа п к п + 1. Она обозначается «'» («n '» — «следующее за n»). И.о. состоит из ряда пунктов: 1) 0 является натуральным числом; 2) если п - натуральное число, то п' -натуральное число; 3) никаких натуральных чисел, кроме тех, которые получаются согласно применению пунктов (1) и (2), нет.

Таково же определение четного числа. Исходным объектом здесь является число 0, исходной операцией — операция прибавления двойки (+2), И. о. состоит из таких пунктов: 1) 0- четное число; 2) если п - четное число, то п + 2 - четное число; 3) никаких (натуральных) чисел, кроме тех, которые порождены применением пунктов (1) и (2), нет.

Примером И. о. может быть И. о. формулы в исчислении высказываний.

Различают два основных вида И. о.: фундаментальные и нефундаментальные. Фундаментальными называются такие И. о., с помощью которых из исходных объектов порождается та или иная исходная предметная область. Нефундаментальными являются И. о., с помощью которых из заранее определенной области объектов выделяется некоторое ее подмножество. Приведенные выше И. о. натурального числа и формулы в исчислении высказываний являются фундаментальными, И. о. четного числа является нефундаментальным: предполагается, что область натуральных чисел дана с самого начала или порождена фундаментальным И. о., а мы на ней определяем некоторое подмножество натуральных чисел (т. е. множество «четные числа»).

ИНДУКЦИЯ (от лат. inductio - наведение)

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

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

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

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

Железо - металл; медь - металл; калий - металл; кальций металл; рутений — металл; уран — металл.

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

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

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

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

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

S ₁ есть Р, S ₂ есть Р,

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

S _n есть Р

Все S ₁, S ₂,..., S _n есть S.

Все S есть Р.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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