Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции
Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
Итоги конкурса лучших преподавателей 2023
Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями в конкурсе 2023 года.
Михаил Смирнов успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная).
Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии
Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии (Division for Logic, Methodology and Philosophy of Science and Technology, DLMPST) Международного союза истории и философии науки и технологии (International Union of History and Philosophy of Science and Technology, IUHPST). Выборы Исполнительного комитета пройдут в июле 2023 года.
Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
Поздравляем победителей конкурса НИРС
Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)
Проект Константина Фролова "Практическая аргументация: модели и оценка" поддержан РНФ
"Задачей проекта является исследование специфики аргументации по поводу действий (практической аргументации), которая возникает в связи с тем, что среди посылок такой аргументации используются не только когнитивные установки рассуждающего агента, такие как его знания и убеждения, но и некогнитивные установки, такие как его желания и цели".
Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.