В статье рассматривается начало исследований в области символической логики на кафедре логики философского факультета ЛГУ. Отмечается, что эти исследования собственно сотрудниками и аспирантами кафедры начались ровно в 1956 году в результате довольно резких перемен. Кратко рассматривается работа И.Н.Бродского над курсом символической логики. Основное внимание уделяется рассмотрению и анализу первой диссертации, представлявшей собой попытку осмысления содержания и целей математической логики в рамках материалистически истолкованной традиционной логики, которая была защищена на кафедре логики в 1957 году А.Н.Книгным. Описывется её структура, основное содержание и главные выводы. Обращается внимание на её роль в историческом контексте исследований по философской логике в СССР, в частности, что это была едва ли не первая в стране диссертация по математической логике, защищённая философом.