Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики» на матфаке ВШЭ
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий» на семинаре «Современные проблемы математической логики» на матфаке ВШЭ.
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
Доклад Ивана Рыгаева «Семантико-прагматический подход к синтаксическим структурам»
8 декабря состоялось заседание исследовательского семинара «From the Logical Point of View», на котором Иван Рыгаев (Институт проблем передачи информации РАН) выступил с докладом: «Семантико-прагматический подход к синтаксическим структурам».
Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)
Стажер-исследователь Иван Пыльцын выступил с докладом «First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.
Григорий Золотков успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Григория Золоткова с успешной защитой кандидатской диссертации на тему «Природа философии и ее истолкование в витгенштейнианстве: школа Суонси» (научный руководитель: Л.Б. Макеева).
Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»
1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Модальный взгляд: теодицея и проблема божественного детерминизма» на исследовательском семинаре «From the Logical Point of View».
Опубликована статья стажера-исследователя Ивана Соболева
В журнале «Эпистемология и философия науки» опубликована статья стажера-исследователя Ивана Соболева «Критерии различия пресуппозиций и конвенциональных импликатур».
Доклад Анны Моисеевой «Две тематически чувствительные логики для описания ограниченной рациональности: логика EUL и логика эффектов фрейминга. Их особенности, сходства и различия»
24 ноября научный сотрудник МЛ ЛогЛинФФ Анна Моисеева выступила с докладом на исследовательском семинаре «From the Logical Point of View».
Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «О сильной эквивалентности арифметики Пеано и теории конечных множеств» на исследовательском семинаре "From the Logical Point of View".
Формальная философия: Станислав Сперанский с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах»
27 октября и 3 ноября прошли заседания теоретического семинара «Формальная философия», на которых Станислав Сперанский (Математический институт им. В.А. Стеклова РАН) выступил с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах».