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
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (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
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (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, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 28.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
Формальная философия
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия". Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом. Докладчик: Арсен Вольский. Аннотация: Традиционные исследования в области…
❗️Дорогие слушатели и участники семинара,
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
#матлог #учёба #просеминар
💥В четверг 13 марта на просеминаре по математической логике и информатике будет продолжение темы: "Колмогоровская сложность" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://www.group-telegram.com/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
➰ ВК
💥В четверг 13 марта на просеминаре по математической логике и информатике будет продолжение темы: "Колмогоровская сложность" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://www.group-telegram.com/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
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
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анна Задаля
Название: Темпоральные логики LTL и CTL.
Аннотация.
Доклад будет посвящён темпоральным логикам LTL и CTL. Мы познакомимся с базовыми определениями, касающимися этой темы. Данные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности (темпоральные операторы) позволяют формулировать утверждения про факты, истинность которых может меняться с течением времени.
Предварительных знаний не требуется, все определения будут даны в процессе доклада.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 14.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анна Задаля
Название: Темпоральные логики LTL и CTL.
Аннотация.
Доклад будет посвящён темпоральным логикам LTL и CTL. Мы познакомимся с базовыми определениями, касающимися этой темы. Данные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности (темпоральные операторы) позволяют формулировать утверждения про факты, истинность которых может меняться с течением времени.
Предварительных знаний не требуется, все определения будут даны в процессе доклада.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
ПЕРЕНОС НА НЕДЕЛЮ - 22 МАРТА
В следуюдую субботу 22 марта в 14:00 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom состоится очередное заседание ридинг-семинара «Analytics». Начинается чтение статьи Маттьё Кело «Function-Based Conceptual Engineering and the Authority Problem». Все дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6
В следуюдую субботу 22 марта в 14:00 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom состоится очередное заседание ридинг-семинара «Analytics». Начинается чтение статьи Маттьё Кело «Function-Based Conceptual Engineering and the Authority Problem». Все дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6
#матлог #не_мехмат #ВШЭ
В пятницу 21 марта 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Павла Соколова на тему "Теория типов и альтернативные основания математики".
Аннотация:
Теория типов — сравнительно молодая область на стыке математической логики, теории категорий и компьютерных наук. Появившись как один из вариантов разрешения парадоксов наивной теории множеств, системы типов нашли неожиданное применение в языках программирования как средство легковесной верификации как пользовательского кода, так и программных оптимизаций. Кроме этого, системы типов естественным образом обеспечивают конструктивный и, более того, синтетический подход к математике (синтетическая (дифференциальная) геометрия, синтетическая топология, синтетическая теория гомотопий и т.д.) В особенности, гомотопическая теория типов (HoTT) претендует на статус альтернативного основания (конструктивной) математики.
В рамках данного доклада будет изложена история становления теории типов как самостоятельной дисциплины с изложением основных математических результатов, начиная с Principia Mathematica Бертрана Рассела и заканчивая сегодняшними наиболее активными направлениями исследований.
Место проведения: Покровский бульвар 11, аудитория R305.
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
➰ ВК
В пятницу 21 марта 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Павла Соколова на тему "Теория типов и альтернативные основания математики".
Аннотация:
Теория типов — сравнительно молодая область на стыке математической логики, теории категорий и компьютерных наук. Появившись как один из вариантов разрешения парадоксов наивной теории множеств, системы типов нашли неожиданное применение в языках программирования как средство легковесной верификации как пользовательского кода, так и программных оптимизаций. Кроме этого, системы типов естественным образом обеспечивают конструктивный и, более того, синтетический подход к математике (синтетическая (дифференциальная) геометрия, синтетическая топология, синтетическая теория гомотопий и т.д.) В особенности, гомотопическая теория типов (HoTT) претендует на статус альтернативного основания (конструктивной) математики.
В рамках данного доклада будет изложена история становления теории типов как самостоятельной дисциплины с изложением основных математических результатов, начиная с Principia Mathematica Бертрана Рассела и заканчивая сегодняшними наиболее активными направлениями исследований.
Место проведения: Покровский бульвар 11, аудитория R305.
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
➰ ВК
cs.hse.ru
Математический семинар
21 марта (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Метафизика в философии математики и эпистемологические последствия для доказательства.
Докладчик: Илья Гущин (УрФУ).
Аннотация: В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1025647859.html
Тема доклада: Метафизика в философии математики и эпистемологические последствия для доказательства.
Докладчик: Илья Гущин (УрФУ).
Аннотация: В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1025647859.html
Forwarded from Дорожки Алетейи
Британская философия середины прошлого века подарила нам множество выдающихся мыслителей. Одним из таких стал Питер Стросон, оказавший значимое влияние на поворот «оксфордской» философии обратно к метафизике. Получив первоначально известность за счёт атаки на теорию референции Рассела, Стросон закрепился в истории мысли как автор проекта «дескриптивной метафизики», который до сих пор привлекает к себе большое внимание.
Для рассказа о столь значимой фигуре мы пригласили Максима Евстигнеева, аспиранта НИУ ВШЭ, стажера-исследователя Международной лаборатории логики, лингвистики и формальной философии, с которым мы обсудили биографию Стросона и контекст, в котором он творил, а также его отношения с философией языка. Поговорили про «дескриптивную» и «пересматривающую» метафизики, книгу «Индивиды», эмпиризм и скептицизм, связь Стросона с Кантом и множество других интересных вопросов!
https://youtu.be/qdf6P9XWgfc
https://band.link/pathwaysofaletheiatg
#Выпуски
Для рассказа о столь значимой фигуре мы пригласили Максима Евстигнеева, аспиранта НИУ ВШЭ, стажера-исследователя Международной лаборатории логики, лингвистики и формальной философии, с которым мы обсудили биографию Стросона и контекст, в котором он творил, а также его отношения с философией языка. Поговорили про «дескриптивную» и «пересматривающую» метафизики, книгу «Индивиды», эмпиризм и скептицизм, связь Стросона с Кантом и множество других интересных вопросов!
https://youtu.be/qdf6P9XWgfc
https://band.link/pathwaysofaletheiatg
#Выпуски
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 21.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Дудаков С.М. (ТвГУ, ВШЭ)
Название: О теориях алгебр подмножеств и решёток подалгебр
Аннотация.
Одним из способов построения новых алгебр является конструкция алгебры всех или некоторых подмножеств уже имеющейся. Например, для произвольной полугруппы S можно можно построить новую полугруппу exp S, элементами которой будут подмножества S, а операция определена поточечно. В докладе будут рассмотрены теории таких подалгебр exp A, когда исходная алгебра A снабжена бинарной операцией (то есть A — группоид). Будет показано, что при определённых условиях теория exp A позволяет интерпретировать элементарную арифметику (и даже - арифметику второго порядка) или, как минимум, арифметические операции для начального фрагмента натурального ряда. Аналогичный результат будет показан для теории решётки lat A подалгебр алгебры A. Далее, для любого класса K алгебр можно рассмотреть классы exp K и lat K. Первый из них состоит из всех алгебр вида exp A, а второй - из всех решёток вида lat A, когда A берётся из K. Будет показано, что для широко распространённых классов K теории классов exp K и lat K тоже допускают интерпретацию элементарной арифметики. В частности, они неразрешимы и не имеют рекурсивной аксиоматизации.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 21.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Дудаков С.М. (ТвГУ, ВШЭ)
Название: О теориях алгебр подмножеств и решёток подалгебр
Аннотация.
Одним из способов построения новых алгебр является конструкция алгебры всех или некоторых подмножеств уже имеющейся. Например, для произвольной полугруппы S можно можно построить новую полугруппу exp S, элементами которой будут подмножества S, а операция определена поточечно. В докладе будут рассмотрены теории таких подалгебр exp A, когда исходная алгебра A снабжена бинарной операцией (то есть A — группоид). Будет показано, что при определённых условиях теория exp A позволяет интерпретировать элементарную арифметику (и даже - арифметику второго порядка) или, как минимум, арифметические операции для начального фрагмента натурального ряда. Аналогичный результат будет показан для теории решётки lat A подалгебр алгебры A. Далее, для любого класса K алгебр можно рассмотреть классы exp K и lat K. Первый из них состоит из всех алгебр вида exp A, а второй - из всех решёток вида lat A, когда A берётся из K. Будет показано, что для широко распространённых классов K теории классов exp K и lat K тоже допускают интерпретацию элементарной арифметики. В частности, они неразрешимы и не имеют рекурсивной аксиоматизации.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
❗️В Международной лаборатории логики, лингвистики и формальной философии идет набор на позицию постдока. Подробнее по ссылке:
https://postdocru.hse.ru/projects2025
https://postdocru.hse.ru/projects2025
postdocru.hse.ru
Проекты для привлечения российских постдоков 2025/2026
#матлог #наука #конференция
Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
➰ ВК
Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #конференция
Ломоносовские чтения 2025, кафедра математической логики и теории... Смотрите полностью ВКонтакте.
Ломоносовские чтения 2025, кафедра математической логики и теории... Смотрите полностью ВКонтакте.