Проблема индукции
Если представить науку как череду бесконечных попыток опровергнуть существующие гипотезы и заменить их теми, что Успешно противостоят фальсификации, естественно будет спросить, откуда появляются эти гипотезы. Поппер (Popper К., 1959, р. 31-32) следует общепринятому взгляду, отвергая всякий интерес к так называемому "контексту открытия" (в противовес "контексту обоснования") - проблема происхождения научного знания остается в ведении психологии или социологии знания, - но тем не менее настаивает, что, каков бы ни был источник научных обобщений, это определенно не индукция от частных случаев. Для него индукция - это просто миф: индуктивные гипотезы не только неправомерны, как давно показал Юм, но и невозможны (Popper К., 1972а, р. 232-239; 1972b, р. 53). Мы не можем делать индуктивных обобщений, исходя из серии наблюдений, ибо в тот момент, когда мы выбрали наблюдения определенного рода из бесконечного множества возможных, мы уже встали на некоторую точку зрения, и эта точка зрения сама по себе является теорией, как бы проста и груба она ни была. Иными словами, "грубых фактов" не существует - все они уже имеют в подтексте некоторую теорию. Это - фундаментальная идея, к которой мы позднее еще вернемся. Поппер, как и Юм, не отрицает, что повседневная жизнь полна того, что на первый взгляд кажется примерами индукции, но в отличие от Юма он идет настолько далеко, что отрицает, будто эти вольные обобщения укрепляют наши интуитивные соображения. В обычной жизни, как и в самой науке, сказал бы Поппер, мы получаем знание и улучшаем его в ходе постоянного процесса выдвижения гипотез и опровержения их с помощью знакомого метода проб и ошибок. В этом смысле можно было бы сказать, что Поппер не столько разрешил проблему индукции, как он сам любил утверждать, а просто упразднил ее. Короче говоря, его утверждение о том, что он "разрешил" проблему индукции, - в некоторой степени игра слов.
Чтобы избежать недопонимания, нам необходимо уделить немного времени двойному смыслу, который в просторечии имеет термин индукция. Пока что мы говорили об индукции в строго логическом смысле как об аргументации, использующей предпосылки, несущие информацию о некоторых элементах класса, чтобы обосновать обобщение о классе в целом, включая те его элементы, которые мы не рассматривали. Для Поппера, так же как и для Юма, индукция в этом смысле не является законным способом логической аргументации; только дедуктивная логика позволяет строить то, что логики называют "убедительными", или неотразимыми, аргументами, в которых истинность предпосылок всегда влечет за собой истинность выводов. Но в науке и, очевидно, в повседневной жизни мы постоянно встречаемся с так называемыми "индуктивными" аргументами, имеющими целью показать, что конкретные гипотезы поддерживаются конкретными фактами. Такие аргументы можно называть "неубедительными" в том смысле, что выводы, хотя в некотором смысле и "поддерживаются" предпосылками, не следуют из них с необходимостью (Barker S.F., 1957, р. 3-4). Даже если предпосылки верны, неубедительная, индуктивная гипотеза не может логически исключить возможности того, что выводы ложны. Так, утверждение: "Я видел много белых лебедей; я никогда не видел черного лебедя; следовательно, все лебеди - белые" является примером неубедительной, индуктивной гипотезы, которая не следует с необходимостью из большой и малой посылок - обе они могут быть совершенно верны и тем не менее из этого логически не следует, что верен и вывод. Короче говоря, неубедительная аргументация может в лучшем случае убедить разумного человека, в то время как убедительная аргументация должна убедить даже упрямца. Утверждение Поппера о том, что "индукция - это миф", относится к индукции в качестве логически убедительного способа аргументации, а не к индукции в качестве неубедительной попытки подтвердить некоторую гипотезу, часто имеющую статистический характер. О неубедительной индукции или о том, что иногда называют логикой подтверждения (confirmation), Поп–перу как раз есть что сказать. Все сказанное нами сводится к тому, что нет большего заблуждения, чем общепринятое мнение, будто индукция и дедукция являются взаимно обратными мыслительными операциями: мол, дедукция ведет нас от общего к частному, а индукция - от частного к общему. Противопоставление индукции и дедукции не существенно, в отличие от противопоставления убедительных, надежных гипотез и неубедительных, необоснованных (см. Cohen M.R., 1931, р. 76–82; Cohen M.R. and Nagel E., 1934, p. 273–284).
Невообразимой путаницы можно было бы избежать, если бы мы могли принудительно ввести в лингвистический оборот термин "аддукция" (adduction) для тех неубедительных стилей аргументации, которые вульгарно называют "индукцией" (Black M., 1970, р. 137). Например, мы часто встречаемся с утверждениями типа: вся наука основана на индукции; дедукция есть лишь способ логически мыслить, непригодный в качестве инструмента для получения нового знания, это - своего рода "колбасная машина", лишь перерабатывающая то, чем мы ее загружаем; только с помощью индукции мы можем узнать о мире что–то новое, а в накоплении нового знания о мире в конце концов и состоит функция науки. Эта точка зрения, практически перефразирующая то, что сказано в "Логике" Джона Стюарта Милля, - не более чем ужасающая словесная путаница. Здесь предполагается, что индукция есть нечто обратное дедукции и что это - два легитимных метода логического рассуждения. Но такого явления, как логически убедительная индукция, не существует, а аддукция ни в коем случае не является методом, обратным дедукции, в действительности представляя собой мыслительную операцию совершенно иного рода. Аддукция есть нелогическая операция перехода от царящего в реальном мире хаоса к интуитивной догадке или пробной гипотезе о фактической взаимосвязи, существующей между набором релевантных переменных. То, каким образом делается этот переход, относится к контексту открытия. Возможно и не стоит так высокомерно пренебрегать изучением этого контекста, как велит обычай позитивистов и даже попперианцев, но факт остается фактом: философия науки всецело озабочена не им, а следующим за ним этапом процесса - тем, как первоначальные гипотезы превращают в научные теории, сплетая из них более или менее прочную дедуктивную структуру, и как затем эти теории проверяют на наблюдениях. Короче говоря, давайте не будем утверждать, что наука основана на индукции, - она основана на аддукции с последующей дедукцией.