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