Доклад Арнольда Григоряна «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 июня стажер-исследователь МЛ ЛогЛинФФ Ирина Никитина успешно защитила магистерскую диссертацию «Социальное влияние, иерархия внутри группы и логики действия» (руководитель – В.В. Долгоруков).
Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
Стажер-исследователь МЛ ЛогЛинФФ Юлия Копчева выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 6 июня.
Доклад Ивана Пыльцына на семинаре «Современные проблемы математической логики» в ВШЭ
6 июня Иван Пыльцын выступил с докладом «Нефундированное расширение интуиционистской логики и игровая семантика Межирова» на семинаре математического факультета НИУ ВШЭ.
Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
Стажер-исследователь МЛ ЛогЛинФФ Юрий Казаков выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 30 мая.
Доклад Ивана Соболева «Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса»
Стажер исследователь МЛ ЛогЛинФФ Иван Соболев выступил с докладом на теоретическом семинаре «Формальная философия», который прошел 23 мая.