Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «О сильной эквивалентности арифметики Пеано и теории конечных множеств» на исследовательском семинаре "From the Logical Point of View".
Формальная философия: Станислав Сперанский с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах»
27 октября и 3 ноября прошли заседания теоретического семинара «Формальная философия», на которых Станислав Сперанский (Математический институт им. В.А. Стеклова РАН) выступил с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах».
Доклад Григория Золоткова на научно-исследовательском семинаре «From the Logical Point of View»
20 октября состоялся доклад Григория Золоткова «Об основных направлениях рецепции философии Витгенштейна в витгенштейнианстве» на научно-исследовательском семинаре «From the Logical Point of View».
Доклад Александра Запрягаева на Третьей Конференции математических центров в Майкопе
Стажер-исследователь МЛ ЛогЛинФФ, Александр Запрягаев, выступил с докладом «Линейные порядки, интерпретируемые в арифметике Пресбургера» на Третьей Конференции математических центров, которая проходила в Майкопе с 10 по 15 октября.
Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Прошел первый день международной конференции «Формальная философия 2023»
11 октября началась 6-я ежегодная Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023».
Доклад Елены Драгалиной-Черной на Онтологическом Конгрессе в Испании
Елена Драгалина-Черная выступила с докладом «Goal-Rationality vs Rule-Rationality for ‘Logical Aliens’" на XV Онтологическом Конгрессе (XV International Ontology Congress), который прошел с 3 по 7 октября в Университете Страны Басков (Сан Себастьян, Испания) под патронажем Юнеско.
Доклад Ивана Соболева «Таксономия типов подразумеваемого значения»
6 октября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором стажер-исследователь Иван Соболев выступил с докладом «Таксономия типов подразумеваемого значения».
Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции
Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).
Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».