Дискуссию открыли статьи завкафедрой логики Тбилисского университета К. С. Бакрадзе «К вопросу о соотношении логики и диалектики» и завкафедрой логики Московского университета В. И. Черкесова «О логике и марксистской диалектике».
Бакрадзе считает, что противопоставление формальной логики и диалектической логики ложно по своей постановке. Во-первых, сам термин «диалектическая логика», который употребляли классики марксизма-ленинизма, есть лишь синоним «диалектического материализма» – методологии научного познания. «Поэтому вопрос о соотношении логики и диалектики фактически сводится к вопросу о соотношении логики и диалектики как теории познания» [Бакрадзе, 1950, с. 201]. Во-вторых, логика как наука о «правильном мышлении» есть элемент процесса познания, в котором результаты этого познания формулируются в виде умозаключения или доказательства: «Логика как наука о правильном мышлении зависит от теории познания, от диалектики, и поэтому решение основных проблем логики с помощью только ресурсов логики невозможно» [там же, с. 205]. То есть, по сути, Бакрадзе уточняет, развивает точку зрения Строговича, которую тот излагал в своем учебнике логики.
Черкесов начинает с того же вопроса, что и Бакрадзе: «Самый существенный вопрос, с которым столкнулись логики, – это вопрос о соотношении логики и марксистской диалектики. Этот вопрос стоял в центре внимания всех совещаний по логике… и всех вообще обсуждений и споров, которые имели место среди преподавателей логики» [Черкесов, 1950, с. 209]. Но в отличие от Бакрадзе он не сомневается в правомерности употребления самого термина «диалектическая логика», хотя через запятую использует как синоним «марксистскую диалектику». По мнению Черкесова, формальная логика – это элементарное учение о формах и правилах человеческого мышления, а диалектическая логика является «высшей, подлинно научной логикой», соотносятся же они как низшая и высшая математики и решают разные задачи. Более того, ссылаясь на высказывание Ленина о том, что «диалектика, логика и теория познания – одно и то же, он утверждает, что нет таких задач формальной логики, которые не могла бы решить диалектическая логика как логика. А потому нельзя считать формальную логику «единственной логикой» вообще, нельзя сводить ее (как делает, например, Бакрадзе) и к элементу, «первой ступени» процесса познания [там же, с. 213–219].