Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»
1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Модальный взгляд: теодицея и проблема божественного детерминизма» на исследовательском семинаре «From the Logical Point of View».
Ридинг-семинар «Analytics» по статье Тимоти Уильямсона «A risky challenge for intransitive preferences»
25 ноября прошла встреча ридинг-семинара «Analytics», которая была посвящена обсуждению статьи Тимоти Уильямсона «A risky challenge for intransitive preferences»
Прошла вторая встреча ридинг-семинара МЛ ЛогЛинФФ «Analytics»
18 ноября прошел второй ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «О сильной эквивалентности арифметики Пеано и теории конечных множеств» на исследовательском семинаре "From the Logical Point of View".
Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ
Прошел первый ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Формальная философия: Станислав Сперанский с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах»
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».