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