Летняя школа по универсальной логике

С 20 по 24 июня в Стамбуле состоялась летняя школа по универсальной логике.
Мероприятие собрало около 150 участников, в том числе студентов, получивших гранты ASL.

В рамках школы редактор журнала Logica Universalis и вице-президент бразильского логического общества Jean-Yves Beziau рассказал о новом навправлении в логике - попытках объединить различные логики и логические методы - "универсальной логике", ее отличии от "универсальной алгебры".

В рамках школы были проведены тюториалы, разделенные на 3 части.
Наиболее запомнившимися стали:
Logic and Quantum Theory (Bob Coecke)
в котором было рассказано как использовать различные обобщения визуализации квантовых процессов для анализа текстов;
Logic and Nonsense (Thomas Ferguson)
посвященный логике, в которой существуют бессмысленные высказывания, входящие в состав сложных предложений и методам определения осмысленности предложения;
Logic and Music (Ingolf Max)
продемонстрировавший на музыкальном инструменте понятие внутренней гармонии как определенной структуры, задающейся в логике первого порядка;
Logic and Colour (Dany Jaspers)
предложивший использование когнитивных квадрата и шестиугольника для описания комбинаций цветов с точки зрения решеток понятий;
Logic and Fiction (John Woods)
предложивший список формальных правил для различения истинных суждений в реальной жихни и в художественной литературе,
и многие другие.

Отдельно был представлен блок, посвященный логике и философии, а также истории логики.
Для начинающих логиков были предложены облегченные тюториалы:
Logic and Politics (Franca D'Agostini)
рассказывающий о применении модальных логик в политике и правосудии;
Logic and Grammar (Ernie Lepore)
о формальных исчислениях и их роли в анализе текстов на естественных языках.

Полный список тюториалов можно посмотреть на сайте школы:
http://www.uni-log.org/start5s.html

Часть рассмотренных на школе тем по приложениям логики будет предложена департаментом АДИИ для выбора в качестве курсовых и дипломных работ, а также написания проектов студентами.

Летняя школа прошла в дружеской атмосфере университета Стамбула (так непривычно наводненного кошками), в самом центре исторической части города. Следующая школа пройдет в столице Мексики, г. Мехико.

По итогам выбора тем КР и ВКР часть студентов департамента будет приглашена к участию в "Ассоциации символической логики" в 2016 году, что даст возможность студентам подавать на гранты мероприятий, поддерживаемых ассоциацией, включая школу по "универсальной логике".