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