Сегодня, 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

27 октября и 3 ноября состоятся заседания семинара «Формальная философия». С.О. Сперанский (МИАН) выступит с докладом «Об одном модальном подходе к рассуждениям о "произвольных" натуральных числах»
https://llfp.hse.ru/announcements/867867301.html

10 декабря в актовом зале на Старой Басманной 21/4 пройдет Московский международный фестиваль языков, на котором стажер-исследователь Александр Запрягаев сделает 3 доклада: «Откуда берутся новые иероглифы?» , «Классический китайский язык (вэньянь)​​​​​​​»,
«Как работает поэзия в языках мира?», https://llfp.hse.ru/announcements/868582780.html

C.О. Сперанский, «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах» Ч.1 / семинар "Формальная философия", 27.10.2023, https://www.youtube.com/watch?v=QBFCIK8-o4w

Наши студенты и сотрудники организуют ридинг-семинар Analytics. Идея - создать пространство для совместного чтения современных статей по аналитической философии и соприкасающимся с ней областям. Первая встреча состоится 11 ноября в 18.10 по адресу ул. Старая Басманная, д. 21/4, каб А-121. Для чтения была выбрана статья Ханса-Йоханна Глока “Was Wittgenstein an Analytic Philosopher?” Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6