• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклад Егора Емельянова "Диаграмматическая логика Пирса"

12+
Мероприятие завершено

9 октября в 19:00 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.

Егор Емельянов 

стажер-исследователь 

выступит с докладом:

"Диаграмматическая логика Пирса"

 

 

Аннотация: 
На семинаре мы рассмотрим принципы работы экзистенциальных графов Ч. С. Пирса в подсистеме "Альфа". Диаграмматическая логика Пирса позволяет графически строить выводы для классической логики высказываний и теорий первого порядка. В ходе семинара мы разберем правила вывода для диаграмматической логики и потренируемся в доказательстве некоторых теорем логики высказываний.

Zoom
Идентификатор конференции: 944 9301 3118

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