Формальная философия

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

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

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

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

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

@sector_szf

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

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

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

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

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

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

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

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

➰ ВК

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


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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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, сформулируем теоремы о полноте и корректности относительно этой семантики и коротко обсудим основную идею доказательства. Мы используем эту семантику для доказательства невыводимости некоторых принципов и покажем, при каких требованиях мы можем гарантировать существование модели, отвечающей им.

➰ ВК

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

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

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

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

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

postdocru.hse.ru/

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

В эту субботу 31 января в 14:00 очно в каб. А117 и онлайн в Zoom состоится очередное заседание ридинг-семинара "Analytics": начинается чтение статьи Патрика МакКи "Vague perception". Дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

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

Тема доклада: Диктаторы и ультрафильтры: теоремы Эрроу и Фишберна как следствия результата Кирмана и Зондерманна.

Докладчик: Виталий Долгоруков (МЛ ЛогЛинФФ НИУ ВШЭ).

Аннотация: Знаменитая теорема Эрроу (1951, 1963) утверждает невозможность существования функции общественного благосостояния, которая одновременно удовлетворяла бы принципам единогласия, независимости от посторонних альтернатив и не была бы диктаторской. Фишберн (1970) вносит существенную поправку: теорему Эрроу нельзя распространить на бесконечное количество избирателей. Кирман и Зондерман (1972) заметили, что ключевое понятие для теоремы Эрроу – "решающая коалиция" , является ультрафильтром над множеством избирателей, что позволяет одновременно получить и теорему Эрроу, и теорему Фишберна в качестве следствий. В докладе будет представлено модифицированное доказательство результата Кирмана и Зондермана, также мы поговорим о полезности применения логических методов в теории коллективного выбора и вопросах интерпретации инфинитарных конструкций в социальных науках и формальной философии. Доклад основан на совместном исследовании с Е.Л. Поповой.

Литература:
– Arrow K.J. Social Choice and Individual Values. New York: Wiley, 1951 (1963).
– Fishburn P. C. Arrow’s impossibility theorem: Concise proof and infinite voters // Journal of Economic Theory. 1970. Vol. 2, № 1. P. 103–106.
– Kirman A.P., Sondermann D. Arrow’s theorem, many agents, and invisible dictators // Journal of Economic Theory. 1972. Vol. 5, № 2. P. 267–277.

_____________________

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

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

Дорогие коллеги, заседание семинара «Формальная философия» 21 января не состоится. Приносим свои извинения.

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

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

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

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

_____________________

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

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

20 января 2026 года МЛ ЛогЛинФФ совместно с Департаментом философии Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б. Н. Ельцина и Центром логики, эпистемологии и истории науки Государственного университета Кампинаса проведет Российско-бразильский коллоквиум «Умозаключения о художественном вымысле: логика и границы наших выводов». Исследователи семантики художественного вымысла часто сосредотачиваются на том, как присваивать истинностные значения предложениям в контексте художественных произведений. Однако, если мы хотим рассуждать о художественном вымысле, нам также необходимо учитывать, как делать выводы в рамках художественного дискурса и отличаются ли такие выводы от выводов в дискурсе о реальности.

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

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


Приглашенные докладчики:

Франц Берто (Университет Сент-Эндрюса, Шотландия)
Ньютон Маркус Перон (Федеральный университет Южной границы, Бразилия)
Хенрике Антюнес (Федеральный университет Баии, Бразилия)


Ссылка на страницу мероприятия на сайте Дня логики.

Мероприятие пройдет в НИУ ВШЭ (Старая Басманная, 21/4, ауд. А-323) и онлайн. https://llfp.hse.ru/announcements/1118763734.html