Доклад Елены Поповой "Логика намерения KD45"

Елена Попова
стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии
выступит с докладом:

"Логика намерения KD45"

Аннотация:

Доклад будет посвящен проблеме дефиниции намерения и определению его свойств. Основная задача – доказать, что намерение не редуцируется к ментальному состоянию, и показать преимущества такого подхода. В докладе будут рассмотрены преимущественно долгосрочные намерения, которые агент формирует относительно действий в будущем. Интенции относительно будущих действий сравниваются с долгосрочным планом, который осуществляется на этапе подготовки, обособленном от процесса действия. Кроме того, с помощью сравнительного анализа выделяются ключевые характеристики намерения, которые имеют сходства со специфической формой обязательства – обещанием самому себе. Инструментом формальной экспликации намерения выбрана модальная логика KD45. Она позволяет формализовать основные свойства намерения и вывести его основные законы: редукцию интенций высших уровней к первому и недопущение интенционального парадокса Мура, когда агент намеревается создать намерение поступать определенным образом, но не намеревается осуществлять это действие.

Zoom
Идентификатор конференции: 951 6621 6579

Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru