#матлог #учёба #спецкурс
В этом семестре Станислав Сперанский будет читать курс «Введение в неклассические логики». Этот курс читается в рамках Базовой кафедры МИАН в МФТИ, однако посещать его могут все желающие.
Первая лекция: 11 февраля
Место проведения: МИАН, ауд. 430
Время проведения: вторник 14:15-15:40
Страница курса: https://www.mathnet.ru/conf2543
Аннотация:
Данный курс представляет собой доступное введение в неклассические логики. Традиционно всякая логика, отличная от классической, называется «неклассической». Существует много разнообразных неклассических логик, которые применяются в основаниях математики, информатике, формальной философии и эпистемологии, лингвистике и т.д. Практически невозможно дать обзор большинства из них в рамках одного курса. Поэтому вместо того, чтобы пытаться рассмотреть настолько много логик, насколько возможно, мы сосредоточимся на определённых фундаментальных вопросах и методах, связанных с неклассическими логиками. Более того, хотя существуют различные виды семантики для неклассических логик, нас будет в основном интересовать так называемая семантика Крипке, также известная как реляционная семантика или семантика возможных миров. Этот вид семантики адекватным образом отражает интуицию, стоящую за большинством неклассических логик, и имеет динамический характер: здесь в основе структур лежат множества «миров», или «информационных состояний», связанных между собой посредством «отношений достижимости».
Особое место в данном курсе занимают интуиционистская логика и (классическая) модальная логика, обозначаемые через Int и K соответственно:
— Поведение связки импликации в Int сильно отличается от поведения классической, «материальной» импликации. На самом деле, интуиционистская импликация имеет более конструктивный и в определённом смысле интуитивный характер. Так, в Int исчезают многие из так называемых парадоксов классической импликации.
— В языке K, помимо символов языка классической логики, присутствуют дополнительные символы модальных операторов «необходимо, что» и «возможно, что»; при этом немодальные логические символы ведут себя классически. Таким образом, K обогащает классическую логику, не меняя смысла стандартных связок. Модальные операторы играют ключевую роль в применениях формальной логики в информатике и лингвистике. Например, в естественном языке оператору «возможно, что» соответствует модальный глагол «мочь»: грубо говоря, предложение «Он может написать книгу» равносильно предложению «Возможно, что он напишет книгу».
Интуиционистская и модальная логики оказываются сильно полны относительно подходящей семантики возможных миров. Кроме того, проблемы выполнимости для них алгоритмически разрешимы, хотя это доказывается существенно сложнее, чем в случае пропозициональной классической логики.
🔗 Открытые лекции по теме «Введение в неклассические логики»
➰ ВК
В этом семестре Станислав Сперанский будет читать курс «Введение в неклассические логики». Этот курс читается в рамках Базовой кафедры МИАН в МФТИ, однако посещать его могут все желающие.
Первая лекция: 11 февраля
Место проведения: МИАН, ауд. 430
Время проведения: вторник 14:15-15:40
Страница курса: https://www.mathnet.ru/conf2543
Аннотация:
Данный курс представляет собой доступное введение в неклассические логики. Традиционно всякая логика, отличная от классической, называется «неклассической». Существует много разнообразных неклассических логик, которые применяются в основаниях математики, информатике, формальной философии и эпистемологии, лингвистике и т.д. Практически невозможно дать обзор большинства из них в рамках одного курса. Поэтому вместо того, чтобы пытаться рассмотреть настолько много логик, насколько возможно, мы сосредоточимся на определённых фундаментальных вопросах и методах, связанных с неклассическими логиками. Более того, хотя существуют различные виды семантики для неклассических логик, нас будет в основном интересовать так называемая семантика Крипке, также известная как реляционная семантика или семантика возможных миров. Этот вид семантики адекватным образом отражает интуицию, стоящую за большинством неклассических логик, и имеет динамический характер: здесь в основе структур лежат множества «миров», или «информационных состояний», связанных между собой посредством «отношений достижимости».
Особое место в данном курсе занимают интуиционистская логика и (классическая) модальная логика, обозначаемые через Int и K соответственно:
— Поведение связки импликации в Int сильно отличается от поведения классической, «материальной» импликации. На самом деле, интуиционистская импликация имеет более конструктивный и в определённом смысле интуитивный характер. Так, в Int исчезают многие из так называемых парадоксов классической импликации.
— В языке K, помимо символов языка классической логики, присутствуют дополнительные символы модальных операторов «необходимо, что» и «возможно, что»; при этом немодальные логические символы ведут себя классически. Таким образом, K обогащает классическую логику, не меняя смысла стандартных связок. Модальные операторы играют ключевую роль в применениях формальной логики в информатике и лингвистике. Например, в естественном языке оператору «возможно, что» соответствует модальный глагол «мочь»: грубо говоря, предложение «Он может написать книгу» равносильно предложению «Возможно, что он напишет книгу».
Интуиционистская и модальная логики оказываются сильно полны относительно подходящей семантики возможных миров. Кроме того, проблемы выполнимости для них алгоритмически разрешимы, хотя это доказывается существенно сложнее, чем в случае пропозициональной классической логики.
🔗 Открытые лекции по теме «Введение в неклассические логики»
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецкурс
В этом семестре Станислав Сперанский будет читать курс «Введение в н... Смотрите полностью ВКонтакте.
В этом семестре Станислав Сперанский будет читать курс «Введение в н... Смотрите полностью ВКонтакте.
👍4❤2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 31.01.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
Аннотация: Будет рассматриваться логика QGL_inf - предикатная версия логики Гёделя-Лёба, расширенная нефундированными выводами. Мы докажем, что при достаточно богатой сигнатуре (а именно, содержащей 4 унарных, 3 бинарных и 1 тернарный предикатных символов) к множеству теорем этой логики сводится задача о неостановке машины Тьюринга; из этого факта легко выводится неперечислимость множества теорем QGL_inf.
Также будет доказана эквивалентность логики QGL_inf логике QGL c омега-правилом Лёба (обобщение обычного правила Лёба); с помощью данной эквивалентности будет получена верхняя оценка сложности: класс Sigma^1_1 аналитической иерархии.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 31.01.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
Аннотация: Будет рассматриваться логика QGL_inf - предикатная версия логики Гёделя-Лёба, расширенная нефундированными выводами. Мы докажем, что при достаточно богатой сигнатуре (а именно, содержащей 4 унарных, 3 бинарных и 1 тернарный предикатных символов) к множеству теорем этой логики сводится задача о неостановке машины Тьюринга; из этого факта легко выводится неперечислимость множества теорем QGL_inf.
Также будет доказана эквивалентность логики QGL_inf логике QGL c омега-правилом Лёба (обобщение обычного правила Лёба); с помощью данной эквивалентности будет получена верхняя оценка сложности: класс Sigma^1_1 аналитической иерархии.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
❤2👍1
#матлог #наука #спецсеминар
The Proof Society Seminar (https://www.proofsociety.org/proof-theory-seminar/index.html) presents talks by leading researchers in proof theory and from all areas of logic related to proofs. We are affiliated with the Proof Society, and our aims with this seminar are closely aligned with the Proof Society's Manifesto, particularly in enabling communication within the broader scientific community. Everyone who is interested in the subject is warmly invited to attend!
The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.
The seminar organizer is Lev D. Beklemishev (levbekl@gmail.com). The seminar board consists of the committee members of the Proof Society.
03 February 2025, 13:00 UTC
Jeremy Avigad (Carnegie Mellon University)
Verifying Proofs on Blockchain
In cryptography, a *club227889084 (*proof) system* is a protocol between a prover and a verifier that enables the prover to convince the verifier that a claim is true. They are often probabilistic; given a source of randomness, it is often more efficient to convince the verifier only that it is very likely that the claim is true. Such proof systems now have interesting applications to blockchain technology, where they are used, among other things, to validate the execution of smart contracts.
It is easy to make mistakes when implementing cryptographic protocols and designing smart contracts, and billions of dollars are lost to hacks every year. Fortunately, another proof technology can help: interactive proof assistants, which have long been used to verify hardware and software systems, can also be used to verify the correctness of cryptographic protocols.
In this talk, I will describe some formal verification efforts I have carried out with colleagues at StarkWare Industries using the Lean proof assistant. I will explain some of the ideas behind smart contracts and interactive proof assistants without assuming familiarity with either.
🔗 Proof Theory Virtual Seminar - Home
➰ ВК
The Proof Society Seminar (https://www.proofsociety.org/proof-theory-seminar/index.html) presents talks by leading researchers in proof theory and from all areas of logic related to proofs. We are affiliated with the Proof Society, and our aims with this seminar are closely aligned with the Proof Society's Manifesto, particularly in enabling communication within the broader scientific community. Everyone who is interested in the subject is warmly invited to attend!
The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.
The seminar organizer is Lev D. Beklemishev (levbekl@gmail.com). The seminar board consists of the committee members of the Proof Society.
03 February 2025, 13:00 UTC
Jeremy Avigad (Carnegie Mellon University)
Verifying Proofs on Blockchain
In cryptography, a *club227889084 (*proof) system* is a protocol between a prover and a verifier that enables the prover to convince the verifier that a claim is true. They are often probabilistic; given a source of randomness, it is often more efficient to convince the verifier only that it is very likely that the claim is true. Such proof systems now have interesting applications to blockchain technology, where they are used, among other things, to validate the execution of smart contracts.
It is easy to make mistakes when implementing cryptographic protocols and designing smart contracts, and billions of dollars are lost to hacks every year. Fortunately, another proof technology can help: interactive proof assistants, which have long been used to verify hardware and software systems, can also be used to verify the correctness of cryptographic protocols.
In this talk, I will describe some formal verification efforts I have carried out with colleagues at StarkWare Industries using the Lean proof assistant. I will explain some of the ideas behind smart contracts and interactive proof assistants without assuming familiarity with either.
🔗 Proof Theory Virtual Seminar - Home
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #спецсеминар
The Proof Society Seminar (https://www.proofsociety.org/proof-theory-seminar/index.html... Смотрите полностью ВКонтакте.
The Proof Society Seminar (https://www.proofsociety.org/proof-theory-seminar/index.html... Смотрите полностью ВКонтакте.
👍1💯1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 5 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Стас Кикоть
Название: О дихотомии для модальных логик некоторых элементарных классов шкал Крипке
В докладе рассматриваются нормальные модальные логики элементарных классов, определяемых формулами первого порядка вида ∀x0 ∃x1 · · · ∃xn C, где C - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 5 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Стас Кикоть
Название: О дихотомии для модальных логик некоторых элементарных классов шкал Крипке
В докладе рассматриваются нормальные модальные логики элементарных классов, определяемых формулами первого порядка вида ∀x0 ∃x1 · · · ∃xn C, где C - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.
➰ ВК
Яндекс Карты
МФТИ, радиотехнический корпус: как доехать на автомобиле, общественным транспортом или пешком – Яндекс Карты
МФТИ, радиотехнический корпус: варианты маршрутов с указанием расстояния и времени в пути. Яндекс Карты покажут, как добраться до нужного места на разных видах транспорта или пешком.
#матлог #учёба #спецкурс
В этом семестре в МГУ (при поддержке Фонда «БАЗИС») будет читаться курс С.О. Сперанского «Проблемы алгоритмической разрешимости теорий для алгебры и анализа».
Первая лекция: 14 февраля
Место проведения: МГУ, ауд. 1414
Время проведения: пятница, 16:45-18:20
Страница курса (где можно найти расширенную аннотацию и предварительный план лекций):
https://homepage.mi-ras.ru/~speranski/courses/theories.html
Аннотация:
Теории классов структур в языке логики первого порядка традиционно называют «элементарными»; они являются одним из основных объектов изучения в математической логике и теории алгоритмов. Элементарная теория данного класса — это совокупность свойств, выразимых в соответствующем языке и присущих всем структурам из класса; её алгоритмическая разрешимость означает возможность эффективной проверки «элементарных» свойств над рассматриваемым классом. Многие известные результаты, а также открытые проблемы в математической логике связаны с изучением вычислительных аспектов элементарных теорий различных классов групп, колец и т.п. и их естественных фрагментов. Это классическое и не теряющее актуальности направление исследований, восходящее к фундаментальным работам А. Тарского и А.И. Мальцева.
Кроме того, в настоящее время большое внимание уделяется изучению двухсортных структур, возникающих в функциональном анализе. Элементарные теории классов такого рода структур оказываются тесно связаны с арифметикой второго порядка, чей язык активно используется в основаниях математики. С точки зрения теоретической информатики особый интерес здесь представляют вероятностные пространства, поскольку они лежат в основе семантики многочисленных вероятностных логических систем.
Основная цель настоящего курса — познакомить слушателей с методами, которые активно применяются в изучении вычислительных аспектов элементарных теорий, и сопутствующими результатами о разрешимости и неразрешимости, связанными со структурами из алгебры и анализа.
❗ Просьба ко всем участникам зарегистрироваться через Google-форму, ссылка на которую есть в верхней части страницы курса — см. кнопку «Регистрация».
🔗 Станислав Сперанский
➰ ВК
В этом семестре в МГУ (при поддержке Фонда «БАЗИС») будет читаться курс С.О. Сперанского «Проблемы алгоритмической разрешимости теорий для алгебры и анализа».
Первая лекция: 14 февраля
Место проведения: МГУ, ауд. 1414
Время проведения: пятница, 16:45-18:20
Страница курса (где можно найти расширенную аннотацию и предварительный план лекций):
https://homepage.mi-ras.ru/~speranski/courses/theories.html
Аннотация:
Теории классов структур в языке логики первого порядка традиционно называют «элементарными»; они являются одним из основных объектов изучения в математической логике и теории алгоритмов. Элементарная теория данного класса — это совокупность свойств, выразимых в соответствующем языке и присущих всем структурам из класса; её алгоритмическая разрешимость означает возможность эффективной проверки «элементарных» свойств над рассматриваемым классом. Многие известные результаты, а также открытые проблемы в математической логике связаны с изучением вычислительных аспектов элементарных теорий различных классов групп, колец и т.п. и их естественных фрагментов. Это классическое и не теряющее актуальности направление исследований, восходящее к фундаментальным работам А. Тарского и А.И. Мальцева.
Кроме того, в настоящее время большое внимание уделяется изучению двухсортных структур, возникающих в функциональном анализе. Элементарные теории классов такого рода структур оказываются тесно связаны с арифметикой второго порядка, чей язык активно используется в основаниях математики. С точки зрения теоретической информатики особый интерес здесь представляют вероятностные пространства, поскольку они лежат в основе семантики многочисленных вероятностных логических систем.
Основная цель настоящего курса — познакомить слушателей с методами, которые активно применяются в изучении вычислительных аспектов элементарных теорий, и сопутствующими результатами о разрешимости и неразрешимости, связанными со структурами из алгебры и анализа.
❗ Просьба ко всем участникам зарегистрироваться через Google-форму, ссылка на которую есть в верхней части страницы курса — см. кнопку «Регистрация».
🔗 Станислав Сперанский
➰ ВК
👍4👏1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
UPD: The forthcoming talk on February 10th (Monday) will be given by Prof. Aleksandar Perović (University of Belgrade, https://www.scopus.com/authid/detail.uri?authorId=23987185400), who is another co-author of the work.
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)
The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.
The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
UPD: The forthcoming talk on February 10th (Monday) will be given by Prof. Aleksandar Perović (University of Belgrade, https://www.scopus.com/authid/detail.uri?authorId=23987185400), who is another co-author of the work.
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)
The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.
The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Scopus
Scopus preview -
Perović, Aleksandar - Author details - Scopus
Perović, Aleksandar - Author details - Scopus
TEST 02 - Elsevier's Scopus, the largest abstract and citation database of peer-reviewed literature. Search and access research from the science, technology, medicine, social sciences and arts and humanities fields.
#матлог #учёба #спецкурс
В этом семестре Н.К.Верещагин прочитает спецкурс "Сложность вычислений".
Первая лекция: 11 февраля
Место проведения: МГУ, ауд. 424
Время проведения: вторник, 18:30 - 20:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/7137
Аннотация. Это - базовый спецкурс по теории сложности вычислений (включая доказательства трудности задач, основные сложностные классы, теорию NP полноты, PSPACE полноты). Предварительных знаний не требуется.
🔗 Сложность вычислений | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
В этом семестре Н.К.Верещагин прочитает спецкурс "Сложность вычислений".
Первая лекция: 11 февраля
Место проведения: МГУ, ауд. 424
Время проведения: вторник, 18:30 - 20:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/7137
Аннотация. Это - базовый спецкурс по теории сложности вычислений (включая доказательства трудности задач, основные сложностные классы, теорию NP полноты, PSPACE полноты). Предварительных знаний не требуется.
🔗 Сложность вычислений | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецкурс
В этом семестре Н.К.Верещагин прочитает спецкурс "Сложность вычислен... Смотрите полностью ВКонтакте.
В этом семестре Н.К.Верещагин прочитает спецкурс "Сложность вычислен... Смотрите полностью ВКонтакте.
👍2
#матлог #учёба #спецсеминар
11 и 18 февраля 2025 г., в 16:00 на семинаре НОЦ МИАН «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова и С.О. Сперанского будет следующий доклад (в двух частях):
С.Л. Кузнецов, Т.Г. Пшеницын (МИАН)
Исчисление Ламбека с операцией круллева пересечения
Исчисление Ламбека — это субструктурная логика, т. е. логика без правил сокращения, ослабления и перестановки. Одним из естественных классов моделей для исчисления Ламбека являются модели на алгебрах бинарных отношений (R-модели). В рамках доклада будет рассмотрено расширение исчисления Ламбека с помощью операции круллева пересечения, т. е. пересечения степеней данного элемента (начиная с первой). Эта операция в некотором смысле двойственна операции взятия транзитивного замыкания (положительной итерации Клини). В первой части доклада будут доказаны теоремы об устранении сечения, о полноте относительно R-моделей, а также верхняя оценка алгоритмической сложности для исчисления Ламбека с операцией круллева пересечения. Вторая часть будет посвящена доказательству нижней оценки сложности.
Семинар проходит очно в МИАН (ул. Губкина 8), ауд. 303. Возможно также подключение через Контур Толк. Всем желающим участвовать в семинаре просьба зарегистрироваться на странице семинара (https://www.mathnet.ru/conf2533). Ссылка на Контур Толк будет выслана зарегистрировавшимся участникам накануне семинара.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
11 и 18 февраля 2025 г., в 16:00 на семинаре НОЦ МИАН «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова и С.О. Сперанского будет следующий доклад (в двух частях):
С.Л. Кузнецов, Т.Г. Пшеницын (МИАН)
Исчисление Ламбека с операцией круллева пересечения
Исчисление Ламбека — это субструктурная логика, т. е. логика без правил сокращения, ослабления и перестановки. Одним из естественных классов моделей для исчисления Ламбека являются модели на алгебрах бинарных отношений (R-модели). В рамках доклада будет рассмотрено расширение исчисления Ламбека с помощью операции круллева пересечения, т. е. пересечения степеней данного элемента (начиная с первой). Эта операция в некотором смысле двойственна операции взятия транзитивного замыкания (положительной итерации Клини). В первой части доклада будут доказаны теоремы об устранении сечения, о полноте относительно R-моделей, а также верхняя оценка алгоритмической сложности для исчисления Ламбека с операцией круллева пересечения. Вторая часть будет посвящена доказательству нижней оценки сложности.
Семинар проходит очно в МИАН (ул. Губкина 8), ауд. 303. Возможно также подключение через Контур Толк. Всем желающим участвовать в семинаре просьба зарегистрироваться на странице семинара (https://www.mathnet.ru/conf2533). Ссылка на Контур Толк будет выслана зарегистрировавшимся участникам накануне семинара.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
👍2🔥2
#матлог #учёба #спецкурс
В этом семестре В.Е.Плиско прочитает спецкурс "Конструктивная логика".
Первая лекция: 14 февраля
Место проведения: МГУ, ауд. 425
Время проведения: пятница, 18:30 - 20:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/7193
🔗 Конструктивная логика | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
В этом семестре В.Е.Плиско прочитает спецкурс "Конструктивная логика".
Первая лекция: 14 февраля
Место проведения: МГУ, ауд. 425
Время проведения: пятница, 18:30 - 20:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/7193
🔗 Конструктивная логика | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
🔥2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 12 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Александр Колпащиков
Название: Введение в логику норм: проблемы и примеры.
Доклад представляет собой изложение наиболее известных вопросов деонтической логики - раздела логики, исследующего формализацию таких нормативных концепций, как моральный долг, обязательства, правовые нормы и т.д. Также будут рассмотрены основные системы аксиом, некоторые их модификации и соответствующие семантические структуры.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 12 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Александр Колпащиков
Название: Введение в логику норм: проблемы и примеры.
Доклад представляет собой изложение наиболее известных вопросов деонтической логики - раздела логики, исследующего формализацию таких нормативных концепций, как моральный долг, обязательства, правовые нормы и т.д. Также будут рассмотрены основные системы аксиом, некоторые их модификации и соответствующие семантические структуры.
➰ ВК
Яндекс Карты
МФТИ, радиотехнический корпус: как доехать на автомобиле, общественным транспортом или пешком – Яндекс Карты
МФТИ, радиотехнический корпус: варианты маршрутов с указанием расстояния и времени в пути. Яндекс Карты покажут, как добраться до нужного места на разных видах транспорта или пешком.
#матлог #учёба #спецкурс
В этом семестре В.А.Любецкий продолжит чтение годового спецкурса "Современные методы обработки данных".
Первая лекция: 24 февраля
Место проведения: удалённо
Время проведения: понедельник, 16:45 - 18:30
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6467
Можно сдавать как годовой спецкурс, так и полугодовую "половинку".
Название полугодовой "половинки": "Компьютерный анализ клеточных типов"
Страница в базе мехмата: https://scs.math.msu.ru/ru/node/6471
Аннотация.
Будет рассмотрен весьма сложный эвристический алгоритм, который ставит много математических проблем и также широко применяется в прикладных задачах из многих предметных областей (желательно программирование и счёт реальных прикладных задач, которые будут предложены).
Предварительных знаний не требуется.
❗До начала курса каждому слушателю записаться у К.Ю. Горбунова gorbunov@iitp.ru, сообщив ФИО, группу, почту, мобильный.
Студенты, работающие с Любецким В.А. (курсовая, дипломная, аспирантура), обязательно посещают курс!
🔗 Современные методы обработки данных | Спецкурсы и спецсеминары механико-математического факультета М
➰ ВК
В этом семестре В.А.Любецкий продолжит чтение годового спецкурса "Современные методы обработки данных".
Первая лекция: 24 февраля
Место проведения: удалённо
Время проведения: понедельник, 16:45 - 18:30
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6467
Можно сдавать как годовой спецкурс, так и полугодовую "половинку".
Название полугодовой "половинки": "Компьютерный анализ клеточных типов"
Страница в базе мехмата: https://scs.math.msu.ru/ru/node/6471
Аннотация.
Будет рассмотрен весьма сложный эвристический алгоритм, который ставит много математических проблем и также широко применяется в прикладных задачах из многих предметных областей (желательно программирование и счёт реальных прикладных задач, которые будут предложены).
Предварительных знаний не требуется.
❗До начала курса каждому слушателю записаться у К.Ю. Горбунова gorbunov@iitp.ru, сообщив ФИО, группу, почту, мобильный.
Студенты, работающие с Любецким В.А. (курсовая, дипломная, аспирантура), обязательно посещают курс!
🔗 Современные методы обработки данных | Спецкурсы и спецсеминары механико-математического факультета М
➰ ВК
#матлог #учёба #спецкурс
В этом семестре В.Б.Шехтман прочитает спецкурс "Временные логики”".
Первая лекция: 13 февраля
Место проведения: МГУ, 2 гум. корп., ауд. 424
Время проведения: четверг, 16:45 - 18:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6979
Аннотация.
Временные логики составляют класс модальных логик, в которых модальности интерпретируются как временные связки (“всегда будет”, “было вчера” и др.). Эти логики часто оказываются разрешимыми и успешно применяются в компьютерных науках. В курсе дается введение в эту обширную область. Рассматриваются различные логики дискретного, непрерывного и ветвящегося времени. Доказываются результаты об аксиоматизируемости, разрешимости и определимости.
Пререквизиты: основной курс "Введение в математическую логику и теорию алгоритмов".
🔗 Временные логики | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
В этом семестре В.Б.Шехтман прочитает спецкурс "Временные логики”".
Первая лекция: 13 февраля
Место проведения: МГУ, 2 гум. корп., ауд. 424
Время проведения: четверг, 16:45 - 18:05
Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6979
Аннотация.
Временные логики составляют класс модальных логик, в которых модальности интерпретируются как временные связки (“всегда будет”, “было вчера” и др.). Эти логики часто оказываются разрешимыми и успешно применяются в компьютерных науках. В курсе дается введение в эту обширную область. Рассматриваются различные логики дискретного, непрерывного и ветвящегося времени. Доказываются результаты об аксиоматизируемости, разрешимости и определимости.
Пререквизиты: основной курс "Введение в математическую логику и теорию алгоритмов".
🔗 Временные логики | Спецкурсы и спецсеминары механико-математического факультета МГУ
➰ ВК
❤4
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
14 февраля 2025 г.
Г. Г. Черевиченко
Интерпретация Гёделя.
Гёдель предложил некий способ устранения кванторов, похожий на введение скулемовских функций, но пригодный для интуиционистской арифметики. Арифметика при этом "погружается" в некоторую теорию без кванторов, но содержащую гораздо больше функциональных символов (в частности, для всех примитивно рекурсивных функций, но не только для них). Это даёт очень ясное описание, о каких вычислимых функциях можно говорить в арифметике (какие функции доказуемо общерекурсивны). Кроме того, Гёдель рассматривал эту интерпретацию как некоторое доказательство непротиворечивости арифметики.
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
14 февраля 2025 г.
Г. Г. Черевиченко
Интерпретация Гёделя.
Гёдель предложил некий способ устранения кванторов, похожий на введение скулемовских функций, но пригодный для интуиционистской арифметики. Арифметика при этом "погружается" в некоторую теорию без кванторов, но содержащую гораздо больше функциональных символов (в частности, для всех примитивно рекурсивных функций, но не только для них). Это даёт очень ясное описание, о каких вычислимых функциях можно говорить в арифметике (какие функции доказуемо общерекурсивны). Кроме того, Гёдель рассматривал эту интерпретацию как некоторое доказательство непротиворечивости арифметики.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
❤2
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
On Monday February 17, Time: 18:30 (MSK), 16:30 (CET) we have a talk of Sasha Kozachinskiy on computable online learning.
In the online learning setting, a learner receives an input x_1 to an unknown function f from a known hypothesis class H. The learner has to guess f(x_1). Then the learner receives the real value f(x_1), and the process repeats for x_2, x_3, and so on. The minimal number of mistakes that one can achieve on a hypothesis class H is known to be equal to the so-called Littlestone dimension of H.
What if the learner has to be computable? Or if the Littlestone dimension ''effective''? We will establish relationships between different versions of online learning when we impose computability conditions. Joint with Valentino Delle Rose and Tomasz Steifer.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
On Monday February 17, Time: 18:30 (MSK), 16:30 (CET) we have a talk of Sasha Kozachinskiy on computable online learning.
In the online learning setting, a learner receives an input x_1 to an unknown function f from a known hypothesis class H. The learner has to guess f(x_1). Then the learner receives the real value f(x_1), and the process repeats for x_2, x_3, and so on. The minimal number of mistakes that one can achieve on a hypothesis class H is known to be equal to the so-called Littlestone dimension of H.
What if the learner has to be computable? Or if the Littlestone dimension ''effective''? We will establish relationships between different versions of online learning when we impose computability conditions. Joint with Valentino Delle Rose and Tomasz Steifer.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Кирилл Александров
Название: Сложность линейно аппроксимируемых расширений базисной пропозициональной логики
Аннотация:
Изучение алгоритмических свойств логик исторически было связано с оцениванием размера наименьших шкал Крипке, отделяющих формулы от логик. Для логики L, полной относительно некоторого класса конечных шкал Крипке, оценка размера наименьших шкал Крипке логики L, опровергающих формулы определенной длины, проводится с помощью функции сложности, которая по длине формулы говорит, какого размера шкалы Крипке логики L достаточно использовать , чтобы опровергнуть формулы не из L данной длины.
Интерес к функции сложности логики связан с долгим убеждением, что ее характер (полиномиальный, экспоненциальный и др.) напрямую связан со сложностью логики, однако Хемаспаандра установила существование нормальных модальных логик с линейной функцией сложности и неразрешимым унарным фрагментом. М.Н. Рыбаков и Д.П. Шкатов расширили её результаты, а именно показали, что для любой степени неразрешимости существуют нормальные расширения модальных логик KTB, K4, GL, Grz с линейными функциями сложности и константными или унарными фрагментами с данной степенью неразрешимости, а также доказали существование суперинтуиционистских пропозициональных логик с похожими свойствами. Мы расширим данный результат на случай базисной пропозициональной логики BPL, которая представляет собой логику класса шкал Крипке с транзитивным и антисимметричным отношением достижимости, а именно покажем, что для любой степени неразрешимости существует линейно аппроксимируемая логика, расширяющая BPL, константный фрагмент которой имеет данную степень неразрешимости.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Кирилл Александров
Название: Сложность линейно аппроксимируемых расширений базисной пропозициональной логики
Аннотация:
Изучение алгоритмических свойств логик исторически было связано с оцениванием размера наименьших шкал Крипке, отделяющих формулы от логик. Для логики L, полной относительно некоторого класса конечных шкал Крипке, оценка размера наименьших шкал Крипке логики L, опровергающих формулы определенной длины, проводится с помощью функции сложности, которая по длине формулы говорит, какого размера шкалы Крипке логики L достаточно использовать , чтобы опровергнуть формулы не из L данной длины.
Интерес к функции сложности логики связан с долгим убеждением, что ее характер (полиномиальный, экспоненциальный и др.) напрямую связан со сложностью логики, однако Хемаспаандра установила существование нормальных модальных логик с линейной функцией сложности и неразрешимым унарным фрагментом. М.Н. Рыбаков и Д.П. Шкатов расширили её результаты, а именно показали, что для любой степени неразрешимости существуют нормальные расширения модальных логик KTB, K4, GL, Grz с линейными функциями сложности и константными или унарными фрагментами с данной степенью неразрешимости, а также доказали существование суперинтуиционистских пропозициональных логик с похожими свойствами. Мы расширим данный результат на случай базисной пропозициональной логики BPL, которая представляет собой логику класса шкал Крипке с транзитивным и антисимметричным отношением достижимости, а именно покажем, что для любой степени неразрешимости существует линейно аппроксимируемая логика, расширяющая BPL, константный фрагмент которой имеет данную степень неразрешимости.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
👍1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
17.02.2025, jointly with S.I. Adian seminar
Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)
In this talk I will focus on three things:
1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.
2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.
3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
17.02.2025, jointly with S.I. Adian seminar
Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)
In this talk I will focus on three things:
1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.
2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.
3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
👍1
#матлог #не_мехмат #ВШЭ
В пятницу 21 февраля 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Л.Д. Беклемишева на тему "Циклические доказательства".
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
Место проведения: Покровский бульвар 11, аудитория R205.
🔗 Математический семинар
➰ ВК
В пятницу 21 февраля 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Л.Д. Беклемишева на тему "Циклические доказательства".
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
Место проведения: Покровский бульвар 11, аудитория R205.
🔗 Математический семинар
➰ ВК
👏3👍2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
‼ВНИМАНИЕ Место поменялось.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Докладчик: М.Н.Рыбаков (ВШМ МФТИ, НИУ ВШЭ, ТвГУ)
Тема: Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
Аннотация:
Известно, что интуиционистская пропозициональная логика Int PSPACE-полна, причём PSPACE-полным является даже её импликативный фрагмент (R.Statman, 1979). Чуть ранее А.В.Кузнецов высказывал предположение, что Int полиномиально финитно аппроксимируема шкалами Крипке (и, как следствие, полиномиально погружается в классическую логику Cl). Это оказалось не так, что следует как из доказательства PSPACE-трудности Int, так и из результатов М.В.Захарьящева о сложности аппроксимации Int шкалами Крипке, полученных примерно в то же время. Тем не менее, фрагмент Int от одной переменной полиномиально финитно аппроксимируем и полиномиально разрешим (благодаря т.н. лестнице Ригера--Нишимуры). А.В.Чагров высказывал гипотезу о том, что полиномиально разрешимым будет любой фрагмент Int от конечного множества переменных (заметим, что для Cl это именно так и есть). В монографии [A.Chagrov, M.Zakharyaschev. Modal Logic. 1997] сформулирована соответствующая проблема (Problem 18.4), где вопросы о полиномиальной финитной аппроксимируемости и полиномиальной разрешимости ставятся для фрагмента Int от двух переменных и фрагментов S4, Grz и других стандартных модальных логик от одной переменной. На момент публикации этой монографии сложность фрагментов от одной переменной логик K, T, S4 была установлена (E.Spaan, 1993; J.Halpern, 1995), а в отношении Int долгое время ответа не было. Ответ для Int был получен докладчиком в 2004 году. В доказательстве возникла конструкция, позволившая обосновать PSPACE-трудность фрагментов от двух переменных всех логик между Int и логикой слабого закона исключённого третьего. Много позже эта конструкция была использована в решении алгоритмических вопросов для суперинтуиционистских предикатных логик, а недавно — для модальных интуиционистских логик, таких как MIPC (известна как IK — интуиционистская K), FS (известна как IS5) и других. Некоторые из полученных результатов опубликованы в совместных работах с Д.П.Шкатовым, в частности, касающиеся модальных интуиционистских логик.
В докладе предполагается (а) представить и обсудить используемую в доказательствах конструкцию, позволяющую полиномиально погрузить всю логику в её фрагмент от одной-двух переменных, (б) представить недавно полученные совместно с Д.П.Шкатовым результаты, а также (в) рассказать о некоторых следствиях, в т.ч. полученных совместно с А.А.Оноприенко (касаются логики HC, 2024г.) и М.И.Щербаковым (касаются логики GL.2, 2025г.).
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
‼ВНИМАНИЕ Место поменялось.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Докладчик: М.Н.Рыбаков (ВШМ МФТИ, НИУ ВШЭ, ТвГУ)
Тема: Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
Аннотация:
Известно, что интуиционистская пропозициональная логика Int PSPACE-полна, причём PSPACE-полным является даже её импликативный фрагмент (R.Statman, 1979). Чуть ранее А.В.Кузнецов высказывал предположение, что Int полиномиально финитно аппроксимируема шкалами Крипке (и, как следствие, полиномиально погружается в классическую логику Cl). Это оказалось не так, что следует как из доказательства PSPACE-трудности Int, так и из результатов М.В.Захарьящева о сложности аппроксимации Int шкалами Крипке, полученных примерно в то же время. Тем не менее, фрагмент Int от одной переменной полиномиально финитно аппроксимируем и полиномиально разрешим (благодаря т.н. лестнице Ригера--Нишимуры). А.В.Чагров высказывал гипотезу о том, что полиномиально разрешимым будет любой фрагмент Int от конечного множества переменных (заметим, что для Cl это именно так и есть). В монографии [A.Chagrov, M.Zakharyaschev. Modal Logic. 1997] сформулирована соответствующая проблема (Problem 18.4), где вопросы о полиномиальной финитной аппроксимируемости и полиномиальной разрешимости ставятся для фрагмента Int от двух переменных и фрагментов S4, Grz и других стандартных модальных логик от одной переменной. На момент публикации этой монографии сложность фрагментов от одной переменной логик K, T, S4 была установлена (E.Spaan, 1993; J.Halpern, 1995), а в отношении Int долгое время ответа не было. Ответ для Int был получен докладчиком в 2004 году. В доказательстве возникла конструкция, позволившая обосновать PSPACE-трудность фрагментов от двух переменных всех логик между Int и логикой слабого закона исключённого третьего. Много позже эта конструкция была использована в решении алгоритмических вопросов для суперинтуиционистских предикатных логик, а недавно — для модальных интуиционистских логик, таких как MIPC (известна как IK — интуиционистская K), FS (известна как IS5) и других. Некоторые из полученных результатов опубликованы в совместных работах с Д.П.Шкатовым, в частности, касающиеся модальных интуиционистских логик.
В докладе предполагается (а) представить и обсудить используемую в доказательствах конструкцию, позволяющую полиномиально погрузить всю логику в её фрагмент от одной-двух переменных, (б) представить недавно полученные совместно с Д.П.Шкатовым результаты, а также (в) рассказать о некоторых следствиях, в т.ч. полученных совместно с А.А.Оноприенко (касаются логики HC, 2024г.) и М.И.Щербаковым (касаются логики GL.2, 2025г.).
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
❤2👍2🔥1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Applying the theory of quasi-truth for clarification of cognitive distortions
Докладчики: Ricardo Peraça Cavassane (University of Campinas), Виктория Денисова (НИУ ВШЭ)
Аннотация: We begin by examining Beck's cognitive model, focusing on its three key components: the cognitive triad, schemas, and cognitive errors. Our analysis emphasizes cognitive errors, particularly cognitive distortions, as a subset of these errors. The presentation then delves into a systematic review of Beck's identified thinking errors. We argue that many cognitive distortions can be understood as errors in deductive reasoning, often stemming from invalid premises or flawed logical forms. By applying principles of the theory of quasi-truth, we demonstrate how cognitive distortions can be reframed as instances of reasoning with inconsistent or incomplete information and negative assumptions. That is, by adding negative assumptions to the set of primary sentences P of a simple pragmatic structure A, the individual can only construct the A-normal structures which are consistent with those assumptions and, therefore, can only come to negative quasi-true conclusions. This approach provides a more nuanced understanding of how individuals with depression process information and make inferences about themselves, their experiences, and their future
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1016973796.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Applying the theory of quasi-truth for clarification of cognitive distortions
Докладчики: Ricardo Peraça Cavassane (University of Campinas), Виктория Денисова (НИУ ВШЭ)
Аннотация: We begin by examining Beck's cognitive model, focusing on its three key components: the cognitive triad, schemas, and cognitive errors. Our analysis emphasizes cognitive errors, particularly cognitive distortions, as a subset of these errors. The presentation then delves into a systematic review of Beck's identified thinking errors. We argue that many cognitive distortions can be understood as errors in deductive reasoning, often stemming from invalid premises or flawed logical forms. By applying principles of the theory of quasi-truth, we demonstrate how cognitive distortions can be reframed as instances of reasoning with inconsistent or incomplete information and negative assumptions. That is, by adding negative assumptions to the set of primary sentences P of a simple pragmatic structure A, the individual can only construct the A-normal structures which are consistent with those assumptions and, therefore, can only come to negative quasi-true conclusions. This approach provides a more nuanced understanding of how individuals with depression process information and make inferences about themselves, their experiences, and their future
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1016973796.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…