Доклад Егора Емельянова "Диаграмматическая логика Пирса"
9 октября в 19:00 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.
Егор Емельянов
стажер-исследователь
выступит с докладом:
"Диаграмматическая логика Пирса"
Аннотация:
На семинаре мы рассмотрим принципы работы экзистенциальных графов Ч. С. Пирса в подсистеме "Альфа". Диаграмматическая логика Пирса позволяет графически строить выводы для классической логики высказываний и теорий первого порядка. В ходе семинара мы разберем правила вывода для диаграмматической логики и потренируемся в доказательстве некоторых теорем логики высказываний.
Zoom
Идентификатор конференции: 944 9301 3118
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru