15 января состоится Российско-бразильский коллоквиум по логическому плюрализму, более подробная информация и регистрация по ссылке: https://worldlogicday.com/events/2025/russian---brazilian-colloquium-on-logical-pluralism-world-logic-day-2025
25 января в 16:20 состоится очередная встреча ридинг-семинара «Analytics»: она будет посвящена чтению статьи Кита Файна «The Question of Realism». Семинар проводится в гибридном формате - онлайн в Zoom и по адресу ул. Старая Басманная, д. 21/4, каб. а121. Дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6
24 января (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно
Докладчик: Рахманкулов Эмиль (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1008060209.html
Тема доклада: Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно
Докладчик: Рахманкулов Эмиль (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1008060209.html
31 января (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: Self-Referential Paradoxes
Докладчик: Noson S. Yanofsky, Professor of Computer and Information Science at Brooklyn College and The Graduate Center, CUNY, and author, most recently, of Monoidal Category Theory, among other books
Аннотация: Over the past 150 years, some of the most profound and influential theorems in mathematics and computer science have emerged from self-referential paradoxes. These theorems deal with systems that exhibit self-reference, challenging our understanding of fundamental concepts. This presentation will explore:
1. Georg Cantor's Theorem: Demonstrating the existence of different levels of infinity.
2. Bertrand Russell's Paradox: Exposing inconsistencies in naive set theory.
3. Kurt Gödel's Incompleteness Theorems: Revealing inherent limitations in formal systems and the notion of mathematical proof.
4. Alan Turing's Halting Problem: Proving the existence of unsolvable computational problems.
Remarkably, these diverse theorems, along with several others, can be understood as manifestations of a single, elegant theorem from basic category theory. This presentation will elucidate this theorem and demonstrate its various instances.
Note: No prior knowledge of category theory is required for this talk.
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1010045685.html
Тема доклада: Self-Referential Paradoxes
Докладчик: Noson S. Yanofsky, Professor of Computer and Information Science at Brooklyn College and The Graduate Center, CUNY, and author, most recently, of Monoidal Category Theory, among other books
Аннотация: Over the past 150 years, some of the most profound and influential theorems in mathematics and computer science have emerged from self-referential paradoxes. These theorems deal with systems that exhibit self-reference, challenging our understanding of fundamental concepts. This presentation will explore:
1. Georg Cantor's Theorem: Demonstrating the existence of different levels of infinity.
2. Bertrand Russell's Paradox: Exposing inconsistencies in naive set theory.
3. Kurt Gödel's Incompleteness Theorems: Revealing inherent limitations in formal systems and the notion of mathematical proof.
4. Alan Turing's Halting Problem: Proving the existence of unsolvable computational problems.
Remarkably, these diverse theorems, along with several others, can be understood as manifestations of a single, elegant theorem from basic category theory. This presentation will elucidate this theorem and demonstrate its various instances.
Note: No prior knowledge of category theory is required for this talk.
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1010045685.html
Forwarded from БЛОКНОТ ФИЛОСОФА
#студенческиехроники #нашистуденты #НИРС
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 31.01.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
Аннотация: Будет рассматриваться логика QGL_inf - предикатная версия логики Гёделя-Лёба, расширенная нефундированными выводами. Мы докажем, что при достаточно богатой сигнатуре (а именно, содержащей 4 унарных, 3 бинарных и 1 тернарный предикатных символов) к множеству теорем этой логики сводится задача о неостановке машины Тьюринга; из этого факта легко выводится неперечислимость множества теорем QGL_inf.
Также будет доказана эквивалентность логики QGL_inf логике QGL c омега-правилом Лёба (обобщение обычного правила Лёба); с помощью данной эквивалентности будет получена верхняя оценка сложности: класс Sigma^1_1 аналитической иерархии.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 31.01.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
Аннотация: Будет рассматриваться логика QGL_inf - предикатная версия логики Гёделя-Лёба, расширенная нефундированными выводами. Мы докажем, что при достаточно богатой сигнатуре (а именно, содержащей 4 унарных, 3 бинарных и 1 тернарный предикатных символов) к множеству теорем этой логики сводится задача о неостановке машины Тьюринга; из этого факта легко выводится неперечислимость множества теорем QGL_inf.
Также будет доказана эквивалентность логики QGL_inf логике QGL c омега-правилом Лёба (обобщение обычного правила Лёба); с помощью данной эквивалентности будет получена верхняя оценка сложности: класс Sigma^1_1 аналитической иерархии.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 5 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Стас Кикоть
Название: О дихотомии для модальных логик некоторых элементарных классов шкал Крипке
В докладе рассматриваются нормальные модальные логики элементарных классов, определяемых формулами первого порядка вида ∀x0 ∃x1 · · · ∃xn C, где C - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 5 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].
МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный
Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16
Заседание пройдет очно без трансляции.
Докладчик: Стас Кикоть
Название: О дихотомии для модальных логик некоторых элементарных классов шкал Крипке
В докладе рассматриваются нормальные модальные логики элементарных классов, определяемых формулами первого порядка вида ∀x0 ∃x1 · · · ∃xn C, где C - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.
➰ ВК
Яндекс Карты
МФТИ, радиотехнический корпус: как доехать на автомобиле, общественным транспортом или пешком – Яндекс Карты
МФТИ, радиотехнический корпус: варианты маршрутов с указанием расстояния и времени в пути. Яндекс Карты покажут, как добраться до нужного места на разных видах транспорта или пешком.
8 февраля (суббота) в 16.20 состоится очередное заседание научно-учебного семинара "Математическая логика и теория категорий"
Тема доклада: Понятие математической структуры согласно Владимиру Воеводскому.
Доклад основан на следующей статье: arXiv:2409.02935. Выступает автор.
Аннотация: В нашей переписке по электронной почте, датируемой 2016 годом, Владимир Воеводский предложил оригинальное понятие математической структуры, которое была мотивирована, с одной стороны, его работой в области гомотопической теории типов, а с другой стороны, его чтением комментария Прокла к определению плоского угла у Евклида (Определение 1.8 «Начал»). В своем выступлении я представлю концепцию математической структуры согласно Владимиру, сравниваю ее со стандартными концепциями и коснусь некоторых вопросов, поставленных Владимиром в нашей переписке.
Мероприятие пройдет в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom.Для участия необходимо написать @arnold1020 или @thepunkfloydius
Тема доклада: Понятие математической структуры согласно Владимиру Воеводскому.
Доклад основан на следующей статье: arXiv:2409.02935. Выступает автор.
Аннотация: В нашей переписке по электронной почте, датируемой 2016 годом, Владимир Воеводский предложил оригинальное понятие математической структуры, которое была мотивирована, с одной стороны, его работой в области гомотопической теории типов, а с другой стороны, его чтением комментария Прокла к определению плоского угла у Евклида (Определение 1.8 «Начал»). В своем выступлении я представлю концепцию математической структуры согласно Владимиру, сравниваю ее со стандартными концепциями и коснусь некоторых вопросов, поставленных Владимиром в нашей переписке.
Мероприятие пройдет в смешанном формате на ул. Старая Басманная, 21/4, ауд. А-117 и в Zoom.Для участия необходимо написать @arnold1020 или @thepunkfloydius
7 февраля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Проблемы автономности неконцептуального ментального содержания
Докладчик: Коченков Андрей (РГГУ).
Аннотация: Понятие неконцептуального ментального содержания, введённое Гаретом Эвансом (1982) и развитое последующими теоретиками, используется для объяснения двух групп феноменов: во-первых, репрезентирующих способностей существ, не обладающих лингвистическими и концептуальными навыками; во-вторых, особенностей феноменологии некоторых репрезентирующих ментальных состояний, таких как восприятие или эмоции, которые, как утверждают теоретики, невозможно объяснить, ограничиваясь концептуальным содержанием пропозициональных установок. Многие исследователи неконцептуального содержания признают полную независимость неконцептуальных репрезентаций от лингвистических и концептуальных способностей. Однако исторически дебаты о неконцептуальном содержании можно описать как серию попыток ограничить этот тезис.
Концептуалисты стремились радикально ограничить этот подход, утверждая, что любое содержание концептуально и зависит от концептуальных способностей, а ментальные состояния существ, лишённых таких способностей, нельзя считать полноценно репрезентирующими. Ранние неконцептуалисты признавали независимость неконцептуального содержания в отдельных аспектах восприятия, например в перцептивных иллюзиях, но полагали, что без знания хотя бы каких-то понятий невозможно обладать неконцептуальными репрезентациями с объективным содержанием. В современных обсуждениях эта тенденция сохранилась в дискуссии о неконцептуализме состояния и неконцептуализме содержания. Сторонники неконцептуализма состояния признают независимость содержания некоторых ментальных состояний от концептуальных способностей, но считают, что это не подразумевает различия в типах содержания.
В своём докладе я хочу показать, что, хотя сторонники радикальной автономности неконцептуального содержания успешно справляются с критикой оппонентов, сама тенденция к ограничению тезиса о независимости возникла из-за актуальной проблемы: трудностей в позитивном описании неконцептуального содержания и критериев для индивидуации неконцептуальных репрезентаций. Само понятие формулируется негативно и поясняется на примерах, но охватывает слишком широкий круг разнообразных феноменов. Поэтому философы стремились стабилизировать толкование неконцептуального содержания в рамках знакомых концептуальных схем. Таким образом, даже если сторонники радикальной независимости неконцептуального содержания правы, это не избавляет их от нерешённых на сегодняшний день проблем, связанных с индивидуацией неконцептуальных репрезентаций.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1012663669.html
Тема доклада: Проблемы автономности неконцептуального ментального содержания
Докладчик: Коченков Андрей (РГГУ).
Аннотация: Понятие неконцептуального ментального содержания, введённое Гаретом Эвансом (1982) и развитое последующими теоретиками, используется для объяснения двух групп феноменов: во-первых, репрезентирующих способностей существ, не обладающих лингвистическими и концептуальными навыками; во-вторых, особенностей феноменологии некоторых репрезентирующих ментальных состояний, таких как восприятие или эмоции, которые, как утверждают теоретики, невозможно объяснить, ограничиваясь концептуальным содержанием пропозициональных установок. Многие исследователи неконцептуального содержания признают полную независимость неконцептуальных репрезентаций от лингвистических и концептуальных способностей. Однако исторически дебаты о неконцептуальном содержании можно описать как серию попыток ограничить этот тезис.
Концептуалисты стремились радикально ограничить этот подход, утверждая, что любое содержание концептуально и зависит от концептуальных способностей, а ментальные состояния существ, лишённых таких способностей, нельзя считать полноценно репрезентирующими. Ранние неконцептуалисты признавали независимость неконцептуального содержания в отдельных аспектах восприятия, например в перцептивных иллюзиях, но полагали, что без знания хотя бы каких-то понятий невозможно обладать неконцептуальными репрезентациями с объективным содержанием. В современных обсуждениях эта тенденция сохранилась в дискуссии о неконцептуализме состояния и неконцептуализме содержания. Сторонники неконцептуализма состояния признают независимость содержания некоторых ментальных состояний от концептуальных способностей, но считают, что это не подразумевает различия в типах содержания.
В своём докладе я хочу показать, что, хотя сторонники радикальной автономности неконцептуального содержания успешно справляются с критикой оппонентов, сама тенденция к ограничению тезиса о независимости возникла из-за актуальной проблемы: трудностей в позитивном описании неконцептуального содержания и критериев для индивидуации неконцептуальных репрезентаций. Само понятие формулируется негативно и поясняется на примерах, но охватывает слишком широкий круг разнообразных феноменов. Поэтому философы стремились стабилизировать толкование неконцептуального содержания в рамках знакомых концептуальных схем. Таким образом, даже если сторонники радикальной независимости неконцептуального содержания правы, это не избавляет их от нерешённых на сегодняшний день проблем, связанных с индивидуацией неконцептуальных репрезентаций.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1012663669.html
llfp.hse.ru
Доклад Андрея Коченкова «Проблемы автономности неконцептуального ментального содержания»
7 февраля в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fullwww.group-telegram.com/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)
The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.
The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fullwww.group-telegram.com/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)
The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.
The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
14 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Топологический подход к формальным моделям убеждений (beliefs).
Докладчик: Денис Федянин (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Планируется обсудить некоторые формальные конструкции из статьи Baltag, A., Bezhanishvili, N., Özgün, A. et al. A Topological Approach to Full Belief. J Philos Logic 48, 205–244 (2019). Предварительная подготовка не требуется, но будет удобно, если бы слушатели были бы знакомы с эпистемической модальной логикой и определением топологии как набора открытых множеств.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1015282218.html
Тема доклада: Топологический подход к формальным моделям убеждений (beliefs).
Докладчик: Денис Федянин (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Планируется обсудить некоторые формальные конструкции из статьи Baltag, A., Bezhanishvili, N., Özgün, A. et al. A Topological Approach to Full Belief. J Philos Logic 48, 205–244 (2019). Предварительная подготовка не требуется, но будет удобно, если бы слушатели были бы знакомы с эпистемической модальной логикой и определением топологии как набора открытых множеств.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1015282218.html