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

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