28 октября на заседании Диссертационного совета Д 501.001.48 по защите диссертаций в МГУ им. М. В. Ломоносова состоялась защита кандидатской диссертации по логике: "Теория и практика формальных переводов" (Специальность 09.00.07 - логика). Диссертант: Иван Александрович Карпенко. Работа выполнена на кафедре логики философского факультета Московского государственного университета им. М. В. Ломоносова. Научный руководитель: к.ф.н., доцент В. М. Павлов. Официальные оппоненты: д.ф.н., профессор Е. Е. Ледников, к.ф.н., доцент В. Б. Петров. Ведущая организация: Кафедра логики философского факультета С.-Петербургского государственного университета.