Н. А. ШАНИН И ПОДГОТОВКА СПЕЦИАЛИСТОВ ПО ЛОГИКЕ НА ФИЛОСОФСКОМ ФАКУЛЬТЕТЕ СПБГУ
Аннотация
В статье рассмотрены становление и развитие парадигмы преподавания математической (символической) логики студентам-философам СПбГУ в период с 1991 по 2000 гг. Ее создателем и ведущим исполнителем был Н. А. Шанин (1919–2011). Многие логики учились у него и его ближайших учеников И. Н. Бродского и О. Ф. Серебрянникова. Шанин читал общие курсы «Математика для философов» и «Математическая логика», а также спецкурсы «Алгоритмы и рекурсивные функции», «Машины Тьюринга», «Теория алгорифмов», «Конструктивная логика», вел семинары «Логика в проблемах искусственного интеллекта», «Дедуктивные системы», «Теория дедуктивных систем и ее применения». Шанин активно участвовал в научной работе, выступал с докладами на научных конференциях. В ежегодных Днях Петербургской философии совместно участвуют представители и «математического» и «философского классов» шанинской школы. Также они принимают участие в конференциях, организуемых математическими логиками С.-Петербургского отделения Математического института им. В. А. Стеклова. Шанин способствовал значительному повышению научного и методического уровня деятельности кафедры логики СПбГУ.
Литература
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.
