Forwarded from ИФПР СО РАН
❇️ Внимание, анонс!
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 [email protected], телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 [email protected], телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
lomonosov-msu.ru
Сознание в виртуальной реальности
Международная научная конференция «Сознание в виртуальной реальности» / Новосибирск, Россия, ИФПР СО РАН, 26 - 28 Июн 2025
Ридинг-семинар «Analytics» возобновляет свою работу с текущей недели — встреча состоится в 14:30 в субботу 17 мая очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom . Для чтения была выбрана следующая статья: Michael Devitt (2015) Relying on Intuitions: Where Cappelen and Deutsch Go Wrong, Inquiry, 58:7-8, 669-699. Все дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6
16 мая (пятница) в 18:30 состоится очередное заседание теоретического семинара "Формальная философия".
Тема доклада: Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals.
Докладчик: Pirmin Stekeler-Weithofer (Лейпцигский университет).
Аннотация: It is no wonder that the greatest abstraction logicians after Aristotle and Descartes, namely Leibniz and Hegel, recognised this onto-logical problem of the concept of the object in the undefined nature of Newton's fluxions or the non-existence of all infinitesimal quantities before Abraham Robinson's invention of a new type of non-standard analysis. Even the most important phenomenological ontologists, namely Husserl and Heidegger, first studied differential geometry intensively, as G. Neumann proves for Heidegger in the book Phänomenologische Untersuchungen (Berlin: LIT Verlag 2025, p. 324). These facts and their significance are by no means sufficiently well known.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1045648578.html
Тема доклада: Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals.
Докладчик: Pirmin Stekeler-Weithofer (Лейпцигский университет).
Аннотация: It is no wonder that the greatest abstraction logicians after Aristotle and Descartes, namely Leibniz and Hegel, recognised this onto-logical problem of the concept of the object in the undefined nature of Newton's fluxions or the non-existence of all infinitesimal quantities before Abraham Robinson's invention of a new type of non-standard analysis. Even the most important phenomenological ontologists, namely Husserl and Heidegger, first studied differential geometry intensively, as G. Neumann proves for Heidegger in the book Phänomenologische Untersuchungen (Berlin: LIT Verlag 2025, p. 324). These facts and their significance are by no means sufficiently well known.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1045648578.html
llfp.hse.ru
Доклад Пирмина Штекелера-Вайтхофера "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals"
16 мая в 18.30 состоится заседание теоретического семинара «Формальная философия».
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 21 мая в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик: Дворкин Лев
Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 2)
Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.
➰ ВК
Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 21 мая в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик: Дворкин Лев
Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 2)
Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
Уважаемые коллеги,
приглашаем вас на логический семи... Смотрите полностью ВКонтакте.
#матлог #спецсеминар
В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6
Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
➰ ВК
В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6
Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
➰ ВК
Google Docs
НПММвЯ 23.05.2025
Заседание пройдет в пятницу 23 мая в 14:30 очно в Институте языкознания РАН с возможностью онлайн-подключения. Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
23 мая (пятница) в 18:30 состоится очередное заседание теоретического семинара "Формальная философия".
Тема доклада: Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса.
Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В работе «Логика и речевое общение» Пол Грайс предложил разделить значение высказывания на две основные части. Во-первых, это истинностное значение предложения, то, что сказано или семантическое содержание. Во-вторых, это импликатуры, которые, с одной стороны, порождаются с помощью прагматических феноменов при использовании выражений в определенном контексте, а с другой стороны, не влияют на истинность пропозиции, выраженной конкретными словами предложения. Но уже у самого Грайса мы можем найти упоминания некоторых феноменов естественного языка, которые явным образом не подпадают под эту дихотомию сказанного/имплицированного. В своем докладе я бы хотел подробней остановиться на примерах таких импликатур двойной природы: конвенциональных и обобщенных речевых. Я покажу, как прагматические расширения способны влиять на истинностный статус высказываний и как конвенциональное семантическое значение может оставаться инертным по отношению к сказанному.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1048098506.html
Тема доклада: Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса.
Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В работе «Логика и речевое общение» Пол Грайс предложил разделить значение высказывания на две основные части. Во-первых, это истинностное значение предложения, то, что сказано или семантическое содержание. Во-вторых, это импликатуры, которые, с одной стороны, порождаются с помощью прагматических феноменов при использовании выражений в определенном контексте, а с другой стороны, не влияют на истинность пропозиции, выраженной конкретными словами предложения. Но уже у самого Грайса мы можем найти упоминания некоторых феноменов естественного языка, которые явным образом не подпадают под эту дихотомию сказанного/имплицированного. В своем докладе я бы хотел подробней остановиться на примерах таких импликатур двойной природы: конвенциональных и обобщенных речевых. Я покажу, как прагматические расширения способны влиять на истинностный статус высказываний и как конвенциональное семантическое значение может оставаться инертным по отношению к сказанному.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1048098506.html
llfp.hse.ru
Доклад Ивана Соболева «Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса»
23 мая в 18:30 состоится заседание теоретического семинара «Формальная философия».
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
25 мая заканчивается прием заявок на международную конференцию «Формальная философия 2025» https://llfp.hse.ru/formphil2025 и на конкурс тревел грантов для участия в летней школе «Логика, лингвистика и формальная философия» https://llfp.hse.ru/school2025
llfp.hse.ru
Международная конференция «Формальная философия 2025»
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
llfp.hse.ru
Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
30 мая в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
В эту субботу 31 мая состоится очередное заседание ридинг-семинара «Analytics» — встреча состоится в 14:30 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom . Для чтения была выбрана следующая статья: Larese, C. (2023). Hintikka’s conception of syntheticity as the introduction of new individuals. Synthese, 201(6), 207. Все дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6
6 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.
Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1053296706.html
Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.
Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1053296706.html
llfp.hse.ru
Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
6 июня в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 06.06.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Иван Пыльцын
Название: Нефундированное расширение интуиционистской логики и игровая семантика Межирова.
Аннотация:
Семантическая игра Межирова впервые была описана Ильёй Межировым в 2006 году для интуиционистской пропозициональной логики и модальной логики Гжегорчика, представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик. Данная теоретико-игровая семантика описывала эти логики как множества тавтологий. Я заинтересовался поиском обобщения игры Межирова, которое бы описывало логики как отношения следования. В процессе моих поисков я обнаружил, что возможные естественные направления модернизации данной семантики приводят к некомпактным отношениям следования.
Представленная и описанная Данияром Шамкановым, модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Данная логика точно интерпретируется в упомянутом расширении логики Гёделя-Лёба при помощи перевода Гёделя-Тарского. Для неё мне удалось построить искомое естественное обобщение игровой семантики Межирова.
Фокус доклада будет направлен на полученное теоретико-игровое описание нефундированного расширения интуиционистской логики.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 06.06.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Иван Пыльцын
Название: Нефундированное расширение интуиционистской логики и игровая семантика Межирова.
Аннотация:
Семантическая игра Межирова впервые была описана Ильёй Межировым в 2006 году для интуиционистской пропозициональной логики и модальной логики Гжегорчика, представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик. Данная теоретико-игровая семантика описывала эти логики как множества тавтологий. Я заинтересовался поиском обобщения игры Межирова, которое бы описывало логики как отношения следования. В процессе моих поисков я обнаружил, что возможные естественные направления модернизации данной семантики приводят к некомпактным отношениям следования.
Представленная и описанная Данияром Шамкановым, модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Данная логика точно интерпретируется в упомянутом расширении логики Гёделя-Лёба при помощи перевода Гёделя-Тарского. Для неё мне удалось построить искомое естественное обобщение игровой семантики Межирова.
Фокус доклада будет направлен на полученное теоретико-игровое описание нефундированного расширения интуиционистской логики.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
13 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции.
Докладчик: Дарья Попова (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: В докладе будет рассмотрен многомерный подход к моделированию значений в терминах монад (Shan 2002; Giorgolo and Asudeh 2012, 2014; Charlow 2014). Подход позволяет сохранить интуицию, что высказывание может быть ассоциировано с несколькими независимыми значениями, при этом не исключает взаимодействия значений разных уровней, что важно для моделирования случаев анафоры и эллипсиса. Многомерный подход в терминах монад будет противопоставлен одномерному подходу в рамках динамической семантики в терминах импозиций, моделирующего те же языковые данные (AnderBois et al. 2010). Оба подхода будут применены к эвиденциальным конструкциям с пропозициональными глаголами. Будут рассмотрены сильные стороны каждого подхода и намечен путь их инкорпорации.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1055523799.html
Тема доклада: Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции.
Докладчик: Дарья Попова (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: В докладе будет рассмотрен многомерный подход к моделированию значений в терминах монад (Shan 2002; Giorgolo and Asudeh 2012, 2014; Charlow 2014). Подход позволяет сохранить интуицию, что высказывание может быть ассоциировано с несколькими независимыми значениями, при этом не исключает взаимодействия значений разных уровней, что важно для моделирования случаев анафоры и эллипсиса. Многомерный подход в терминах монад будет противопоставлен одномерному подходу в рамках динамической семантики в терминах импозиций, моделирующего те же языковые данные (AnderBois et al. 2010). Оба подхода будут применены к эвиденциальным конструкциям с пропозициональными глаголами. Будут рассмотрены сильные стороны каждого подхода и намечен путь их инкорпорации.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1055523799.html
llfp.hse.ru
Доклад Дарьи Поповой «Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции»
13 июня в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Открыта регистрация для слушателей конференции "Формальная философия 2025", регистрация будет открыта до 22 июня, llfp.hse.ru/formphil2025
llfp.hse.ru
Международная конференция «Формальная философия 2025»
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
16.06.2025, совместно с семинаром С.И. Адяна, И.А. Дынников (МИАН, https://www.mathnet.ru/person8990): Алгоритмическое сравнение лежандровых узлов (очный доклад)
Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
16.06.2025, совместно с семинаром С.И. Адяна, И.А. Дынников (МИАН, https://www.mathnet.ru/person8990): Алгоритмическое сравнение лежандровых узлов (очный доклад)
Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.
➰ ВК