Прошел первый день международной конференции «Формальная философия 2023»
11 октября началась 6-я ежегодная Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023».
Доклад Елены Драгалиной-Черной на Онтологическом Конгрессе в Испании
Елена Драгалина-Черная выступила с докладом «Goal-Rationality vs Rule-Rationality for ‘Logical Aliens’" на XV Онтологическом Конгрессе (XV International Ontology Congress), который прошел с 3 по 7 октября в Университете Страны Басков (Сан Себастьян, Испания) под патронажем Юнеско.
Доклад Ивана Соболева «Таксономия типов подразумеваемого значения»
6 октября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором стажер-исследователь Иван Соболев выступил с докладом «Таксономия типов подразумеваемого значения».
Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции
Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).
Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».
Хорхе Луис Мендес Мартинес выступил с докладом на международном междисциплинарном коллоквиуме по антропологии звука
Хорхе Луис Мендес Мартинес представил доклад "¿Cognición extendida? La escritura e imaginación musical como prótesis o como extensión de la cognición auditiva" на международном междисциплинарном коллоквиуме по антропологии звука в Национальном автономном университете Мексики.
Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»
22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».
Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ
15 сентября Наталья Зевахина выступила с докладом «Избыточная спецификация количества и цвета в референциальный коммуникации» на семинаре лаборатории «From the Logical Point of View».
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).