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

Новости

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

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

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

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

Иван Пыльцын выступил с докладом на семинаре «Современные проблемы математической логики»

24 марта и 7 апреля Иван Пыльцын сделал 2 доклада «Игровая семантика Межирова для интуиционистской логики» и «Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)» на семинаре «Современные проблемы математической логики». 

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

Доклад Ирины Никитиной на семинаре From the Logical Point of View

7 апреля в 19:30 состоялось заседание научно-исследовательского семинара «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.

Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ

Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!

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

Доклад Даниила Васильева на семинаре From the Logical Point of View

17 марта на научно-исследовательском семинаре «From the Logical Point of View» стажер-исследователь Даниил Васильев выступил с докладом «Формальная семантика падежных форм в русском языке».

Иллюстрация к новости: Доклад Елены Поповой в МИАН им. Стеклова

Доклад Елены Поповой в МИАН им. Стеклова

15 марта в МИАН состоялся семинар «Логические и алгебраические методы в языкознании», на котором Елена Попова выступила с докладом «Динамическая эпистемическая логика как инструмент анализа прагматических явлений».

Иллюстрация к новости: Презентация книги «Формальная философия аргументации»

Презентация книги «Формальная философия аргументации»

10 марта на научно теоретическом семинаре «Формальная философия» состоялась презентация книги «Формальная философия аргументации».

Иллюстрация к новости: В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной

В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной

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

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

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

Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.