Стартовал цикл научно-учебных семинаров "Логическая семантика"

9 октября прошёл первый в новом учебном году семинар "Логическая семантика". С докладом, посвящённым диаграмматической логике Пирса, выступил стажёр-исследователь Егор Емельянов.

фото Соловей Алины

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