Проблема обоснования в научном познании

Обоснование, или доказательство, истинности того или иного положения, понятия является важнейшей составной частью формирования и развития теории. Оберегая исследователя от заблуждений и ошибок, оно позволяет предположения, догадки, научные гипотезы либо превратить в научные знания, либо опровергнуть их, если они оказываются ложными. Степень совершенства аппарата и методологии обоснования характеризует уровень зрелости науки.

Известно, что обоснование того или иного суждений' является одной из основных проблем формальной логики. Эта проблема занимает весьма важное место и в диалектической логике, ибо вопрос об истине является центральным в любой логической системе, однако обоснование средствами диалектической логики существенно отличается от формально-логического обоснования.

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

Обоснование по законам и правилам формальной логики необходимо и достаточно лишь на первоначальном аналитическом этапе развития той или иной науки, когда она еще не подвергает полученные знания синтезированию в научные теории и не исследует обстоятельно процесс развития предметов, явлений действительности.

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

Характерная особенность теоретического, т.е. диалектико-логического, обоснования состоит в том, что оно, будучи органически связано с процессом познания, является его неотъемлемой стороной. Можно даже сказать, что процесс обоснования представляет собой специфическую форму научного исследования, нередко приводящего к серьезным открытиям. Так, при обосновании исходного состава аксиом геометрии Лобачевский выдвинул идею о возможности неевклидовых геометрий.

Единственным объективным критерием истины диалектическая логика признает общественную практику (в ее непосредственной и опосредованной форме), аккумулированную в различных формах знания. Однако в диалектической логике она выступает не только как критерий истины, но и как средство получения новых знаний, поскольку теоретическое доказательство органически вплетается в процесс познания.

Преимущество диалектико-логического обоснования перед формально-логическим хорошо видно на примере такого формирования и развития научной теории, при котором доказательство и опровержение осуществляются практически непрерывно. Строго говоря, отмечает З.Оруджев, в диалектико-логическом доказательстве обосновывается «теоретическая идея, еще не разработанная в теорию, не ставшая теорией. В таком виде исходная теоретическая идея имеет статус гипотезы. Она утрачивает этот статус, как только теория построена. Теория не может быть гипотезой. Она есть доказательство истинности исходной идеи, но сама может подвергаться проверке, т.е. подтверждаться или не подтверждаться. При этом теория должна браться в ее полном объеме, включая сюда и ее конкретные следствия, имеющие эмпирическую значимость. Иначе невозможно будет говорить о подтверждении или неподтверждении теории. Проверка теории, включающая в себя прямое подтверждение, является последним актом в доказательстве теоретического положения, делающим доказательство окончательным»²³.

С этим вполне можно согласиться, за исключением последнего, ибо, строго говоря, окончательного доказательства истинности теории, в смысле ее абсолютной истинности, достичь практически невозможно. В самом деле, когда теория сформировалась, она не остается раз и навсегда данной. В ходе дальнейшего развития науки и общественной практики она непрерывно развивается и совершенствуется, а иногда коренным образом изменяется или даже отвергается, если приходит в противоречие с новыми фактами науки.

Кроме того, в научной теории отражаются не все, а только главные существенные свойства и связи охватываемой ею области действительности, которые в ходе развития научных знаний отражаются все более полно и глубоко. Это значит, что обоснование научной теории и ее фрагментов (например, законов, принципов, научных понятий) является по существу бесконечным процессом. На каждом новом этапе развития теория нуждается в новом обосновании своей истинности, которое обеспечивается диалектической логикой.

Как же практически осуществляется процесс обоснования научных знаний, и прежде всего высшей формы их организации — научной теории, средствами диалектической логики в ходе их формирования и развития?

Исходным моментом как для познания, так и для обоснования знания является обращение к эмпирии, к фактам. При этом необходимо правильно истолковывать факты, исследуя эмпирический базис теории. Имея в виду представителей метафизического мировоззрения, В.И.Ленин писал, что, «пока не умели приняться за изучение фактов, всегда сочиняли a priori (заранее, независимо от опыта. — Ред.) общие теории, всегда остававшиеся бесплодными. Метафизик-химик, не умея еще исследовать фактически химических процессов, сочинял теорию о том, что такое за сила химическое сродство? Метафизик-биолог толковал о том, что такое жизнь и жизненная сила? Метафизик-психолог рассуждал о том, что такое душа? Нелеп тут был уже прием. Нельзя рассуждать о душе, не объяснив в частности психических процессов: прогресс тут должен состоять именно в том, чтобы бросить общие теории и философские построения о том, что такое душа, и суметь поставить на научную почву изучение фактов, характеризующих те или другие психические процессы»²⁴.

Однако вновь обнаруженные достоверные факты, противоречащие существующей теории, могут получить ложное истолкование. Это зачастую происходит по двум причинам: во-первых, вследствие неправильной, предвзятой теоретической установки исследователя, его ошибочного мнения, -освободиться от которого помогают опять же новые реальные факты, полученные в ходе дальнейшего эмпирического исследования; а во-вторых, по причине сильного постоянного воздействия на исследуемое явление, скажем, других природных явлений, которые могут изменить процесс его развития. Для устранения этого необходимо избавиться от посторонних влияний и постараться воспроизвести исследуемый факт по возможности в чистом виде, что обычно достигается в ходе реального или идеального экспериментов.

Когда истинность вновь обнаруженных фактов установлена и доказано, что их нельзя объяснить с помощью существующей теории, исследователь ищет им новое объяснение, если возможно, вносит такие изменения в существующую теорию, которые позволяют разрешить противоречие между старой теорией и новыми фактами.

Когда же противоречие преодолено и между теорией и фактами установлено соответствие, дальнейшее развитие обоснования теории идет по пути все более глубокого уточнения, конкретизации, систематизации всех ее элементов с целью придать ей большую логическую стройность, непротиворечивость и относительную завершенность. Нередко ситуация, связанная с поисками обоснования, обостряется, приобретая драматический характер.

Смена теорий, замена устаревшей теории новой, более точно отражающей действительность теорией подчас сопровождаются жаркими спорами, острыми дискуссиями между сторонниками этих теорий. Сами создатели новых теорий нередко находятся в плену старых идей и представлений, устаревших понятий. «Причина, по которой трудно охватить новую концепцию в любой области науки, — отмечал в свое время Ф.Дайсон, — всегда одна и та же: современные ученые пытаются представить себе эту новую концепцию в понятиях тех идей, которые существовали прежде.Сам открыватель страдает от этой трудности больше всех; он приходит к новой концепции в борьбе со старыми идеями, и старые идеи еще долго потом остаются языком, которым он думает»²⁵.

Известно, например, что после создания Г.Кантором новой теории бесконечных множеств ученые долго искали ее обоснование с помощью идей и понятий теории конечных чисел, хотя эти теории во многом противоречили друг другу и целый ряд положений одной теории формулировался прямо противоположно тому, как они формулировались во второй. «Столь смелые воззрения, — как отмечают по этому поводу Н.Бурбаки, — опрокидывающие традиции двух тысячелетий и приводящие к неожиданным и парадоксальным результатам, не могли не столкнуться с сильнейшей оппозицией. И действительно, среди влиятельных немецких математиков того времена один только Вейерштрасс относился к работам Кантора (своего бывшего ученика) более или менее благосклонно; другие ученые не разделяли этого отношения, и Кантор натолкнулся на непримиримую оппозицию Шварца и особенно Кронекера»²⁶.

Носители старых идей и теоретических положений не сдают своих позиций без боя. Поэтому новые идеи нередко пробиваются десятилетиями и даже столетиями. «В 80-х и 90-х годах прошлого столетия, — писал известный физик Макс Планк, — я и на самом себе испытал, как трудно исследователю, когда он сознает, что обладает идеями, объективно превосходящими господствующие идеи, но все его аргументы не производят впечатления, так как его голос слишком слаб, чтобы заставить научный мир прислушаться к нему»²⁷.

Старые, установившиеся традиции и положения науки, даже если они противоречат новым научным данным, весьма живучи и трудно поддаются пересмотру нередко потому, что так или иначе связаны с другими научными положениями, обоснованы ими.

Истории науки известны факты, когда отвергались эпохальные открытия, например теория Ньютона о всемирном тяготении. Против нее, как известно, выступили даже такие в то время авторитеты науки, как Гюйгенс, Лейбниц, Бернулли, Эйлер и др. В свою очередь закон всемирного тяготения Ньютона и другие его важнейшие открытия подтвердились на практике и были общепризнаны, но в процессе дальнейшего развития науки могучий авторитет Ньютона нередко превращался в тормоз научного прогресса, когда к идеям и теоретическим положениям великого ученого относились как к догмам.

Вообще относительно спокойное развитие теории продолжается лишь до определенного момента. Процесс научного исследования не прекращается, и в конечном счете вновь обнаруживаются факты, которые невозможно охватить и объяснить существующей теорией. Опять возникает противоречие, которое требует разрешения, а последнее ведет к дальнейшему развитию теории. Этот процесс практически бесконечен.

Как правило, частичное или коренное изменение теории осуществляется вследствие накопления ряда фактов, находящихся в противоречии с теорией. Но история развития науки знает немало случаев, когда только один вновь обнаруженный факт может привести к коренному изменению теории. В качестве примера можно привести атомистическую теорию. В течение тысячелетий, от Демокрита до конца XIX в., существовало твердое убеждение, что все многообразные материальные предметы состоят из атомов — последних неделимых частиц материи. Однако на рубеже XIX иXX вв. был открыт электрон, и прежние представления об атоме были опровергнуты. Один факт — открытие электрона — в конечном счете привел к коренному изменению атомистической теории и замене ее по существу новой теорией — квантовой теорией, в основе которой лежит другой принцип, гласящий: электрон так же неисчерпаем, как и атом, природа бесконечна.

Но и эта теория не остается неизменной. Она непрерывно развивается, совершенствуется, помогая проникать все глубже в недра атома. Как и всякая новая теория, она не отбрасывает прежнюю, не отрицает ее абсолютно, а подвергает диалектическому отрицанию с удержанием всего положительного в ней. В этой ситуации чрезвычайно важно установить, что же в конечном счете опровергается старая теория, нестрогое истолкование какого-то факта или неправильная постановка проблемы и т.д. Передовые, творчески мыслящие ученые всегда придавали этому большое значение.

Как показывает история познания, в науке вообще нельзя с ходу отмахиваться от фактов, противоречащих существующей теории, чтобы только спасти ее, а следует отбирать подобные факты и использовать их для дальнейшего развития теории.

Так, крупнейший представитель русской химической науки А.М.Бутлеров писал по этому поводу: «...не могу не заметить, что те заключения, к которым ведет принцип химического строения, оказываются в тысячах случаев согласными с фактами. Как во всякой теории и здесь, конечно, есть недостатки, несовершенства, — встречаются факты, которые не отвечают строго понятию о химическом строении. Разумеется, следует желать в особенности размножения таких именно фактов; факты, не объясняемые существующими теориями, наиболее дороги для науки, от их разработки следует по преимуществу ожидать ее развития в ближайшем будущем»²⁸.

Специфическая ситуация складывается тогда, когда по одной и той же проблеме, в объяснении одних и тех же фактов выдвигаются две (или более) теории или гипотезы. Именно такие ситуации в истории познания отмечены особым драматизмом. Ярким примером может служить борьба между сторонниками корпускулярной и волновой теорий света, длившаяся многие годы и завершившаяся, как известно, крупным научным открытием — созданием новой теории — квантовой механики, представляющей собой синтез обеих, оказавшихся односторонними. Созданная на их основе новая теория включила в себя в переработанном и переосмысленном виде -все истинное, положительное, что содержалось в каждой из них.

То же происходило и в процессе формирования теории эволюции органических видов. Известно, что до Ламарка проблемы наследственности и изменчивости рассматривались как не взаимосвязанные и даже исключающие друг друга. Идея эволюции Ламарка впервые соединила эти диалектические противоположности. Однако «только генетика явилась полным теоретическим доказательством и вместе с тем перестройкой той основы, которая была заложена Ламарком и Дарвином. Идея эволюции, предложившая в качестве основы теории развития видов отношение единства «наследственность изменчивость», превратилась в развернутую теоретическую систему «наследственность — генетический код —изменчивость». Основа теории изменилась: в центре — генетический код и система понятий, его выражающих»^29.

На рассмотренных примерах хорошо видна роль закона единства и борьбы противоположностей в обосновании теорий. В ходе борьбы каждая из этих теорий развивалась как бы независимо друг от друга, хотя на самом деле определенная связь между ними, конечно, была. Сторонники одной теории в ходе борьбы не могли не учитывать критики их сторонниками противоположной теории, использовали результаты их исследований, ибо в конце концов они изучали один и тот же реальный объект. Ход развития такого рода теорий, несмотря на борьбу между их сторонниками, в конечном счете приводит к их сближению, синтезу. Синтезирование результатов в таком случае приводит к раскрытию внутреннего единства самих теорий и в конечном счете — к созданию новой теории, преодолевающей односторонность прежних и дающей более обоснованное и глубокое решение проблемы.

Следует также иметь в виду, что вновь созданная теория представляет собой не простую сумму всего положительного, истинного, что содержали прежние теории. Она потому и называется новой, что нередко строится на совершенно новой основе, в ее фундаменте лежит принципиально новая идея, в свете которой подвергается переработке, переосмыслению все положительное, что содержалось в старых теориях.

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

Хотя новая теория строится на основе принципов, существенно отличающихся или даже противоположных принципам старой теории, однако она может сохранять в своем составе и некоторые законы, входившие в состав старой теории. Это относится как к второстепенным, так и к фундаментальным основополагающим законам, содержание которых в новой теории существенно изменяется, В качестве примера можно привести такие наиболее общие законы природы, как закон сохранения, закон всемирного тяготения, закон взаимосвязи организма и среды в живой природе, закон соответствия производственных отношений характеру и уровню развития производительных сил, закон первичности общественного бытия по отношению к общественному сознанию и т.п.

Все это свидетельствует о том, что эмпирические факты являются базисом не только развития, но и обоснования научной теории. Такую же роль могут играть и истинные, глубоко обоснованные теоретические положения и отдельные теории, которые, указывая на несостоятельность, ложность других положений, теорий, гипотез, отвергая их, сами становятся непреложным научным фактом, приобретая фундаментальное значение в результате решения задачи обоснования нового знания.

Как уже отмечалось, только надежное обоснование знания дает возможность признать его научный характер. Однако требование обоснования нельзя абсолютизировать, ибо неправомерно требовать от теории объяснить абсолютно все факты данной области материального или духовного мира так, чтобы ни один факт не вступал с ней в противоречие. Если бы можно было создать такую теорию, которая даже в перспективе не натолкнулась бы на противоречащие ей эмпирические, факты, то она представляла бы собой мертвую, неподвижную, абсолютную истину, была бы лишена движущей силы своего развития, которая и состоит в возникновении и разрешении противоречий между теорией и вновь полученными эмпирическими и теоретическими данными. Поэтому практически ни одна научная теория, будучи истиной относительной, динамичной, развивающейся, не может претендовать на абсолютную обоснованность.

История развития науки знает немало примеров, когда с помощью даже фундаментальных теорий не удавалось объяснить некоторых фактов, относившихся к предметной области данной теории, но противоречивших последней. Известно, например, что Ньютон не мог объяснить с позиции своей небесной механики устойчивость Солнечной системы и вынужден был прибегнуть к помощи бога. Казалось, что «эмпирический» факт «вечности» мироздания находился в определенном противоречии с теорией Ньютона, но на этом основании последняя не была отвергнута. Ученые упорно искали способ разрешения возникшего противоречия между теорией и эмпирическим фактом, пока, наконец, оно не было найдено Лапласом в его идее исторического происхождения Солнечной системы.

Известно также, что законы Кеплера, как показал Ньютон, являются следствиями закона всемирного тяготения, составляющего основу его теоретической системы. Однако одно из этих следствий утверждает, что планеты должны двигаться по эллиптической орбите. Но это находилось в противоречии с действительным движением планет, ибо некоторые из них двигались не по эллипсу. На этом основании ряд ученых предлагали отвергнуть и законы Кеплера, и теоретическую систему Ньютона как необоснованные, не соответствующие реальным фактам. Однако дальнейшие исследования показали ошибочность такого решения. «Были предприняты попытка — писал по этому поводу Р.Фейнман, — проанализировать движение Юпитера, Сатурна и Урана на основе закона тяготения. Чтобы узнать, удастся ли мелкие отклонения и неправильности в движении планет полностью объяснить только на основе одного этого закона, рассчитали влияние каждой из них на остальные. Для Юпитера и Сатурна все сошло как следует, но Уран — что за чудеса! — повел себя очень странно. Он двигался не по точному эллипсу, что, впрочем, и следовало ожидать из-за влияния притяжения Юпитера и Сатурна. Но и с учетом их притяжения движение Урана все равно было неправильным; таким образом, законы тяготения оказались в опасности (возможность эту нельзя было исключить). Двое ученых, Адаме и Леверье в Англии и Франции, независимо задумались об иной возможности: нет ли там еще одной планеты, тусклой и невидимой, пока еще неоткрытой»³⁰. Таким образом, истинность теоретической системы Ньютона была не только обоснована теоретически, но и подтверждена эмпирически открытием Нептуна.

Из этого следует, что обнаружение факта или получение следствия, противоречащих теории, вовсе не обязательно означает ее опровержение. Необходимо дальнейшее тщательное исследование, которое и должно привести к обоснованному решению вопроса о ее судьбе.

Рассмотренные выше требования, особенности обоснования научных теорий, смены одних теорий другими подводят нас к мысли о существовании еще одного принципа обоснования теоретического знания, который впервые был подмечен Н.И.Лобачевским и назван Н.Бором принципом соответствия. Этот принцип формулируется следующим образом: «Теории, справедливость которых установлена для той или иной предметной области, с появлением новых, более общих теорий не устраняются как нечто ложное, но сохраняют свое значение для прежней области как предельная форма и частный случай новых теорий. Выводы новых теорий в той области, где была справедлива старая «классическая» теория, переходят в выводы классической теории...»³¹

Так, геометрия Лобачевского переходит в геометрию Евклида тогда, когда особая величина К, выступающая в геометрии Лобачевского и называемая радиусом кривизны, принимает бесконечно большое значение (К??). Сила этого принципа как вида обоснования заключается в том, что он устанавливает не только связь между старой и новой теорией, но и переход одной из них в другую при соответствующих условиях. Согласно этому принципу, новая теория признается обоснованной, если, удовлетворяя и другим требованиям обоснования, она способна превращаться в старую теорию при определенном предельном значении некоторой, основной для' нее величины. Конечно, сам по себе принцип соответствия не может однозначно обосновать выбора того или иного варианта новой теории, ибо для этого только выполнения его требований недостаточно, но его помощь в подобных ситуациях часто оказывается весьма полезной.

До сих пор речь шла об обосновании теоретического знания, исходящего из уточнения как бы внешних (по отношению к теории) противоречий — между существующей теорией и вновь полученными теоретическими и эмпирическими фактами, между старой и новой теориями. Но как быть в случае противоречия внутри теории как системы взаимосвязанных элементов?

На формально-логическом уровне обоснования теоретического знания ответ на этот вопрос предельно прост: доказательство внутренней непротиворечивости теории есть вместе с тем и ее обоснование. В равной мере надежно обосновывает то или иное теоретическое положение и доказательство выводимости его из основных положений теории и непротиворечия его остальным положениям этой же теории. Сложнее обстоит дело, если мы обращаемся к диалектико-логическому уровню решения проблемы. При этом прежде всего возникает вопрос: а возможны ли вообще диалектические противоречия внутри теории?

Поскольку теория существует и ее противоположные элементы (сущность и явление, эмпирическое и теоретическое и т.п.) находятся в единстве, взаимопроникновении, переходят один в другой, постольку создается впечатление, что в этой теории нет места для противоречий. Но это лишь видимость. Единство противоположных элементов в теории вовсе не означает, что они перестали быть противоположностями и что взаимодействие, «борьба» их прекратились, уступив место единству.

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

Противоречия, возникающие в теории в процессе ее развития, зарождаются вследствие ее незавершенности: наличия в ней нерешенных задач, несоответствия между некоторыми положениями и т.п. Такие противоречия обнаруживаются не сразу, и потому в течение определенного времени теория считается непротиворечивой, а ее обоснованность относительно завершенной. Когда же противоречия обнаруживаются, исследователь, естественно, стремится их преодолеть и в конце концов разрешить. Это способствует повышению уровня обоснованности теории, ее прогрессивному развитию.

Развитие научной теории под влиянием борьбы внутренних противоречий и их разрешения можно продемонстрировать на примере математики. Еще в XVIII в. член Петербургской Академии наук X.Гольбах сформулировал проблему, которая состоит в доказательстве того, что любое целое число, большее или равное шести, можно представить в виде суммы трех простых чисел. Эта проблема была решена лишь в XX в.: в 1937 г. И.М.Виноградов доказал эту теорему для любого достаточно большого нечетного числа.

Однако такого рода внутренние проблемы и противоречия возникают не только в формализованных науках — математике и логике, но и в естественных науках. Здесь уместно вспомнить пример, который привел Ф.Энгельс в «Диалектике природы», анализируя развитие учения о превращении одних форм движения материи в другие путем уточнения закона сохранения и превращения энергии. «Что трение производит теплоту, — писал Ф.Энгельс, — это было известно на практике уже доисторическим людям, когда они изобрели — быть может, уже 100000 лет тому назад — способ получать огонь трением, а еще ранее этого согревали холодные части тела путем их растирания. Однако отсюда до открытия того, что трение вообще есть источник теплоты, прошло кто знает сколько тысячелетий. Но так или иначе, настало время, когда человеческий мозг развился настолько, что мог высказать суждение: «трение есть источник теплоты»...

Прошли новые тысячелетия до того момента, когда в 1842 г. Майер, Джоуль и Кольдинг подвергли исследованию этот специальный процесс со стороны его отношений к открытым тем временем другим процессам сходного рода, т.е. со стороны его ближайших всеобщих условий, и формулировали такого рода суждение: «всякое механическое движение способно посредством трения превращаться в теплоту». Столь продолжительное время и огромное множество эмпирических знаний потребовались для того, чтобы продвинуться в познании предмета от вышеприведенного положительного суждения наличного бытия до этого универсального суждения рефлексии.

Но теперь дело пошло быстро. Уже через три года Майер смог поднять — по крайней мере, по сути дела — суждение рефлексии на ту ступень, на которой оно имеет силу ныне: «любая форма движения способна и вынуждена при определенных для каждого случая условиях превращаться, прямо или косвенно, в любую другую форму движения»» ³². Для превращения этого суждения в признанное научное знание потребовалось солидное теоретическое обоснование и доказательная проверка.

Приведенные в этом разделе данные свидетельствуют о том, что обоснование, разрабатываемое в диалектической логике и в диалектико-материалистической теории познания, — это весьма сложный, противоречивый, практически бесконечный процесс, значительно отличающийся от процесса обоснования средствами формальной логики.

Само собой разумеется, что в этом процессе важное место занимают и формально-логические приемы обоснования. Ведь в процессе как формирования, так и развития научных понятий, теорий и других форм знания возникает необходимость обоснования отдельных положений теории, тех или иных следствий из нее и т.п. А в решении этих задач важную роль играет именно аппарат формальной и особенно математической логики, которая, безусловно, оказывает сильное влияние на формирование и совершенствование научных знаний в рамках аксиоматических или аксиоматизируемых теоретических систем.

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

(Нормализация научной теории не только усиливает логическую обоснованность положений, относящихся к данной теории, устанавливая ее логическую непротиворечивость, полноту и т.п., но и позволяет найти нечто общее у теорий, которые, как казалось, далеки друг от друга.

Однако, придавая большое значение формализации научной теории, не следует забывать, что формализованная теория как модель своей предметной области значительно беднее, чем содержательный вариант той же теории, ибо невозможно формализовать полностью ни одну содержательную теорию. Все это свидетельствует о том, что логический аппарат формальной традиционной и математической логики, несмотря на его огромное значение в обосновании и развитии научных знаний, играет вспомогательную роль по отношению к диалектической логике.