Доклад Сергея Одинцова «Модальная логика Мойсила и родственные системы»
Сергей Одинцов, ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН, выступил с докладом «Модальная логика Мойсила и родственные системы» на семинаре «Формальная философия», который прошел 27 июня.
Второй день конференции «Формальная философия 2025»
Фоторепортаж со второго дня конференции.
Как прошел первый день конференции «Формальная философия 2025»
Началась международная конференция «Формальная философия 2025».
Доклад Дарьи Поповой «Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции»
Дарья Попова, научный сотрудник МЛ ЛогЛинФФ, выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 13 июня.
Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
Стажер-исследователь МЛ ЛогЛинФФ Юлия Копчева выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 6 июня.
Доклад Ивана Пыльцына на семинаре «Современные проблемы математической логики» в ВШЭ
6 июня Иван Пыльцын выступил с докладом «Нефундированное расширение интуиционистской логики и игровая семантика Межирова» на семинаре математического факультета НИУ ВШЭ.
Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
Стажер-исследователь МЛ ЛогЛинФФ Юрий Казаков выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 30 мая.
Доклад Ивана Соболева «Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса»
Стажер исследователь МЛ ЛогЛинФФ Иван Соболев выступил с докладом на теоретическом семинаре «Формальная философия», который прошел 23 мая.
Доклады стажеров-исследователей МЛ ЛогЛинФФ на XXI Бразильской Логической Конференции
с 9 по 16 мая в городах Сан-Паулу и Серра Негра (Бразилия) прошли школа по логике и XXI Бразильская Логическая Конференция, в которой приняли участие стажеры-исследователи Рамазан Аюпов и Елена Попова.