Вообще говоря, процесс познания разворачивается по отношению к функционированию вычислительных машин прямо противоположным образом. Если ЭВМ работают, базируясь на общих программах – от общего к частному, то человек при познании движется от частного к общему, то есть начинает от избирательного восприятия конкретных событий внешнего мира и лишь в процессе познания восходит до общих положений. Но поскольку машинный вариант хорошо согласуется с принципами формальной логики, то ученые, у которых доминирует эта логика, привержены аналогичному взгляду на мышление. В этом случае обращение к неподвластному внешнему миру, раз уж не дедуцируемо, то случайно; поэтому метод проб и ошибок считается фундаментальным методом познания. То же самое отношение ждет и прочие этапы «развития человеческого мышления». «Столкнувшись с определенной проблемой, ученый предлагает, в порядке гипотезы, некоторое решение – теорию. Если эта теория и признается наукой, то лишь условно; и самая характерная черта научного метода состоит как раз в том, что ученые не пожалеют сил для критики и проверки обсуждаемой теории». «Проверка же теории достигается посредством как можно более строгого испытания этих уязвимых мест. Конечно, это опять-таки вариант метода проб и ошибок» (1).

ПАРАДОКС ИНДУКЦИИ И УМОЗАКЛЮЧЕНИЯ ПО АНАЛОГИИ

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

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

Структура индуктивного умозаключения в самой простой, но, в общем-то, типичной форме, я представлю так (для упрощения отмечу только три признака и три объекта):

А, обладающий признаками a,b,c, имеет признак d,

B, обладающий признаками a,b,c, имеет признак d,

C, обладающий признаками a,b,c, имеет признак d.

Следовательно, все объекты, обладающие признаками a,b,c, имеют признак d.

Так вот, если поставить вопрос, который логики не желают слышать, – каким образом можно собрать такие единичные сведения, или почему такие факты оказались объединенными, – то либо придется отрицать саму возможность возникновения подобной группы посылок (ее вероятность соответствует вероятности случайного воспроизведения музыки Моцарта стукающей по клавишам фортепьяно шимпанзе), либо заявить об отмеченном парадоксе: выбор этих посылок возможен только на основании общего заключения, вытекающего из посылок. Аксиома выбора: существует функция