«Онтологический квадрат» и теоретико-типовая семантика
Статья «"Онтологический квадрат" и теоретико-типовая семантика» Виталия Долгорукова и Анастасии Копыловой опкбликована в журнале «Логические исследования» (Логические исследования. 2018. Т. 24. № 2. С. 36-58).
Формальная философия-44: доклад Виталия Долгорукова
22 марта 2018 г. состоялось 44-е заседание теоретического семинара «Формальная философия», в рамках которого В.В. Долгоруков выступил с докладом «Онтологический квадрат и теоретико-типовая семантика».
Семинар "Композициональность и контекстуальность"
28 октября состоялся воркшоп "Композициональность и контекстуальность", организованный НУГ "Формальная философия". Предлагаем вашему вниманию репортаж!
Теория игр и эпистемическая логика–2
26 апреля состоялся очередной семинар, посвященный основам теории игр.
"An Epistemic Taxonomy of Assertions": доклад Виталия Долгорукова
Преподаватель школы философии Виталий Долгоруков выступил на семинаре «The HSE Philosophy Colloquium» с докладом на тему: «An Epistemic Taxonomy of Assertions».
Состоялось награждение по итогам конкурса НИРС
Участники НУГ Михаил Смирнов и Анастасия Буянова под руководством Виталия Долгорукова стали призерами конкурса.
«Чумазые дети» и другие классические задачи динамической эпистемической логики: доклад Виталия Долгорукова
1 февраля на очередной встрече Логико-философского клуба Виталий Долгоруков рассказал о методах динамической эпистемической логики и их применении к широкому кругу логических задач и философских парадоксов
International Workshop "The Bounds of Logic Reloaded"
20 и 21 октября в НИУ ВШЭ состоялся международный воркшоп «Границы логики: перезагрузка» ("The Bounds of Logic Reloaded"), организованный Школой философии, Лабораторией философских исследований и научно-учебной группой «Формальная философия».
HSE Semantics & Pragmatics Workshop
30 сентября и 1 октября в НИУ ВШЭ состоялся международный воркшоп по семантике и прагматике (HSE Semantics & Pragmatics Workshop), организованный Школой лингвистики, Школой философии и научно-учебной группой «Формальная философия».