История марксистской диалектики (Ленинский этап)

Иные задачи решаются и иные абстракции применяются в современной формальной логике при анализе строения науки, при изучении знаний и познавательной деятельности по их получению. Как показал, в частности, А. Зиновьев, суть этих абстракций состоит прежде всего в том, что все составляющие науку знания сводятся к высказываниям и их совокупностям (сложным высказываниям). Структуры высказываний выступают при этом как схемы правильно построенных предложений. На основе этих абстракций в качестве основной задачи современной формальной логики выступает анализ «правил построения языка науки и правил оперирования им» (141, стр. 228), установление таких законов, которые «суть правила оперирования высказываниями и терминами» (140, стр. 129). В связи с решением этой задачи современная формальная логика изучает правила соединения простых высказываний в более сложные, зависимость истинности этих сложных высказываний от истинности составляющих их простых высказываний и на этой основе формулирует правила получения одних высказываний из других, правила вывода (теория вывода и доказательства), а также правила установления значения терминов языка науки (теории определений). Для этих целей в современной формальной логике успешно применяются абстрактно-теоретические методы математики, основанные на построении исчислений и формальных знаковых систем. На основе такого подхода различные методы и формы мышления, познавательные процедуры рассматриваются в современной формальной логике не в плане познавательных действий исследователя с объектом, а в плане его действий с терминами и высказываниями (предложениями) языка науки. Так, понятие рассматривается как «термин, значение которого устанавливается посредством определения (который вводится, создается определением)», определение – как «образование термина посредством соглашения об отношении его значения и значений других терминов» (см. 142, стр. 35, 31), объяснение – как процедура, в ходе которой устанавливается логическая связь между отображением объясняемого объекта в языке и законом науки (см. 262, стр. 19) и т.д. Наиболее ярко такой подход современной формальной логики к анализу методов познания проявляется в рассмотрении аксиоматического метода построения научного знания.

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

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

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