13 ноября состоялось юбилейное заседание научно-исследовательского семинара «Формальная философия», в рамках которого с докладом «Paradox and Substructurality» («Парадокс и субструктурность») выступил главный научный сотрудник МЛ ЛогЛинФФ Элиа Дзардини, https://llfp.hse.ru/news/808354837.html

Начинается доклад Александра Запрягаева "Интерпретации в слабых арифметических теориях", https://us06web.zoom.us/j/84420641260?pwd=Qm9XY0lPdnNtUkF2dGR3M1A3U0RIZz09

Уже сегодня в 18:30 Виталий Долгоруков выступит с докладом:
«"Структуры знания": альтернативная семантика для эпистемической логики»

https://llfp.hse.ru/announcements/812302461.html

Аннотация:
Доклад будет посвящен обзору семантики «структур знания», предложенной в диссертации М. Гаттингера (2018). Данный тип семантики позволяет представлять эпистемические сценарии более лаконичным образом по сравнению с традиционной семантикой Крипке, что делает эпистемическую логику более удобной для приложений.
Литература:
https://malv.in/phdthesis/

Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории https://llfp.hse.ru/news/812926918.html

Андрей Кудинов (НИУ ВШЭ, Институт проблем передачи информации им.А.А.Харкевича РАН) выступит с докладом «Логика пространств подмножеств с публичными высказываниями», https://llfp.hse.ru/announcements/812944595.html

17 февраля в 18:30 состоится заседание семинара «From the Logical Point of View». Ирина Никитина (НИУ ВШЭ) выступит с докладом «Формальные теории коллективной ответственности в stit-моделях и деонтических играх», https://llfp.hse.ru/announcements/814961309.html

Начинаем семинар «From the Logical Point of View, https://us06web.zoom.us/j/84420641260?pwd=Qm9XY0lPdnNtUkF2dGR3M1A3U0RIZz09

3 марта в 18:00 состоится 76-е заседание научно-теоретического семинара "Формальная философия". Анастасия Оноприенко выступит с докладом «Совместная логика задач и высказываний», https://llfp.hse.ru/announcements/817504483.html

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

Презентация книги «Формальная философия аргументации»

Аннотация:
Теория аргументации – область, в которой сегодня соединяются логика, риторика, прагматика, лингвистика и когнитивная наука. Такой мультидисциплинарный комплексный подход позволяет продуктивно изучать природу аргументации и рассматривать ее особенности как интеллектуальной, практической и социально-коммуникативной деятельности. В книге раскрываются логические, эпистемологические, лингво-прагматические и когнитивные аспекты обоснования и опровержения, защиты и критики мнений, а также лингвистические средства их выражения, уточняются функции и статусы агентов аргументации в спорах. Кроме этого, предлагаются практические способы обнаружения, моделирования, репрезентации и оценки аргументов. В книге изложены результаты исследований коллектива по проекту РНФ.

Об исследованиях аргументации расскажут авторы книги:

Лисанюк Е. Н. (СПбГУ, НИУ ВШЭ): «Проект “Формальная философия аргументации”»

Боброва А. С. (РГГУ, НИУ ВШЭ): «Аргументативные схемы как единица анализа аргументации»

Карпов Г. В. (СПбГУ): «Речевые акты в аргументации»

Микиртумов И. Б. (НИУ ВШЭ): «Тематические и нетематические споры: способы оценки»

Фролов К. Г. (НИУ ВШЭ):«Аргументация, основанная на ценностях»

Мнениями заинтересованных читателей книги поделятся

Драгалина-Черная Е.Г. (НИУ ВШЭ)

Шапиро О.А. (Воронежский госуниверситет)

Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, с параллельной трансляцией в zoom.
Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск заполните форму
https://docs.google.com/forms/d/e/1FAIpQLSdkCyCbTMCJ3rPmtmNvsS4NjdUYFBLn_J5TxbHPwFD62oQiDQ/viewform

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

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, пожалуйста, заполните форму.