Выступление Михаила Смирнова на международном конгрессе по логике "UNILOG-8" (Куско, Перу)
9 декабря научный сотрудник МЛ ЛогЛинФФ Михаил Смирнов выступил с докладом на международном конгрессе по логике UNILOG-8, прошедшем в г. Куско (Перу). Доклад на тему ‘Frege as a Cartesian’ («Фреге как картезианец») состоялся в рамках воркшопа ‘Frege and Beyond’, приуроченного к 100-летию со смерти Готлоба Фреге.
Итоги конкурса НИРС
Поздравляем стажёров-исследователей и их научных руководителей с победой в конкурсе НИРС!
Доклад Веры Шумилиной «Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений»
17 декабря состоялось 107-е заседание научно-теоретического семинара «Формальная философия».
Сайянтан Рой выступил на семинаре Логического центра ИФ РАН
11 декабря 2025 Сайянтан Рой выступил с докладом «Об абстрактной паранепротиворечивости» на семинаре Логического центра ИФ РАН.
Доклад Анастасии Оноприенко «Алгоритмическая сложность кооперативной игры "Ханаби"»
10 декабря прошло заседание научно-исследовательского семинара «From the Logical Point of View».
Доклад Юрия Казакова «Структурная теория доказательств на службе у формальной эпистемологии»
3 декабря прошло заседание научно-исследовательского семинара «From the Logical Point of View».
Георгий Филатов о Витгенштейне в РГГУ
Георгий Филатов выступил с докладом «Чтение "Логико-философского трактата" Л. Витгенштейна сквозь призму холистской и атомистической интерпретаций» на семинаре «Кинофильмы мысли и возможные миры» в РГУУ.
Елена Драгалина-Черная в гостях у «Научного сеанса»
Е.Г. Драгалина-Черная дала интервью подкасту Центра академического развития студентов НИУ ВШЭ «Научный сеанс».
Поздравляем Михаила Рыбакова с защитой докторской диссертации
20 ноября Михаил Рыбаков защитил докторскую диссертацию на тему «Моделирование логических систем средствами их фрагментов».
Жозе да Мата (SBL, Бразильское общество логики) выступил с докладом «Модальность и время у Аристотеля»
26 ноября состоялось 106-е заседание научно-теоретического семинара «Формальная философия».