Формальную логику часто называют элементарной, и это название правильно выражает ее природу и познавательную роль. Однако элементарное в нашем сознании нельзя представлять как нечто примитивное.

Элементарное — это более или менее простое, исходное, но именно потому оно и является обязательным, непременным моментом в системе человеческих знаний. Так и правила формальной, или элементарной, логики составляют начальный и совершенно необходимый момент в структуре познающего мышления. Обеспечивая логическую правильность нашей мысли, формальная логика вносит свой вклад в научную теорию познания, хотя и не охватывает всех сторон познавательного процесса. Одно следование законам формальной логики не обеспечивает познания истины; соблюдать эти законы необходимо, но это не решает всех задач научного познания, не анализирует всей полноты условий достижения объективной истины. Требования формальной логики нельзя игнорировать, поскольку без них невозможно выводное знание, но было бы ошибочным также абсолютизировать их (считать единственно необходимыми и достаточными), впадая тем самым в метафизику.

Материалистическая диалектика преодолевает ограниченность формальной логики; логическую форму она рассматривает в единстве с конкретным содержанием наших мыслей и только в этой неразрывной связи решает вопрос о соответствии их объективному ходу вещей. Преодолевая «узкий горизонт» формальной логики, диалектическая логика дает ей теоретико-познавательную основу, определяет место среди других наук, ее познавательное значение, природу основных логических положений и границы их применения. Диалектика не отрицает формальную логику, а только лишает ее законы абсолютного значения.

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

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

Диалектическая логика и логика формальная изучают основные законы и формы познающего мышления. Но основные законы мышления, которые изучает формальная логика, существенно отличаются от основных законов мышления, изучаемых диалектической логикой. Все основные законы формальной логики (законы тождества, противоречия (непротиворечивости), исключенного третьего и достаточного основания) отражают главным образом одну сторону материальной действительности — относительную устойчивость, качественную неизменяемость явлений окружающего мира, их тождественность в определенном отношении. Основные же законы диалектической логики (основные законы диалектики), наоборот, отражают материальные явления в их движении, развитии, бесконечном многообразии. Поэтому основные законы формальной логики в своем действии ограничены, а основные законы диалектической логики действуют безгранично.