Опубликована запись пленарного доклада Л.Д. Беклемишева на конференции "Формальная философия 2022", самый интересный момент тут: восьмиклассник пишет академику https://youtu.be/HzaX9SHPnis?t=2651

А в пятницу будет доклад о том, что порочный круг не такой уж и порочный. 18 ноября в 18:30 состоится 73-е заседание научно-теоретического семинара "Формальная философия". Данияр Шамканов (Математический институт им. В.А. Стеклова РАН) выступит с докладом: "Циклические и нефундированные выводы в модальной логике", https://llfp.hse.ru/announcements/796111383.html

9 декабря в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии. Владислав Аксиотис, Елена Попова и Вероника Пригоркина
выступят с докладом: "Логика в лаборатории: анализ рассуждений с применением modus ponens", https://llfp.hse.ru/announcements/801216788.html

Владислав Аксиотис, Елена Попова и Вероника Пригоркина выступят с докладом: "Логика в лаборатории: анализ рассуждений с применением modus ponens", https://llfp.hse.ru/announcements/801216788.html https://us06web.zoom.us/j/84420641260?pwd=Qm9XY0lPdnNtUkF2dGR3M1A3U0RIZz09

Завтра 16 декабря в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View". Никита Чураков (НИУ ВШЭ) выступит с докладом: "Вокруг теоремы Эрроу", https://llfp.hse.ru/announcements/802529632.htm

Завтра (13 января 2023) состоится юбилейное заседание семинара "Формальная философия", приуроченное к десятилетию семинара и празднованию Всемирного дня логики.

С докладом "Paradox and Substructurality" выступит Элиа Дзардини (главный научный сотрудник Международной лаборатории логики, лингвистики и формальной философии)

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

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