Доклады сотрудников лаборатории на конференции "Смирновские чтения по логике"

24-26 июня в онлайн-формате прошла конференция «Двенадцатые Смирновские чтения по логике». 

В конференции приняли участие сотрудники Международной лаборатории логики, лингвистики и формальной философии. Главный научный сотрудник Елена Драгалина-Черная и ассоциированный исследователь лаборатории Елена Лисанюк выступили с докладом "Логика дизайна и истинная индукция Фрэнсиса Бэкона", заместитель заведующего лабораторией Виталий Долгоруков представил доклад "О трудностях определения потенциального знания группы", ассоциированный исследователь Ангелина Боброва выступила с докладом "Интерпретация базовых условных высказываний с позиции логики", стажер-исследователь Александр Запрягаев представил доклад "Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера", стажер-исследователь Даниил Хайтович выступил с докладом "Эпистемическая STIT-логика без типов действий", стажер-исследователь Елена Попова выступила с докладом "Знание и время: эволюционная эпистемическая модель".