• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «идеи и опыт»

Иллюстрация к новости: Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Прошел первый ридинг-семинар «Analytics»‎ от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ. 

Иллюстрация к новости: Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»

Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»

Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.

Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»

Доклад Ивана Пыльцына «Введение в арифметику Пеано»

22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».

Иллюстрация к новости: Прошла летняя школа «Логика и формальная философия 2023»

Прошла летняя школа «Логика и формальная философия 2023»

Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.

Иллюстрация к новости: Началась летняя школа «Логика и формальная философия 2023»

Началась летняя школа «Логика и формальная философия 2023»

Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории. 

Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».

Иллюстрация к новости: Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».

Иллюстрация к новости: Елена Драгалина-Черная выступила с докладом на пятом международном конгрессе «Tools for Teaching Logic» в Мадриде

Елена Драгалина-Черная выступила с докладом на пятом международном конгрессе «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 опубликовано интервью Елены Драгалиной-Черной

В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной профессору  университета Unicamp (Кампинас, Бразилия) Вальтеру Карниелли, председателю консультативного комитета летней школы по логике, рациональности и информации SP LogIC. Интервью посвящено истории и актуальным перспективам развития логики.


12