2. Субъективная диалектика.

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

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

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

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

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

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

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