Доклады сотрудников лаборатории на конференции uAnalytiCon-2021
14-15 мая в Екатеринбурге в смешанном формате прошла Международная научная конференция uAnalytiCon-2021: Контекстуализм, знание и истина, организованная Уральским федеральным университетом имени первого Президента России Б.Н. Ельцина.
Доклад Евгения Золина на объединенном семинаре "Модальная и алгебраическая логика" и "Логические методы в информатике"
29 апреля старший научный сотрудник МЛ ЛогЛинФФ Евгений Золин выступил с докладом "Модальные формулы Янкова – Файна и их применения" в рамках объединенного семинара "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ.
Лаборатории - 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 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.
Стартовала запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии»
Для студентов ВШЭ открыта запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии». В рамках стажировки планируется организация регулярных семинаров лаборатории и проведение исследований по тематике Международной лаборатории логики, лингвистики и формальной философии.