Глава 8. Начало исследования: методы и формы знания 293
традиционно понимается как метод перехода от знания отдельных
фактов к знанию общего, к эмпирическому обобщению и
установлению общего положения, переходящего в закон или
другую существенную связь. Слабость индукции — в
недостаточной обоснованности такого перехода. Перечисление
фактов не может быть никогда практически завершено, и мы не
уверены в том, что следующий факт не будет противоречащим.
Поэтому, как отмечал Энгельс, «индуктивное умозаключение по
существу является проблематическим!», т. е. знание, полученное
с помощью индукции, всегда вероятностное. Кроме того, в
посылках индуктивного заключения не содержится знания о том,
насколько обобщаемые признаки, свойства являются
существенными. С помощью индукции перечисления можно
получить знание не достоверное, а только вероятное. Существует
также ряд других методов обобщения эмпирического материала, с
помощью которых, как и в популярной индукции, получаемое
знание носит вероятный характер. К числу таких методов
относятся метод аналогий, статистические методы, уже
рассматривавшийся метод модельной экстраполяции. Они
различаются между собой степенью обоснованности перехода от
фактов к обобщениям. Все эти методы объединяются часто под
общим названием индуктивных, и тогда термин «индукция»
употребляется в широком смысле.
Это, во-первых, свидетельствует о многообразии путей
обобщения, движения к теоретическому синтезу и, во-вторых,
обнаруживает необходимость дополнения индуктивных методов
дедуктивными. Под дедукцией сегодня понимают не только метод
перехода от общих суждений к частным, но всякое необходимое
следование из одних высказываний, рассматриваемых в качестве
посылок, других высказываний (заключений) с помощью законов
и правил логики. Необходимый характер следования делает
получаемое знание не вероятным, а достоверным, что резко
повышает его ценность для науки. В дедуктивном выводе
различаются два аспекта логического следования:
содержательный, или семантический, и формальный, или
синтаксический. В первом случае логическое следование зависит
от смысла (содержания) высказываний, входящих в дедуктивные
рассуждения, и от смысла логических констант («и», «или»,
«если... то» и др.), используемых при этом; во втором случае
логическое следование определяется запасом средств,
относящихся к некоторой логической системе, т. е. аксиомами,
теоремами, дедуктивными правилами и т. п. Это так называемая
формальная выводимость. В целом же лежащее в основе де-