По инициативе С. А. Яновской в 1947 г. вышел перевод книги Д. Гильберта и В. Аккермана «Основы теоретической логики» с ее вступительной статьей и комментариями, а в 1948 г. – перевод книги А. Тарского «Введение в логику и методологию дедуктивных наук». В том же 1948 г. в сборнике «Математика в СССР за тридцать лет» публикуется обзор С. А. Яновской достижений отечественной математической логики. (О деятельности С. А. Яновской см., например, [Левин, 2017; Бажанов, 2007, с. 302–318; Бирюков, 2003, с. 54–57].
Дискуссии, последовавшие за принятием постановления о логике и психологии в школе в 1946 г., постепенно из обсуждений содержания учебников логики для вузов и школ вновь возвращаются к теме о предмете логики вообще, к вопросу соотношения формальной и диалектической логики. Однако, если эти вопросы и допускаются для обсуждения, то все же в жестких идеологических и административных рамках.
23 марта 1948 г. вышел приказ министра высшего образования СССР С. В. Кафтанова по итогам проверки работы кафедры логики МГУ, в котором сотрудники кафедры – Попов, Асмус, Виноградов – были обвинены в формализме, а «формалистическое направление в логике было осуждено как порочное и вредное» (цит. по [Осьмаков, 1948, с. 376]). Примечательно то, как характеризовалась формальная логика в этом приказе: «формальная логика в древности защищала идеологию рабовладельцев, в средние века была служанкой богословия, а в капиталистическом обществе приспосабливается к буржуазии для того, чтобы держать угнетенные классы в плену буржуазной идеологии» (цит. по [К итогам обсуждения…, 1951, с. 144]). По итогам проверки было принято решение созвать Всесоюзное совещание по логике, которое прошло 21–26 июня 1948 г. в МГУ.