Лаборатории - 3 года!
16 апреля состоялся круглый стол, приуроченный к трехлетию Международной лаборатории логики, лингвистики и формальной философии.
Доклад Владимира Васюкова на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем"
8 апреля ведущий научный сотрудник МЛ ЛогЛинФФ Владимир Васюков выступил с докладом "Квантовая логика" на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем".
Доклад Якуба Гомулки и Адама Романа на научно-теоретическом семинаре "Формальная философия"
24 марта в рамках научно-теоретического семинара "Формальная философия" состоялся доклад Якуба Гомулки (профессор, Институт философии и социологии, Педагогический Университет, Краков) и Адама Романа (профессор, Институт компьютерных наук и вычислительной математики, Ягеллонский Университет, Краков), посвящённый функции истинности, заданной в шестом афоризме Логико-философского трактата.
Опубликована статья Виталия Долгорукова и Веры Шумилиной
В журнале "Эпистемология и философия науки" опубликована статья Виталия Долгорукова и Веры Шумилиной "Что такое формальная философия?"
Доклад Натальи Зевахиной на ежегодной конференции Немецкого лингвистического общества
25 февраля Наталья Зевахина, старший научный сотрудник МЛ логики, лингвистики и формальной философии, выступила с докладом "Veridicality and cause-effect relation inindicative and subjunctive conditionals" на воркшопе "The semantics and pragmatics of conditional connectives" в рамках 43-й ежегодной конференции Немецкого лингвистического общества (DGfS), организованной Фрайбургским университетом, с 24 по 26 февраля 2021 года онлайн.
Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"
19 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.
Стартовала запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии»
Для студентов ВШЭ открыта запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии». В рамках стажировки планируется организация регулярных семинаров лаборатории и проведение исследований по тематике Международной лаборатории логики, лингвистики и формальной философии.
Опубликована статья Александра Запрягаева
В журнале "Journal of Logic and Computation" опубликована статья Фёдора Пахомова и Александра Запрягаева "Multi-dimensional Interpretations of Presburger Arithmetic in Itself".

Эксперименты на стыке лингвистики и логики
Продолжаем представление победителей весеннего конкурса проектных групп. О проекте «Эксперименты на стыке лингвистики и логики» рассказывает доцент Школы лингвистики Наталья Зевахина.