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

Наука

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

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

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

Иллюстрация к новости: Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»

Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»

Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.

Иллюстрация к новости: Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»

Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»

Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.

Иллюстрация к новости: Доклады Степана Кузнецова на семинаре «Формальная философия-78»

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».

Доклады стажеров-исследователей МЛ ЛогЛинФФ на конференции молодых исследователей «Terra hominis»

27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады. 

Иллюстрация к новости: Доклад Константина Шишова на семинаре From the Logical Point of View

Доклад Константина Шишова на семинаре From the Logical Point of View

28 апреля состоялось заседание научно-исследовательского семинара «From the Logical Point of View», Константин Шишов выступил с докладом «Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова».

Иллюстрация к новости: Доклад Елены Драгалиной-Чёрной на семинаре «Мышление, язык, сознание»

Доклад Елены Драгалиной-Чёрной на семинаре «Мышление, язык, сознание»

Елена Драгалина-Черная выступила с докладом «"Контрпримеры" modus ponens: дедуктивная корректность vs эпистемическая рациональность» на семинаре «Мышление, язык, сознание», который проводится в рамках деятельности Междисциплинарной  научно-образовательной школы МГУ им. М.В. Ломоносова «Мозг, когнитивные системы, искусственный интеллект».

Иллюстрация к новости: Состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию МЛ ЛогЛинФФ

Состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию МЛ ЛогЛинФФ

21 апреля состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию Международной лаборатории логики, лингвистики и формальной философии.

Иллюстрация к новости: Доклад Елены Поповой на семинаре «Современные проблемы математической логики»

Доклад Елены Поповой на семинаре «Современные проблемы математической логики»

21 апреля Елена Попова выступила с докладом на семинаре математического факультета НИУ ВШЭ «Современные проблемы математической логики» с докладом «Подходы к решению проблемы логического всеведения в эпистемической логике».

Иллюстрация к новости: Доклад Тихона Пшеницына «Фокус в естественных языках и исчисление Ламбека» на семинаре МЛ ЛогЛинФФ

Доклад Тихона Пшеницына «Фокус в естественных языках и исчисление Ламбека» на семинаре МЛ ЛогЛинФФ

14 апреля состоялось очередное заседание научно-исследовательского семинара From the Logical Point of View, на котором Тихон Пшеницын (мехмат МГУ) сделал доклад «Фокус в естественных языках и исчисление Ламбека».