Теория законов мышления, по Энгельсу, отнюдь не есть какая-то раз и навсегда установленная истина, как это связывает со словом «логика» обывательская мысль: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров»[11].
Что же касается диалектической логики, то уже Аристотель «исследовал существеннейшие формы диалектического мышления»[12]. Говоря о новейшей немецкой философии, которая нашла свое завершение в Гегеле, Энгельс считал ее «величайшей заслугой» возвращение к диалектике как высшей форме мышления. В то же время Маркс и Энгельс показали глубокое качественное отличие своей диалектики от гегелевской: гегелевская была идеалистической, а марксистская — материалистической, рассматривающей мышление, его формы и законы как отражение внешнего мира.
Раскрывая действительное соотношение между формальной и диалектической логикой, Энгельс показал, что они не исключают друг друга. Формальная логика необходима, но недостаточна. Поэтому необходима также диалектическая логика. Возражая против того, чтобы считать формальную логику и тем более диалектику инструментом простого доказывания, он подчеркивал: «Даже формальная логика представляет собой прежде всего метод для отыскания новых результатов, для перехода от известного к неизвестному; и то же самое, только в гораздо более высоком смысле, представляет собой диалектика, которая к тому же, прорывая узкий горизонт формальной логики, содержит в себе зародыш более широкого мировоззрения»[13]. Энгельс сравнивал соотношение формальной и диалектической логики с соотношением элементарной и высшей математики — математики постоянных величин и математики переменных величин.
К. Маркс в «Капитале» попытался применить диалектическую логику к анализу современного ему общества. Однако специальных работ по диалектической логике у Маркса и Энгельса нет.
Становление диалектической логики как науки продолжалось в разных странах и в конце XIX в., а также на протяжении всего XX в.
В России разработку отдельных проблем диалектической логики, ее соотношения с логикой формальной осуществили Г. Плеханов (1856—1918) и В. Ленин (1870—1924). Так, Плеханов, выступая против тех, кто отвергал диалектическую логику, следующим образом раскрывал ее соотношение с формальной логикой: «Как покой есть частный случай движения, так и мышление по правилам формальной логики (согласно «основным законам» мысли) есть частный случай диалектического мышления»[14]. Диалектика, считал он, «не отменяет формальной логики, а только лишает ее законы приписываемого им метафизиками абсолютного значения»[15].
Ленин в работе «Еще раз о профсоюзах...» показал прежде всего принципиальное различие между формальной логикой и логикой диалектической. Логика формальная берет формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим. Логика диалектическая требует, чтобы мы шли дальше. В этой связи Ленин сформулировал основные требования диалектической логики: 1) всесторонность анализа («чтобы действительно знать предмет, надо охватить, изучить все его стороны, все связи и “опосредствования”»); 2) учет развития («брать предмет в его развитии, самодвижении... изменении»); 3) связь с практикой («вся человеческая практика должна войти в полное «определение» предмета и как критерий истины, и как практический определитель связи предмета с тем, что нужно человеку»); 4) конкретность подхода («абстрактной истины нет, истина всегда конкретна»)[16]. Значительный материал по диалектической (и формальной) логике содержится в «Философских тетрадях» Ленина.