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

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

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

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

Проблемы диалектической логики, её соотношения с формальной нашли дальнейшую конкретизацию и развитие в трудах философов и ученых Германии К. Маркса и Ф. Энгельса. Используя богатейший теоретический материал, накопленный философией, естественными и общественными науками, они создали качественно новую, диалектико-материалистическую систему, которая нашла воплощение в таких произведениях, как «Капитал» К. Маркса, «Анти-Дюринг» и «Диалектика природы» Ф. Энгельса и др. С этих общефилософских позиций Маркс и Энгельс и оценивали специальное «учение о мышлении и его законах» – логику и диалектику.

Они не отрицали значения формальной логики, не считали её «бессмыслицей», но подчеркивали её исторический характер. Так, Энгельс отмечал, что теоретическое мышление каждой эпохи – это исторический продукт, принимающий в различные времена очень различные формы и вместе с тем очень различное содержание. Он считал, что наука о мышлении, как и всякая другая наука, есть историческая наука, наука об историческом развитии человеческого мышления. Что же касается диалектической логики, то уже Аристотель исследовал существеннейшие формы диалектического мышления. Говоря о новейшей немецкой философии, которая нашла свое завершение в Гегеле, Энгельс считал её «величайшей заслугой» возвращение к диалектике как высшей форме мышления. В то же время Маркс и Энгельс показали глубокое качественное отличие своей диалектики от гегелевской: гегелевская была идеалистической, а марксистская – материалистической, рассматривающей мышление, его формы и законы как отражение внешнего мира.

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

Становление диалектической логики как науки продолжалось в разных странах и в конце XIX в., а так же на протяжении всего XX в. В России разработку отдельных проблем диалектической логики, её соотношения с логикой формальной осуществили Г. Плеханов и В. Ленин.

В последние десятилетия в нашей стране предпринято немало более или менее плодотворных попыток систематического изложения диалектической логики. Разработки идут в двух магистральных направлениях. С одной стороны, это раскрытие закономерностей отражения в человеческом мышлении развивающейся действительности, её объективных противоречий, а с другой – раскрытие закономерностей развития самого мышления, его собственной диалектики.

Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был заменить аристотелевский «Органон» в качестве орудия познания. Критически оценивая значимость форм выводов, в которых используется уже готовое знание, Ф. Бэкон стремился разработать приёмы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершенный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием «Индуктивные методы установления причинных связей».

Вопросами логики занимались и внесли определенный вклад в её развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц, И. Кант и другие. Примечательно, что Г. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логических связей, что привело к созданию специального раздела логики – алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями Г. Фреге, Б. Рассела – А. Уайтхэда сложился особый метод исследования логических отношений и форм выводов – метод формализации. Суть этого метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые возможности этой науки и положило начало её интенсивному развитию под названием «символическая логика».