Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.
Доклад Данияра Шамканова на семинаре «Формальная философия-73»
18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».
Александр Запрягаев выступил на второй конференции Математических центров России
С 7 по 11 ноября проходила вторая конференция Математических центров России (МГУ, МИАН). Александр Запрягаев выступил с докладом «Interpretations of Büchi arithmetics in themselves» на секции «Математическая логика и теоретическая информатика».
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
Доклад Даниила Васильева на XX конференции молодых ученых в области гуманитарных и социальных наук
C 25 октября по 27 октября в Новосибирске проходила международная конференция молодых ученых в области гуманитарных и социальных наук. Стажёр-исследователь Даниил Васильев выступил с докладом «Спор о внутренних отношениях в британской философии в начале XX в.».
Презентация проекта «Логико-философский калькулятор: интерактивные модели для вычислительной философии и вычислительной семантики»
28 октября в рамках исследовательского семинара «From the Logical Point of View» прошла презентация проекта «Логико-философский калькулятор: интерактивные модели для вычислительной философии и вычислительной семантики».
Доклад Гарриса Рогоняна на семинаре "Формальная философия-72"
21 октября состоялось 72-е заседание теоретического семинара «Формальная философия», на котором Гаррис Рогонян выступил с докладом «Гегель и Витгенштейн о границах мышления».
Опубликована статья Елены Драгалиной-Черной и Елены Лисанюк
В новом выпуске журнала «Вестник Санкт-Петербургского университета. Философия и конфликтология» вышла совместная статья Елены Драгалиной-Черной и Елены Лисанюк «Непостижимая эффективность логики, или Скандал истинной индукции Фрэнсиса Бэкона».
Георгий Филатов провел ридинг-семинары, посвещенные статье А. Виссера «Об универсуме Трактата»
7 и 14 октября проходили заседания научно-исследовательского семинара «From the Logical Point of View», на которых стажер-исследователь Георгий Филатов провел ридинг-семинары, посвященные разбору статьи А. Виссера «Об униерсуме трактата»
Константин Фролов стал модератором секции «Натуралистические и ненатуралистические подходы в теории моральной ответственности» в рамках конференции Школы философии и культурологии
Секция «Натуралистические и ненатуралистические подходы в теории моральной ответственности» прошла 7-8 октября в рамках второго и третьего дня конференции. Организаторами и модераторами мероприятия выступили научный сотрудник МЛ ЛогЛинФФ НИУ ВШЭ Константин Фролов и научный сотрудник кафедры истории зарубежной философии МГУ им. Ломоносова Евгений Логинов.