является утверждение о наличии определенного свойства у части членов исследуемого класса, а заключением – утверждение о наличии данного свойства у всех членов этого класса. Перечислительную индукцию называют иногда выводом «от некоторых ко всем». Существует два вида перечислительной индукции: полная и неполная. Полная индукция применяется при исследовании конечных классов объектов и небольших по численности. В этом случае можно эмпирически установить и зафиксировать в посылках индукции наличие (или отсутствие) некоторого свойства у каждого члена исследуемого класса, а отсюда можно сделать логически законный вывод обо всем классе в целом. Полная индукция является, с логической точки зрения, по существу, тавтологичным видом вывода. Однако этот вид индукции очень редко используется в научном познании, поскольку обычно наука имеет дело с исследованием конечных, но при этом очень больших по численности классов (точное значение которых зачастую неизвестно) или с бесконечными классами. Во всех этих случаях по необходимости приходится пользоваться только неполной перечислительной индукцией. Ее главный недостаток состоит в том, что ее заключения не имеют логически доказательной силы, поскольку в посылках полной индукции содержится информация только о части элементов изучаемого класса явлений, тогда как ее заключения делаются обо всем классе в целом или о неисследованных членах класса. Поэтому выводы по неполной индукции имеют только вероятный характер по отношению к посылкам, и все такого рода заключения могут оказаться ложными. Тем не менее в науке широко применяются статистические выводы от свойств образца (выборки) некоторой исследуемой популяции к популяции в целом. Такого рода выводы, с логической точки зрения, являются выводами по неполной индукции.
Индукция элиминативная (индукция путем опровержения всех соперничающих общих научных гипотез, кроме одной) – вывод об истинности некоторой эмпирической гипотезы на основании того, что все альтернативные ей гипотезы были опровергнуты фактами и потому должны считаться ложными. Впервые элиминативную индукцию в качестве «истинного» метода науки предложил Ф. Бэкон, который противопоставил ее, с одной стороны, силлогизму, а с другой – перечислительной индукции, как явно ненадежным способам получения нового истинного знания – главной цели науки. Наиболее полную разработку правил элиминативной индукции осуществил позднее Дж. Ст. Милль. Он рассматривал ее в качестве метода открытия и обоснования истинных гипотез о причинах явлений. Однако последующий логический и методологический анализ познавательных возможностей этого метода показал, что доказательная сила индукции через элиминацию не превосходит доказательную силу других видов индукции, в частности неполной перечислительной индукции, а также индукции как обратной дедукции. Все эти виды индукции способны дать в своих выводах только вероятное или возможно истинное, но отнюдь не достоверное (необходимо истинное) знание.
Индукция
