Доклады сотрудников лаборатории на конференции uAnalytiCon-2021
14-15 мая в Екатеринбурге в смешанном формате прошла Международная научная конференция uAnalytiCon-2021: Контекстуализм, знание и истина, организованная Уральским федеральным университетом имени первого Президента России Б.Н. Ельцина.
Доклад Евгения Золина на объединенном семинаре "Модальная и алгебраическая логика" и "Логические методы в информатике"
29 апреля старший научный сотрудник МЛ ЛогЛинФФ Евгений Золин выступил с докладом "Модальные формулы Янкова – Файна и их применения" в рамках объединенного семинара "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ.
Доклад Якуба Гомулки и Адама Романа на научно-теоретическом семинаре "Формальная философия"
24 марта в рамках научно-теоретического семинара "Формальная философия" состоялся доклад Якуба Гомулки (профессор, Институт философии и социологии, Педагогический Университет, Краков) и Адама Романа (профессор, Институт компьютерных наук и вычислительной математики, Ягеллонский Университет, Краков), посвящённый функции истинности, заданной в шестом афоризме Логико-философского трактата.
Доклад Натальи Зевахиной на ежегодной конференции Немецкого лингвистического общества
25 февраля Наталья Зевахина, старший научный сотрудник МЛ логики, лингвистики и формальной философии, выступила с докладом "Veridicality and cause-effect relation inindicative and subjunctive conditionals" на воркшопе "The semantics and pragmatics of conditional connectives" в рамках 43-й ежегодной конференции Немецкого лингвистического общества (DGfS), организованной Фрайбургским университетом, с 24 по 26 февраля 2021 года онлайн.
Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"
19 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.
Формальная философия 2020
16-18 ноября состоялась Международная конференция "Формальная философия – 2020", организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Доклад Александра Запрягаева на научно-исследовательском семинаре "Современные проблемы математики"
6 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.
Третий воркшоп по семантике и прагматике
В период с 7 по 8 октября 2020 г. в Высшей Школе Экономики прошла Третья международная конференция по семантике и прагматике «HSE Semantics & Pragmatics Workshop». Из цикла воркшопов HSE SemPrag, проводимых каждые два года, это была первая конференция, проведенная в онлайн-режиме в связи с коронавирусом (Covid-19). Событие было организовано Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ совместно со Школой Лингвистики НИУ ВШЭ в Москве. Основная тематика конференции — логический, лингвистический и философский анализ проблем семантики и прагматики естественного языка.
Доклад Натальи Зевахиной и Вероники Пригоркиной на конференции по экспериментальной лингвистике
14 октября состоялся доклад Натальи Зевахиной и Вероники Пригоркиной на Одиннадцатой международной конференции по экспериментальной лингвистике.
Доклад Андрея Родина "Конструктивная формальная архитектура для научных теорий"
13 октября состоялся доклад Андрея Родина "Конструктивная формальная архитектура для научных теорий" в рамках Всероссийского воркшопа «Актуальные проблемы логики и философии науки».