4 февраля в 18:10 состоится 110-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Когда и как принимается логика: эпистемология "adoption problem".

Докладчик: Александр Хлебалин (старший научный сотрудник Институт философии и права СО РАН, к.филос.н.).

Аннотация: «Проблема принятия», или «adoption problem» обозначает дискуссию, развернувшуюся вокруг лекции Сола А. Крипке (1975 г.), представленной позже (2024 г.) как статьи «The Question of Logic», поводом для которой стала работа Х. Патнэма «Is Logic Empirical?» (1968). Это обмен мнения сконцентрирован на вопросе о возможности рациональной смены используемой логики. Как сами инициаторы дискуссии, так и вступившие в нее участники, при обсуждении исходной проблемы конкретизировали и, одновременно, расширили исходную формулировку до трех основных составляющих проблемы:
(1) Какова природа аргументов в пользу допустимости рационального изменения используемой логики?
(2) Как может ответить на проблему принятия тот, кто считает, что рациональное принятие логики возможно?
(3) Каковы последствия возможных решений проблемы для классических вопросов философии логики, таких как вопрос о природе нормативности логики, эпистемологического статуса логической истины и т.п.?
Доклад посвящен экспозиции возникновения и развития «проблема принятия» в философии логики, освещению сформулированных подходов к ее решению, следствий принятия позиций для смежных классических проблем эпистемологии логики.

Литература:
1. Putnam H. IS LOGIC EMPIRICAL?// Boston Studies in the Philosophy of Science. V.
2. Kripke S. The Question of Logic.// Mind, Vol. 133 . 529.
3. Birman R. The Adoption Problem and the Epistemology of Logic // Mind, Vol. 133 . 529 .
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1123629624.html

У нас есть вакансия постдока!
Научный сотрудник в Международную лабораторию логики, лингвистики и формальной философии» (Программа российских постдоков) от 140 000 рублей до вычета НДФЛ.

Заявки принимаются до 30 марта.

Требуемый опыт работы: не менее 3-х лет
Полная занятость, полный день
Срок работы: 1 год с возможностью продления на второй.

Программа привлечения российских постдоков – для способных и инициативных молодых исследователей, которые прежде не учились и не работали в НИУ ВШЭ. Возрастное ограничение для участников – 39 лет. Программа рассчитана на один год с возможностью продления.

postdocru.hse.ru/

В эту субботу 7 февраля в 15:00 очно в каб. А117 и онлайн в Zoom на ридинг-семинаре "Analytics" начинается чтение новой статьи: был выбран текст Нэда Блока "The Puzle of Perceptual Precision". Дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/rus/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

09.02.2026, Т.Л. Яворская (МГУ): О семантике логики свидетельств первого порядка со связывающими модальностями (очный)

Доклад посвящен семантике гибридной логики первого порядка, в языке которой присутствуют и свидетельские термы, и модальность. Особенность таких логик в том, что язык позволяет выразить как утверждение "t является свидетельством формулы F, содержащей свободную переменную x", так и "для данного значения x, t является свидетельством формулы F(x)". В первом утверждении переменная x связанная, во втором свободная. Естественным представляется добавить в язык аналогичную конструкцию и для модальности (так называемые связывающие модальности). Мы определим логику, которая комбинирует логику свидетельств первого порядка FOLP и модальную логику S4 первого порядка со связывающими модальностями. Для этой логики определим модели в стиле моделей Фиттинга для FOLP, сформулируем теоремы о полноте и корректности относительно этой семантики и коротко обсудим основную идею доказательства. Мы используем эту семантику для доказательства невыводимости некоторых принципов и покажем, при каких требованиях мы можем гарантировать существование модели, отвечающей им.

➰ ВК

11 февраля в 18:40 состоится 111-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Почему и Как Будто, или О паре мест из мисс Элизабет Энском.

Докладчик: Ирина Никитина (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: Параграфы «Намерения» Элизабет Энском, как впрочем и многих других её работ, оборачиваются для читателя терновыми зарослями: ему легче отказаться от изначального замысла и не прорываться сквозь странные интерлюдии, обрывистые рассуждения и малопонятные примеры. Твердолобых Стойких ждут звезды по ту сторону терний - нужны они ему или нет, окажется ясно лишь в самом конце, однако по дороге можно натолкнуться на несколько примечательных отрывков. О нескольких таких местах из мисс Элизабет Энском и пойдет речь в докладе. В рамках него будет представлено развитие некаузальной теории действия в её «классическом» (витгенштейнианском) виде, а именно: будут обсуждаться вопрос широты контекста релевантного для идентификации намерения, а также проблема недоопределенности намерений поведением человека.
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1119459711.html

Презентация перевода книги «Аристотель» сэра Дэвида Росса


17 февраля 2026 года (вторник) в 18:00 в аудитории Г-302 (коворкинг философского факультета) в рамках семинара «История философии: находки и интерпретации» состоится презентация перевода книги «Аристотель» сэра Дэвида Росса, вышедшей в издательстве URSS в 2026 г. , и дискуссия о переводах на русский язык античных авторов и исследований в области античной философии.

Книга Дэвида Росса — пожалуй, лучший путеводитель по сочинениям Аристотеля из когда-либо написанных. Трудно представить себе книгу, более полезную для тех, кто хотел бы ознакомиться с подлинной мыслью Аристотеля. Росс последовательно, трактат за трактатом, пересказывает и комментирует почти весь корпус трудов Аристотеля, избавляя в своем изложении читателя от трудностей аристотелевского стиля и опуская излишние подробности.


Программа мероприятия:

Выступления переводчиков книги 
Дискуссия:
"Античная философия: что, как и зачем переводить сегодня?"
 
Участники:
Дмитрий Владимирович Бугай, МГУ,

Ольга Валерьевна Алиева, НИУ ВШЭ,

Светлана Викторовна Месяц, Институт философии РАН,

Станислав Вадимович Наранович, РГГУ,

Артем Тимурович Юнусов, Институт философии РАН.
 
На презентации будут присутствовать представители издательства URSS и будут представлены книжные новинки издательства.

Регистрация на мероприятие по запросу: ars109236@yandex.ru. Регистрация возможна до 12 февраля.

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 11 февраля в 14:15.
❗Время изменилось.

Место проведения:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Название: Интуиционистская эпистемическая логика с точки зрения классической

Докладчик: Анастасия Оноприенко

Аннотация:
С. Артёмов и Т. Протопопеску построили три формальные системы, отражающие аспекты логики интуиционистского знания. Для таких логик основополагающим является принцип конструктивности знания, т.е. принцип корефлексии A→KA.
В 1933 году К. Гёдель описал вложение интуиционистского исчисления Int в классическую модальную логику S4, устроенное так: "добавить □ перед каждой подформулой". Т. Протопопеску рассматривает перевод интуиционистских эпистемических логик в расширения логики S4 с модальностями □ и V, устроенный как естественное продолжение перевода Гёделя: "навесить □ на каждую подформулу, а модальность K заменить на модальность V".
Существует более компактный вариант перевода Гёделя, в котором модальность □ навешивается только на атомарные формулы и на формулы вида A→B. В связи с этим можно рассматривать переводы, в которых формулы вида KA переводятся как VA (а не □VA). Для того, чтобы такой перевод являлся погружением логик, рассматриваются целевые логики с аксиомой VA→□VA.
В докладе мы рассмотрим погружения интуиционистских эпистемических логик IEL-, IEL, IEL+ в логики S4V−M, S4VM, S4V+M, а также погружение логики IEL+ в логику S4V+MU. Рассмотрим семантики Крипке этих логик. Установим конечность множества попарно неэквивалентных модальностей в логике S4V+MU и покажем, как отсюда следует финитная аппроксимируемость семантики Крипке этой логики.

➰ ВК

18 февраля в 18:10 состоится 112-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Трансцендентальные аргументы, скептицизм и шарнирная эпистемология.

Докладчик: Виталий Рассказов (студент ШФиК НИУ ВШЭ).

Аннотация: В докладе исследуются позитивные и негативные (анти-скептические) функции трансцендентальных аргументов. За отправную точку взята трактовка такого рода аргументов, представленная в работе П. Ф. Стросона “Скептицизм и натурализм”. Эта трактовка сталкивается с обширной критикой ввиду неспособности трансцендентальных аргументов, как их понимает Стросон, обосновать эпистемическую допустимость верований, ставших мишенью скептиков, поскольку автор «Скептицизма и натурализма» ограничивает их функцию лишь установлением психологической неизбежности подобных верований. Впервые такая линия критики была выдвинута Б. Страудом в известной работе «Трансцендентальные аргументы» и получила название “возражения от верификационизма”. В дальнейшем ее развили Э. Соса, Д. Притчард и А. Колива. В ответ на эту критику в настоящей статье предлагается «гибридный» подход, объединяющий прочтение трансцендентальной аргументации Стросоном с шарнирной эпистемологией. В рамках данного подхода трансцендентальные аргументы выполняют индикативную функцию: они выявляют “пропозиции-кандидаты” на роль петель, которые, в свою очередь, формируют основу для анти-скептических аргументов в шарнирной эпистемологии. Демонстрируется, что данная роль трансцендентальных аргументов не является избыточной, поскольку трансцендентальные аргументы делают возможным выявление интроспективно неочевидных петель. Предлагаемое обоснование ценности этой функции трансцендентальных аргументов основывается на прочтении идей Л. Витгенштейна о петлях в трудах Д. Мойал-Шаррок.
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1123642075.html

На очередном заседании межсекторского семинара "Современная аналитическая философия" пройдет презентация тематического номера журнала Analytica.

Номер посвящен обсуждению того, что же наконец уже в конце концов такое аналитическая философия. Он вышел по следам одноименного круглого стола в рамках нашего же семинара год назад: аналитический змей кусает себя за хвост.

В презентации примут участие авторы выпуска — Евгений Логинов, Артём Юнусов, Игорь Джохадзе, Андрей Нехаев, Константин Фролов, Георгий Черкасов, Денис Маслов, Полина Ханова.

Каждый из них расскажет об одной статье другого автора выпуска. Далее — свободная дискуссия (для участия рекомендуем прочитать статьи выпуска).

Регистрация.

@sector_szf

#матлог #конференция

Научно-образовательный математический центр Приволжского федерального округа приглашает вас принять участие в VI Конференции математических центров России, которая пройдет с 17 по 22 августа 2026 года в г. Казани на базе Казанского (Приволжского) федерального университета.

К участию в конференции приглашаются представители российской и мировой математической общественности: аспиранты, студенты, сотрудники региональных математических центров и математических центров мирового уровня, научные и педагогические работники.

Формат работы конференции очный, будут представлены пленарные, секционные и постерные доклады по актуальным направлениям развития и современным достижениям математической науки.

В приложении - информационное письмо о проведении конференции.

Подробная информация о мероприятии находится на официальном сайте конференции: https://mathcenter.kpfu.ru/mc-conf

По всем возникающим вопросам следует обращаться на почту оргкомитета по адресу: mcVI-conf@yandex.ru

📝 Первое информационное сообщение.pdf

➰ ВК

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

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

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 20.02.2026 в 16:20

Язык доклада: английский.

Speaker: Sayantan Roy

Title: Abstract Model Structures and Compactness Theorems

Abstract: The compactness theorem for a logic states, roughly, that the satisfiability of a set of wffs can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this talk, using the notion of abstract model structures, we investigate a generalized notion of compactness that is independent of these. Thus, in terms of spirit, this work belongs to the subject known as abstract model theory although methodologically, it goes beyond it (e.g., we do not maintain the same commitment lack the strong commitment to the conventional concrete systems of logic that are characteristic features of works in this area). We also differ from a more categorical take to the subject since our approach is purely set-theoretic. We, however, do not compromise with the level of generality, and obtain several characterization theorems for a particular class of compact abstract model structures, generalizing the traditional Henkin-style, topological and ultrproduct proofs respectively. Finally, some open problems and directions for future research are discussed as well.

➰ ВК

#матлог #не_мехмат #ВШЭ

54-е заседание Математического семинара ФКН состоится 27 февраля в 18:10.

На семинаре выступит Андрей Кудинов с докладом "Модальная логика топологических пространств и битопологическое произведение".

Хорошо известно, что логика высказываний полна относительно булевых алгебр, а любая булева алгебра вкладывается в множество подмножеств некоторого множества (теорема Стоуна). С другой стороны на топологическое пространство можно смотреть как на булеву алгебру подмножеств с операцией взятия внутренности. Куратовский предложил эквивалентную аксиоматизацию топологический пространств через оператор взятия внутренности. Оказалось, что эти аксиомы дают в точности аксиоматизацию модальной логики S4. Модальная логика высказываний, получается добавлением оператора к языку булевых формул. При этом этот язык получается очень слабо выразительным, многие естественные свойства топологических пространств (плотность, аксиомы отделимости, компактность и т.д.) оказываются невыразимыми. Тем не менее, большим плюсом модальной логики S4 является ее разрешимость, которая отсутствует в логике предикатов, в которой можно выразить гораздо больше свойств топологических пространств.

Во второй части доклада я расскажу про различные способы, обогащения языка модальной логики, которые позволяют выражать больше свойств топологических пространств, оставаясь в рамках разрешимых исчислений.

В третьей части доклада я расскажу про конструкцию битопологического произведения, которая возникла в рамках развития топологических модальных логик многомерных структур. Результатом произведения двух топологических пространств является битопологическое пространство с горизонтальной и вертикальной топологиями. В горизонтальной топологии множество открыто, если все проекции горизонтальных сечений открыты. Аналогично для вертикальной топологии. Эта конструкция позволяет различить топологические пространства, которые были неразличимы в других языках. Я расскажу про результаты в этой области и открытые вопросы.

Семинар пройдет по адресу Покровский бульвар 11, аудитория R306.

Информация о семинаре и аннотация предстоящего доклада: https://cs.hse.ru/seminatfkn/

Регистрация: https://cs.hse.ru/big-data/polls/788384338.html

➰ ВК