Кант, однако, создал лишь предпосылки диалектической логики, так как пойти дальше ему помешал его агностицизм. Историческая заслуга создания этой логики, но на идеалистической основе, принадлежит Гегелю. Свою логику он разрабатывает в раннем очерке «Иенская логика», в «Науке логики», в первой части «Энциклопедии философских наук» (малая логика) и в «Философской пропедевтике».
Гегель создает науку не о внешних формах мышления (как это было до него), а о законах развития содержательного мышления, науку о мышлении в его диалектическом конкретном развитии. При этом диалектику мышления он рассматривает не как недостаток или заблуждение мышления, а как его естественную сущность, которая не постигнута, не осознана традиционной логикой и задача которой – описание внешних форм мышления. Поскольку традиционная логика не есть в полном объеме «самосознание» мышления, не есть наука о нем как таковом, то Гегель требует создать такую логику, такое «самосознание» мышления, такую его теорию, которая совпадала бы с реальным мышлением, согласовывалась с ним. Логика Гегеля является именно такой теорией, наукой о мышлении, или теоретическим мышлением о мышлении.
В понимании Гегеля предметом логики является всеобщее. Именно логика разрабатывает и систематизирует всеобщие универсальные категории, которые проявляют себя в каждой сфере и в каждом виде деятельности. Пожалуй, самым ценным завоеванием логики Гегеля является то, что она довольно полно и всесторонне, более или менее последовательно и вполне сознательно в развитой форме разрабатывается как диалектика и теория познания или, точнее, диалектика разрабатывается как Логика, как теория познания.
Маркс, материалистически переосмыслив идеалистическую Логику Гегеля, поставил ее «на ноги», развил дальше, создал диалектико-материалистическую Логику, образцом которой является главный труд марксизма «Капитал». Возникает вопрос: применял ли Маркс формальную логику? И в связи с этим следующий: каково отношение классиков марксизма к формальной логике? Да, они применяли формальную логику в своей теоретической и практической деятельности и никогда ее не отвергали. Однако они применяли ее в снятом виде, как момент диалектической логики. Их научная деятельность и, главным образом, «Капитал» характеризуется применением не формальной логики, а диалектики как логики и теории познания. Вместе с тем они указывали на узость, ограниченность формальной логики. Так, Маркс разложение школы Рикардо объясняет последовательным применением формальной логики. Энгельс также писал:
«Принцип тождества в старо-метафизическом смысле есть основной принцип старого мировоззрения: а = а. Каждая вещь равна самой себе. <…> …естествознание в последнее время доказало в подробностях… тот факт, что истинное, конкретное тождество содержит в себе различие… Как и все метафизические категории, абстрактное тождество годится лишь для домашнего употребления, где мы имеем дело с небольшими масштабами или с короткими промежутками времени… Но для обобщающего естествознания абстрактное тождество совершенно недостаточно…» [МЭ: 20, 530 – 531.]
Развивая дальше диалектическую логику, В.И. Ленин указывал, что узость возможностей формальной логики, в особенности применительно к политике, ведет к эклектике и софистике.
«Логика формальная, которой ограничиваются в школах (и должны ограничиваться – с поправками – для низших классов школы), берет формальные определения, руководясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим. Если при этом берутся два или более различных определения и соединяются вместе совершенно случайно…, то мы получаем эклектическое определение, указывающее на разные стороны предмета и только» [Л: 42, 289 – 290.].
Из всего этого и следует, что формальная логика (т.е. логика с «малой буквы») не является, во-первых, философией марксизма; во-вторых, она уже сейчас эволюционировала в математическую логику; в-третьих, она вовсе не была и не является наукой о мышлении, ибо мышление есть диалектический процесс, а она, изгоняя противоречие из мышления, ничего общего с диалектикой не имеет и является частной наукой о внешних устойчивых формах мышления, выражаемых средствами языка. Это понимают ряд философов, развивающих формальную логику, в отличие от других, по старинке считающих формальную логику наукой о мышлении. Так, И.С. Нарский справедливо подчеркивает, что «в прошлом формальная логика действительно была во власти метафизики, а в настоящее время она превращается в математическую логику, в частную науку, как алгебра, геометрия и др.»[6].