The article examines the formation and development of the paradigm of teaching mathematical (symbolic) logic to students-philosophers of St. Petersburg State University from 1991 to 2000. Its creator and leading performer was N. A. Shanin (1919-2011). Many logicians were taught by him and his followers I. N. Brodsky and O. F. Serebryannikov. Professor Shanin tought the courses “Mathematics for philosophers”, “Mathematical logic”, “Algorithms and recursive functions”, “Turing machines”, “Algorithm theory”, “Constructive logic”. He conducted the seminars “Logic in the problems of artificial intelligence”, “Deductive systems”, “The theory of deductive systems and its application”. Shanin actively participated in the scientific work, delivered lectures at many scientific conferences, was an academic adviser for a lot of postgraduate students helping them to write dissertations. Every year the representatives of both the “mathematical” and “philosophical classes” of the Shanin school participate in the conference
Original languageRussian
Pages (from-to)123-138
JournalФилософский полилог: журнал Международного центра изучения русской философии
Issue number1 (5)
StatePublished - 2019

    Research areas

  • algorithm, constructive logic, deductive system, mathematical (symbolic) logic, N. A. Shanin, turing machine, алгорифм, дедуктивная система, конструктивная логика, математическая (символическая) логика, машина Тьюринга, Н. А. Шанин

ID: 78534160