Международная лаборатория логики, лингвистики и формальной философии проводит летнюю школу «Логика и формальная философия 2023». Программа школы будет состоять из серии мини-курсов и лекций, посвященных различным аспектам логики и формальной философии, а также студенческой постерной секции. Заявки принимаются до 15 мая.
https://llfp.hse.ru/summerschool/2023

12 и 19 мая в 18:00 состоится 78-е заседание научно-теоретического семинара "Формальная философия".

Степан Кузнецов
Математический институт им. В. А. Стеклова РАН:
старший научный сотрудник отдела математической логики 
выступит с докладом:
«Категориальные грамматики Ламбека» 

Аннотация и анонс доступны по ссылке: https://llfp.hse.ru/announcements/831828418.html
 
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория будет объявлена позже, с параллельной трансляцией в Zoom.

Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на Zoom, пожалуйста, заполните форму.

Сегодня, 12 мая в 18:00 состоится 78-е заседание научно-теоретического семинара "Формальная философия".

Степан Кузнецов
Математический институт им. В. А. Стеклова РАН:
старший научный сотрудник отдела математической логики 
выступит с докладом:
«Категориальные грамматики Ламбека» (Часть 1)

Аннотация и анонс доступны по ссылке: https://llfp.hse.ru/announcements/831828418.html
 
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория А-205а, с параллельной трансляцией в Zoom.

Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на Zoom, пожалуйста, заполните форму.

Чуть больше суток осталось до окончания приема заявок на летнюю школу «Логика и формальная философия 2023»! Успейте подать заявку на тревел-грант!

Программа школы будет состоять из серии мини-курсов и лекций, посвященных различным аспектам логики и формальной философии, а также студенческой постерной секции. Подробности на сайте школы: https://llfp.hse.ru/summerschool/2023

Заявки принимаются до 15 мая (включительно).

19 мая в 18:00 состоится продолжение 78-го заседания научно-теоретического семинара "Формальная философия”.

Степан Кузнецов
Математический институт им. В. А. Стеклова РАН:
старший научный сотрудник отдела математической логики 
выступит с докладом:
«Категориальные грамматики Ламбека» (Часть 2)

Аннотация и анонс доступны по ссылке: https://llfp.hse.ru/announcements/833387411.html
 
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория будет объявлена позже, с параллельной трансляцией в Zoom.

Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на Zoom, пожалуйста, заполните форму.

Сегодня, 19 мая в 18:00 состоится продолжение 78-го заседания научно-теоретического семинара "Формальная философия”.

Степан Кузнецов
Математический институт им. В. А. Стеклова РАН:
старший научный сотрудник отдела математической логики 
выступит с докладом:

«Категориальные грамматики Ламбека» (Часть 2)

Аннотация и анонс доступны по ссылке: https://llfp.hse.ru/announcements/833387411.html
 
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория А-205а, с параллельной трансляцией в Zoom.

Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на Zoom, пожалуйста, заполните форму.

Завтра департамент больших данных и информационного поиска проведет семинар по математической логике. На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений «в жизни»: пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое. https://cs.hse.ru/big-data/seminatfknlogic

📅Когда: 29 июня с 11:00 до 18:00.
🌐Где: Покровский бульвар 11, аудитория R201

Прошёл первый день работы летней школы. Алексей Кислов рассказывал об истоках деонтической логики. В частности обсуждался старый модализм и возникающие в рамках него проблемы: гильотина Юма и дилемма Йоргенсена. Помимо этого, внимание было уделено отечественным исследователям, занимавшимся данной проблематикой.

Лекция Виталия Долгорукова была посвящена групповым формам знания в модальной эпистемической логике, в том числе была описана мотивация для добавления соответствующих операторов в базовый язык эпистемической логики. Также лектор сравнил получившиеся языки по выразительной силе и продемонстрировал соотношение между модальной эквивалентностью и бисимуляцией.

В рамках курса "Введение в интуиционистскую логику" Анастасия Оноприенко напомнила слушателям об основах классической логики высказываний, доказала теорему о дедукции, а затем перешла к описанию интуиционистской логики. Была представлена BHK-интерпретация, аксиоматика и семантика Крипке для интуиционистской логики.

Заключительной была лекция Елены Драгалиной-Черной, посвященная когнитивной обработке различных типов кванторов: стандартных, ординальных и пропорциональных. Исследования показывают, что для обработки пропорциональных кванторов требуется больше когнитивных ресурсов. В частности в ходе эскпериментов наблюдается большая активность лобной коры, чем при обработке стандартных и ординальных кванторов.

Между лекциями прошла постерная секция студентов: свои исследования представили Анна Петрова, Игорь Зайцев и Анна Овчинникова.

Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ. https://llfp.hse.ru/news/845575548.html

С 7 по 13 сентября открыта запись на общеуниверситетский факультатив "Введение в эпистемическую логику и формальную эпистемологию" https://elearning.hse.ru/oncampus/epistemology

15 сентября в 19:00 состоится заседание исследовательского семинара "From the Logical Point of View". Наталья Зевахина,
(cтарший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии) выступит с докладом:
«Избыточная спецификация количества и цвета в референциальный коммуникации», https://llfp.hse.ru/announcements/858892342.html

22 сентября в 18:10 состоится заседание исследовательского семинара "From the Logical Point of View". Любовь Вашенцева (МГУ)
выступит с докладом: «Логика рациональных агентов LRA», https://llfp.hse.ru/announcements/860535012.html

29 сентября в 18:10 состоится заседание исследовательского семинара "From the Logical Point of View". Анна Овчинникова (стажер-исследователь МЛ ЛогЛинФФ) выступит с докладом: «Эпистемическая логика предпочтений», https://llfp.hse.ru/announcements/862363004.html

Открыта регистрация для слушателей конференции "Формальная философия 2023" https://llfp.hse.ru/formalphilosophy/2023/#registration

Докладчикам регистрироваться не нужно, но если вы хотите стать докладчиком, то заявки еще принимаются до 1 октября

6 октября в 18:10 состоится заседание исследовательского семинара «From the Logical Point of View». Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ) выступит с докладом: «Таксономия типов подразумеваемого значения», https://llfp.hse.ru/announcements/863749028.html

Опубликована программа международной конференции "Формальная философия 2023" (11–13 октября) https://llfp.hse.ru/formalphilosophy/2023#programme
Зарегистрироваться в качестве слушателя можно на сайте конференции до 18.00 10 октября

Началась Международная конференция «Формальная философия 2023»!

https://llfp.hse.ru/news/865574597.html

20 октября в 18:10 состоится заседание исследовательского семинара «From the Logical Point of View». Григорий Золотков
(стажер-исследователь МЛ ЛогЛинФФ)
выступит с докладом: «Об основных направлениях рецепции философии Витгенштейна в витгенштейнианстве», https://llfp.hse.ru/announcements/866468447.html

А.Н.Поддъяков, «Нетранзитивность превосходства как поле междисциплинарных исследований« / конференция «Формальная философия 2023», 11.10.2023, https://www.youtube.com/watch?v=ahhQq4Yh8MQ

С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ, https://llfp.hse.ru/news/866480622.html

Опубликованы записи пленарных докладов международной конференции "Формальная философия 2023"https://www.youtube.com/playlist?list=PLKxDxbEElp0531uOY4v84bBqoeVRO71_c