📖Рассказываем о ближайших научных событиях в области логики1️⃣ Заседание научно-исследовательского семинара «From the Logical Point of View»
👤 Доклад по теме «Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств (часть 2)» представит
Игорь Зайцев, стажёр-исследователь
Международной лаборатории логики, лингвистики и формальной философии.📌Во второй части
доклада будут обсуждаться как семантические модели, включая биреляционные, так и различные аксиоматические исчисления. В заключении также будут приведены собственные результаты докладчика, включая новые аксиоматические системы и ограничения для кондиционального отношения достижимости.
📌 Мероприятие пройдёт
1 октября в 18:10 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходимо зарегистрироваться по
ссылке.
2️⃣ Заседание научно-учебного семинара «Математическая логика и теория категорий»
👤 Доклад по теме «Actual Causality: A Survey» представит
Джозеф Халперн, профессор кафедры информатики Корнельского университета.
📌В ходе
доклада будет рассмотрена проблема определения фактической причинности и предложенный в 2001 году подход на основе структурных уравнений, который затем был расширен для анализа понятий «ответственность» и «вина». Профессор расскажет об основных результатах исследований последних 15 лет и их применении в различных областях.
📌 Семинар пройдёт
4 октября в 18:00 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходимо зарегистрироваться по
ссылке.#МЛогЛингФФ@philosnote 