#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 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 - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.
➰ ВК
Яндекс Карты
МФТИ, радиотехнический корпус: как доехать на автомобиле, общественным транспортом или пешком – Яндекс Карты
МФТИ, радиотехнический корпус: варианты маршрутов с указанием расстояния и времени в пути. Яндекс Карты покажут, как добраться до нужного места на разных видах транспорта или пешком.
8 февраля (суббота) в 16.20 состоится очередное заседание научно-учебного семинара "Математическая логика и теория категорий"
Тема доклада: Понятие математической структуры согласно Владимиру Воеводскому.
Доклад основан на следующей статье: arXiv:2409.02935. Выступает автор.
Аннотация: В нашей переписке по электронной почте, датируемой 2016 годом, Владимир Воеводский предложил оригинальное понятие математической структуры, которое была мотивирована, с одной стороны, его работой в области гомотопической теории типов, а с другой стороны, его чтением комментария Прокла к определению плоского угла у Евклида (Определение 1.8 «Начал»). В своем выступлении я представлю концепцию математической структуры согласно Владимиру, сравниваю ее со стандартными концепциями и коснусь некоторых вопросов, поставленных Владимиром в нашей переписке.
Мероприятие пройдет в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom.Для участия необходимо написать @arnold1020 или @thepunkfloydius
Тема доклада: Понятие математической структуры согласно Владимиру Воеводскому.
Доклад основан на следующей статье: arXiv:2409.02935. Выступает автор.
Аннотация: В нашей переписке по электронной почте, датируемой 2016 годом, Владимир Воеводский предложил оригинальное понятие математической структуры, которое была мотивирована, с одной стороны, его работой в области гомотопической теории типов, а с другой стороны, его чтением комментария Прокла к определению плоского угла у Евклида (Определение 1.8 «Начал»). В своем выступлении я представлю концепцию математической структуры согласно Владимиру, сравниваю ее со стандартными концепциями и коснусь некоторых вопросов, поставленных Владимиром в нашей переписке.
Мероприятие пройдет в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom.Для участия необходимо написать @arnold1020 или @thepunkfloydius
👍4❤3👎1
7 февраля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Проблемы автономности неконцептуального ментального содержания
Докладчик: Коченков Андрей (РГГУ).
Аннотация: Понятие неконцептуального ментального содержания, введённое Гаретом Эвансом (1982) и развитое последующими теоретиками, используется для объяснения двух групп феноменов: во-первых, репрезентирующих способностей существ, не обладающих лингвистическими и концептуальными навыками; во-вторых, особенностей феноменологии некоторых репрезентирующих ментальных состояний, таких как восприятие или эмоции, которые, как утверждают теоретики, невозможно объяснить, ограничиваясь концептуальным содержанием пропозициональных установок. Многие исследователи неконцептуального содержания признают полную независимость неконцептуальных репрезентаций от лингвистических и концептуальных способностей. Однако исторически дебаты о неконцептуальном содержании можно описать как серию попыток ограничить этот тезис.
Концептуалисты стремились радикально ограничить этот подход, утверждая, что любое содержание концептуально и зависит от концептуальных способностей, а ментальные состояния существ, лишённых таких способностей, нельзя считать полноценно репрезентирующими. Ранние неконцептуалисты признавали независимость неконцептуального содержания в отдельных аспектах восприятия, например в перцептивных иллюзиях, но полагали, что без знания хотя бы каких-то понятий невозможно обладать неконцептуальными репрезентациями с объективным содержанием. В современных обсуждениях эта тенденция сохранилась в дискуссии о неконцептуализме состояния и неконцептуализме содержания. Сторонники неконцептуализма состояния признают независимость содержания некоторых ментальных состояний от концептуальных способностей, но считают, что это не подразумевает различия в типах содержания.
В своём докладе я хочу показать, что, хотя сторонники радикальной автономности неконцептуального содержания успешно справляются с критикой оппонентов, сама тенденция к ограничению тезиса о независимости возникла из-за актуальной проблемы: трудностей в позитивном описании неконцептуального содержания и критериев для индивидуации неконцептуальных репрезентаций. Само понятие формулируется негативно и поясняется на примерах, но охватывает слишком широкий круг разнообразных феноменов. Поэтому философы стремились стабилизировать толкование неконцептуального содержания в рамках знакомых концептуальных схем. Таким образом, даже если сторонники радикальной независимости неконцептуального содержания правы, это не избавляет их от нерешённых на сегодняшний день проблем, связанных с индивидуацией неконцептуальных репрезентаций.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1012663669.html
Тема доклада: Проблемы автономности неконцептуального ментального содержания
Докладчик: Коченков Андрей (РГГУ).
Аннотация: Понятие неконцептуального ментального содержания, введённое Гаретом Эвансом (1982) и развитое последующими теоретиками, используется для объяснения двух групп феноменов: во-первых, репрезентирующих способностей существ, не обладающих лингвистическими и концептуальными навыками; во-вторых, особенностей феноменологии некоторых репрезентирующих ментальных состояний, таких как восприятие или эмоции, которые, как утверждают теоретики, невозможно объяснить, ограничиваясь концептуальным содержанием пропозициональных установок. Многие исследователи неконцептуального содержания признают полную независимость неконцептуальных репрезентаций от лингвистических и концептуальных способностей. Однако исторически дебаты о неконцептуальном содержании можно описать как серию попыток ограничить этот тезис.
Концептуалисты стремились радикально ограничить этот подход, утверждая, что любое содержание концептуально и зависит от концептуальных способностей, а ментальные состояния существ, лишённых таких способностей, нельзя считать полноценно репрезентирующими. Ранние неконцептуалисты признавали независимость неконцептуального содержания в отдельных аспектах восприятия, например в перцептивных иллюзиях, но полагали, что без знания хотя бы каких-то понятий невозможно обладать неконцептуальными репрезентациями с объективным содержанием. В современных обсуждениях эта тенденция сохранилась в дискуссии о неконцептуализме состояния и неконцептуализме содержания. Сторонники неконцептуализма состояния признают независимость содержания некоторых ментальных состояний от концептуальных способностей, но считают, что это не подразумевает различия в типах содержания.
В своём докладе я хочу показать, что, хотя сторонники радикальной автономности неконцептуального содержания успешно справляются с критикой оппонентов, сама тенденция к ограничению тезиса о независимости возникла из-за актуальной проблемы: трудностей в позитивном описании неконцептуального содержания и критериев для индивидуации неконцептуальных репрезентаций. Само понятие формулируется негативно и поясняется на примерах, но охватывает слишком широкий круг разнообразных феноменов. Поэтому философы стремились стабилизировать толкование неконцептуального содержания в рамках знакомых концептуальных схем. Таким образом, даже если сторонники радикальной независимости неконцептуального содержания правы, это не избавляет их от нерешённых на сегодняшний день проблем, связанных с индивидуацией неконцептуальных репрезентаций.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1012663669.html
llfp.hse.ru
Доклад Андрея Коченкова «Проблемы автономности неконцептуального ментального содержания»
7 февраля в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
❤10
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
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"
➰ ВК
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"
➰ ВК
❤1
14 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Топологический подход к формальным моделям убеждений (beliefs).
Докладчик: Денис Федянин (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Планируется обсудить некоторые формальные конструкции из статьи Baltag, A., Bezhanishvili, N., Özgün, A. et al. A Topological Approach to Full Belief. J Philos Logic 48, 205–244 (2019). Предварительная подготовка не требуется, но будет удобно, если бы слушатели были бы знакомы с эпистемической модальной логикой и определением топологии как набора открытых множеств.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1015282218.html
Тема доклада: Топологический подход к формальным моделям убеждений (beliefs).
Докладчик: Денис Федянин (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Планируется обсудить некоторые формальные конструкции из статьи Baltag, A., Bezhanishvili, N., Özgün, A. et al. A Topological Approach to Full Belief. J Philos Logic 48, 205–244 (2019). Предварительная подготовка не требуется, но будет удобно, если бы слушатели были бы знакомы с эпистемической модальной логикой и определением топологии как набора открытых множеств.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1015282218.html
👍3
На ридинг-семинаре «Analytics» начинается чтение новой статьи - будет обсуждаться текст Алекса Морана «Disjunctivism and the Causal Conditions of Hallucination». Первая встреча состоится в эту субботу 22 февраля в 14:00. Семинар проводится в гибридном формате - онлайн в Zoom и по адресу ул. Старая Басманная, д. 21/4, каб. а117. Дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
❤3👍2
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
Тема доклада: 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
❤4
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
28 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: A Puzzle about Wisdom: Stability, Bias, and Reflection
Докладчик: Oushinar Nath (University College London)
Аннотация: Wisdom, in virtue of it being a character trait, is taken as a stable disposition to form beliefs and perform actions conducive to or constitutive of living well. I demonstrate that a puzzle emerges when we discuss wisdom’s relationship to certainty and bias, such that a wise agent isn’t in a position to perform wise actions stably over a large range of situations. I argue that this puzzle could be avoided if we take wise agents to be those who are skilled at reflecting – a wise agent forms her attitudes on the basis of skilfully reflecting on the relevant situation such that, despite the kind of uncertainty that threatens to make wisdom unstable, the involvement of this skill stably generates the relevant attitude
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1019270227.html
Тема доклада: A Puzzle about Wisdom: Stability, Bias, and Reflection
Докладчик: Oushinar Nath (University College London)
Аннотация: Wisdom, in virtue of it being a character trait, is taken as a stable disposition to form beliefs and perform actions conducive to or constitutive of living well. I demonstrate that a puzzle emerges when we discuss wisdom’s relationship to certainty and bias, such that a wise agent isn’t in a position to perform wise actions stably over a large range of situations. I argue that this puzzle could be avoided if we take wise agents to be those who are skilled at reflecting – a wise agent forms her attitudes on the basis of skilfully reflecting on the relevant situation such that, despite the kind of uncertainty that threatens to make wisdom unstable, the involvement of this skill stably generates the relevant attitude
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1019270227.html
🔥4
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам. Известно, что при почти всех сигнатурах двухсортная версия имеет как минимум ту же сложность, что и полная арифметика второго порядка, а потому для неё невозможность построить адекватное (даже слабо) полное инфинитарное исчисление.
Нас будет интересовать односортная версия вышеупомянутой логики. Первый доклад будет посвящён построению сильно полного инфинитарного исчисления для неё. Здесь «инфинитарность» означает, что наше исчисление будет содержать омега-правила, т.е. правила со счётным числом посылок; однако сами формулы будут конечными. На втором докладе мы рассмотрим различные естественные фрагменты данной логики.
❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам. Известно, что при почти всех сигнатурах двухсортная версия имеет как минимум ту же сложность, что и полная арифметика второго порядка, а потому для неё невозможность построить адекватное (даже слабо) полное инфинитарное исчисление.
Нас будет интересовать односортная версия вышеупомянутой логики. Первый доклад будет посвящён построению сильно полного инфинитарного исчисления для неё. Здесь «инфинитарность» означает, что наше исчисление будет содержать омега-правила, т.е. правила со счётным числом посылок; однако сами формулы будут конечными. На втором докладе мы рассмотрим различные естественные фрагменты данной логики.
❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 28.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 28.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
👍1
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
👍10❤3🔥1
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
❤4
Формальная философия
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия". Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом. Докладчик: Арсен Вольский. Аннотация: Традиционные исследования в области…
❗️Дорогие слушатели и участники семинара,
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
😢9👌1🤣1
#матлог #учёба #просеминар
💥В четверг 13 марта на просеминаре по математической логике и информатике будет продолжение темы: "Колмогоровская сложность" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
➰ ВК
💥В четверг 13 марта на просеминаре по математической логике и информатике будет продолжение темы: "Колмогоровская сложность" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
👍2
14 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: Морской Ёж: формальная теория познания на основе графов.
Докладчик: Александр Кузнецов (д.ф-м.н., доцент заведующий лабораторией 90 ИПУ РАН).
Аннотация: Строится формальная теория познания реальности, описываемой определенной онтологией, агентом в условиях неполной информированности агента. Онтология описывается графом, вершины и ребра которого соответствуют сущностям и их отношениям. Вводятся различные классы утверждений -- истинных или ложных, а также бессмысленных, об этом графе, конъюнкции этих утверждений могу описывать граф полностью или частично. Введено две меры, одна — типа логической вероятности, с сигма-аддитивностью, вторая — типа расстояния редактирования графов. С помощью второй меры агент строит состоящую из предполагаемых онтологий окрестность вокруг того, что он считает (неполным и неточным) отражением реальной онтологии, с помощью второй -- вычисляет степень неопределенности этой окрестности (потому что окрестность соответствует дизъюнкции разных возможных описаний графа-онтологии). Внутри окрестности агент ищет то, что ему кажется наиболее верным отражением онтологии, расширяет найденный граф онтологии нужным ему образом, строит вокруг получившегося графа окрестность из близких к нему графов онтологий заданного радиуса по второй мере и с заданной неопределенностью по первой мере. Процесс повторяется до получения убедительной для агента картины мира, т.е. до лучшего в каком-то смысле графа, по мнению агента описывающего реальную онтологию. Показан теоретико-игровой пример конкуренции двух агентов в процессе познания онтологии.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1023559728.html
Тема доклада: Морской Ёж: формальная теория познания на основе графов.
Докладчик: Александр Кузнецов (д.ф-м.н., доцент заведующий лабораторией 90 ИПУ РАН).
Аннотация: Строится формальная теория познания реальности, описываемой определенной онтологией, агентом в условиях неполной информированности агента. Онтология описывается графом, вершины и ребра которого соответствуют сущностям и их отношениям. Вводятся различные классы утверждений -- истинных или ложных, а также бессмысленных, об этом графе, конъюнкции этих утверждений могу описывать граф полностью или частично. Введено две меры, одна — типа логической вероятности, с сигма-аддитивностью, вторая — типа расстояния редактирования графов. С помощью второй меры агент строит состоящую из предполагаемых онтологий окрестность вокруг того, что он считает (неполным и неточным) отражением реальной онтологии, с помощью второй -- вычисляет степень неопределенности этой окрестности (потому что окрестность соответствует дизъюнкции разных возможных описаний графа-онтологии). Внутри окрестности агент ищет то, что ему кажется наиболее верным отражением онтологии, расширяет найденный граф онтологии нужным ему образом, строит вокруг получившегося графа окрестность из близких к нему графов онтологий заданного радиуса по второй мере и с заданной неопределенностью по первой мере. Процесс повторяется до получения убедительной для агента картины мира, т.е. до лучшего в каком-то смысле графа, по мнению агента описывающего реальную онтологию. Показан теоретико-игровой пример конкуренции двух агентов в процессе познания онтологии.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1023559728.html
❤4👍4🤷♂1🔥1
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анна Задаля
Название: Темпоральные логики LTL и CTL.
Аннотация.
Доклад будет посвящён темпоральным логикам LTL и CTL. Мы познакомимся с базовыми определениями, касающимися этой темы. Данные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности (темпоральные операторы) позволяют формулировать утверждения про факты, истинность которых может меняться с течением времени.
Предварительных знаний не требуется, все определения будут даны в процессе доклада.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анна Задаля
Название: Темпоральные логики LTL и CTL.
Аннотация.
Доклад будет посвящён темпоральным логикам LTL и CTL. Мы познакомимся с базовыми определениями, касающимися этой темы. Данные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности (темпоральные операторы) позволяют формулировать утверждения про факты, истинность которых может меняться с течением времени.
Предварительных знаний не требуется, все определения будут даны в процессе доклада.
➰ ВК
❤4