6 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"

Тема доклада: "К вопросу о значении автореферентности для онтологического аргумента"
Докладчик: Данияр Шамканов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/993289661.html

Хорхе Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ,  стал победителем конкурса Национального совета Мексики по науке и технологиям. О своей научной работе Хорхе рассказал в интервью порталу НИУ ВШЭ, https://llfp.hse.ru/news/994289970.html

13 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"

Тема доклада: "Kant and the problem of metaphysics"
Докладчик: Денис Маслов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/995844852.html

На ридинг-семинаре "Analytics" начинается чтение новой статьи - в этот раз была выбрана статья Джона Макдауэлла "Wittgensteinian 'quietism'". Встреча состоится в эту субботу 14 декабря в 16:20 очно по адресу ул. Старая Басманная, д. 21/4, каб. А121 и онлайн в Zoom. Подробности можно узнать по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6

20 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"

Тема доклада: "Упаковка информации в конструкциях с эвиденциальной функцией"
Докладчик: Дарья Попова (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/998000379.html

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

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

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 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 аналитической иерархии.

🔗 Логика в Москве


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 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 - конъюнкция бинарных атомов от этих переменных. Оказывается, что многие свойства этих логик, такие как конечная аксиоматизируемость, элементарность, аксиоматизируемость набором канонических формул или одной обобщенной формулой Салквиста, вместе с модальной определимостью исходной формулы, либо одновременно выполняются, либо одновременно не выполняются. Будет представлен простой теоретико-графовый критерий для определения того, какой из этих случаев имеет место. Этот критерий связан с совместной работой с Евгением Золиным об ответах на модально определимые конъюнктивные запросы в дескрипционных логиках.

➰ ВК