Приведенные в этом разделе данные свидетельствуют о том, что обоснование, разрабатываемое в диалектической логике и в диалектико-материалистической теории познания, — это весьма сложный, противоречивый, практически бесконечный процесс, значительно отличающийся от процесса обоснования средствами формальной логики.
Само собой разумеется, что в этом процессе важное место занимают и формально-логические приемы обоснования. Ведь в процессе как формирования, так и развития научных понятий, теорий и других форм знания возникает необходимость обоснования отдельных положений теории, тех или иных следствий из нее и т. п. А в решении этих задач важную роль играет именно аппарат формальной и особенно математической логики, которая, безусловно, оказывает сильное влияние на формирование и совершенствование научных знаний в рамках аксиоматических или аксиоматизируемых теоретических систем.
Элементы научной теории, и прежде всего входящие в ее состав законы, основополагающая идея и категориальный аппарат, будучи логически связанными друг с другом по определенным правилам и логическим законам, взаимно обосновывают друг друга. Но для того, чтобы выявить меру такой взаимообоснованности, необходимо раскрыть логические связи между отдельными элементами теории, различными ее высказываниями, для чего нужно определить и те средства, с помощью которых осуществляется вывод положений теории из ее исходных положений, т. е. вскрыть и учесть все логические средства, которые применяются в процессе развертывания теории. Формализация теории завершается заменой ее знаковой системой, изоморфной ей. Значение формализации для развития и обоснования научных теорий трудно переоценить, поскольку полученная в результате формализации логическая (формальная) структура теории имеет ряд весьма важных преимуществ по сравнению с ее исходной формой. Она позволяет исследователю создавать логически стройную структуру этой теории, обнаруживать новые связи и отношения между ее элементами и внутри их, извлекать новую информацию, развивать дальше (нередко весьма значительно) данную теорию.
Формализация научной теории не только усиливает логическую обоснованность положений, относящихся к данной теории, устанавливая ее логическую непротиворечивость, полноту и т. п., но и позволяет найти нечто общее у теорий, которые, как казалось, далеки друг от друга.
Однако, придавая большое значение формализации научной теории, не следует забывать, что формализованная теория как модель своей предметной области значительно беднее, чем содержательный вариант той же теории, ибо невозможно формализовать полностью ни одну содержательную теорию. Все это свидетельствует о том, что логический аппарат формальной традиционной и математической логики, несмотря на его огромное значение в обосновании и развитии научных знаний, играет вспомогательную роль по отношению к диалектической логике.
4. Диалектика взаимосвязи фундаментального и прикладного знания
Научное познание не завершается развитием теории: важнейшей его закономерностью является восхождение от теории к практике. В организационно-структурном плане это выражается в том, что в науке постепенно формируются прикладные разделы, обеспечивающие ее соединение с практикой. Наряду с теоретической функцией науки, связанной с открытием новых объективных законов, формируются практическая (открытие совершенно новых принципов практического использования объективных законов) и прикладная (разработка конкретных способов использования объективных — природных и социальных — законов при разработке и создании новой техники, технологии, организации производства, методик социального и экономического планирования и управления и т. п.) функции науки. Научные знания расчленяются на фундаментальные и прикладные с соответствующими им методами исследования и разработки.
Отличая фундаментальные исследования от прикладных, следует в то же время учитывать их единство и взаимосвязь. Предметная деятельность, практика может непосредственно определять направление научных исследований в прикладных науках, влиять на внутренний строй (методы, структуру) соответствующих теорий, тогда как на область фундаментальных теорий такое воздействие практики может быть опосредовано исторически складывающимся строем, стилем мышления, воздействием других форм общественного сознания, системой ценностей общества.