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

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

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

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

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

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

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

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

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