Здесь ясно и отчетливо выражены два положения: 1) формальная логика и диалектическая логика – различные науки, 2) формальная логика представляет собой низшую ступень знания по отношению к логике диалектической» [Строгович, 1949, с. 62–63].
В 1946 г. для школ был издан отредактированный и сокращенный дореволюционный гимназический учебник логики Г. И. Челпанова. Также для написания учебника логики для школ был привлечен С. Н. Виноградов – автор дореволюционного учебника для гимназий, который работал в то время на кафедре логики в МГУ. Первое издание вышло в 1947 г., и впоследствии этот учебник неоднократно переиздавался. (Подробнее о подготовке первых советских учебников по логике см. [Корсаков, 2015, ч. I].)
Кафедра логики в МГУ была создана в 1943 г. практически сразу после реэвакуации университета в Москву. По словам А. А. Тахо-Годи, первым завкафедрой логики должен был стать А. Ф. Лосев, но в итоге эту должность получил П. С. Попов (см. [Тахо-Годи, с. 350]).
В 1946 г. в подмосковном г. Химки Министерство высшего образования СССР организовало курсы для подготовки преподавателей логики в вузах и средних школах. На курсах читали лекции в том числе преподаватели из МГУ: В. Ф. Асмус, П. С. Попов, С. Н. Виноградов.
Помимо реабилитации формальной логики, в 40-е гг., и особенно после постановления о логике и психологии в школе в 1946 г., получило развитие и направление математической логики.
У истоков математической логики в МГУ стояли А. Н. Колмогоров, П. С. Новиков, И. И. Жегалкин, С. А. Яновская. Последняя сыграла большую роль в продвижении и институциализации математической логики в СССР вообще. Первый в СССР курс по математической логике был ею прочитан в 1936 г. на механико-математическом факультете МГУ. Там же с И. И. Жегалкиным и П. С. Новиковым в 1943 г. был организован постоянный семинар. П. С. Новиковым в конце 40-х – начале 50-х в МГУ также читались спецкурсы по математической логике.