![Доклад Константина Шишова в МИАН им. Стеклова Иллюстрация к новости: Доклад Константина Шишова в МИАН им. Стеклова](/data/2022/12/26/1717712118/3IMAGE%202022-12-26%2015%3a22%3a17.jpg)
Доклад Константина Шишова в МИАН им. Стеклова
21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".
![Елена Драгалина-Черная выступила с научными докладами в университетах Барселоны и Мадрида Иллюстрация к новости: Елена Драгалина-Черная выступила с научными докладами в университетах Барселоны и Мадрида](/data/2022/12/13/1717375683/%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202022-12-13%20%D0%B2%2015.23.36.png)
Елена Драгалина-Черная выступила с научными докладами в университетах Барселоны и Мадрида
Доклад "The Variety of Logical Hylomorphism: Formal Ontology vs Formal Deontology" был сделан в Университете Барселоны на теоретическом семинаре исследовательского проекта “Worlds and Truth Values: Challenges to Formal Semantics”. На исследовательском семинаре "Formal Philosophy" Мадридского университета Комплутенсе Елена Драгалина-Черная сделала доклад "The House that Carroll Built: Regress and Adoption in Formal Grounding".
![Презентация результатов проекта «Логика в лаборатории: модели для психологии рассуждений» Иллюстрация к новости: Презентация результатов проекта «Логика в лаборатории: модели для психологии рассуждений»](/data/2022/12/11/1717494913/3IMAGE%202022-12-11%2020%3a19%3a50.jpg)
Презентация результатов проекта «Логика в лаборатории: модели для психологии рассуждений»
9 декабря на заседании научно-исследовательского семинара «From the Logical Point of View» Владислав Аксиотис, Елена Попова и Вероника Пригоркина выступили с докладом «Логика в лаборатории: анализ рассуждений с применением modus ponens», на котором были представлены результаты исследовательской работы в рамках конкурса командных исследовательских проектов студентов «Научная инициатива».
![Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта Иллюстрация к новости: Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта](/data/2022/12/06/1713442087/1IMAGE%202022-12-06%2010%3a24%3a33.jpg)
Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта
1-3 декабря в Калининграде проходила международная конференция "HOMO LOQUENS", на которой сотрудники МЛ ЛогЛинФФ выступили с докладами.
Проект Константина Фролова "Практическая аргументация: модели и оценка" поддержан РНФ
"Задачей проекта является исследование специфики аргументации по поводу действий (практической аргументации), которая возникает в связи с тем, что среди посылок такой аргументации используются не только когнитивные установки рассуждающего агента, такие как его знания и убеждения, но и некогнитивные установки, такие как его желания и цели".
![Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories" Иллюстрация к новости: Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"](/data/2022/12/06/1713442227/4%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202022-11-25%20%D0%B2%2016.28.13.png)
Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.
![Доклад Данияра Шамканова на семинаре «Формальная философия-73» Иллюстрация к новости: Доклад Данияра Шамканова на семинаре «Формальная философия-73»](/data/2022/11/20/1712604164/3Screenshot_2.png)
Доклад Данияра Шамканова на семинаре «Формальная философия-73»
18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».
![Александр Запрягаев выступил на второй конференции Математических центров России Иллюстрация к новости: Александр Запрягаев выступил на второй конференции Математических центров России](/data/2022/11/11/1727954120/3IMAGE%202022-11-11%2020%3a34%3a43.jpg)
Александр Запрягаев выступил на второй конференции Математических центров России
С 7 по 11 ноября проходила вторая конференция Математических центров России (МГУ, МИАН). Александр Запрягаев выступил с докладом «Interpretations of Büchi arithmetics in themselves» на секции «Математическая логика и теоретическая информатика».
![Формальная философия 2022 Иллюстрация к новости: Формальная философия 2022](/data/2022/11/08/1724381134/1IMG_20221031_185513.jpeg)
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
Доклад Даниила Васильева на XX конференции молодых ученых в области гуманитарных и социальных наук
C 25 октября по 27 октября в Новосибирске проходила международная конференция молодых ученых в области гуманитарных и социальных наук. Стажёр-исследователь Даниил Васильев выступил с докладом «Спор о внутренних отношениях в британской философии в начале XX в.».