БСЭ БСЭ - Большая Советская Энциклопедия (ИН)

Из стремления решить проблему И. возникла индуктивная логика, которая самим понятием «индуктивное рассуждение» обязана Сократу , хотя И. у Сократа — это не обобщение опытных данных, а скорее метод определения — «дорога» к истинному (философскому) смыслу понятий через анализ отдельных примеров их «житейского» употребления. Лишь у Аристотеля понимание И. связывается с обобщением наблюдений и означает, по существу, способ умозаключения, посредством которого «...общее доказывают на основании того, что известно частное» («Аналитики», 71 а1—71 а13; рус. пер., М., 1952). Этот аристотелевский взгляд восприняли философы эпикурейской школы, защищавшие И. в споре со стоиками как единственный авторитетный метод доказательства законов природы. Тогда-то и возникла впервые проблема И. В частности, в обоснование И. эпикурейцы выдвинули, как им казалось, эмпирический, а на деле вполне логический критерий: отсутствие фактов, мешающих индуктивному обобщению, — противоречащих ему примеров.

Этот критерий, возрожденный Ф. Бэконом , стал основой той формы индуктивной логики, исторически первым вариантом которой явились индуктивные методы Бэкона — Милля. Важность противоречащего примера обусловлена тем, что наблюдения (факты), благоприятствующие индуктивному обобщению, могут лишь в той или иной степени подтверждать И., но никогда не могут иметь значения доказательств, в то время как единственный противоречащий пример, с чисто логической точки зрения, опровергает результаты И. необходимым образом. Если данные наблюдения позволяют нам выдвинуть несколько основанных на них индуктивных обобщений, или гипотез, то опровергающая сила противоречащего примера может быть использована вполне положительным образом для подтверждения одной (или нескольких) из них. Для этого только необходимо, чтобы гипотезы были альтернативными, т. е. чтобы они были связаны между собой так, что опровержение одной из них подтверждало бы остальные. Естественно тогда стремиться к созданию такой экспериментальной ситуации, которая устранит все гипотезы за исключением одной. Процесс устранения (элиминации) гипотез посредством опровергающего эксперимента был назван Дж. С. Миллем исключающей, или научной, И. Если из ряда возможных гипотез опровергаются все, кроме одной, элиминация будет полной. Если же остаются несколько неопровергнутых гипотез, т. е. таких, для которых не удалось построить противоречащего примера, элиминация будет частичной. Пусть, к примеру, за группой событий ABC следует группа событий abg. Данные наблюдения позволяют выдвинуть ряд альтернативных гипотез: или «a есть следствие А », или «a есть следствие B », или «a есть следствие С ». Какая из этих гипотез истинна? Очевидно, что эксперимент, устанавливающий, что лишь bg являются следствиями BC , и будет опровергающим для последних двух гипотез, и элиминация будет полной.

И Бэкон, и Милль стремились к разысканию аподиктических (необходимых) основ И. в рамках методологии эмпиризма . Казалось, что опровергающий эксперимент служит именно такой основой. Однако, вторгаясь в область эмпирических фактов, теория опровергающего эксперимента оказывается «слишком логической», не учитывающей, во-первых, что в этом случае результаты, полученные с помощью логики, зависят от характера «внелогических» допущений и не могут превышать точность последних и, во-вторых, всегда лишь «относительную доказательность» наблюдений и экспериментов. (Для примера достаточно сравнить эксперименты О. Ж. Френеля и Ж. Б. Л. Фуко , опровергающие корпускулярную «модель» света в пользу волновой, и фотоэлектрический эффект или милликеновский эксперимент по «выбиванию» электронов из мельчайших пылинок, опровергающие волновую «модель» в пользу корпускулярной.) Кроме того, дальнейший анализ миллевских методов показал, что все они являются по существу соединением приёмов дедуктивного вывода с неполной И. Если первые обеспечивают доказательную силу этим методам, то последняя её элиминирует, так что и в этом смысле степень убедительности научной И. не может превышать степень убедительности неполной И.

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

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