Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
Стажер исследователь МЛ ЛогЛинФФ Юрий Казаков выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 30 мая.
Доклады сотрудников МЛ ЛогЛинФФ на международной конференции «uAnalytiCon-2025»
С 22 по 24 мая прошли научные конференции «uAnalytiCon Junior» и «uAnalytiCon-2025: Фикциональные объекты», на котором сотрудники МЛ ЛогЛинФФ представили свои доклады.
Доклад Ивана Соболева «Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса»
Стажер исследователь МЛ ЛогЛинФФ Иван Соболев выступил с докладом на теоретическом семинаре «Формальная философия», который прошел 23 мая.
Доклады стажеров-исследователей МЛ ЛогЛинФФ на XXI Бразильской Логической Конференции
с 9 по 16 мая в городах Сан-Паулу и Серра Негра (Бразилия) прошли школа по логике и XXI Бразильская Логическая Конференция, в которой приняли участие стажеры-исследователи Рамазан Аюпов и Елена Попова.
Доклад Пирмина Штекелера-Вайтхофера "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals"
16 мая на семинаре «Формальная философия» Пирмин Штекелер-Вайтхофер (Лейпцигский университет) выступил с докладом "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals".
Доклад Александра Поддьякова на семинаре «Формальная философия»
25 апреля на семинаре «Формальная философия» ведущий научный сотрудник МЛ ЛогЛинФФ Александр Поддьяков выступил с докладом «Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...».
Доклад Рамазана Аюпова на семинаре «Современные проблемы математической логики» ВШЭ
25 апреля Рамазан Аюпов выступил с докладом «Логика каузальной импликации Р. Сильвана — Н. да Косты» на научном семинаре «Современные проблемы математической логики» в ВШЭ.
Доклад Ирины Никитиной на заседании семинара ИФ РАН «Современная аналитическая философия»
24 апреля Ирина Никитина выступила на заседании семинара Института философии РАН «Современная аналитическая философия» с докладом «Формализовывать или не формализовывать, вот в чём вопрос: формальные методы в философии».
Опубликована статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+»
В журнале «Известия Российской академии наук. Серия математическая» вышла статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+».
Предзащита докторской диссертации Михаила Рыбакова
23 апреля на логическом семинаре лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) прошла предзащита докторской диссертации Михаила Рыбакова «Моделирование логических систем средствами их фрагментов».