Репортаж об осенней школе «Логика и формальная философия 2024»
С 28 октября по 1 ноября в Международной лаборатории логики, лингвистики и формальной философии проходила осенняя школа «Логика и формальная философия 2024».
Завершилась осенняя школа «Логика и формальная философия»
Фоторепортаж с последнего дня школы.
Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.
Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.
Второй день осенней школы «Логика и формальная философия»
Кросс-мировая предикация, теория игр и ситуационная семантика.
Началась осенняя школа «Логика и формальная философия»
Школа будет проходить в рамках проекта международного академического сотрудничества МЛ ЛогЛинФФ и Центра логики, эпистемологии и истории науки Университета Кампинас.
Доклад стажёра-исследователя Максима Евстигнеева
18 октября стажёр-исследователь МЛ ЛогЛинФФ Максим Евстигнеев выступил с докладом «Я. Хинтикка и кантовская философия математики» на заседании теоретического семинара «Формальная философия».
Доклад Луи Поль Дж. Вервурта «Gettier's problem and Quine's epistemic holism: a unified account»
11 октября Луи Поль Дж. Вервурт (НИУ ВШЭ) выступил с докладом «Gettier's problem and Quine's epistemic holism: a unified account» на заседании теоретического семинара «Формальная философия».
Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»
4 октября Арнольд Григорян (НИУ ВШЭ) выступил с докладом «Унивалентные основания и конструктивная теория типов» на научном семинаре лаборатории «From the Logical Point of View».
Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)
С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).