📖Интервью с новым академическим руководителем программы Владимиром Селивёрстовым

📌Мы поговорили с выпускником и нынешним академическим руководителем «Философии». Владимир Валерьевич рассказал о своём профессиональном пути, начавшемся с первого набора факультета по философии в 2004 году, научных интересах и видении о дальнейшем развитии программы.

📎Читайте интервью здесь!

#нашипреподаватели

📖Заседание теоретического семинара «Формальная философия»

👤 Доклад по теме «Frege's Philosophy of Language: On the Way to Pragmatics?» представит Рамазан Аюпов, стажёр-исследователь Международной лаборатории логики, лингвистики и формальной философии.

📌В докладе будет рассмотрена дискуссия между учёными, изучающими Фреге, о наличии прагматических элементов в его философии языка. Главный вопрос заключается в следующем: насколько обоснованы аргументы в пользу присутствия прагматики в философии языка Фреге?

📎Мероприятие пройдёт 10 сентября в 18:30 в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom. Для участия необходимо зарегистрироваться по ссылке.

#МЛогЛингФФ@philosnote

📚 Заседание научно-учебного семинара «Математическая логика и теория категорий»

👤 Доклад по теме «The consistency of Peano Arithmetic PA is provable in PA, after all» предствит Сергей Артёмов, профессор Центра аспирантуры Городского университета Нью-Йорка.

📌В ходе доклада будет показано, что известная формула непротиворечивости Con(PA) для арифметики Пеано PA, гласящая «не существует x, который являлся бы кодом вывода формулы (0=1)», строго сильнее в самой системе PA, чем утверждение «PA непротиворечива». Также будет обсуждаться потенциальное влияние этих результатов на основы математики и теорию познания.

📌 Мероприятие пройдёт 13 сентября в 17:00 в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom. Для участия необходимо зарегистрироваться по ссылке.

#МЛогЛингФФ@philosnote