Формальная философия-62: доклад А. М. Павловой "От игр сравнения степеней истины до исчислений секвенций для логики Гёделя"
17 июня в 16.40 состоится 62-е заседание научно-теоретического семинара «Формальная философия» (в онлайн-формате).
Александра Михайловна Павлова
сотрудник Международной лаборатории логики, лингвистики
и формальной философии НИУ ВШЭ
выступит с докладом
"От игр сравнения степеней истины до исчислений секвенций для логики Гёделя"
Аннотация доклада:
Мы представляем игру для (расширенной) логики Гёделя, в которой взаимодействие игроков постепенно редуцирует утверждения об относительном порядке степеней истинности сложных формул к утверждениям атомарного сравнения истинности. Используя концепцию дизъюнктивных игровых состояний, эта семантическая игра превращается в игру на доказуемость, в которой выигрышные стратегии соответствуют доказательствам в одном из секвенциальных исчислений для Гёделевой логики.
- Идентификатор конференции Zoom: 652 689 6901
- Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru