10 марта в 19:00 состоится 77-е заседание научно-теоретического семинара "Формальная философия".
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4 в аудитории 503 с параллельной трансляцией в zoom.

В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной профессору университета Unicamp (Кампинас, Бразилия) Вальтеру Карниелли, председателю консультативного комитета летней школы по логике, рациональности и информации SP LogIC. Интервью посвящено истории и актуальным перспективам развития логики, https://llfp.hse.ru/news/819922293.html

С 23 марта открывается прием заявок на позицию постдока в Международную лабораторию логики, лингвистики и формальной философии. Оплата: от 110 000 рублей до вычета НДФЛ. Требуемый опыт работы: не менее 3-х лет. Полная занятость, полный день. Срок работы: 1 год с возможностью продления на второй. Подробнее: https://postdocru.hse.ru/projects2023 (проект "Динамические модели знаний и убеждений в мультиагентных взаимодействиях")

15 марта в МИАН состоялся семинар «Логические и алгебраические методы в языкознании», на котором Елена Попова выступила с докладом «Динамическая эпистемическая логика как инструмент анализа прагматических явлений», https://llfp.hse.ru/news/820894399.html

7 апреля в 19:30 состоится заседание исследовательского семинара "From the Logical Point of View".

Ирина Никитина
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
«Алгоритм Гейла-Шепли: стабильность брака и поступление в колледж»

Аннотация:
Данный доклад посвящён статье Дэвида Гейла и Ллойда Шепли 1962 года “College Admissions and the Stability of Marriage”. В статье рассматривается проблема стабильного паросочетания между участниками двух разных групп, имеющих предпочтения относительно друг друга: между мужчинами и женщинами, между высшими учебными заведениями и их потенциальными студентами. Предложенный авторами алгоритм решает эту проблему, при этом Гейл и Шепли доказывают, что при равном количестве участников обеих групп всегда существует хотя бы одно стабильное паросочетание.

Мероприятие пройдет по адресу Старая Басманная улица 21/4 с параллельной трансляцией в zoom.
Чтобы получить пропуск в здание НИУ ВШЭ, заполните форму

Анонс: https://llfp.hse.ru/announcements/825078651.html

14 апреля в 18:30 состоится заседание исследовательского семинара "From the logical point of view".

Тихон Пшеницын
студент 6 курса мехмата МГУ
выступит с докладом:
«Фокус в естественных языках и исчисление Ламбека»

Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, с параллельной трансляцией в zoom.
Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск, заполните форму

Анонс: https://llfp.hse.ru/announcements/825226942.html

Сегодня, 14 апреля в 18:30 состоится заседание исследовательского семинара "From the logical point of view".

Тихон Пшеницын
студент 6 курса мехмата МГУ
выступит с докладом:
«Фокус в естественных языках и исчисление Ламбека»

Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, ауд. А-121, с параллельной трансляцией в zoom.
Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку для дистанционного подключения - заполните форму.

Анонс: https://llfp.hse.ru/announcements/825226942.html

28 апреля в 18:00 состоится заседание исследовательского семинара "From the Logical Point of View".

Константин Шишов выступит с докладом:
«Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова»


Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, с параллельной трансляцией в Zoom.

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

Анонс и аннотация доклада: https://llfp.hse.ru/announcements/829778570.html

Сегодня, 28 апреля в 18:00 состоится заседание исследовательского семинара "From the Logical Point of View".

Константин Шишов выступит с докладом:
«Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова»

Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория А-205 с параллельной трансляцией в Zoom.

Анонс и аннотация доклада: https://llfp.hse.ru/announcements/829778570.html

Международная лаборатория логики, лингвистики и формальной философии проводит летнюю школу «Логика и формальная философия 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