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

👤 Доклад по теме «Анализ аналитичности в философии математики Хинтикки и теории типов Мартина-Лёфа» представит Рамазан Аюпов, стажёр-исследователь МЛ ЛогЛинФФ.

📌Доклад посвящён вопросу о том, возможна ли такая трактовка аналитичности, которая не подпадает под действие критики, предложенной Уиллардом Куайном в статье «Две догмы эмпиризма». Основной тезис доклада состоит в том, что вычислительный критерий аналитичности, предложенный Бруно Бентценом в рамках интуиционистской теории типов, может рассматриваться как самостоятельный смысл аналитичности, дополняющий типологию Хинтикки.

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

#МЛогЛингФФ@philosnote
#полезныематериалы@philosnote