Семинары МЛ ЛогЛинФФ

Теоретический семинар «Формальная философия», действующий с 2012 г., посвящен использованию формальных средств анализа для экспликации проблематики современной логики, онтологии, эпистемологии и философии языка, особое внимание уделяется динамическим и теоретико-игровым моделям, а также смежным подходам.  

Если вы хотели бы выступить с докладом, то, пожалуйста, свяжитесь с организатором семинара  (v.dolgorukov[at]gmail.com).

Регулярный научно-исследовательский семинар «From the Logical Point of View» предназначен для обсуждения классических результатов и новейшей литературы в области логики, формальной лингвистики и формальной философии, а также для презентации текущих исследовательских наработок сотрудников ЛогЛинФФа и приглашенных докладчиков. 

Если вы хотели бы выступить с докладом, то, пожалуйста, свяжитесь с организатором семинара  (v.dolgorukov[at]gmail.com).

Основная задача научно-учебного семинара «Логическая семантика» – обсуждение ключевых концепций современной логической семантики и смежных с ней дисциплин (аналитической метафизики, философии языка, формальной эпистемологии, философии логики, формальной семантики, формальной прагматики).  Если вы хотите принять участие, то, пожалуйста, свяжитесь с руководителем семинара  (v.dolgorukov[at]gmail.com). 

Cтуденты и сотрудники Международной лаборатории логики, лингвистики и формальной философии организуют ридинг-семинар «Analytics». Идея - создать пространство для совместного чтения современных статей по аналитической философии и соприкасающимся с ней областям.

Встречи проходят по субботам в 14:00 в гибридном формате. Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

Научно-учебный семинар «Математическая Логика и Теория Категорий» нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.

Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами (aagrigoryan_3@edu.hse.ru / riaiupov@edu.hse.ru). Семинар проходит по субботам в 11:30 в аудитории A-122. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.

Научно-учебный семинар «Дополнительные главы логики» разработан заинтересованными студентами для заинтересованных студентов. Ключевая идея состоит в том, чтобы обеспечить возможность поступательного изучения логических дисциплин, основа для которых уже была заложена на соответствующих курсах образовательных программ. Помимо погружения в математическую и философскую логику, мы также планируем работать с основами теории доказательств и теории множеств. 

По поводу проведения докладов можете обращаться на почту iskazakov[at]edu.hse.ru  

Также у нас есть чат в Телеграмм: https://t.me/dop_sem