Весенняя школа «Логика, лингвистика и формальная философия»
С 23 по 28 марта проходила весенняя школа «Логика, лингвистика и формальная философия».
Завершилась весенняя школа «Логика, лингвистика и формальная философия»
Фоторепортаж с финального дня весенней школы.
Третий день весенней школы
Завершился третий день весенней школы «Логика, лингвистика и формальная философия».
Доклад Виталия Рассказова «Трансцендентальные аргументы, скептицизм и шарнирная эпистемология»
18 февраля прошло 112-е заседание научно-теоретического семинара «Формальная философия», на котором выступил студент ШФиК НИУ ВШЭ Виталий Рассказов.
Доклад Юрия Казакова «Структурная теория доказательств на службе у формальной эпистемологии»
3 декабря прошло заседание научно-исследовательского семинара «From the Logical Point of View».
Поздравляем стажеров-исследователей с поступлением на единый трек обучения «магистратура-аспирантура» 2025
Иван Пыльцын и Иван Соболев прошли на единый трек обучения «магистратура-аспирантура» 2025.
Доклад Ивана Пыльцына «Нефундированная система исчисления на примере интуиционистской и модальных логик»
15 октября на семинаре «From the Logical Point of View» стажер-исследователь МЛ ЛогЛинФФ Иван Пыльцын выступил с докладом «Нефундированная система исчисления на примере интуиционистской и модальных логик».
Стартовал научно-учебный семинар «Логическая семантика»
17 сентября состоялся первый в новом семестре научно-учебный семинар «Логическая семантика».