Во-первых: в математической теории вероятности нет ничего, что оправдывало бы наше понимание как общей, так и частной индукции как вероятной, как бы при этом ни было велико установленное число благоприятных случаев.
Во-вторых: если не устанавливается никакое ограничение в отношении характера интенционального определения классов А и В, участвующих в индукции, то можно показать, что принцип индукции не только сомнителен, но и ложен. Это значит, что если дано, что n членов некоторого класса А принадлежит к некоторому другому классу В, то значения "В", для которых следующий член класса А не принадлежит к классу В, более многочисленны, чем значения, для которых следующий член принадлежит к В, если n не сильно отличается от полного числа вещей во вселенной.
В-третьих: то, что называется "гипотетической индукцией", в которой какая-либо общая теория рассматривается как вероятная, потому что все до сего времени наблюденные ее следствия подтверждались, не отличается сколько-нибудь существенно от индукции через простое перечисление. Ибо если p есть теория, о которой идет речь, А - класс относящихся к делу явлений и В - класс следствий р, тогда р эквивалентно утверждению 'все А суть В", и свидетельство в пользу р получается с помощью простого перечисления.
В-четвертых: для того, чтобы индуктивное доказательство было действенным, индуктивный принцип должен быть сформулирован с каким-либо неизвестным до сего времени ограничением. Научный здравый смысл на практике избегает различных видов индукции, в чем он, по-моему, прав. Но пока еще не сформулировано то, что руководит научным здравым смыслом.
В-пятых: научные выводы, если они в общем правильны, должны быть таковыми в силу какого-либо закона или законов природы, устанавливающих какое-либо синтетическое свойство действительного мира или несколько таких свойств. Истинность предложений, утверждающих такие свойства, не может быть сделана даже вероятной каким-либо доказательством из опыта, поскольку такие доказательства, когда они выходят за пределы зарегистрированного до сего времени опыта, зависят в своей правильности от тек самых принципов, о которых идет речь.
Остается только исследовать, что представляют собой эти принципы и в каком смысле - если тут можно говорить о каком-либо смысле - можно говорить, что мы знаем их.
Постулаты научного вывода
ЧАСТЬ ШЕСТАЯ.
ГЛАВА 1.
ВИДЫ ПОЗНАНИЯ.
Поиски постулатов научного вывода содержат в себе два вида проблем. С одной стороны, здесь имеется анализ того, что вообще признается за правильный вывод с целью раскрытия участвующих в нем принципов; это исследование является чисто логическим. С другой стороны, здесь встречается та трудность, что на первый взгляд имеется мало оснований предполагать, что эти принципы истинны, и еще меньше оснований предполагать, что истинность их уже известна. Я думаю, что вопрос о том, в каком смысле (если этот смысл вообще имеется) эти принципы могут быть известны, требует анализа понятия "познание". Это понятие слишком часто трактуется так, как если бы оно имело вполне ясный и единый смысл. Мое собственное мнение таково, что многочисленные философские затруднения и споры возникают из-за недостаточного осознания различий между разными видами познания и из-за той неопределенности и недостоверности, которая характеризует большую часть того, что мы, по нашему мнению, знаем. Когда обсуждаются психические понятия, важно также помнить именно о непрерывности нашего эволюционного развития из низших животных. "Познание", в частности, не должно определяться способом, который предполагает непроходимую пропасть между нами и нашими предками, не имевшими тех преимуществ, которые дает обладание языком.
То, что признается за познание, имеет две разновидности;
во-первых, познание фактов, во-вторых, познание общих связей между фактами. С этим различием очень тесно связано другое, а именно существует познание, которое может быть описано как "отражение", и познание, которое состоит в способности к разумному действию. Монады Лейбница "отражают" вселенную и в этом смысле "познают" ее; но поскольку монады никогда не взаимодействуют, они не могут "действовать" на что-либо внешнее по отношению к ним. Это логическая крайность одной концепции "познания". Логической крайностью другой концепции является прагматизм, который был впервые провозглашен К. Марксом в его "Тезисах о Фейербахе" (1845): "Вопрос о том, обладает ли человеческое мышление предметной истинностью,- вовсе не вопрос теории, а практический вопрос. В практике должен доказать человек истинность, то есть действительность и мощь, посюсторонность своего мышления... Философы лишь различным образом объясняли мир, но дело заключается в том, чтобы изменить его". К. Маркс и Ф. Энгельс. Соч., том 3, страница 1, 4.