ИСТИНА

Шангин Василий Олегович пользователь

МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, доцент, с 25 июня 2020

МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук, Кафедра социологии знания, доцент, с 1 сентября 2007, по совместительству

кандидат философских наук с 2004 года

Прежние места работы (Нажмите для отображения)

Соавторы: Петрухин Я.И., Болотов А.Е., Григорьев О.М., Болотов A.E., Попов В.М., Jukiewicz M., Leszczyńska-Jasion D., Горчаков А.Е., Wisniewski A., Бочаров В.А., Beziau J.Y., Bueno-Soler J., Carnielli W. показать полностью..., D’Ottaviano I.M., Mruczek-Nasieniewska K., Priest G., Teixeira da Mata J.V., Бащуковски А., Васюков В.Л., Зайцев Д.В., Кожемяченко Д.А., Макаров В.В., Маркин В.И., Микиртумов И.Б., Смирнова Е.Д., Сорина Г.В., Урбанский М.

41 статья, 2 книги, 24 доклада на конференциях, 17 тезисов докладов, 7 НИР, 3 награды, 7 членств в программных комитетах, 1 диссертация, 8 дипломных работ, 10 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 39, Scopus: 124
РИНЦ:

IstinaResearcherID (IRID): 832179

ResearcherID: K-2701-2012

Scopus Author ID: 15021416300

ORCID: 0000-0002-7380-3213

Деятельность

---

• Статьи в журналах

  • 
    • 2023 Non-transitive Correspondence Analysis
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале Journal of Logic, Language and Information, издательство Springer Nature (Switzerland), том 32, № 2, с. 247-273 DOI
  • • 2022 Размышления над переводом статьи А. Тьюринга “On Computable Numbers, with an Application to the Entscheidungsproblem”
    • Шангин В.О.
    • в журнале Вопросы философии, издательство Наука (М.), № 10, с. 176-182 DOI
  • 
    • 2021 Correspondence Analysis for Some Fragments of Classical Propositional Logic
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logica Universalis, издательство Springer Verlag (Germany), том 15, № 1, с. 67-85 DOI
  • 
    • 2021 Представление знания в дискуссивной логике С. Яськовского
    • Jukiewicz M., Шангин В.О.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 4, № 25, с. 344-348
  • 
    • 2020 Correspondence analysis and automated proof-searching for first degree entailment
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале European Journal of Mathematics, издательство Springer Nature (Switzerland), том 6, № 4, с. 1452-1495 DOI
  • 
    • 2019 Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logic and Logical Philosophy, том 28, № 2, с. 223-257 DOI
  • 
    • 2019 Functional Completeness in CPL via Correspondence Analysis
    • Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi, Jukiewicz Marcin
    • в журнале Bulletin of the section of logic, том 48, № 1, с. 45-76 DOI
  • 
    • 2019 On Vidal's trivalent explanations for defective conditional in mathematics
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале Journal of Applied Non-classical logics, том 29, № 1, с. 64-77 DOI
  • 
    • 2019 The Method of Socratic Proofs Meets Correspondence Analysis
    • Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Bulletin of the section of logic, том 48, № 2, с. 99-116 DOI
  • 
    • 2018 Natural deduction rules for Tomova’s natural implications
    • Shangin Vasilyi, Petrukhin Yaroslav
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 16, № 1-2, с. 135-136
  • 
    • 2018 Natural three-valued logics characterised by natural deduction
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logique et Analyse, издательство Centre National Belge de Recherche de Logique (Belgium), том 61, № 244, с. 407-427 DOI
  • 
    • 2018 Paracomplete Logic Kl — Natural Deduction, its Automation, Complexity and Applications
    • Bolotov A., Kozhemiachenko D., Shangin V.
    • в журнале Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, издательство College Publications (United States), том 5, № 1, с. 221-263
  • 
    • 2017 A precise definition of an inference (by the example of natural deduction systems for logics I<alpha>, <beta>
    • Шангин В.О.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 23, № 1, с. 83-104 DOI
  • 
    • 2017 Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале Review of Symbolic Logic, с. 1-26 DOI
  • • 2017 Корреспондентский анализ для паранепротиворечивой слабой логики Клини
    • Петрухин Я.И., Шангин В.О.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 6, с. 52-62
  • 
    • 2014 NATURAL DEDUCTION IN A PARACOMPLETE SETTING
    • Болотов A.E., Шангин В.О.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), № 20, с. 224-247
  • 
    • 2014 Syntax and semantics of simple paranormal logics
    • Попов В.М., Шангин В.О.
    • в журнале Логико-философские исследования, № 6, с. 290-297
  • 
    • 2013 Syntax and semantics of simple paracomplete logics
    • Popov V.M., Shangin V.O.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 19, с. 325-334
  • 
    • 2013 Параполное модельное множество
    • Шангин В.О.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 4, с. 80-87
  • 
    • 2012 Natural Deduction System in Paraconsistent Setting: Proof Search for PCont
    • Bolotov A.E., Shangin V.
    • в журнале Journal of Intelligent Systems, издательство Freund Publishing House Ltd. (Israel), том 21, № 1, с. 1-24
  • 
    • 2011 Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками
    • Шангин В.О.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 17, с. 293-308
  • • 2007 Некоторые допустимые правила для сократических доказательств
    • Wisniewski A., Shangin V.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 5, с. 77-88
  • 
    • 2007 Об одном подходе к формализации логики вопросов
    • Шангин В.О.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 18, с. 145-159
  • 
    • 2006 Socratic Proofs for Quantifiers
    • Wisniewski A., Shangin V.
    • в журнале Journal of Philosophical Logic, издательство Springer Nature (Switzerland), том 35, № 2, с. 147-178
  • 
    • 2006 Система натурального вывода для логики линейного времени
    • Бащуковски А., Болотов А.Е., Григорьев О.М., Шангин В.О.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 71-95

• Статьи в сборниках

  • • 2022 О логике атомарных транзакций Радского
    • Шангин В.О., Петрухин Я.И.
    • в сборнике Третий Международный Конгресс Русского общества истории и философии науки «ПОСЛЕ ПОСТПОЗИТИВИЗМА», место издания РОИФН Москва, с. 504-508
  • • 2021 On a paracomplete discussive logic
    • Mruczek-Nasieniewska K., Petrukhin Y.I., Shangin V.O.
    • в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 131-133
  • • 2021 Обоснование выводимых правил в нетранзитивной логике Уира
    • Шангин В.О.
    • в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 64-68
  • 
    • 2020 Поиск вывода в нетранзитивной трехзначной логике вира
    • Шангин В.О.
    • в сборнике Наука как общественное благо: сборник научных статей, место издания Русское общество истории и философии науки Москва, том 4, с. 247-251
  • • 2018 Перевод с англ.: Буэно О. Логика и метафизические предпосылки
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 161-187
    • редактор Зайцев Дмитрий Владимирович
  • • 2018 Перевод с англ.: Данн Дж. М. Люди — это разумные орудия труда создающие животные
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 128-161
    • редактор Зайцев Дмитрий Владимирович
  • • 2018 Перевод с англ.: Л.Д’Оттавиано И. М. , Гомес Э. Л. На заре reductio ad absurdum в ранней античной логике
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 187-230
    • редактор Зайцев Дмитрий Владимирович
  • • 2018 Перевод с англ.: Макфарлейн Дж. В каком смысле (если он вообще есть) логика нормативна по отношению к мышлению?
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 345-384
    • редактор Зайцев Дмитрий Владимирович
  • • 2018 Перевод с англ.: Филд Х. Плюрализм в логике
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 384-418
    • редактор Зайцев Дмитрий Владимирович
  • • 2018 Перевод с англ.: ван Бентем Й. Встретятся ли логическая динамика и логический плюрализм?
    • Шангин В.О.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 306-345
    • редактор Зайцев Дмитрий Владимирович
  • • 2017 On Sublogics in Vasiliev Fragment of the Logic Definable with A. Arruda’s Calculus V1
    • Popov Vladimir M., Shangin Vasily O.
    • в сборнике The Logical Legacy of Nikolai Vasiliev and Modern Logic, серия Synthese Library, место издания Springer International Publishing, том 387, с. 181-188 DOI
    • редакторы Зайцев Дмитрий Владимирович, Маркин Владимир Ильич
  • 
    • 2007 A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007, место издания IICAI, с. 1253-1266
  • 
    • 2007 Automated Natural Deduction for Propositional Linear-Time Temporal Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the 14th International Symposium on Temporal Representation and Reasoning, серия TIME ’07, место издания IEEE Computer Society Washington, DC, USA, с. 47-58 DOI
  • 
    • 2006 Natural Deduction Calculus for Computation Tree Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, серия JVA ’06, место издания IEEE Computer Society Washington, DC, USA, с. 175-183 DOI
  • 
    • 2006 Natural Deduction Calculus for Linear-Time Temporal Logic
    • Bolotov Alexander, Basukoski Artie, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Berlin Heidelberg, том 4160, с. 56-68 DOI
    • редактор Конев Борис Юрьевич
  • 
    • 2005 Automated First Order Natural Deduction
    • Bolotov A., Bocharov V., Gorchakov A., Shangin V.
    • в сборнике Proceedings of the 2nd Indian International Conference on Artificial Intelligence, место издания IICAI, с. 1292-1311

• Книги

  • • 2017 The Logical Legacy of Nikolai Vasiliev and Modern Logic
    • Markin V., Zaitsev D., Bazhanov V.A., Sorina G.V., Beziau J.Y., Bueno O., D’Ottaviano I.M.L, Gomes E.L., Teixeira da Mata J.V., Mikirtumov I., Smirnova E.D., Stelzner W., Priest G., Popov V.M., Shangin V.O., Vasyukov V.L., Bueno-Soler J., Carnielli W.
    • место издания Springer International Publishing AG WP, ISBN 978-3-319-66160-5, 978-3-319-66162-9, 229 с. DOI
  • • 2004 Пусть докажет компьютер
    • Бочаров В.А., Болотов А.Е., Горчаков А.Е., Макаров В.В., Шангин В.О.
    • место издания Наука Москва, ISBN 5-02-032859-6, 207 с.

• Доклады на конференциях

  • • 2022 Правдоподобное следование и теория вероятности (Устный)
    • Автор: Шангин В.О.
    • Ломоносовские чтения - 2022, секция "Философские науки", Философский факультет Московского государственного университета имени М.В.Ломоносова, Россия, 14-21 апреля 2022
  • • 2022 On Embedding of D2 into the Minimal Discussive Logic (Устный)
    • Авторы: Grigoriev Oleg, Mruczek-Nasieniewska Krystyna, Nasieniewski Marek, Petrukhin Yaroslav, Shangin Vasilyi
    • 10th International Conference NCL'22: Non-classsical logics. Theory and applications 2022, Лодзь, Польша, 14-18 марта 2022
  • • 2021 Представление знания в дискуссивной логике С. Яськовского (Устный)
    • Авторы: Jukiewicz M., Шангин В.О.
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2021 On a paracomplete discussive logic (Устный)
    • Авторы: Mruczek-Nasieniewska Krystyna, Petrukhin Yaroslav, Shangin Vasily
    • Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
  • • 2021 Обоснование выводимых правил в нетранзитивной логике Уира (Устный)
    • Автор: Шангин В.О.
    • Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
  • • 2021 Correspondence analysis for some fragments of classical propositional logic (Приглашенный)
    • Авторы: Petrukhin Ya I., Shangin V.
    • Logica Universalis Webinar, Швейцария, 16 декабря 2020 - 15 декабря 2021
  • • 2020 ПОИСК ВЫВОДА В НЕТРАНЗИТИВНОЙ ТРЕХЗНАЧНОЙ ЛОГИКЕ ВИРА (Устный)
    • Автор: Шангин В.О.
    • ВТОРОЙ МЕЖДУНАРОДНЫЙ КОНГРЕСС РУССКОГО ОБЩЕСТВА ИСТОРИИ И ФИЛОСОФИИ НАУКИ НАУКА КАК ОБЩЕСТВЕННОЕ БЛАГО, Санкт Петербург, Россия, 27-29 ноября 2020
  • • 2019 Tomova's natural logics in proof-theoretical setting (Устный)
    • Авторы: Vasilyi Shangin, Yaroslav Petrukhin
    • International Conference "Formal Philosophy 2019" 27-28 June Moscow, Высшая школа экономики, Россия, 27-28 июня 2019
  • • 2019 Socratic proofs in correspondence analysis framework (Устный)
    • Авторы: Leszczyńska-Jasion D., Jukiewicz M., Shangin V.O., Petrukhin Y.I.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2018 Natural deduction rules for Tomova's natural implications (Устный)
    • Авторы: Petrukhin Yaroslav, Shangin Vasilyi
    • XIII международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербург, Россия, 31 мая - 2 июня 2018
  • • 2018 Об одной проблеме, поставленной М. Видалем (Устный)
    • Авторы: Шангин В.О., Петрухин Я.И.
    • IX международная конференция "Способы мысли, пути говорения", Национальный исследовательский университет «Высшая школа экономики» Школа философии ФГН НИУ ВШЭ, Россия, 26-30 апреля 2018
  • • 2017 Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic (Устный)
    • Авторы: Shangin V.O., Petrukhin Y.I.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2017 On the Complexity of the Natural Deduction Proof Search Algorithm (Устный)
    • Авторы: Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
    • 24th Automated Reasoning Workshop (ARW'17), Bristol, Великобритания, 3-4 апреля 2017
  • • 2016 Towards generalized proof search for natural deduction systems for logics I<,> (Устный)
    • Авторы: Шангин В.О., Болотов А.Е.
    • Automated Reasoning Workshop; May, 19-20, 2016; University of Liverpool, Ливерпуль, Великобритания, 19-20 мая 2016
  • • 2016 О натуральном исчислении линейного типа в преподавании логики (Устный)
    • Автор: Шангин В.О.
    • ПРОБЛЕМИ ВИКЛАДАННЯ ЛОГІКИ ТА ПЕРСПЕКТИВИ ЇЇ РОЗВИТКУ, Киев, Украина, 12-15 мая 2016
  • • 2014 Tackling Incomplete System Specications Using Natural Deduction in the Paracomplete Setting
    • Авторы: Шангин В.О., Bolotov A.E.
    • The 38th Annual International Computers, Software & Applications Conference COMPSAC 2014, Vasteras, Sweden, Швеция, 2014
  • • 2014 О преподавании курса, посвященного логикам васильевского типа, для студентов, специализирующихся по логике на философских факультетах
    • Автор: Шангин В.О.
    • ПРОБЛЕМИ ВИКЛАДАННЯ ЛОГІКИ ТА ПЕРСПЕКТИВИ ЇЇ РОЗВИТКУ, Киев, Украина, 15-16 июня 2014
  • • 2013 Модельное множество для одной известной паралогики
    • Автор: Шангин В.О.
    • Дни науки философского факультета – 2013, Философский факультет Киевского национального университета имени Тараса Шевченко, Киев, Украина, Украина, 2013
  • • 2013 On an application of the paracomplete model set
    • Авторы: Шангин В.О., Болотов А.Е.
    • Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года, г.Москва, МГУ имени М.В. Ломоносова, Россия, 19-21 июня 2013
  • • 2013 Proof Search for Natural Deduction in the setting of Paracomplete Logic PComp
    • Авторы: Шангин В.О., Болотов А.Е.
    • The 20th Automated Reasoning Workshop (ARW 2013), the School of Computing of University of Dundee, UK, Великобритания, 11 апреля 2013
  • • 2012 On sublogics in Vasiliev fragment of the logic definable with A. Arruda’s calculus V1
    • Авторы: Шангин В.О., Попов В.М.
    • Логическое наследие Н.А. Васильева и современная логика, МГУ им. М.В. Ломоносова, Москва, Россия, Россия, 2012
  • • 2010 Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда
    • Автор: Шангин В.О.
    • «Воображаемая логика» Н.А. Васильева и современные неклассические логики, Казань, Россия, 11-15 октября 2010
  • • 2005 Automated First Order Natural Deduction
    • Авторы: Болотов A.E., Бочаров В.А., Горчаков А.Е., Шангин В.О.
    • 2nd Indian International Conference on Artificial Intelligence, Pune, India, Индия, 2005
  • • 2003 Proof-searching algorithm in first order classical natural deduction calculus
    • Авторы: Бочаров В.А., Шангин В.О., Горчаков А.Е., Болотов А.Е.
    • 2th International Congress of Logic, Methodology and Philosophy of Science., Oviedo (Spain), Испания, 2003

• Тезисы докладов

  • • 2019 Socratic proofs in correspondence analysis framework
    • Leszczyńska-Jasion D., Petrukhin Y.I., Shangin V.O., Jukiewicz M.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 65-66
  • • 2017 Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic
    • Petrukhin Y.I., Shangin V.O.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 114-115
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • • 2016 ПРОБЛЕМИ ВИКЛАДАННЯ ЛОГІКИ ТА ПЕРСПЕКТИВИ ЇЇ РОЗВИТКУ
    • Шангин В.О.
    • в сборнике Проблемы преподавания логики и перспективы ее развития.VII Международная научно-практическая конференция. Материалы докладов и выступлений, место издания Издательский центр Киевского национального университета им. Тараса Шевченко Киев, Украина Киев, тезисы
  • 
    • 2014 Socratic Proofs for Propositional Linear-Time Logic
    • Урбанский М., Болотов А.Е., Григорьев О.М., Шангин В.О.
    • в сборнике Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014, тезисы, с. 34-35
  • 
    • 2014 Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting
    • Болотов А.Е., Шангин В.О.
    • в сборнике 2014 IEEE 38th Annual International Computers, Software and Applications Conference, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), тезисы, с. 91-96
  • 
    • 2014 О преподавании курса, посвященного логикам васильевского типа, для студентов, специализирующихся по логике на философских факультетах
    • Шангин В.О.
    • в сборнике "Проблеми викладання логіки та перспективи її розвитку", VІ Міжн. наук.-практ. конф. (2014 ; Київ). : [матеріали доповідей та виступів] / редкол.: А. Є. Конверський [та ін.]. – 155 с, серия "Проблеми викладання логіки та перспективи її розвитку", VІ Міжн. наук.-практ. конф. (2014 ; Київ), место издания Видавничо-поліграфічний центр "Київський університет" Киев, тезисы, с. 137-137
  • • 2013 On an application of the paracomplete model set
    • Bolotov A.E., Shangin V.O.
    • в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 9-10
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2011 A proof searching algorithm for paraconsistent logic PCont
    • Bolotov A.E., Shangin V.O.
    • в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 10-11
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
  • 
    • 2011 Natural Deduction System in Paraconsistent Setting: proof search for PCont
    • Bolotov A.E., Shangin V.O.
    • в сборнике Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011, тезисы, с. 632-640
  • 
    • 2010 Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда
    • Шангин В.О.
    • в сборнике “Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.), серия Труды Математического центра имени Н.И. Лобачевского, место издания Казан. мат. об-во Казань, том 41, тезисы, с. 106-108
  • • 2009 The short truth table method and its complexity
    • Shangin V.O.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 111-112
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2009 Об автоматизации контроля знаний по логике и теории аргументации
    • Горчаков А.Е., Шангин В.О.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 165-167
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2007 Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
    • Bolotov A.E., Grigoriev O.M., Shangin V.O.
    • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 44-46
  • • 2004 Новое доказательство теоремы о семантической непротиворечивости системы натурального вывода
    • Шангин В.О.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 547-549
  • • 2003 Метатеоретические свойства натурального вывода
    • Шангин В.О.
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 56-57
  • • 2002 Автоматический поиск натурального вывода в интуиционистской логике и проблема дубликации
    • Шангин В.О.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции, 20-22 июня 2002 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 512-515
  • • 2000 Теорема корректности для алгоритма поиска вывода в классической пропозициональной логике
    • Шангин В.О.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции, 22-24 июня 2000 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 269-270

• НИРы

  • • 13 января 2023 - 13 января 2024 Логические теории неклассического следования и отношения между ними
    • Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
    • Руководитель: Григорьев О.М. Участники НИР: Петрухин Я.И., Пыльцин А.В., Шангин В.О.
  • • 1 января 2020 - 31 декабря 2022 Дедуктивные свойства многозначных логик обобщенных истинностных значений
    • Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
    • Руководитель: Шангин В.О. Ответственные исполнители: Беликов А.А., Григорьев О.М., Петрухин Я.И.
  • • 1 января 2019 - 31 декабря 2025 Теоретическая и прикладная логика
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Беликов А.А., Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Конькова А.В., Легейдо М.М., Сорина Г.В., Шангин В.О.
  • • 1 января 2016 - 31 декабря 2018 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Петрухин Я.И., Попов В.М., Шангин В.О.
  • • 1 января 2015 - 31 декабря 2015 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Попов В.М., Шангин В.О.
  • • 1 января 2014 - 31 декабря 2014 Логические проблемы теоретической информатики
    • Философский факультет
    • Руководитель: Шангин В.О. Участник НИР: Попов В.М.
  • • 1 января 2014 - 31 декабря 2014 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Попов В.М., Шангин В.О.

• Награды и премии

  • • 2020 Премия по Программе развития МГУ
    • Лауреат: Шангин В.О.
    • МГУ, Россия
  • • 2019 Премия по Программе развития МГУ
    • Лауреат: Шангин В.О.
    • МГУ, Россия
  • • 2018 Премия по Программе развития МГУ
    • Лауреат: Шангин В.О.
    • МГУ, Россия

• Участие в программных комитетах конференций

  • • 15-17 июня 2017 Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
    • Член организационного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия
  • • 5-10 сентября 2016 Poznań Reasoning Week
    • Член программного комитета
    • Познань, Польша
  • • 17-19 июня 2015 Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года
    • Член организационного комитета
    • Москва, Россия
  • • 20 февраля 2014 Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина
    • Член организационного комитета
    • Москва, Россия
  • • 2013 Международная научная конференция "Логико-философское наследие Е.К. Войшвилло"
    • Член программного комитета
    • Москва, философский факультет МГУ имени М.В. Ломоносова, Россия
  • • 2012 Logic and cognition
    • Член программного комитета
    • Poznan, Poland, Польша
  • • 2012 Логическое наследие Н.А. Васильева и современная логика
    • Член программного комитета
    • МГУ им. М.В. Ломоносова, Москва, Россия, Россия

• Диссертация

  • • 2004 Автоматический поиск натурального вывода в классической логике предикатов
    • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
    • Автор: Шангин Василий Олегович, к.ф.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Бочаров В.А.
    • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова

• Руководство дипломными работами

  • • 2021 Нормальные выводы в натуральных исчислениях, полученных для некоторых фрагментов классической логики высказываний с помощью корреспондентного анализа
    • Научный руководитель: Шангин В.О.
    • Автор: Пыльцин А.В., (Магистр)
  • • 2019 СОКРАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ДЛЯ ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ ЛИНЕЙНОГО ВРЕМЕНИ И ЕГО СВОЙСТВА
    • Научный руководитель: Шангин В.О.
    • Автор: Балобанов А.А. (Бакалавр)
  • • 2019 НОРМАЛЬНЫЕ ВЫВОДЫ В НАТУРАЛЬНОМ ИСЧИСЛЕНИИ ВЫСКАЗЫВАНИЙ
    • Научный руководитель: Шангин В.О.
    • Автор: Пыльцин А.В. (Бакалавр)
  • • 2018 Симуляция доказательств в классических пропозициональных исчислениях
    • Научный руководитель: Шангин В.О.
    • Автор: Кожемяченко Д.А., (Магистр)
  • • 2016 Сравнение сложности различных систем натурального вывода
    • Научный руководитель: Шангин В.О.
    • Автор: Кожемяченко Даниил Андреевич (Бакалавр)
  • • 2016 О сократическом подходе к логике дискретного линейного времени
    • Научный руководитель: Шангин В.О.
    • Автор: Попов Антон Алексеевич (Бакалавр)
  • • 2016 Вычислительная сложность классического исчисления гиперсеквенций
    • Научный руководитель: Шангин В.О.
    • Автор: Скорюкина Зайла-Сабрина Викторовна (Бакалавр)
  • • 2015 ТЕОРЕМА НОРМАЛИЗАЦИИ ДЛЯ НАТУРАЛЬНОГО ВЫВОДА ЛИНЕЙНОГО ТИПА
    • Научный руководитель: Шангин В.О.
    • Автор: Морозикова Софья Ростиславовна (Специалист)

• Авторство учебных курсов

  • • 2023 Корреспондентский анализ
    • Автор: Шангин В.О.
  • • 2014 Логика для социологов
    • Автор: Шангин В.О.
  • • 2012 Учебно-методический комплекс по курсу "Информатика"
    • Авторы: Горчаков А.Е., Шангин В.О.
  • • 2010 Информатика
    • Авторы: Горчаков А.Е., Шангин В.О., Богомолов А.Г., Казакова А.Е.
  • • 2009 Информатика
    • Авторы: Горчаков А.Е., Богомолов А.Г., Казакова А.Е., Шангин В.О.

• Преподавание учебных курсов

  • • 13 февраля 2023 - 15 мая 2023 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 68 часов
  • • 7 февраля 2023 - 23 мая 2022 Корреспондентский анализ
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 3 сентября 2022 - 17 декабря 2022 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 64 часов
  • • 3 сентября 2022 - 17 декабря 2022 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 96 часов
  • • 2 сентября 2022 - 16 декабря 2022 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 32 часов
  • • 2 сентября 2022 - 16 декабря 2022 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 32 часов
  • • 7 февраля 2022 - 23 мая 2022 Логика для социологов
    • МГУ имени М.В. Ломоносова, Социологический факультет
    • обязательная, базовой части, лекции, 68 часов
  • • 4 сентября 2021 - 18 декабря 2021 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 108 часов
  • • 3 сентября 2021 - 17 декабря 2021 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 3 сентября 2021 - 17 декабря 2021 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 12 февраля 2021 - 21 мая 2021 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа перевода
    • обязательная, базовой части, лекции, 34 часов
  • • 8 февраля 2021 - 24 мая 2021 Логика для социологов
    • МГУ имени М.В. Ломоносова, Социологический факультет
    • обязательная, базовой части, лекции, 34 часов
  • • 7 сентября 2020 - 21 декабря 2020 Логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 7 сентября 2020 - 21 декабря 2020 Логика для социологов
    • МГУ имени М.В. Ломоносова, Исторический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 4 сентября 2020 - 18 декабря 2020 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, лекции, 36 часов
  • • 4 сентября 2020 - 18 декабря 2020 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, семинары, 36 часов
  • • 11 февраля 2020 - 19 мая 2020 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа перевода
    • обязательная, базовой части, лекции, 32 часов
  • • 10 февраля 2020 - 13 апреля 2020 Логика для социологов
    • МГУ имени М.В. Ломоносова, Факультет журналистики
    • обязательная, базовой части, лекции, 20 часов
  • • 14 декабря 2019 - 21 декабря 2019 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 68 часов
  • • 7 сентября 2019 - 21 декабря 2019 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 68 часов
  • • 3 сентября 2019 - 17 декабря 2019 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 34 часов
  • • 3 сентября 2019 - 17 декабря 2019 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 12 февраля 2019 - 21 мая 2019 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 11 февраля 2019 - 20 мая 2019 Логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, лекции, 16 часов
  • • 11 февраля 2019 - 20 мая 2019 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа перевода
    • обязательная, базовой части, лекции, 34 часов
  • • 9 февраля 2019 - 18 мая 2019 Логика для социологов
    • МГУ имени М.В. Ломоносова, Социологический факультет
    • обязательная, базовой части, лекции, 34 часов
  • • 8 сентября 2018 - 22 декабря 2018 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 8 сентября 2018 - 22 декабря 2018 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 72 часов
  • • 7 сентября 2018 - 18 декабря 2018 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 72 часов
  • • 12 февраля 2018 - 21 мая 2018 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 34 часов
  • • 9 февраля 2018 - 21 мая 2018 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лабораторные занятия, 136 часов
  • • 8 февраля 2018 - 24 мая 2018 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 34 часов
  • • 9 февраля 2017 - 18 мая 2017 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 136 часов
  • • 8 февраля 2017 - 24 мая 2017 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, вариативной части, лекции, 34 часов
  • • 17 сентября 2016 - 17 декабря 2016 Логика для юристов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 72 часов
  • • 8 сентября 2016 - 22 декабря 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, практические занятия, 36 часов
  • • 6 сентября 2016 - 20 декабря 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, практические занятия, 36 часов
  • • 6 сентября 2016 - 20 декабря 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, практические занятия, 36 часов
  • • 5 сентября 2016 - 19 декабря 2016 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 5 сентября 2016 - 19 декабря 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, практические занятия, 36 часов
  • • 5 сентября 2016 - 19 декабря 2016 Логика для социологов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 15 февраля 2016 - 23 мая 2016 Логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, вариативной части, лекции, 34 часов
  • • 12 февраля 2016 - 20 мая 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 11 февраля 2016 - 19 мая 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 8 февраля 2016 - 16 мая 2016 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 8 февраля 2016 - 16 мая 2016 Информатика
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, семинары, 34 часов
  • • 10 сентября 2015 - 17 декабря 2015 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 7 сентября 2015 - 21 декабря 2015 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, лекции, 36 часов
  • • 7 сентября 2015 - 21 декабря 2015 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, семинары, 36 часов
  • • 5 сентября 2015 - 19 декабря 2015 логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 5 сентября 2015 - 19 декабря 2015 логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 4 сентября 2015 - 18 декабря 2015 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 4 сентября 2015 - 18 декабря 2015 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2015 - 22 декабря 2015 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 13 февраля 2015 - 22 мая 2015 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 9 февраля 2015 - 25 мая 2015 Логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, вариативной части, лекции, 32 часов
  • • 9 февраля 2015 - 18 мая 2015 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 34 часов
  • • 12 сентября 2014 - 26 декабря 2014 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, семинары, 32 часов
  • • 10 сентября 2014 - 26 декабря 2014 Логика для юристов
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, семинары, 64 часов
  • • 5 сентября 2014 - 26 декабря 2014 Логика для социологов
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, лекции, 32 часов
  • • 4 сентября 2014 - 18 декабря 2014 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 2 сентября 2014 - 23 декабря 2014 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 2 сентября 2014 - 22 декабря 2014 Информатика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 5 сентября 2013 - 15 мая 2014 Информатика
    • МГУ имени М.В. Ломоносова, Высшая школа современных социальных наук
    • обязательная, базовой части, семинары, 70 часов
  • • 12 февраля 2013 - 21 мая 2013 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 3 сентября 2012 - 18 декабря 2012 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов

---