#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), only Kontur Talk (www.mathnet.ru/eng/conf876)
07.04.2025 Yanjing Wang (Peking University, https://wangyanjing.com/): Knowing how to understand intuitionistic logic (and its relatives) (online)
In this talk, we provide an intuitive understanding of intuitionistic logic by interpreting it as a logic of knowing how (to prove). The approach is inspired by scattered but related ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic, which also echoes Heyting's largely forgotten conception of intuitionistic logic as "a logic of knowing". The key technique is to combine the bundled modality we developed in the past decade with the BHK-style interpretation. If time permits, I will demonstrate the use of this epistemic interpretation with applications in inquisitive logic, dependence logic, and deontic logic.
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), only Kontur Talk (www.mathnet.ru/eng/conf876)
07.04.2025 Yanjing Wang (Peking University, https://wangyanjing.com/): Knowing how to understand intuitionistic logic (and its relatives) (online)
In this talk, we provide an intuitive understanding of intuitionistic logic by interpreting it as a logic of knowing how (to prove). The approach is inspired by scattered but related ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic, which also echoes Heyting's largely forgotten conception of intuitionistic logic as "a logic of knowing". The key technique is to combine the bundled modality we developed in the past decade with the BHK-style interpretation. If time permits, I will demonstrate the use of this epistemic interpretation with applications in inquisitive logic, dependence logic, and deontic logic.
➰ ВК
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий собой промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1030074442.h
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий собой промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1030074442.h
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог #учёба #просеминар
💥В четверг 3 апреля на просеминаре по математической логике и информатике будет тема "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://vk.com/away.php?to=https%3A%2F%2Ft.me%2F%2B8lzSUf8ghLAzMjRi&utf=1
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 HF_ZFC2025.pdf
➰ ВК
💥В четверг 3 апреля на просеминаре по математической логике и информатике будет тема "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://vk.com/away.php?to=https%3A%2F%2Ft.me%2F%2B8lzSUf8ghLAzMjRi&utf=1
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 HF_ZFC2025.pdf
➰ ВК
🔥3
#матлог #наука
Представляем вашему вниманию презентацию профессора нашей кафедры Шехтмана Валентина Борисовича, которая демонстрировалась сегодня на встрече кафедры со студентами второго курса!
В этой короткой презентации сформулированы целых две интереснейшие открытые проблемы 😱
📝 present25n.pdf
➰ ВК
Представляем вашему вниманию презентацию профессора нашей кафедры Шехтмана Валентина Борисовича, которая демонстрировалась сегодня на встрече кафедры со студентами второго курса!
В этой короткой презентации сформулированы целых две интереснейшие открытые проблемы 😱
📝 present25n.pdf
➰ ВК
🔥7
#матлог #конференция
FPMW-ESPM Conference 2025
Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics
https://fpmwespm2025.sciencesconf.org/
The seventeenth edition of the French Philosophy of Mathematics Workshop (FPMW 17) and the second conference of the European Society for the Philosophy of Mathematics will be held from the 15th to the 17th of October 2025 in Paris, at Université Paris Cité and Université Paris 1 Panthéon-Sorbonne.
The workshop program consists of five talks by invited speakers and five contributed talks (see the programs of previous editions of the workshop at the following address: https://philmath.hypotheses.org/fpmw).
The invited speakers are:
• Timothy Gowers (Collège de France)
• Elaine Landry (UC Davis)
• Georg Schiemer (University of Vienna)
• David Rabouin (CNRS, SPHERE, Paris)
• Andrea Sereni (IUSS Pavia)
For the five contributed talks, all topics and approaches in the philosophy of mathematics are welcome.
The workshop is also open to philosophical talks about mathematics which do not fall under the philosophy of mathematics in a strict sense.
Submission window: April 15th, 2025 - May 15th, 2025.
Notification of acceptance (by email): July 1st, 2025.
Length of talks: 1-hour talk followed by 30 minutes of discussion.
The languages of the workshop will be French and English. Talks in French should be supported by slides in English.
Proposals (between 10,000 and 15,000 characters), prepared for anonymous review, should be sent in PDF format to fpmw-espm2025@sciencesconf.org copying in Brice Halimi brice.halimi@u-paris.fr in an email ennoscriptd “FPMW-ESPM2025”.
The workshop is supported financially by the Research Network PHILMATH, the European Society for the Philosophy of Mathematics, and the CNRS research units SPHERE (Université Paris Cité & CNRS) and IHPST (Université Paris 1 Panthéon-Sorbonne & CNRS).
Scientific committee:
• Andrew Arana (Université de Lorraine)
• Silvia De Toffoli (IUSS Pavia)
• Mirna Džamonja (Université Paris Cité)
• Emmylou Haffner (CNRS, ENS)
• Brice Halimi (Université Paris Cité)
• Mary Leng (University of York)
• Øystein Linnebo (University of Oslo)
• Jean-Pierre Marquis (Université de Montréal)
• Carlo Nicolai (King's College London)
• Alexander Paseau (University of Oxford)
• Frédéric Patras (CNRS, Université Côte d’Azur)
• Jean-Jacques Szczeciniarz (Université Paris Cité)
➰ ВК
FPMW-ESPM Conference 2025
Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics
https://fpmwespm2025.sciencesconf.org/
The seventeenth edition of the French Philosophy of Mathematics Workshop (FPMW 17) and the second conference of the European Society for the Philosophy of Mathematics will be held from the 15th to the 17th of October 2025 in Paris, at Université Paris Cité and Université Paris 1 Panthéon-Sorbonne.
The workshop program consists of five talks by invited speakers and five contributed talks (see the programs of previous editions of the workshop at the following address: https://philmath.hypotheses.org/fpmw).
The invited speakers are:
• Timothy Gowers (Collège de France)
• Elaine Landry (UC Davis)
• Georg Schiemer (University of Vienna)
• David Rabouin (CNRS, SPHERE, Paris)
• Andrea Sereni (IUSS Pavia)
For the five contributed talks, all topics and approaches in the philosophy of mathematics are welcome.
The workshop is also open to philosophical talks about mathematics which do not fall under the philosophy of mathematics in a strict sense.
Submission window: April 15th, 2025 - May 15th, 2025.
Notification of acceptance (by email): July 1st, 2025.
Length of talks: 1-hour talk followed by 30 minutes of discussion.
The languages of the workshop will be French and English. Talks in French should be supported by slides in English.
Proposals (between 10,000 and 15,000 characters), prepared for anonymous review, should be sent in PDF format to fpmw-espm2025@sciencesconf.org copying in Brice Halimi brice.halimi@u-paris.fr in an email ennoscriptd “FPMW-ESPM2025”.
The workshop is supported financially by the Research Network PHILMATH, the European Society for the Philosophy of Mathematics, and the CNRS research units SPHERE (Université Paris Cité & CNRS) and IHPST (Université Paris 1 Panthéon-Sorbonne & CNRS).
Scientific committee:
• Andrew Arana (Université de Lorraine)
• Silvia De Toffoli (IUSS Pavia)
• Mirna Džamonja (Université Paris Cité)
• Emmylou Haffner (CNRS, ENS)
• Brice Halimi (Université Paris Cité)
• Mary Leng (University of York)
• Øystein Linnebo (University of Oslo)
• Jean-Pierre Marquis (Université de Montréal)
• Carlo Nicolai (King's College London)
• Alexander Paseau (University of Oxford)
• Frédéric Patras (CNRS, Université Côte d’Azur)
• Jean-Jacques Szczeciniarz (Université Paris Cité)
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 04.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности множества теорем логики QGL, расширенной нефундированными выводами
Аннотация.
Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о сложности множества теорем данной логической системы: множество теорем QGL, расширенной нефундированными выводами, является полным в классе Sigma^1_1 аналитической иерархии.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 04.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности множества теорем логики QGL, расширенной нефундированными выводами
Аннотация.
Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о сложности множества теорем данной логической системы: множество теорем QGL, расширенной нефундированными выводами, является полным в классе Sigma^1_1 аналитической иерархии.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
3 April 2025, 16.30 CET = 18.30 Moscow time
Speaker: Matthew Cook
Title: The Understanding Machine
Abstract:
One of the still-distant goals of AI is to generate understanding out of raw data. After all, a brain is a machine that can do this. Inspired by how the visual cortex appears to operate, combined with a simple algebra for manipulating an abstraction of the structures that arise, we look at what happens when we apply this to trying to understand the one-dimensional world of binary addition problems. Starting with raw data, and then mechanically applying the simplifying rules of the algebra, we indeed reach a new understanding, yielding a new binary addition algorithm.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
3 April 2025, 16.30 CET = 18.30 Moscow time
Speaker: Matthew Cook
Title: The Understanding Machine
Abstract:
One of the still-distant goals of AI is to generate understanding out of raw data. After all, a brain is a machine that can do this. Inspired by how the visual cortex appears to operate, combined with a simple algebra for manipulating an abstraction of the structures that arise, we look at what happens when we apply this to trying to understand the one-dimensional world of binary addition problems. Starting with raw data, and then mechanically applying the simplifying rules of the algebra, we indeed reach a new understanding, yielding a new binary addition algorithm.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
#матлог #конференция
Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44
https://workshop.math.cas.cz/JAF44/
8-10 September 2025, Prague, Czech Republic
Aim. Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.
Topics. Proofs in arithmetic with restricted system of axioms; non-standard models of such systems; decidability, undecidability, and complexity of arithmetical theories; definability in arithmetic structures; machines, automata and words, related to arithmetic; finite model theory, word structures.
Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.
Programme. TBA; confirmed speakers
Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to cegielski@u-pec.fr and to thapen@math.cas.cz. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.
Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to thapen@math.cas.cz. There is no conference fee.
Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, thapen@math.cas.cz, to apply.
Contact. For any enquires contact Patrick Cégielski, cegielski@u-pec.fr or Neil Thapen, thapen@math.cas.cz.
JAF steering committee. Patrick Cégielski (Paris XII), Julien Cervelle (Paris XII), Andrés Córdon-Franco (Seville), Ali Enayat (Göteborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)
Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)
➰ ВК
Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44
https://workshop.math.cas.cz/JAF44/
8-10 September 2025, Prague, Czech Republic
Aim. Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.
Topics. Proofs in arithmetic with restricted system of axioms; non-standard models of such systems; decidability, undecidability, and complexity of arithmetical theories; definability in arithmetic structures; machines, automata and words, related to arithmetic; finite model theory, word structures.
Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.
Programme. TBA; confirmed speakers
Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to cegielski@u-pec.fr and to thapen@math.cas.cz. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.
Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to thapen@math.cas.cz. There is no conference fee.
Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, thapen@math.cas.cz, to apply.
Contact. For any enquires contact Patrick Cégielski, cegielski@u-pec.fr or Neil Thapen, thapen@math.cas.cz.
JAF steering committee. Patrick Cégielski (Paris XII), Julien Cervelle (Paris XII), Andrés Córdon-Franco (Seville), Ali Enayat (Göteborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)
Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)
➰ ВК
#матлог #наука #конференция
В среду 16 апреля 2025 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых ученых "Ломоносов - 2025".
Будут представлены доклады:
18:30-18:50 Аллеманд Аллан Олегович
"Топологическая теория разрешимости некоторых уравнений в элементарных функциях методом Арнольда"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476634/181905/uid494087_report.pdf
18:50-19:10 Вишникин Максим Евгеньевич
"Базовые категориальные грамматики с ограничением на количество присваиваемых категорий"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1485934/186601/uid563464_report.pdf
19:10-19:30 Хайруллин Артур Миннахматович
"Вычисления с частичным оракулом"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1486507/186915/uid567073_report.pdf
19:30-19:50 Холодилов Филипп Дмитриевич
"О множествах натуральных чисел, замощающих натуральный ряд"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476552/181859/uid683528_report.pdf
19:50-20:10 Deng Zhibo
"On the equivalence checking problem for deterministic top-down tree automata"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476139/181592/uid952894_report.pdf
➰ ВК
В среду 16 апреля 2025 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых ученых "Ломоносов - 2025".
Будут представлены доклады:
18:30-18:50 Аллеманд Аллан Олегович
"Топологическая теория разрешимости некоторых уравнений в элементарных функциях методом Арнольда"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476634/181905/uid494087_report.pdf
18:50-19:10 Вишникин Максим Евгеньевич
"Базовые категориальные грамматики с ограничением на количество присваиваемых категорий"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1485934/186601/uid563464_report.pdf
19:10-19:30 Хайруллин Артур Миннахматович
"Вычисления с частичным оракулом"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1486507/186915/uid567073_report.pdf
19:30-19:50 Холодилов Филипп Дмитриевич
"О множествах натуральных чисел, замощающих натуральный ряд"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476552/181859/uid683528_report.pdf
19:50-20:10 Deng Zhibo
"On the equivalence checking problem for deterministic top-down tree automata"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476139/181592/uid952894_report.pdf
➰ ВК
👍2🔥2
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 8 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
На предыдущем докладе мы сделали небольшой обзор результатов, связанных с понятием о-минимальности, и начали доказывать основной результат об интерпретируемости областей целостности в о-минимальных обогащениях вещественно замкнутых полей. Настоящий доклад начнётся с повторения схемы доказательства результатов, которые обсуждались ранее, в том числе мы остановимся подробнее на местах, которые «заметались под ковёр». Далее, мы завершим доказательство основного результата, идея которого кратко обсуждалась в конце предыдущего доклада. Кроме того, мы обсудим схему доказательства результатов, на которые мы ссылались (в частности, о введении структуры определимого многообразия на определимых группах).
Ссылка на предыдущий доклад: https://www.mathnet.ru/rus/present45786
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 8 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
На предыдущем докладе мы сделали небольшой обзор результатов, связанных с понятием о-минимальности, и начали доказывать основной результат об интерпретируемости областей целостности в о-минимальных обогащениях вещественно замкнутых полей. Настоящий доклад начнётся с повторения схемы доказательства результатов, которые обсуждались ранее, в том числе мы остановимся подробнее на местах, которые «заметались под ковёр». Далее, мы завершим доказательство основного результата, идея которого кратко обсуждалась в конце предыдущего доклада. Кроме того, мы обсудим схему доказательства результатов, на которые мы ссылались (в частности, о введении структуры определимого многообразия на определимых группах).
Ссылка на предыдущий доклад: https://www.mathnet.ru/rus/present45786
➰ ВК
#матлог #новости
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась Лариса Львовна Максимова — выдающийся математик, доктор физико-математических наук, главный научный сотрудник Института математики им. С. Л. Соболева СО РАН, ученица выдающегося алгебраиста и логика Анатолия Ивановича Мальцева.
Лариса Львовна вошла в историю как один из ведущих специалистов по неклассическим логикам. Её работы по модальным и суперинтуиционистским логикам стали классикой математической логики и получили международное признание. В 2018 году была награждена медалью института математики СО РАН «За выдающийся вклад в математику».
До последних дней Лариса Львовна сохраняла ясность мысли — её последняя статья увидела свет в начале 2024 года.
Для многих поколений математиков Лариса Львовна навсегда останется в памяти как соавтор легендарного задачника (Лавров, Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов"; первое издание вышло в 1975 году), по которому и сегодня учатся студенты.
Светлая память.
➰ ВК
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась Лариса Львовна Максимова — выдающийся математик, доктор физико-математических наук, главный научный сотрудник Института математики им. С. Л. Соболева СО РАН, ученица выдающегося алгебраиста и логика Анатолия Ивановича Мальцева.
Лариса Львовна вошла в историю как один из ведущих специалистов по неклассическим логикам. Её работы по модальным и суперинтуиционистским логикам стали классикой математической логики и получили международное признание. В 2018 году была награждена медалью института математики СО РАН «За выдающийся вклад в математику».
До последних дней Лариса Львовна сохраняла ясность мысли — её последняя статья увидела свет в начале 2024 года.
Для многих поколений математиков Лариса Львовна навсегда останется в памяти как соавтор легендарного задачника (Лавров, Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов"; первое издание вышло в 1975 году), по которому и сегодня учатся студенты.
Светлая память.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #новости
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась... Смотрите полностью ВКонтакте.
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась... Смотрите полностью ВКонтакте.
😭9❤1
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший вторник 8 апреля, начало в 18:30, состоится доклад
Докладчик:
Слюсарев Владислав Владимирович
Тема:
Критерии локальной табличности произведений модальных логик
Аннотация:
Для заданной модальной логики L формулы φ и ψ называются L-эквивалентными, если φ-ψ∈L. Модальная логика L называется локально табличной, если для любого n∈ω число классов L-эквивалентности модальных формул на n пропозициональных переменных конечно.
Критерий Сегерберга-Максимовой утверждает, что для одномодальных логик, расширяющих K4, локальная табличность эквивалентна конечной высоте. В общем случае этот критерий не выполнен, а аналоги неизвестны.
В этом докладе будут рассмотрены новые критерии, характеризующие локальную табличность произведений модальных логик. Произведение шкал Крипке F=(X,R) и G=(Y,S) определяется как шкала F*G=(X*Y,Rh,Rv), где
(a,b) Rh (c,d) ⟺ aRc и b=d;
(a,b) Rv (c,d) ⟺ a=c и bSd.
Произведением двух модальных логик называется логика класса шкал, состоящего из произведений шкал этих логик. Легко видеть, что локальная табличность обеих логик необходима, но не достаточна для локальной табличности их произведения. Для получения критерия мы описываем несколько синтаксических и семантических свойств, такие как: равномерная ограниченность сгустков одной из логик; свойство сокращения путей; конечность однопеременного фрагмента одной из логик.
Новые критерии позволяют найти ранее неизвестные семейства локально табличных бимодальных логик.
Доклад основан на совместной работе с И. Б. Шапировским. Препринт доступен по ссылке: http://arxiv.org/abs/2404.01670.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший вторник 8 апреля, начало в 18:30, состоится доклад
Докладчик:
Слюсарев Владислав Владимирович
Тема:
Критерии локальной табличности произведений модальных логик
Аннотация:
Для заданной модальной логики L формулы φ и ψ называются L-эквивалентными, если φ-ψ∈L. Модальная логика L называется локально табличной, если для любого n∈ω число классов L-эквивалентности модальных формул на n пропозициональных переменных конечно.
Критерий Сегерберга-Максимовой утверждает, что для одномодальных логик, расширяющих K4, локальная табличность эквивалентна конечной высоте. В общем случае этот критерий не выполнен, а аналоги неизвестны.
В этом докладе будут рассмотрены новые критерии, характеризующие локальную табличность произведений модальных логик. Произведение шкал Крипке F=(X,R) и G=(Y,S) определяется как шкала F*G=(X*Y,Rh,Rv), где
(a,b) Rh (c,d) ⟺ aRc и b=d;
(a,b) Rv (c,d) ⟺ a=c и bSd.
Произведением двух модальных логик называется логика класса шкал, состоящего из произведений шкал этих логик. Легко видеть, что локальная табличность обеих логик необходима, но не достаточна для локальной табличности их произведения. Для получения критерия мы описываем несколько синтаксических и семантических свойств, такие как: равномерная ограниченность сгустков одной из логик; свойство сокращения путей; конечность однопеременного фрагмента одной из логик.
Новые критерии позволяют найти ранее неизвестные семейства локально табличных бимодальных логик.
Доклад основан на совместной работе с И. Б. Шапировским. Препринт доступен по ссылке: http://arxiv.org/abs/2404.01670.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
arXiv.org
Locally tabular products of modal logics
In the product $L_1\times L_2$ of two Kripke complete consistent logics, local tabularity of $L_1$ and $L_2$ is necessary for local tabularity of $L_1\times L_2$. However, it is not sufficient:...
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 9 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Иван Смирнов
Тема: Фрагменты арифметики и циклические выводы.
Аннотация:
Циклический вывод отличается от классического возможностью наличия циклов в "графе вывода", который для классического вывода является деревом. А. Симпсон [1] (и независимо С. Берарди и М. Татсута) доказал эквивалентность некоторой формальной системы арифметики 1-го порядка, основанной на циклических выводах, и арифметики Пеано.
В докладе мы расскажем о новой системе циклических выводов для арифметики 1-го порядка, предложенной в работе [2]. Глобальные ограничения корректности на выводы в этой системе выглядят проще, чем в предшествующих: задача проверки корректности вывода в ней лежит в классе P, а не только в PSPACE. Мы также определим некоторые фрагменты этой системы, основанные на ограничении сложности формул, входящих в вывод, эквивалентные известным фрагментам арифметики Пеано: $I \Sigma_n$ и $I \Sigma_n^R$.
Список литературы:
[1] A. Simpson. “Cyclic arithmetic is equivalent to Peano arithmetic”. In: FOSSACS 2017, Proceedings. pp. 283--300.
[2] L. Beklemishev, D. Shamkanov and I. Smirnov. "Fragments of arithmetic and cyclic proofs". arxiv.org/abs/2502.06639
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 9 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Иван Смирнов
Тема: Фрагменты арифметики и циклические выводы.
Аннотация:
Циклический вывод отличается от классического возможностью наличия циклов в "графе вывода", который для классического вывода является деревом. А. Симпсон [1] (и независимо С. Берарди и М. Татсута) доказал эквивалентность некоторой формальной системы арифметики 1-го порядка, основанной на циклических выводах, и арифметики Пеано.
В докладе мы расскажем о новой системе циклических выводов для арифметики 1-го порядка, предложенной в работе [2]. Глобальные ограничения корректности на выводы в этой системе выглядят проще, чем в предшествующих: задача проверки корректности вывода в ней лежит в классе P, а не только в PSPACE. Мы также определим некоторые фрагменты этой системы, основанные на ограничении сложности формул, входящих в вывод, эквивалентные известным фрагментам арифметики Пеано: $I \Sigma_n$ и $I \Sigma_n^R$.
Список литературы:
[1] A. Simpson. “Cyclic arithmetic is equivalent to Peano arithmetic”. In: FOSSACS 2017, Proceedings. pp. 283--300.
[2] L. Beklemishev, D. Shamkanov and I. Smirnov. "Fragments of arithmetic and cyclic proofs". arxiv.org/abs/2502.06639
➰ ВК
arXiv.org
Fragments of arithmetic and cyclic proofs
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof...
#матлог #не_мехмат
В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.
Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).
На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.
Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30
Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.
➰ ВК
В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.
Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).
На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.
Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30
Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.
➰ ВК
🔥5👍2
#матлог #учёба #просеминар
💥В четверг 10 апреля на просеминаре по математической логике и информатике будет продолжение темы "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
💥В четверг 10 апреля на просеминаре по математической логике и информатике будет продолжение темы "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #новости #спецсеминар
🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.
Заседания будут проходить поочередно в ИЯз РАН и МИАН.
Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).
Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
➰ ВК
🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.
Заседания будут проходить поочередно в ИЯз РАН и МИАН.
Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).
Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
➰ ВК
Google Docs
НПММвЯ 23.05.2025
Заседание пройдет в пятницу 23 мая в 14:30 очно в Институте языкознания РАН с возможностью онлайн-подключения. Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
🔥4👍2🤔1
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 15 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Сергей Славнов (НИУ ВШЭ, https://www.hse.ru/org/persons/61709453/)
Индексированное исчисление Ламбека с передвижением
Исчисление Ламбека обычно интерпретируют как логику строк и конкатенации строк; именно в таком качестве оно используется в лингвистических приложениях. Однако давно замечено, что с точки зрения лингвистических приложений такой простой структуры обычно оказывается недостаточно, и требуется рассматривать более сложные объекты и операции.
Мы определяем специфическую алгебру термов, которые обозначают упорядоченные последовательности строк и могут комбинироваться между собой более сложными способами, чем простая конкатенация. Далее мы вводим систему типов для таких термов. Эта система представляет собой неассоциативное, но частично коммутативное расширение исчисления Ламбека, которое нам кажется с одной стороны достаточно простым и интересным, а с другой стороны достаточно выразительным.
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 15 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Сергей Славнов (НИУ ВШЭ, https://www.hse.ru/org/persons/61709453/)
Индексированное исчисление Ламбека с передвижением
Исчисление Ламбека обычно интерпретируют как логику строк и конкатенации строк; именно в таком качестве оно используется в лингвистических приложениях. Однако давно замечено, что с точки зрения лингвистических приложений такой простой структуры обычно оказывается недостаточно, и требуется рассматривать более сложные объекты и операции.
Мы определяем специфическую алгебру термов, которые обозначают упорядоченные последовательности строк и могут комбинироваться между собой более сложными способами, чем простая конкатенация. Далее мы вводим систему типов для таких термов. Эта система представляет собой неассоциативное, но частично коммутативное расширение исчисления Ламбека, которое нам кажется с одной стороны достаточно простым и интересным, а с другой стороны достаточно выразительным.
➰ ВК
👍2🔥1🤔1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.
Докладчик: Элиа Дзардини.
Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1033740295.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.
Докладчик: Элиа Дзардини.
Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1033740295.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
❤1