#матлог #учёба #просеминар
💥В среду 17 сентября возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Диагональные конструкции" (А.А.Оноприенко).
✨Аннотация. Диагональная конструкция — традиционное название для ситуации, когда искомый объект строится шаг за шагом. Мы разберём стандартные и не очень применения такой конструкции.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 diagonal2025.pdf
➰ ВК
💥В среду 17 сентября возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Диагональные конструкции" (А.А.Оноприенко).
✨Аннотация. Диагональная конструкция — традиционное название для ситуации, когда искомый объект строится шаг за шагом. Мы разберём стандартные и не очень применения такой конструкции.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 diagonal2025.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤3👍1🔥1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 17 сентября в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
В корпус пускают по паспорту, если сказать, что идете на семинар в ВШМ.
Также к семинару можно подключится дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Тема: Об окрестностной полноте и сложности некоторых ненормальных модальных логик
Докладчик: А.В. Кудинов
Аннотация:
В эпистемической логике аксиома нормальности [](p-q) - ([]p-[]q) соответствует замкнутости знаний агента относительно правила Modus Ponens. Это означает, что если агент знает некоторые факты, то он знает и все их логические следствия.
Данное свойство философы характеризуют как логическое всезнание агента и активно критикуют гипотезу о том, что агенты в реальности обладают таким свойством. Однако отказ от аксиомы нормальности ведёт к потере полноты относительно семантики Крипке.
В этом случае приходится прибегать к окрестностной семантике.
Нормальную логику можно ослабить различными способами; мы рассмотрим различные варианты логик, более слабых, чем минимальная нормальная логика K, и обсудим, как доказывается окрестностная полнота для них.
Для таких логик также представляет интерес вопрос их алгоритмической сложности. В отличие от большинства нормальных модальных логик (таких как K, K4, S4), для которых проблема выполнимости является PSPACE-полной, для некоторых логик слабее K она оказывается NP-полной.
В докладе будет рассказано, как с помощью аппарата окрестностной семантики доказывается принадлежность проблемы выполнимости для определённых логик классу NP. Изложение будет следовать работе M. Vardi "On the complexity of epistemic reasoning" (LICS, 1989).
В заключение будут представлены новые результаты о полноте и сложности некоторого варианта эпистемической многомодальной логики агента с ограничениями на применения правил выводимости.
➰ ВК
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 17 сентября в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
В корпус пускают по паспорту, если сказать, что идете на семинар в ВШМ.
Также к семинару можно подключится дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Тема: Об окрестностной полноте и сложности некоторых ненормальных модальных логик
Докладчик: А.В. Кудинов
Аннотация:
В эпистемической логике аксиома нормальности [](p-q) - ([]p-[]q) соответствует замкнутости знаний агента относительно правила Modus Ponens. Это означает, что если агент знает некоторые факты, то он знает и все их логические следствия.
Данное свойство философы характеризуют как логическое всезнание агента и активно критикуют гипотезу о том, что агенты в реальности обладают таким свойством. Однако отказ от аксиомы нормальности ведёт к потере полноты относительно семантики Крипке.
В этом случае приходится прибегать к окрестностной семантике.
Нормальную логику можно ослабить различными способами; мы рассмотрим различные варианты логик, более слабых, чем минимальная нормальная логика K, и обсудим, как доказывается окрестностная полнота для них.
Для таких логик также представляет интерес вопрос их алгоритмической сложности. В отличие от большинства нормальных модальных логик (таких как K, K4, S4), для которых проблема выполнимости является PSPACE-полной, для некоторых логик слабее K она оказывается NP-полной.
В докладе будет рассказано, как с помощью аппарата окрестностной семантики доказывается принадлежность проблемы выполнимости для определённых логик классу NP. Изложение будет следовать работе M. Vardi "On the complexity of epistemic reasoning" (LICS, 1989).
В заключение будут представлены новые результаты о полноте и сложности некоторого варианта эпистемической многомодальной логики агента с ограничениями на применения правил выводимости.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 19.09.2025 в 16:20
Семинар пройдет в очном формате на Математическом факультете ВШЭ,
аудитория 213 (ул. Усачева, д. 6)
Дата и время: 19.09.2025 в 16:20
Докладчик: М.Р. Пентус
Название: Синтаксическое исчисление Ламбека.
Аннотация:
В докладе представлены основные определения и некоторые теоремы про исчисление Ламбека — математическую систему, предназначенную для формализации синтаксиса естественных языков.
Исчисление Ламбека относится к неклассической логике.
Предварительных знаний о логике не требуется.
Мы очень постараемся параллельно вещать в ZOOM, но может не получиться, так что приходите! Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 19.09.2025 в 16:20
Семинар пройдет в очном формате на Математическом факультете ВШЭ,
аудитория 213 (ул. Усачева, д. 6)
Дата и время: 19.09.2025 в 16:20
Докладчик: М.Р. Пентус
Название: Синтаксическое исчисление Ламбека.
Аннотация:
В докладе представлены основные определения и некоторые теоремы про исчисление Ламбека — математическую систему, предназначенную для формализации синтаксиса естественных языков.
Исчисление Ламбека относится к неклассической логике.
Предварительных знаний о логике не требуется.
Мы очень постараемся параллельно вещать в ZOOM, но может не получиться, так что приходите! Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/php/conference.phtml?eventID=9&confid=876&option_lang=eng), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)
22.09.2025 Sergei Artemov (Graduate Center CUNY, https://sartemov.ws.gc.cuny.edu/): Representing and proving the consistency of PA in PA
We prove that the PA-consistency property is provably in PA equivalent to the scheme ConS(PA): for n=0,1,2,..., "n is not a code of a proof of (0=1)." Since the consistency formula Con(PA) is strictly stronger than ConS(PA) in PA, the unprovability of Con(PA) in PA does not settle the question of provability of the consistency, which remained in limbo and has been reduced to finding a finite proof in PA of ConS(PA). Following Hlbert's approach to proving consistency, we offer the general notion of a proof of a sequence of PA-formulas F_1, F_2,..., F_n,... as a pair of a primitive recursive function (selector) s and a proof of "for each n, s(n) is a PA-proof of F_n." We demonstrate that "PA is consistent" is provable in PA. These findings apply to a broad class of formal theories, including ZF.
Reading materials:
S. Artemov, Consistency formula is strictly stronger in PA than PA-consistency (https://doi.org/10.48550/arXiv.2508.20346)
S. Artemov, Serial properties, selector proofs and the provability of consistency, Journal of Logic and Computation, 35(3), April 2025 (https://doi.org/10.1093/logcom/exae034)
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/php/conference.phtml?eventID=9&confid=876&option_lang=eng), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)
22.09.2025 Sergei Artemov (Graduate Center CUNY, https://sartemov.ws.gc.cuny.edu/): Representing and proving the consistency of PA in PA
We prove that the PA-consistency property is provably in PA equivalent to the scheme ConS(PA): for n=0,1,2,..., "n is not a code of a proof of (0=1)." Since the consistency formula Con(PA) is strictly stronger than ConS(PA) in PA, the unprovability of Con(PA) in PA does not settle the question of provability of the consistency, which remained in limbo and has been reduced to finding a finite proof in PA of ConS(PA). Following Hlbert's approach to proving consistency, we offer the general notion of a proof of a sequence of PA-formulas F_1, F_2,..., F_n,... as a pair of a primitive recursive function (selector) s and a proof of "for each n, s(n) is a PA-proof of F_n." We demonstrate that "PA is consistent" is provable in PA. These findings apply to a broad class of formal theories, including ZF.
Reading materials:
S. Artemov, Consistency formula is strictly stronger in PA than PA-consistency (https://doi.org/10.48550/arXiv.2508.20346)
S. Artemov, Serial properties, selector proofs and the provability of consistency, Journal of Logic and Computation, 35(3), April 2025 (https://doi.org/10.1093/logcom/exae034)
➰ ВК
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/) в МИАН.
Время: 25 сентября (четверг), начало — в 16:00
Место: МИАН, ком. 530 + Контур.Толк
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара: https://www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН), Л.В. Дворкин (МГУ)
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств
Краткая аннотация доклада:
Мы рассмотрим верхние оценки для теорий нормированных, банаховых и метрических пространств. Будет показано, что теория конечномерных нормированных пространств имеет ту же сложность, что и полная арифметика второго порядка, а теории всех нормированных пространств, всех банаховых пространств и всех метрических пространств сводятся к \Pi^2_1-фрагменту арифметики третьего порядка.
[ Доклад сделает К.А. Ковалёв. ]
Общая аннотация серии:
В рамках четырёх запланированных заседаний семинара мы намерены детально изучить работу
R.M. Solovay, R.D. Arthan, J. Harrison. Some new results on decidability for elementary algebra and geometry. Annals of Pure and Applied Logic 163(12), 1765–1802, 2012.
https://doi.org/10.1016/j.apal.2012.04.003
В центре внимания окажутся вопросы (не)разрешимости первопорядковых теорий метрических, вещественных векторных, нормированных, банаховых, предгильбертовых и гильбертовых пространств. Данные теории естественным образом выражаются в двухсортном языке, где один сорт отвечает за скаляры, а другой — за векторы.
Оказывается, что проверку выполнимости первопорядковых формул в векторных, предгильбертовых и гильбертовых пространствах можно свести к проверке выполнимости в поле вещественных чисел. Последняя, как известно, разрешима в силу теоремы Зайденберга–Тарского.
При переходе к метрическим, нормированным и банаховым пространствам ситуация кардинально меняется: здесь становится возможной интерпретация арифметики второго порядка, что влечёт за собой неразрешимость и даже неарифметичность теорий этих пространств. Однако, несмотря на общую неразрешимость, существуют разрешимые фрагменты. В частности, чисто универсальный и чисто экзистенциальный фрагменты теории нормированных пространств, а также универсально-экзистенциальный фрагмент теории метрических пространств разрешимы.
Мы планируем рассмотреть доказательства упомянутых результатов. Предполагается, что слушатели обладают базовыми знаниями о первопорядковых теориях и их моделях.
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/) в МИАН.
Время: 25 сентября (четверг), начало — в 16:00
Место: МИАН, ком. 530 + Контур.Толк
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара: https://www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН), Л.В. Дворкин (МГУ)
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств
Краткая аннотация доклада:
Мы рассмотрим верхние оценки для теорий нормированных, банаховых и метрических пространств. Будет показано, что теория конечномерных нормированных пространств имеет ту же сложность, что и полная арифметика второго порядка, а теории всех нормированных пространств, всех банаховых пространств и всех метрических пространств сводятся к \Pi^2_1-фрагменту арифметики третьего порядка.
[ Доклад сделает К.А. Ковалёв. ]
Общая аннотация серии:
В рамках четырёх запланированных заседаний семинара мы намерены детально изучить работу
R.M. Solovay, R.D. Arthan, J. Harrison. Some new results on decidability for elementary algebra and geometry. Annals of Pure and Applied Logic 163(12), 1765–1802, 2012.
https://doi.org/10.1016/j.apal.2012.04.003
В центре внимания окажутся вопросы (не)разрешимости первопорядковых теорий метрических, вещественных векторных, нормированных, банаховых, предгильбертовых и гильбертовых пространств. Данные теории естественным образом выражаются в двухсортном языке, где один сорт отвечает за скаляры, а другой — за векторы.
Оказывается, что проверку выполнимости первопорядковых формул в векторных, предгильбертовых и гильбертовых пространствах можно свести к проверке выполнимости в поле вещественных чисел. Последняя, как известно, разрешима в силу теоремы Зайденберга–Тарского.
При переходе к метрическим, нормированным и банаховым пространствам ситуация кардинально меняется: здесь становится возможной интерпретация арифметики второго порядка, что влечёт за собой неразрешимость и даже неарифметичность теорий этих пространств. Однако, несмотря на общую неразрешимость, существуют разрешимые фрагменты. В частности, чисто универсальный и чисто экзистенциальный фрагменты теории нормированных пространств, а также универсально-экзистенциальный фрагмент теории метрических пространств разрешимы.
Мы планируем рассмотреть доказательства упомянутых результатов. Предполагается, что слушатели обладают базовыми знаниями о первопорядковых теориях и их моделях.
➰ ВК
#матлог #спецсеминар #нпммвя
В осеннем семестре 2025 года семинар «Некоторые применения математических методов в языкознании» им. В.А. Успенского (http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia) будет работать по четвергам с 14:00 по 15:30.
В ближайший четверг (25 сентября) в Институте языкознания РАН состоится доклад Натальи Вадимовны Сердобольской (ИЯз РАН) и Олега Игоревича Беляева (МГУ, ИЯз РАН) «База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных. Часть 1».
Время: 14:00-15:30 25 сентября 2025 года.
Место: Институт языкознания РАН (https://yandex.ru/maps/org/institut_yazykoznaniya_ran/1125505375/?ll=37.605451,55.753152&utm_source=share&z=13), конференц-зал. Для прохода необходимо взять с собой паспорт.
Регистрация для очного или онлайн участия: https://forms.gle/DCngPtuozomiT8Kn7
Докладчики представят совместную работу следующих авторов: Н.В. Сердобольская (ИЯз РАН), И.М. Кобозева (МГУ, ИЯз РАН), О.И. Беляев (МГУ, ИяЗ РАН), А.И. Крюкова (МГУ, ИРЯ РАН), Д.А. Пилюгина (МГУ), А.А. Осипова (МГУ, ИЯз РАН), А.А. Данилова (МГУ), Е.А. Колобродова (МГУ, ИЯз РАН).
Анонс:
Доклад посвящен разработке базы данных коннекторов русского языка - средств связи клауз (Рускон, https://ruscon.iling-ran.ru/units?linker=а). База содержит коннекторы, представленные в ряде академических словарей и словарей служебных слов. Все коннекторы характеризуются по ряду синтаксических и семантических признаков - позиция клаузы и позиция коннектора в ее составе, наличие, обязательность и позиция коррелята, состав коннектора и допустимость его ветвления и модификации, употребление коннектора в независимых предложениях; базовый семантический тип коннектора, возможность прагматических употреблений - инферентивного, иллокутивного и метатекстового.
Хорошо известны и активно используются положительные стороны цифрового формата представления данных - возможность быстрого поиска и фильтрации, гиперссылки, одновременная работа в онлайн-режиме и т.п. Однако при переходе к цифровому формату неизбежно встает ряд проблем, из которых самые очевидные - терминологическая несогласованность в источниках, жесткие требования к структуре базы, необходимость принятия решения по каждому параметру (в отличие от словаря, где единица может быть охарактеризована не по всем параметрам). Есть и особая проблема, которая появляется именно для служебных частей речи - проведение границы между лексико-грамматическими классами, а также проблема выделения базовой единицы описания, т.е. объединения/разделения лексических входов в той или иной функции и с тем или иным расширением (напр. по той причине что - по той простой причине что - по причине что). В докладе будут рассмотрены пути решения данных проблем с помощью облачной системы реляционных таблиц с открытым исходным кодом Grist в качестве внутреннего представления данных ("бэкенда").
Вторая часть доклада состоится 23 октября 2025 года.
➰ ВК
В осеннем семестре 2025 года семинар «Некоторые применения математических методов в языкознании» им. В.А. Успенского (http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia) будет работать по четвергам с 14:00 по 15:30.
В ближайший четверг (25 сентября) в Институте языкознания РАН состоится доклад Натальи Вадимовны Сердобольской (ИЯз РАН) и Олега Игоревича Беляева (МГУ, ИЯз РАН) «База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных. Часть 1».
Время: 14:00-15:30 25 сентября 2025 года.
Место: Институт языкознания РАН (https://yandex.ru/maps/org/institut_yazykoznaniya_ran/1125505375/?ll=37.605451,55.753152&utm_source=share&z=13), конференц-зал. Для прохода необходимо взять с собой паспорт.
Регистрация для очного или онлайн участия: https://forms.gle/DCngPtuozomiT8Kn7
Докладчики представят совместную работу следующих авторов: Н.В. Сердобольская (ИЯз РАН), И.М. Кобозева (МГУ, ИЯз РАН), О.И. Беляев (МГУ, ИяЗ РАН), А.И. Крюкова (МГУ, ИРЯ РАН), Д.А. Пилюгина (МГУ), А.А. Осипова (МГУ, ИЯз РАН), А.А. Данилова (МГУ), Е.А. Колобродова (МГУ, ИЯз РАН).
Анонс:
Доклад посвящен разработке базы данных коннекторов русского языка - средств связи клауз (Рускон, https://ruscon.iling-ran.ru/units?linker=а). База содержит коннекторы, представленные в ряде академических словарей и словарей служебных слов. Все коннекторы характеризуются по ряду синтаксических и семантических признаков - позиция клаузы и позиция коннектора в ее составе, наличие, обязательность и позиция коррелята, состав коннектора и допустимость его ветвления и модификации, употребление коннектора в независимых предложениях; базовый семантический тип коннектора, возможность прагматических употреблений - инферентивного, иллокутивного и метатекстового.
Хорошо известны и активно используются положительные стороны цифрового формата представления данных - возможность быстрого поиска и фильтрации, гиперссылки, одновременная работа в онлайн-режиме и т.п. Однако при переходе к цифровому формату неизбежно встает ряд проблем, из которых самые очевидные - терминологическая несогласованность в источниках, жесткие требования к структуре базы, необходимость принятия решения по каждому параметру (в отличие от словаря, где единица может быть охарактеризована не по всем параметрам). Есть и особая проблема, которая появляется именно для служебных частей речи - проведение границы между лексико-грамматическими классами, а также проблема выделения базовой единицы описания, т.е. объединения/разделения лексических входов в той или иной функции и с тем или иным расширением (напр. по той причине что - по той простой причине что - по причине что). В докладе будут рассмотрены пути решения данных проблем с помощью облачной системы реляционных таблиц с открытым исходным кодом Grist в качестве внутреннего представления данных ("бэкенда").
Вторая часть доклада состоится 23 октября 2025 года.
➰ ВК
Яндекс Карты
Институт языкознания РАН, НИИ, Большой Кисловский пер., 1, стр. 1, Москва — Яндекс Карты
11 отзывов, 15 фото. Посмотреть номер телефона, часы работы, вход на карте и построить маршрут вы можете в Яндекс Картах.
🔥1
#матлог #наука #спецсеминар
💥Мы будем публиковать объявления о семинаре "Теоретические основы информатики", проходящего в городе Тверь!
🔥От Твери до Москвы чуть меньше 2 часов на "Ласточке", а что самое приятное - от вокзала до корпуса университета всего 10 минут пешком 👍
❗Для прохода в здание нужно иметь с собой паспорт. Предварительная регистрация на семинар не требуется.
Семинар "Теоретические основы информатики" проходит по пятницам в 16:00, адрес г.Тверь, Садовый переулок, 35, аудитория 308.
Заседание 26 сентября 2025 года.
Докладчик: Карлов Борис Николаевич
Тема доклада: «Определимость множеств в теориях языков с
операциями объединения и итерации»
💫Приглашаются все желающие
➰ ВК
💥Мы будем публиковать объявления о семинаре "Теоретические основы информатики", проходящего в городе Тверь!
🔥От Твери до Москвы чуть меньше 2 часов на "Ласточке", а что самое приятное - от вокзала до корпуса университета всего 10 минут пешком 👍
❗Для прохода в здание нужно иметь с собой паспорт. Предварительная регистрация на семинар не требуется.
Семинар "Теоретические основы информатики" проходит по пятницам в 16:00, адрес г.Тверь, Садовый переулок, 35, аудитория 308.
Заседание 26 сентября 2025 года.
Докладчик: Карлов Борис Николаевич
Тема доклада: «Определимость множеств в теориях языков с
операциями объединения и итерации»
💫Приглашаются все желающие
➰ ВК
👍1
24 сентября (среда) в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View»
Тема доклада: Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств (часть 1)
Докладчик: Игорь Зайцев (стажер-исследователь МЛ ЛогЛинФФ)
Аннотация:
Цель двух докладов — представить систематический обзор классических и интуиционистских подходов к построению кондициональной (условной) логики, а также обсудить результаты, полученные в этой области.
В первой части будет дано введение в кондициональную логику как формальный аппарат для анализа рассуждений, использующих как индикативные, так и контрфактические условные выражения. Мы обсудим мотивацию введения кондициональных операторов и отличие их от условных выражений, формализуемых в других неклассических логиках. Будут рассмотрены ключевые системы, предложенные в работах Р. Сталнакера [8], Д. Льюиса [3, 4], Б. Челласа [1] и Д. Ньюта [5], их аксиоматические исчисления, различные типы семантик: семантика сфер, (обобщенная) реляционная семантика, семантика сравнительной возможности и селективно-функциональная семантика [5, 7, 9], — а также доказательства ряда метатеорем.
Во второй части акцент будет сделан на интуиционистских и конструктивных вариантах систем кондициональной логики, развивающихся в последние годы. Будут рассмотрены мотивации отказа от классических презумпций и постановка задачи о формализации контрфактических рассуждений в рамках конструктивного контекста. Подробно будут проанализированы работы Й. Вайса [11, 12], И. Чиарделли, С. Лью [2] и Г.К. Ольховикова [6], посвящённые как семантическим моделям (в частности, модифицированным реляционным семантикам — биреляционным моделям), так и системам аксиоматических исчислений для указанного типа логик. Отдельно будут проанализированы особенности конструктивных кондициональных логик, развиваемых над логикой N4 Д. Нельсона [10] и логикой C, разработанной Х. Вансингом.
Заключительная часть выступлений посвящена собственным результатам автора, включающим построение аксиоматических и субординатных натуральных исчислений для интуиционистских аналогов систем Сталнакера–Льюиса, конструктивной кондициональной коннексивной логики CCCL Вансинга-Унтерхубера [10] с аксимой сериальности, а также введение новых ограничений на кондициональное отношение достижимости в контексте кондициональных биреляционных шкал реляционной семантики. Эти результаты открывают перспективу дальнейшего развития интуиционистской (шире — конструктивной) кондициональной логики.
Тема доклада: Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств (часть 1)
Докладчик: Игорь Зайцев (стажер-исследователь МЛ ЛогЛинФФ)
Аннотация:
Цель двух докладов — представить систематический обзор классических и интуиционистских подходов к построению кондициональной (условной) логики, а также обсудить результаты, полученные в этой области.
В первой части будет дано введение в кондициональную логику как формальный аппарат для анализа рассуждений, использующих как индикативные, так и контрфактические условные выражения. Мы обсудим мотивацию введения кондициональных операторов и отличие их от условных выражений, формализуемых в других неклассических логиках. Будут рассмотрены ключевые системы, предложенные в работах Р. Сталнакера [8], Д. Льюиса [3, 4], Б. Челласа [1] и Д. Ньюта [5], их аксиоматические исчисления, различные типы семантик: семантика сфер, (обобщенная) реляционная семантика, семантика сравнительной возможности и селективно-функциональная семантика [5, 7, 9], — а также доказательства ряда метатеорем.
Во второй части акцент будет сделан на интуиционистских и конструктивных вариантах систем кондициональной логики, развивающихся в последние годы. Будут рассмотрены мотивации отказа от классических презумпций и постановка задачи о формализации контрфактических рассуждений в рамках конструктивного контекста. Подробно будут проанализированы работы Й. Вайса [11, 12], И. Чиарделли, С. Лью [2] и Г.К. Ольховикова [6], посвящённые как семантическим моделям (в частности, модифицированным реляционным семантикам — биреляционным моделям), так и системам аксиоматических исчислений для указанного типа логик. Отдельно будут проанализированы особенности конструктивных кондициональных логик, развиваемых над логикой N4 Д. Нельсона [10] и логикой C, разработанной Х. Вансингом.
Заключительная часть выступлений посвящена собственным результатам автора, включающим построение аксиоматических и субординатных натуральных исчислений для интуиционистских аналогов систем Сталнакера–Льюиса, конструктивной кондициональной коннексивной логики CCCL Вансинга-Унтерхубера [10] с аксимой сериальности, а также введение новых ограничений на кондициональное отношение достижимости в контексте кондициональных биреляционных шкал реляционной семантики. Эти результаты открывают перспективу дальнейшего развития интуиционистской (шире — конструктивной) кондициональной логики.
🔥1
Литература:
[1] Chellas B.F. Basic Conditional Logic // Journal of Philosophical Logic. 1975. Vol. 5. No. 2. P. 133–153.
[2] Ciardelli I., Liu X. Intuitionistic Conditional Logics // Journal of Philosophical Logic. 2020. Vol. 49. No. 4. P. 807–832.
[3] Lewis D. Counterfactuals and Comparative Possibility // Journal of Philosophical Logic. 1973. Vol. 2. No. 4. P. 418–446.
[4] Lewis D. Counterfactuals. Oxford: Blackwell Publishing, 1973.
[5] Nute D., Cross C.B. Conditional Logic // Handbook of Philosophical Logic. Vol. 4. 2nd Edn. / Ed. by D.M. Gabbay, F. Guenthner. Dordrecht: Springer, 2002. P. 1–98.
[6] Olkhovikov G.K. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2024. Vol. 53. No. 5. P. 1199–1240.
[7] Segerberg K. Notes on Conditional Logic // Studia Logica. 1989. Vol. 48. No. 2. P. 157–168.
[8] Stalnaker R.C., Thomason R.H. A Semantic Analysis of Conditional Logic // Theoria. 1970. Vol. 36. No. 1. P. 23–42.
[9] Unterhuber M. Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal-Philosophical Inquiry into Chellas-Segerberg Semantics. Frankfurt: Ontos Verlag, 2013.
[10] Wansing H., Unterhuber M. Connexive Conditional Logic. Part 1 // Logic and Logical Philosophy. 2019. Vol. 28. P. 567– 610.
[11] Weiss Y. Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2018. Vol. 48. No. 3. P. 447–469.
[12] Weiss Y. Frontiers of Conditional Logic. PhD Thesis. New York: The City University of New York, 2019.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1085879818.html
[1] Chellas B.F. Basic Conditional Logic // Journal of Philosophical Logic. 1975. Vol. 5. No. 2. P. 133–153.
[2] Ciardelli I., Liu X. Intuitionistic Conditional Logics // Journal of Philosophical Logic. 2020. Vol. 49. No. 4. P. 807–832.
[3] Lewis D. Counterfactuals and Comparative Possibility // Journal of Philosophical Logic. 1973. Vol. 2. No. 4. P. 418–446.
[4] Lewis D. Counterfactuals. Oxford: Blackwell Publishing, 1973.
[5] Nute D., Cross C.B. Conditional Logic // Handbook of Philosophical Logic. Vol. 4. 2nd Edn. / Ed. by D.M. Gabbay, F. Guenthner. Dordrecht: Springer, 2002. P. 1–98.
[6] Olkhovikov G.K. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2024. Vol. 53. No. 5. P. 1199–1240.
[7] Segerberg K. Notes on Conditional Logic // Studia Logica. 1989. Vol. 48. No. 2. P. 157–168.
[8] Stalnaker R.C., Thomason R.H. A Semantic Analysis of Conditional Logic // Theoria. 1970. Vol. 36. No. 1. P. 23–42.
[9] Unterhuber M. Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal-Philosophical Inquiry into Chellas-Segerberg Semantics. Frankfurt: Ontos Verlag, 2013.
[10] Wansing H., Unterhuber M. Connexive Conditional Logic. Part 1 // Logic and Logical Philosophy. 2019. Vol. 28. P. 567– 610.
[11] Weiss Y. Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2018. Vol. 48. No. 3. P. 447–469.
[12] Weiss Y. Frontiers of Conditional Logic. PhD Thesis. New York: The City University of New York, 2019.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1085879818.html
#матлог #спецсеминар #не_мехмат #МФТИ
В рамках логического семинара лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) пройдет предзащита докторской диссертации Станислава Кикотя.
Среда, 24 сентября, 13:50 (время необычное!).
Предзащита будет онлайн, и мы устроим трансляцию по адресу
МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Но это будет именно трансляция, докладчик будет онлайн.
Так что можно подключиться независимо. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Название диссертации: Исследование формальных систем, связанных с модальной логикой и базами данных.
➰ ВК
В рамках логического семинара лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) пройдет предзащита докторской диссертации Станислава Кикотя.
Среда, 24 сентября, 13:50 (время необычное!).
Предзащита будет онлайн, и мы устроим трансляцию по адресу
МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Но это будет именно трансляция, докладчик будет онлайн.
Так что можно подключиться независимо. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Название диссертации: Исследование формальных систем, связанных с модальной логикой и базами данных.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
В рамках логического семинара лаборатории им. Манина Вы... Смотрите полностью ВКонтакте.
В рамках логического семинара лаборатории им. Манина Вы... Смотрите полностью ВКонтакте.
❤4
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в онлайн формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 213 (ул. Усачева, д. 6)
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 26.09.2025 в 16:20
Докладчик: С.О. Сперанский (МИАН)
Название: Открытие алгоритмической неразрешимости
Аннотация:
Формализация понятия вычислимой функции и появление естественных примеров алгоритмически неразрешимых проблем — яркие события в истории современной математики и информатики, связанные с пионерскими работами Алана Тьюринга. Данная лекция будет посвящена стоящему за этими событиями математическому аппарату и его применениям. В частности, будет приведена схема доказательства неразрешимости небезызвестной «проблемы остановки». Кроме того, мы бегло обсудим классификацию математических проблем по степени их неразрешимости.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в онлайн формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 213 (ул. Усачева, д. 6)
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 26.09.2025 в 16:20
Докладчик: С.О. Сперанский (МИАН)
Название: Открытие алгоритмической неразрешимости
Аннотация:
Формализация понятия вычислимой функции и появление естественных примеров алгоритмически неразрешимых проблем — яркие события в истории современной математики и информатики, связанные с пионерскими работами Алана Тьюринга. Данная лекция будет посвящена стоящему за этими событиями математическому аппарату и его применениям. В частности, будет приведена схема доказательства неразрешимости небезызвестной «проблемы остановки». Кроме того, мы бегло обсудим классификацию математических проблем по степени их неразрешимости.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
❤2👍1
В эту субботу 27 сентября состоится очередное заседание ридинг-семинара «Analytics» — встреча состоится в 17:00 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom . Для чтения был выбран следующий текст: Cappelen, H. (2017). Disagreement in philosophy. The Cambridge companion to philosophical methodology, 56-75. Все дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
🥰1🌭1
Forwarded from лазер Оккама
Умер Джон Сёрл, один из самых знаменитых философов XX века. Об этом ещё почти никто нигде не знает, включая гугл и твиттер*. В википедии статус изменился несколько часов назад.
Вечером 26 сентября секретарь Сёрла отправил письмо некоторым его друзьям о том, что он умер 17 сентября. Единственный из них, Колин Макгинн, опубликовал его часов 7-12 назад с разрешения секретаря. В письме указывается, что в UC Berkley не будет мемориальных мероприятий, поскольку Сёрла лишили статуса почетного профессора из-за неэтичных действий Сёрла в 2016 году. Это подтвержденные сексуальные домогательства до студенток и общий характер поведения, включая криповые мизогинистические высказывания во время лекций. Следует сказать, что Колин Макгинн сам обвинен в сексуальных домогательствах, которые подтвердились.
Случаи с Сёрлом и Макгинном — самые известные случаи возмездия общества в отношении престижных профессоров, не только в философии, но и, возможно, вообще в науке.
Разделяя личность и результат интеллектуального труда. Сёрл внес вклал в большое количество тем, включая развитие теории речевых актов. По иронии, эти разработки позже повлияли перформативную теорию гендера и феминизм. Также Серл известен в философии сознания, более всего — мысленным экспериментом "Китайская комната" против того, что AI обладает пониманием. Но на мой взгляд самым перспективным его вкладом было создание фундамента для социальной онтологии в книжке "Конструирование социальной реальности".
From: Jennifer Hudin [berkeleysocialontology@gmail.com]
Sent: Friday, September 26, 2025 6:38 PM
Subject: John Searle
Dear Professor…
I am Jennifer Hudin, John Searle’s secretary of 40 years. I am writing to tell you that John died last week on the 17th of September. The last two years of his life were hellish. HIs daughter–in-law, Andrea (Tom’s wife) took him to Tampa in 2024 and put him in a nursing home from which he never returned. She emptied his house in Berkeley and put it on the rental market. And no one was allowed to contact John, even to send him a birthday card on his birthday.
It is for us, those who cared about John, deeply sad.
I know you are aware of his final months at U.C. Berkeley when a female accused him (and me) of Title IX violations. This was extremely hard on John. The news no one knows is that after an extensive and intrusive investigation, these allegations were never found to be true. I was found 100% innocent of all allegations, and John’s emeritus status was removed because the Chancellor at the time, Carol Christ, found the not guilty verdict of the academic senate incorrect in her opinion. and reversed it herself. The two judges in the case both quit and wished me luck in restoring my life.
John never recovered.
There will be no memorial on campus honoring John’s 60+ years of dedication and work at U.C. Berkeley. The Dominican University of Philosophy and Theology in Berkeley is trying to organize a memorial.
John was innocent and falsely accused. To the very end of his time on campus, he held his dignity intact. I know you and he were friends, and I thought you might like to know more details about his life and death. If you wish to know more, I am happy to oblige.
Best wishes,
Jennifer Hudin
Berkeley , CA
*по решению Генпрокуратуры от 24 февраля 2022 запрещен в РФ
Вечером 26 сентября секретарь Сёрла отправил письмо некоторым его друзьям о том, что он умер 17 сентября. Единственный из них, Колин Макгинн, опубликовал его часов 7-12 назад с разрешения секретаря. В письме указывается, что в UC Berkley не будет мемориальных мероприятий, поскольку Сёрла лишили статуса почетного профессора из-за неэтичных действий Сёрла в 2016 году. Это подтвержденные сексуальные домогательства до студенток и общий характер поведения, включая криповые мизогинистические высказывания во время лекций. Следует сказать, что Колин Макгинн сам обвинен в сексуальных домогательствах, которые подтвердились.
Случаи с Сёрлом и Макгинном — самые известные случаи возмездия общества в отношении престижных профессоров, не только в философии, но и, возможно, вообще в науке.
Разделяя личность и результат интеллектуального труда. Сёрл внес вклал в большое количество тем, включая развитие теории речевых актов. По иронии, эти разработки позже повлияли перформативную теорию гендера и феминизм. Также Серл известен в философии сознания, более всего — мысленным экспериментом "Китайская комната" против того, что AI обладает пониманием. Но на мой взгляд самым перспективным его вкладом было создание фундамента для социальной онтологии в книжке "Конструирование социальной реальности".
From: Jennifer Hudin [berkeleysocialontology@gmail.com]
Sent: Friday, September 26, 2025 6:38 PM
Subject: John Searle
Dear Professor…
I am Jennifer Hudin, John Searle’s secretary of 40 years. I am writing to tell you that John died last week on the 17th of September. The last two years of his life were hellish. HIs daughter–in-law, Andrea (Tom’s wife) took him to Tampa in 2024 and put him in a nursing home from which he never returned. She emptied his house in Berkeley and put it on the rental market. And no one was allowed to contact John, even to send him a birthday card on his birthday.
It is for us, those who cared about John, deeply sad.
I know you are aware of his final months at U.C. Berkeley when a female accused him (and me) of Title IX violations. This was extremely hard on John. The news no one knows is that after an extensive and intrusive investigation, these allegations were never found to be true. I was found 100% innocent of all allegations, and John’s emeritus status was removed because the Chancellor at the time, Carol Christ, found the not guilty verdict of the academic senate incorrect in her opinion. and reversed it herself. The two judges in the case both quit and wished me luck in restoring my life.
John never recovered.
There will be no memorial on campus honoring John’s 60+ years of dedication and work at U.C. Berkeley. The Dominican University of Philosophy and Theology in Berkeley is trying to organize a memorial.
John was innocent and falsely accused. To the very end of his time on campus, he held his dignity intact. I know you and he were friends, and I thought you might like to know more details about his life and death. If you wish to know more, I am happy to oblige.
Best wishes,
Jennifer Hudin
Berkeley , CA
*по решению Генпрокуратуры от 24 февраля 2022 запрещен в РФ
😭10👍2
1 октября (среда) в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View»
Тема доклада: Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств (часть 2)
Докладчик: Игорь Зайцев (стажер-исследователь МЛ ЛогЛинФФ)
Аннотация:
Цель двух докладов — представить систематический обзор классических и интуиционистских подходов к построению кондициональной (условной) логики, а также обсудить результаты, полученные в этой области.
В первой части будет дано введение в кондициональную логику как формальный аппарат для анализа рассуждений, использующих как индикативные, так и контрфактические условные выражения. Мы обсудим мотивацию введения кондициональных операторов и отличие их от условных выражений, формализуемых в других неклассических логиках. Будут рассмотрены ключевые системы, предложенные в работах Р. Сталнакера [8], Д. Льюиса [3, 4], Б. Челласа [1] и Д. Ньюта [5], их аксиоматические исчисления, различные типы семантик: семантика сфер, (обобщенная) реляционная семантика, семантика сравнительной возможности и селективно-функциональная семантика [5, 7, 9], — а также доказательства ряда метатеорем.
Во второй части акцент будет сделан на интуиционистских и конструктивных вариантах систем кондициональной логики, развивающихся в последние годы. Будут рассмотрены мотивации отказа от классических презумпций и постановка задачи о формализации контрфактических рассуждений в рамках конструктивного контекста. Подробно будут проанализированы работы Й. Вайса [11, 12], И. Чиарделли, С. Лью [2] и Г.К. Ольховикова [6], посвящённые как семантическим моделям (в частности, модифицированным реляционным семантикам — биреляционным моделям), так и системам аксиоматических исчислений для указанного типа логик. Отдельно будут проанализированы особенности конструктивных кондициональных логик, развиваемых над логикой N4 Д. Нельсона [10] и логикой C, разработанной Х. Вансингом.
Заключительная часть выступлений посвящена собственным результатам автора, включающим построение аксиоматических и субординатных натуральных исчислений для интуиционистских аналогов систем Сталнакера–Льюиса, конструктивной кондициональной коннексивной логики CCCL Вансинга-Унтерхубера [10] с аксимой сериальности, а также введение новых ограничений на кондициональное отношение достижимости в контексте кондициональных биреляционных шкал реляционной семантики. Эти результаты открывают перспективу дальнейшего развития интуиционистской (шире — конструктивной) кондициональной логики.
Тема доклада: Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств (часть 2)
Докладчик: Игорь Зайцев (стажер-исследователь МЛ ЛогЛинФФ)
Аннотация:
Цель двух докладов — представить систематический обзор классических и интуиционистских подходов к построению кондициональной (условной) логики, а также обсудить результаты, полученные в этой области.
В первой части будет дано введение в кондициональную логику как формальный аппарат для анализа рассуждений, использующих как индикативные, так и контрфактические условные выражения. Мы обсудим мотивацию введения кондициональных операторов и отличие их от условных выражений, формализуемых в других неклассических логиках. Будут рассмотрены ключевые системы, предложенные в работах Р. Сталнакера [8], Д. Льюиса [3, 4], Б. Челласа [1] и Д. Ньюта [5], их аксиоматические исчисления, различные типы семантик: семантика сфер, (обобщенная) реляционная семантика, семантика сравнительной возможности и селективно-функциональная семантика [5, 7, 9], — а также доказательства ряда метатеорем.
Во второй части акцент будет сделан на интуиционистских и конструктивных вариантах систем кондициональной логики, развивающихся в последние годы. Будут рассмотрены мотивации отказа от классических презумпций и постановка задачи о формализации контрфактических рассуждений в рамках конструктивного контекста. Подробно будут проанализированы работы Й. Вайса [11, 12], И. Чиарделли, С. Лью [2] и Г.К. Ольховикова [6], посвящённые как семантическим моделям (в частности, модифицированным реляционным семантикам — биреляционным моделям), так и системам аксиоматических исчислений для указанного типа логик. Отдельно будут проанализированы особенности конструктивных кондициональных логик, развиваемых над логикой N4 Д. Нельсона [10] и логикой C, разработанной Х. Вансингом.
Заключительная часть выступлений посвящена собственным результатам автора, включающим построение аксиоматических и субординатных натуральных исчислений для интуиционистских аналогов систем Сталнакера–Льюиса, конструктивной кондициональной коннексивной логики CCCL Вансинга-Унтерхубера [10] с аксимой сериальности, а также введение новых ограничений на кондициональное отношение достижимости в контексте кондициональных биреляционных шкал реляционной семантики. Эти результаты открывают перспективу дальнейшего развития интуиционистской (шире — конструктивной) кондициональной логики.
❤2
Литература:
[1] Chellas B.F. Basic Conditional Logic // Journal of Philosophical Logic. 1975. Vol. 5. No. 2. P. 133–153.
[2] Ciardelli I., Liu X. Intuitionistic Conditional Logics // Journal of Philosophical Logic. 2020. Vol. 49. No. 4. P. 807–832.
[3] Lewis D. Counterfactuals and Comparative Possibility // Journal of Philosophical Logic. 1973. Vol. 2. No. 4. P. 418–446.
[4] Lewis D. Counterfactuals. Oxford: Blackwell Publishing, 1973.
[5] Nute D., Cross C.B. Conditional Logic // Handbook of Philosophical Logic. Vol. 4. 2nd Edn. / Ed. by D.M. Gabbay, F. Guenthner. Dordrecht: Springer, 2002. P. 1–98.
[6] Olkhovikov G.K. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2024. Vol. 53. No. 5. P. 1199–1240.
[7] Segerberg K. Notes on Conditional Logic // Studia Logica. 1989. Vol. 48. No. 2. P. 157–168.
[8] Stalnaker R.C., Thomason R.H. A Semantic Analysis of Conditional Logic // Theoria. 1970. Vol. 36. No. 1. P. 23–42.
[9] Unterhuber M. Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal-Philosophical Inquiry into Chellas-Segerberg Semantics. Frankfurt: Ontos Verlag, 2013.
[10] Wansing H., Unterhuber M. Connexive Conditional Logic. Part 1 // Logic and Logical Philosophy. 2019. Vol. 28. P. 567– 610.
[11] Weiss Y. Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2018. Vol. 48. No. 3. P. 447–469.
[12] Weiss Y. Frontiers of Conditional Logic. PhD Thesis. New York: The City University of New York, 2019.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1085879818.html
[1] Chellas B.F. Basic Conditional Logic // Journal of Philosophical Logic. 1975. Vol. 5. No. 2. P. 133–153.
[2] Ciardelli I., Liu X. Intuitionistic Conditional Logics // Journal of Philosophical Logic. 2020. Vol. 49. No. 4. P. 807–832.
[3] Lewis D. Counterfactuals and Comparative Possibility // Journal of Philosophical Logic. 1973. Vol. 2. No. 4. P. 418–446.
[4] Lewis D. Counterfactuals. Oxford: Blackwell Publishing, 1973.
[5] Nute D., Cross C.B. Conditional Logic // Handbook of Philosophical Logic. Vol. 4. 2nd Edn. / Ed. by D.M. Gabbay, F. Guenthner. Dordrecht: Springer, 2002. P. 1–98.
[6] Olkhovikov G.K. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2024. Vol. 53. No. 5. P. 1199–1240.
[7] Segerberg K. Notes on Conditional Logic // Studia Logica. 1989. Vol. 48. No. 2. P. 157–168.
[8] Stalnaker R.C., Thomason R.H. A Semantic Analysis of Conditional Logic // Theoria. 1970. Vol. 36. No. 1. P. 23–42.
[9] Unterhuber M. Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal-Philosophical Inquiry into Chellas-Segerberg Semantics. Frankfurt: Ontos Verlag, 2013.
[10] Wansing H., Unterhuber M. Connexive Conditional Logic. Part 1 // Logic and Logical Philosophy. 2019. Vol. 28. P. 567– 610.
[11] Weiss Y. Basic Intuitionistic Conditional Logic // Journal of Philosophical Logic. 2018. Vol. 48. No. 3. P. 447–469.
[12] Weiss Y. Frontiers of Conditional Logic. PhD Thesis. New York: The City University of New York, 2019.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1085879818.html
4 октября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).
Тема доклада: Actual Causality: A Survey.
Докладчик: Joseph Y. Halpern (Joseph C. Ford Professor in the Computer Science Department at Cornell University).
Аннотация: What does it mean that an event C "actually caused'' event E? The problem of defining actual causation goes beyond mere philosophical speculation.
For example, in many legal arguments, it is precisely what needs to be established in order to determine responsibility. (What exactly was the actual cause of the car accident or the medical problem?) The philosophy literature has been struggling with the problem of defining causality since the days of Hume, in the 1700s. Many of the definitions have been couched in terms of counterfactuals. (C is a cause of E if, had C not happened, then E would not have happened.) In 2001, Judea Pearl and I introduced a new definition of actual cause, using Pearl's notion of structural equations to model counterfactuals. The definition has been revised twice since then, extended to deal with notions like "responsibility" and "blame", and applied in databases and program verification. I survey the last 15 years of work here, including joint work with Judea Pearl, Hana Chockler, and Chris Hitchcock. The talk will be completely self-contained.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1087904123.html
Тема доклада: Actual Causality: A Survey.
Докладчик: Joseph Y. Halpern (Joseph C. Ford Professor in the Computer Science Department at Cornell University).
Аннотация: What does it mean that an event C "actually caused'' event E? The problem of defining actual causation goes beyond mere philosophical speculation.
For example, in many legal arguments, it is precisely what needs to be established in order to determine responsibility. (What exactly was the actual cause of the car accident or the medical problem?) The philosophy literature has been struggling with the problem of defining causality since the days of Hume, in the 1700s. Many of the definitions have been couched in terms of counterfactuals. (C is a cause of E if, had C not happened, then E would not have happened.) In 2001, Judea Pearl and I introduced a new definition of actual cause, using Pearl's notion of structural equations to model counterfactuals. The definition has been revised twice since then, extended to deal with notions like "responsibility" and "blame", and applied in databases and program verification. I survey the last 15 years of work here, including joint work with Judea Pearl, Hana Chockler, and Chris Hitchcock. The talk will be completely self-contained.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1087904123.html
llfp.hse.ru
Доклад Джозефа Халперна «Actual Causality: A Survey»
4 октября в 18:00 состоится заседание научно-учебного семинара «Математическая логика и теория категорий».
❤4👍1
#матлог #учёба #спецкурс
В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спецкурс по выбору кафедры.
Первая лекция: 3 октября
Место проведения: 425 аудитория, 2 ГУМ
Время проведения: пятница 18:30–20:05
Аннотация.
В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем. Содержание: логика первого порядка; теорема Эрбрана; метод резолюций для логики высказываний; алгоритм унификации; метод резолюций для логики предикатов; уточнения исчисления резолюций; применения метода резолюций в математической логике. Предварительных знаний из области математической логики не требуется.
Литература:
В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
A.Leitsch. The Resolution Calculus. Springer, 1997.
➰ ВК
В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спецкурс по выбору кафедры.
Первая лекция: 3 октября
Место проведения: 425 аудитория, 2 ГУМ
Время проведения: пятница 18:30–20:05
Аннотация.
В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем. Содержание: логика первого порядка; теорема Эрбрана; метод резолюций для логики высказываний; алгоритм унификации; метод резолюций для логики предикатов; уточнения исчисления резолюций; применения метода резолюций в математической логике. Предварительных знаний из области математической логики не требуется.
Литература:
В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
A.Leitsch. The Resolution Calculus. Springer, 1997.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецкурс
В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спе... Смотрите полностью ВКонтакте.
В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спе... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 2 октября (четверг), начало — в 16:00
Место: МИАН, ком. 530 + Контур.Толк
К.А. Ковалёв (МИАН), Л.В. Дворкин (МГУ)
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств
Краткая аннотация доклада:
Будет показано, что для теорий нормированных и банаховых пространств справедлива нижняя оценка \Pi^2_1, т.е. соответствующие теории являются \Pi^2_1-трудными. Также будет показано, что теории гильбертовых и евклидовых пространств сводятся к теории вещественно замкнутых полей и, следовательно, разрешимы.
[ Доклад сделает К.А. Ковалёв. ]
Общая аннотация серии:
В рамках четырёх запланированных заседаний семинара мы намерены детально изучить работу
R.M. Solovay, R.D. Arthan, J. Harrison. Some new results on decidability for elementary algebra and geometry. Annals of Pure and Applied Logic 163(12), 1765–1802, 2012.
https://doi.org/10.1016/j.apal.2012.04.003
В центре внимания окажутся вопросы (не)разрешимости первопорядковых теорий метрических, вещественных векторных, нормированных, банаховых, предгильбертовых и гильбертовых пространств. Данные теории естественным образом выражаются в двухсортном языке, где один сорт отвечает за скаляры, а другой — за векторы.
Оказывается, что проверку выполнимости первопорядковых формул в векторных, предгильбертовых и гильбертовых пространствах можно свести к проверке выполнимости в поле вещественных чисел. Последняя, как известно, разрешима в силу теоремы Зайденберга–Тарского.
При переходе к метрическим, нормированным и банаховым пространствам ситуация кардинально меняется: здесь становится возможной интерпретация арифметики второго порядка, что влечёт за собой неразрешимость и даже неарифметичность теорий этих пространств. Однако, несмотря на общую неразрешимость, существуют разрешимые фрагменты. В частности, чисто универсальный и чисто экзистенциальный фрагменты теории нормированных пространств, а также универсально-экзистенциальный фрагмент теории метрических пространств разрешимы.
Мы планируем рассмотреть доказательства упомянутых результатов. Предполагается, что слушатели обладают базовыми знаниями о первопорядковых теориях и их моделях.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 2 октября (четверг), начало — в 16:00
Место: МИАН, ком. 530 + Контур.Толк
К.А. Ковалёв (МИАН), Л.В. Дворкин (МГУ)
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств
Краткая аннотация доклада:
Будет показано, что для теорий нормированных и банаховых пространств справедлива нижняя оценка \Pi^2_1, т.е. соответствующие теории являются \Pi^2_1-трудными. Также будет показано, что теории гильбертовых и евклидовых пространств сводятся к теории вещественно замкнутых полей и, следовательно, разрешимы.
[ Доклад сделает К.А. Ковалёв. ]
Общая аннотация серии:
В рамках четырёх запланированных заседаний семинара мы намерены детально изучить работу
R.M. Solovay, R.D. Arthan, J. Harrison. Some new results on decidability for elementary algebra and geometry. Annals of Pure and Applied Logic 163(12), 1765–1802, 2012.
https://doi.org/10.1016/j.apal.2012.04.003
В центре внимания окажутся вопросы (не)разрешимости первопорядковых теорий метрических, вещественных векторных, нормированных, банаховых, предгильбертовых и гильбертовых пространств. Данные теории естественным образом выражаются в двухсортном языке, где один сорт отвечает за скаляры, а другой — за векторы.
Оказывается, что проверку выполнимости первопорядковых формул в векторных, предгильбертовых и гильбертовых пространствах можно свести к проверке выполнимости в поле вещественных чисел. Последняя, как известно, разрешима в силу теоремы Зайденберга–Тарского.
При переходе к метрическим, нормированным и банаховым пространствам ситуация кардинально меняется: здесь становится возможной интерпретация арифметики второго порядка, что влечёт за собой неразрешимость и даже неарифметичность теорий этих пространств. Однако, несмотря на общую неразрешимость, существуют разрешимые фрагменты. В частности, чисто универсальный и чисто экзистенциальный фрагменты теории нормированных пространств, а также универсально-экзистенциальный фрагмент теории метрических пространств разрешимы.
Мы планируем рассмотреть доказательства упомянутых результатов. Предполагается, что слушатели обладают базовыми знаниями о первопорядковых теориях и их моделях.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК