N. A. Shanin and the training of specialists in logic at the SPbSU Faculty of Philosophy
Abstract
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 Days of St. Petersburg Philosophy. They also take part in conferences organized by mathematical logicians of the St. Petersburg branch of the V. A. Steklov Mathematical Institute. Due to Shanin’s activity the scientific and methodological work of the SPbSU Department of Logic was improved.
References
Maslov, S.Yu., Matiyasevich, Yu.V., Mints, G.E., Orevkov, V.P., Slisenko, A.O. (1980), Nikolay Aleksandrovich Shanin (k shestidesyatiletiyu so dnya rozhdeniya) [Nikolay Aleksandrovich Shanin (on his sixtieth birthday)], in Uspekhi matema¬ti-ches¬kikh nauk [Advances in mathematical sciences], vol. 35, no. 2 (212), Russia.
Metodologicheskiye problemy prepodavaniya matematiki. Sbornik nauchnykh trudov [Methodological problems of teaching mathematics. Collection of scientific works] (1987), Central Council of Philosophical (Methodological) Seminars at the Presidium of the USSR Academy of Sciences, Moscow, Russia.
Sovremennaya logika: Problemy teorii, istorii i primeneniya v nauke [Modern logic: Problems of theory, history and application in science] (2006), proceedings of the IX All-Russian scientific conference, June 22–24, 2006, dedicated to the 100th anniversary of the birth of Kurt Gödel, St. Petersburg, Russia.
Shanin, N.A. (1998), O protsedurnom podkhode k razyasneniyu smysla suzhdeniy [On the procedural approach to clarifying the meaning of judgments], in Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy Pyatoy obshcherossiyskoy nauchnoy konferentsii [Modern Logic: Problems of theory, history and application in science. Materials of the Fifth All-Russian Scientific Conference], St. Petersburg, Russia.
Shanin, N.A. (1958), O konstruktivnom ponimanii matematicheskikh suzhdeniy [On the constructive understanding of mathematical judgments], in Trudy MIAN SSSR [Proceedings of the Steklov Mathematical Institute of the USSR], vol. 52, USSR.
Shanin, N.A. (1958), O nekotorykh logicheskikh problemakh arifmetiki [On some logical problems of arithmetic], in Trudy MIAN SSSR [Proceedings of the Steklov Mathematical Institute of the USSR], vol. 43, USSR.
Shanin, N.A. (1994), Ponyatiya i logicheskiye sredstva konstruktivnoy matematiki kak sredstva teoreticheskikh modeley informatsionnogo tipa [Concepts and logical means of constructive mathematics as a means of theoretical models of information type], in Nauchnaya konferentsiya “Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke”. 16–17 iyunya 1994 g. Tezisy dokladov. Ch. I: Sovremennyye napravleniya logicheskikh issledovaniy [Scientific conference “Modern logic: problems of theory, history and application in science”. June 16–17, 1994. Abstracts. Part I: Modern tendencies of logical research], St. Petersburg, Russia.
