Доклад Даниила Хайтовича "Формальные модели ответственности в stit логике и расширениях"
29 апреля в 16.40 состоится онлайн-заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Формальные модели ответственности в stit логике и расширениях"
Аннотация:
Вопрос о том, как мы можем приписать моральную ответственность лицам за их действия и можем ли вообще — один из наиболее заметных для нормативной этики, метаэтики, философии права. Языки современных логик агентности (ATL, stit-логика, коалиционная логика) позволяют нам формализовать дистрибуцию ответственности между агентами и их группами за совершенные ими действия. В рамках доклада мы рассмотрим одну из таких формальных моделей в stit-логике для одного агента, ее деонтических и эпистемических расширениях.
- Время: 29 апреля (ср), 16.40
- Идентификатор конференции: 686-260-1586
- Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru