Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.
Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.
Второй день осенней школы «Логика и формальная философия»
Кросс-мировая предикация, теория игр и ситуационная семантика.
Началась осенняя школа «Логика и формальная философия»
Школа будет проходить в рамках проекта международного академического сотрудничества МЛ ЛогЛинФФ и Центра логики, эпистемологии и истории науки Университета Кампинас.
Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»
4 октября Арнольд Григорян (НИУ ВШЭ) выступил с докладом «Унивалентные основания и конструктивная теория типов» на научном семинаре лаборатории «From the Logical Point of View».
Доклад стажера-исследователя Юрия Казакова
27 сентября Юрий Казаков выступил с докладом «Динамические эпистемические подходы к решению парадокса неожиданного экзамена» на научном семинаре лаборатории «From the Logical Point of View».
Доклад Павла Астафьева на семинаре «From the Logical Point of View»
20 сентября Павел Астафьев выступил с докладом «Дизъюнкция в естественном языке, эксклюзивность и альтернативные вопросы».
Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»
Иван Пыльцын выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 13 сентября.
Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)
С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).
Поздравляем Елену Попову с защитой магистерской диссертации!
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).