Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ
Прошел первый ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
Елена Драгалина-Черная выступила с докладом на пятом международном конгрессе «Tools for Teaching Logic» в Мадриде
Елена Драгалина-Черная выступила с докладом "When the Form Matters: The Unreasonable Effectiveness of Logic in Formal Philosophy" на пятом международном конгрессе «Tools for Teaching Logic», который прошел в Университете Комплутенсе в Мадриде 23-24 марта 2023.
Презентация книги «Формальная философия аргументации»
10 марта на научно теоретическом семинаре «Формальная философия» состоялась презентация книги «Формальная философия аргументации».
В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной
В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной профессору университета Unicamp (Кампинас, Бразилия) Вальтеру Карниелли, председателю консультативного комитета летней школы по логике, рациональности и информации SP LogIC. Интервью посвящено истории и актуальным перспективам развития логики.