📖Рассказываем о ближайших научных событиях в области логики

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