Поздравляем стажеров-исследователей с поступлением на единый трек обучения «магистратура-аспирантура» 2025
Иван Пыльцын и Иван Соболев прошли на единый трек обучения «магистратура-аспирантура» 2025.
Доклад Ивана Пыльцына «Нефундированная система исчисления на примере интуиционистской и модальных логик»
15 октября на семинаре «From the Logical Point of View» стажер-исследователь МЛ ЛогЛинФФ Иван Пыльцын выступил с докладом «Нефундированная система исчисления на примере интуиционистской и модальных логик».
Стартовал научно-учебный семинар «Логическая семантика»
17 сентября состоялся первый в новом семестре научно-учебный семинар «Логическая семантика».
Доклад Рамазана Аюпова «Frege's Philosophy of Language: On the Way to Pragmatics?»
10 сентября состоялось 99-е заседание теоретического семинара «Формальная философия».
Доклад Арнольда Григоряна «Justifying Homotopical Logic Two Ways» на Международной конференции «Logic, Algebra and Truth Degrees» в Сиене (Италия)
Стажер-исследователь МЛ ЛогЛинФФ Арнольд Григорян выступил с докладом «Justifying Homotopical Logic Two Ways» на Международной конференции «Logic, Algebra and Truth Degrees» (LATD 2025), которая прошла с 21 по 25 июля 2025 года в Сиене (Италия), объединив исследователей в области математической логики, алгебры и их приложений.
Международная конференция «Формальная философия 2025»
Репортаж о Международной конференции «Формальная философия 2025».
Рамазан Аюпов выступил на семинаре «Chá das 5» Университета Кампинаса
27 июня стажер-исследователь Рамазан Аюпов выступил с докладом «Why is Frege not a Gricean?» на семинаре Университета Кампинаса.
Поздравляем Ивана Пыльцына с защитой ВКР!
Иван Пыльцын, стажер-исследователь МЛ ЛогЛинФФ, успешно защитил ВКР на тему «Обобщение интерпретации Гёделя-Тарского на уровень некомпактных расширений Int, Grz и GL, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).
Поздравляем Ивана Соболева с защитой ВКР!
10 июня стажер-исследователь МЛ ЛогЛинФФ Иван Соболев успешно защитил ВКР на тему «Проблема классификации видов лингвистического значения» (руководитель – В.В. Долгоруков).
Поздравляем Ирину Никитину с защитой магистерской диссертации!
10 июня стажер-исследователь МЛ ЛогЛинФФ Ирина Никитина успешно защитила магистерскую диссертацию «Социальное влияние, иерархия внутри группы и логики действия» (руководитель – В.В. Долгоруков).