25 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
llfp.hse.ru
Доклад Александра Поддьякова «Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...»
25 апреля в 18:30 состоится заседание теоретического семинара «Формальная философия».
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов [email protected]
— И.Ш. Калимуллин [email protected]
— В.В. Рыбаков [email protected]
— С.О. Сперанский [email protected]
➰ ВК
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов [email protected]
— И.Ш. Калимуллин [email protected]
— В.В. Рыбаков [email protected]
— С.О. Сперанский [email protected]
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
Летняя школа "Логика, лингвистика и формальная философия"
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов.
https://llfp.hse.ru/school2025
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов.
https://llfp.hse.ru/school2025
llfp.hse.ru
Летняя школа "Логика, лингвистика и формальная философия"
Forwarded from uAnalytiCon
А вчера мы возобновили заседания нашего кружка аналитической философии после продолжительного перерыва, случившегося из-за того, что вдруг как-то мало стало времени для всего, в том числе и для жизни в принципе. На заседании мы обсудили статью Хартри Филда «Конвенционализм о математике и логике» (Hartry Field, Conventionalist about Mathematics and Logic). В ней Филд сравнивает свой фикционализм с позициями конвенционализма и платонистского мультиверсизма, выявляя их общие черты и обсуждая вопросы того, можно ли эти позиции развивать последовательным образом. Доклад по статье представил Лев Ламберов. С записью доклада (и части обсуждения, кое-что мы решили сохранить под покровом тайны) можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале. Ставьте реакции, подписывайтесь на наши медиа, от этого нам становится конвенциональненько и фиктивненько.
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