|
За исключением тавтологий (чисто логических истин) не существует утверждений, истинных в любой предметной области. Но истинность многих утверждений сохраняется, если они высказываются об объектах в определённом смысле равных. Следовательно, одна из задач обобщения – разыскание таких общих утверждений и таких отношений равенства. Настаивание на обязательном различии, на индивидуации во что бы то ни стало, лишило бы науку возможности обобщений – “сознательное ограничение... некоторыми гомоморфными образами целого становится оправданным и в действительности почти неизбежным”[234]. Таким образом, обобщение – это в некотором смысле избирательное отображение. И не случайно, что исторически в науковедении с понятием обобщения связывали тип и структуру знаний, а в гносеологии – процессы, пути и методы познавательной деятельности. Представление об обобщении как методе сложилось, по-видимому, не раньше, чем была осознана разница между индукцией и дедукцией. Если сопоставить словарное содержание двух терминов – “индукция” и “обобщение”, то мы не обнаружим существенной разницы между ними, словно речь идёт о понятиях-синонимах. И такой взгляд на обобщение в философии – почти укоренившейся предрассудок, ведь исследование обобщающих выводов, когда «в результате ряда усмотрений опыта устанавливается один общий взгляд относительно сходных предметов»[235], со времён античности признавалось делом индуктивной логики. Мысль о том, что существуют обобщающие процедуры, отличные от индуктивных, что индукция – это только один из видов обобщения в классификационной схеме обобщающих умозаключений, до сих пор не получила гражданства в словаре философских понятий. Между тем, дедуктивные процедуры обобщения известны давно, хотя применяются они в основном в математике. Здесь базой для обобщения служат, конечно, не эмпирические объекты, а понятия. При этом обобщающая абстракция состоит в том, что в некотором данном понятийном разнообразии ищется его устойчивая часть. некий инвариант. Например, в системе линейных уравнений – общий метод их решения. Собственно устойчивой частью системы линейных уравнений является отношение между этой системой и любой выводимой из неё системой. Это отношение является по существу отношением логического следования, что и обобщается в соответствующей теореме. Ясно, что здесь нет никакого перехода от частного к общему, а есть только фиксация логической закономерности. Другим очевидным примером дедуктивного обобщения могут служить бесконечная индукция и математическая индукция, универсальное обобщение — 98 —
|