Формальная философия
TGlist рейтинг
0
0
ТипАчык
Текшерүү
ТекшерилбегенИшенимдүүлүк
ИшенимсизОрду
ТилиБашка
Канал түзүлгөн датаMay 28, 2022
TGlistке кошулган дата
Apr 01, 2025Тиркелген топ
"Формальная философия" тобундагы акыркы жазуулар
14.05.202520:16
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
14.05.202520:16
14.05.202518:21
Ридинг-семинар «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://t.me/+B3UPwOcK5ao0Y2E6
01.05.202518:26
❇️ Внимание, анонс!
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 abyssian03@gmail.com, телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
28 июня 2025 г. в рамках конференции "Сознание в виртуальной реальности" состоится круглый стол "Реалистичность виртуального и правдоподобие вымышленного".
Вымышленные миры могут быть очень непохожи на актуальный мир, в этом и состоит их прелесть. Но неясно, насколько свободной может быть фантазия для того, чтобы получившийся вымысел действительно был миром, а не чем-то вроде бессвязного бреда или пустой словесной игры (в тех случаях, когда фикция создается посредством языка). Вам никогда не казалось, что объекты, события и герои фикции "сопротивляются" воле автора, пытающегося свободно манипулировать ими, и "диктуют" какие-то собственные условия развития фикции? Наши мнения по этому поводу разделились, а значит, здесь есть что обсудить. Например:
🌿 нужны ли в виртуальном мире хоть какие-то законы физики, а если нужны, то могут ли они нарушаться посредством магии, чудес или, скажем, не действовать в особых, выделенных локациях этого мира?
🌿 должны ли фикциональные объекты и события описываться с соблюдением каких-то логических законов, а если должны, то каких именно?
🌿 нужен ли вымышленному персонажу какой-то "характер", который обладал бы определенной "исторической преемственностью" на протяжении сюжета и обуславливал бы действия этого персонажа в любых для него обстоятельствах, а если нужен, то насколько гибким он может быть?
Иными словами, на нашем круглом столе разговор пойдет об ограничениях, которые накладывает на вымышленные миры требование реалистичности и/или правдоподобия, а также о том, насколько, в каких случаях и чем обосновано такое требование. Мы будем рады услышать аргументы в пользу каждого из ответов, а также любую конкретизацию тех условий, которые разумно, с вашей точки зрения, считать обязательными для автора фикции, если такие условия есть. Не обязательно пытаться быть объективными, приносите с собой ваши интуиции, ваши предпочтения, ваш личный опыт знакомства с фикциями и виртуальностью -- обязательна лишь экспликация своих аргументов, причем чем более строгая, тем лучше!
По итогам круглого стола участниками будет подготовлена совместная статья, в которой будут отражены все высказанные ими позиции.
Руководители секции - Моисеева Анна Юрьевна, Берестов Игорь Владимирович, при поддержке Департамента философии УрФУ.
👤 Моисеева Анна Юрьевна
📩 abyssian03@gmail.com, телеграм: @moiseevaayu
#анонсы_ИФПР #мероприятия_ИФПР #конференции_ИФПР
Кайра бөлүшүлгөн:
uAnalytiCon
01.05.202518:25
А вчера мы возобновили заседания нашего кружка аналитической философии после продолжительного перерыва, случившегося из-за того, что вдруг как-то мало стало времени для всего, в том числе и для жизни в принципе. На заседании мы обсудили статью Хартри Филда «Конвенционализм о математике и логике» (Hartry Field, Conventionalist about Mathematics and Logic). В ней Филд сравнивает свой фикционализм с позициями конвенционализма и платонистского мультиверсизма, выявляя их общие черты и обсуждая вопросы того, можно ли эти позиции развивать последовательным образом. Доклад по статье представил Лев Ламберов. С записью доклада (и части обсуждения, кое-что мы решили сохранить под покровом тайны) можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале. Ставьте реакции, подписывайтесь на наши медиа, от этого нам становится конвенциональненько и фиктивненько.
29.04.202513:47
Летняя школа "Логика, лингвистика и формальная философия"
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 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
29.04.202513:47
Кайра бөлүшүлгөн:
Кафедра математической логики и теории алгоритмов мехмата МГУ
26.04.202513:42
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов nickbazh@yandex.ru
— И.Ш. Калимуллин ikalimul@gmail.com
— В.В. Рыбаков vladimir_rybakov@mail.ru
— С.О. Сперанский katze.tail@gmail.com
➰ ВК
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов nickbazh@yandex.ru
— И.Ш. Калимуллин ikalimul@gmail.com
— В.В. Рыбаков vladimir_rybakov@mail.ru
— С.О. Сперанский katze.tail@gmail.com
➰ ВК
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
23.04.202515:04
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: 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, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: 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.
➰ ВК
22.04.202518:41
25 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
22.04.202518:41
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
22.04.202505:57
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
20.04.202514:28
#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
19.04.202507:51
Конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду»
26 апреля в корпусе НИУ ВШЭ на Старой Басманной (ауд. А-307) пройдет научная конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду».
Программа конференции
12.00—12.45. Васильев, В.В. (МГУ): Томас Рид как критик Дэвида Юма
12:45—13.30. Беседин, А.П. (МГУ): К истории бравого офицера Томаса Рида: Кларк, Коллинз и Беркли
13.30—14.15. Евстигнеев, М.Д. (НИУ ВШЭ): Воспринимать” и “иметь идеи”: Антуан Арно и Томас Рид
14.15—15.50. Савелов, А.Д. (МГУ): Джон Стюарт Милль vs Томас Рид
15.50—16.35. Макеева, Л.Б. (НИУ ВШЭ): Томас Рид и Хилари Патнэм о преодолении догматизма и скептицизма ("третий путь")
16.35—17.10. Коченков, А.А. (РГГУ): Прямой реализм Томаса Рида и вопрос о цветах
Модераторы:
Евстигнеев, М.Д., Савелов, А.Д.
Регистрация по ссылке.
26 апреля в корпусе НИУ ВШЭ на Старой Басманной (ауд. А-307) пройдет научная конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду».
Программа конференции
12.00—12.45. Васильев, В.В. (МГУ): Томас Рид как критик Дэвида Юма
12:45—13.30. Беседин, А.П. (МГУ): К истории бравого офицера Томаса Рида: Кларк, Коллинз и Беркли
13.30—14.15. Евстигнеев, М.Д. (НИУ ВШЭ): Воспринимать” и “иметь идеи”: Антуан Арно и Томас Рид
14.15—15.50. Савелов, А.Д. (МГУ): Джон Стюарт Милль vs Томас Рид
15.50—16.35. Макеева, Л.Б. (НИУ ВШЭ): Томас Рид и Хилари Патнэм о преодолении догматизма и скептицизма ("третий путь")
16.35—17.10. Коченков, А.А. (РГГУ): Прямой реализм Томаса Рида и вопрос о цветах
Модераторы:
Евстигнеев, М.Д., Савелов, А.Д.
Регистрация по ссылке.
19.04.202507:51
Рекорддор
09.05.202523:59
421Катталгандар16.10.202423:59
0Цитация индекси17.05.202523:59
1381 посттун көрүүлөрү17.05.202523:59
1431 жарнама посттун көрүүлөрү16.04.202500:17
8.08%ER26.03.202512:20
23.86%ERRӨнүгүү
Катталуучулар
Citation индекси
Бир посттун көрүүсү
Жарнамалык посттун көрүүсү
ER
ERR
14.05.202520:16
14.05.202518:21
Ридинг-семинар «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://t.me/+B3UPwOcK5ao0Y2E6
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
20.04.202514:28
#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту sk@mi-ras.ru.
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
22.04.202505:57
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
17.04.202518:59
#матлог #новости
В выпуске (№ 1, январь-февраль) журнала "Вестник Московского университета. Серия 1. Математика. Механика" вышла обзорная статья, посвящённая нашей кафедре!
Серия обзорных статей в "Вестнике" приурочена к 270-летию Московского университета.
Со статьёй о кафедре математической логики и теории алгоритмов можно ознакомиться по ссылке.
http://vestnik.math.msu.su/issues/2025/1/04.pdf
➰ ВК
В выпуске (№ 1, январь-февраль) журнала "Вестник Московского университета. Серия 1. Математика. Механика" вышла обзорная статья, посвящённая нашей кафедре!
Серия обзорных статей в "Вестнике" приурочена к 270-летию Московского университета.
Со статьёй о кафедре математической логики и теории алгоритмов можно ознакомиться по ссылке.
http://vestnik.math.msu.su/issues/2025/1/04.pdf
➰ ВК
Кайра бөлүшүлгөн:Кафедра математической логики и теории алгоритмов мехмата МГУ
23.04.202515:04
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: 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, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: 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.
➰ ВК
18.04.202516:51
Международная конференция «Формальная философия 2025»
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).
Даты конференции: с 23 по 26 июня 2025
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom
Формат: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
Заявки на участие принимаются до 25 мая.
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).
Даты конференции: с 23 по 26 июня 2025
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom
Формат: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
Заявки на участие принимаются до 25 мая.
29.04.202513:47
Кайра бөлүшүлгөн:
ФГН НИУ ВШЭ
18.04.202509:03
Философия живёт в диалоге
Научные семинары — это не просто обмен идеями, а способ построить междисциплинарные проекты и решить актуальные философские задачи. В этом точно уверена Елена Драгалина-Чёрная — профессор Школы философии и культурологии ФГН, заведующая Международной лаборатории логики, лингвистики и формальной философии.
В интервью для портала Schola она рассказала о семинарах-ветеранах, важности диалога для научного процесса и почему формальная философия прочно ассоциируется именно с Вышкой.
Научные семинары — это не просто обмен идеями, а способ построить междисциплинарные проекты и решить актуальные философские задачи. В этом точно уверена Елена Драгалина-Чёрная — профессор Школы философии и культурологии ФГН, заведующая Международной лаборатории логики, лингвистики и формальной философии.
В интервью для портала Schola она рассказала о семинарах-ветеранах, важности диалога для научного процесса и почему формальная философия прочно ассоциируется именно с Вышкой.
22.04.202518:41
Көбүрөөк функцияларды ачуу үчүн кириңиз.
