#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова... Смотрите полностью ВКонтакте.
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова... Смотрите полностью ВКонтакте.
🔥2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
🔥3
25 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
llfp.hse.ru
Доклад Александра Поддьякова «Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...»
25 апреля в 18:30 состоится заседание теоретического семинара «Формальная философия».
🤔4👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
❤2👍1
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов nickbazh@yandex.ru
— И.Ш. Калимуллин ikalimul@gmail.com
— В.В. Рыбаков vladimir_rybakov@mail.ru
— С.О. Сперанский katze.tail@gmail.com
➰ ВК
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов nickbazh@yandex.ru
— И.Ш. Калимуллин ikalimul@gmail.com
— В.В. Рыбаков vladimir_rybakov@mail.ru
— С.О. Сперанский katze.tail@gmail.com
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
Летняя школа "Логика, лингвистика и формальная философия"
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов.
https://llfp.hse.ru/school2025
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов.
https://llfp.hse.ru/school2025
llfp.hse.ru
Летняя школа "Логика, лингвистика и формальная философия"
👍6
Forwarded from uAnalytiCon
А вчера мы возобновили заседания нашего кружка аналитической философии после продолжительного перерыва, случившегося из-за того, что вдруг как-то мало стало времени для всего, в том числе и для жизни в принципе. На заседании мы обсудили статью Хартри Филда «Конвенционализм о математике и логике» (Hartry Field, Conventionalist about Mathematics and Logic). В ней Филд сравнивает свой фикционализм с позициями конвенционализма и платонистского мультиверсизма, выявляя их общие черты и обсуждая вопросы того, можно ли эти позиции развивать последовательным образом. Доклад по статье представил Лев Ламберов. С записью доклада (и части обсуждения, кое-что мы решили сохранить под покровом тайны) можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале. Ставьте реакции, подписывайтесь на наши медиа, от этого нам становится конвенциональненько и фиктивненько.
❤1
Forwarded from ИФПР СО РАН
❇️ Внимание, анонс!
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 abyssian03@gmail.com, телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 abyssian03@gmail.com, телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
lomonosov-msu.ru
Сознание в виртуальной реальности
Международная научная конференция «Сознание в виртуальной реальности» / Новосибирск, Россия, ИФПР СО РАН, 26 - 28 Июн 2025
❤2🤩2👍1
Ридинг-семинар «Analytics» возобновляет свою работу с текущей недели — встреча состоится в 14:30 в субботу 17 мая очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom . Для чтения была выбрана следующая статья: Michael Devitt (2015) Relying on Intuitions: Where Cappelen and Deutsch Go Wrong, Inquiry, 58:7-8, 669-699. Все дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
👍2
16 мая (пятница) в 18:30 состоится очередное заседание теоретического семинара "Формальная философия".
Тема доклада: Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals.
Докладчик: Pirmin Stekeler-Weithofer (Лейпцигский университет).
Аннотация: It is no wonder that the greatest abstraction logicians after Aristotle and Descartes, namely Leibniz and Hegel, recognised this onto-logical problem of the concept of the object in the undefined nature of Newton's fluxions or the non-existence of all infinitesimal quantities before Abraham Robinson's invention of a new type of non-standard analysis. Even the most important phenomenological ontologists, namely Husserl and Heidegger, first studied differential geometry intensively, as G. Neumann proves for Heidegger in the book Phänomenologische Untersuchungen (Berlin: LIT Verlag 2025, p. 324). These facts and their significance are by no means sufficiently well known.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1045648578.html
Тема доклада: Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals.
Докладчик: Pirmin Stekeler-Weithofer (Лейпцигский университет).
Аннотация: It is no wonder that the greatest abstraction logicians after Aristotle and Descartes, namely Leibniz and Hegel, recognised this onto-logical problem of the concept of the object in the undefined nature of Newton's fluxions or the non-existence of all infinitesimal quantities before Abraham Robinson's invention of a new type of non-standard analysis. Even the most important phenomenological ontologists, namely Husserl and Heidegger, first studied differential geometry intensively, as G. Neumann proves for Heidegger in the book Phänomenologische Untersuchungen (Berlin: LIT Verlag 2025, p. 324). These facts and their significance are by no means sufficiently well known.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1045648578.html
llfp.hse.ru
Доклад Пирмина Штекелера-Вайтхофера "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals"
16 мая в 18.30 состоится заседание теоретического семинара «Формальная философия».
👍2🙏2🥴2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 21 мая в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Дворкин Лев
Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 2)
Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.
➰ ВК
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 21 мая в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Дворкин Лев
Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 2)
Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
❤2
#матлог #спецсеминар
В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6
Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
➰ ВК
В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6
Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
➰ ВК
Google Docs
НПММвЯ 23.05.2025
Заседание пройдет в пятницу 23 мая в 14:30 очно в Институте языкознания РАН с возможностью онлайн-подключения. Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
❤2👍2
23 мая (пятница) в 18:30 состоится очередное заседание теоретического семинара "Формальная философия".
Тема доклада: Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса.
Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В работе «Логика и речевое общение» Пол Грайс предложил разделить значение высказывания на две основные части. Во-первых, это истинностное значение предложения, то, что сказано или семантическое содержание. Во-вторых, это импликатуры, которые, с одной стороны, порождаются с помощью прагматических феноменов при использовании выражений в определенном контексте, а с другой стороны, не влияют на истинность пропозиции, выраженной конкретными словами предложения. Но уже у самого Грайса мы можем найти упоминания некоторых феноменов естественного языка, которые явным образом не подпадают под эту дихотомию сказанного/имплицированного. В своем докладе я бы хотел подробней остановиться на примерах таких импликатур двойной природы: конвенциональных и обобщенных речевых. Я покажу, как прагматические расширения способны влиять на истинностный статус высказываний и как конвенциональное семантическое значение может оставаться инертным по отношению к сказанному.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1048098506.html
Тема доклада: Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса.
Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В работе «Логика и речевое общение» Пол Грайс предложил разделить значение высказывания на две основные части. Во-первых, это истинностное значение предложения, то, что сказано или семантическое содержание. Во-вторых, это импликатуры, которые, с одной стороны, порождаются с помощью прагматических феноменов при использовании выражений в определенном контексте, а с другой стороны, не влияют на истинность пропозиции, выраженной конкретными словами предложения. Но уже у самого Грайса мы можем найти упоминания некоторых феноменов естественного языка, которые явным образом не подпадают под эту дихотомию сказанного/имплицированного. В своем докладе я бы хотел подробней остановиться на примерах таких импликатур двойной природы: конвенциональных и обобщенных речевых. Я покажу, как прагматические расширения способны влиять на истинностный статус высказываний и как конвенциональное семантическое значение может оставаться инертным по отношению к сказанному.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1048098506.html
llfp.hse.ru
Доклад Ивана Соболева «Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса»
23 мая в 18:30 состоится заседание теоретического семинара «Формальная философия».
❤3
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
👍5❤4🔥1
25 мая заканчивается прием заявок на международную конференцию «Формальная философия 2025» https://llfp.hse.ru/formphil2025 и на конкурс тревел грантов для участия в летней школе «Логика, лингвистика и формальная философия» https://llfp.hse.ru/school2025
llfp.hse.ru
Международная конференция «Формальная философия 2025»
👍3
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
llfp.hse.ru
Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
30 мая в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
🔥6👍2