Формальная философия
Photo
17 декабря в 18:10 состоится 107-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений".
Докладчик: Вера Шумилина.
Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.
Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.
Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.
Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html
Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений".
Докладчик: Вера Шумилина.
Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.
Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.
Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.
Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html
llfp.hse.ru
Доклад Веры Шумилиной «Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений» (часть…
14 января в 18:10 состоится 107-е заседание научно-теоретического семинара «Формальная философия».
1❤6👍3
#матлог #наука #ВШЭ #конференция
29 декабря на факультете компьютерных наук НИУ ВШЭ пройдёт мини-конференция «Logic Matters 2025» (программа ниже).
Место проведения — Москва, Покровский б-р, д. 11, ауд. F301. Планируется также возможность онлайн-подключения.
Для участия (в т.ч. получения пропуска в здание ВШЭ) нужно зарегистрироваться на странице https://cs.hse.ru/ai/clst/issa/logmatters/ . Просьба желающим зарегистрироваться как можно быстрее, во всяком случае, не позже четверга 25 декабря (если нужен пропуск).
Программа конференции:
10:00 — 10:30 сбор участников
10:30 — 10:45
Вступительное слово
Кузнецов Сергей Олегович, Директор Центра языковых и семантических технологий ФКН, НИУ ВШЭ
10:45 — 11:15
Строго позитивные логики и стройные порядки
Беклемишев Лев Дмитриевич, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
11:15 — 11:45 кофе-брейк
11:45 — 12:15
Пайплайн для верификации сгенерированных LLM решений математических задач
Сазонова Варвара Андреевна, Московский государственный университет имени М.В.Ломоносова
12:15 — 12:30 перерыв
12:30 — 13:00
О вопросах сходимости и генерализации для нейронных схем малой глубины
Разборов Александр Александрович, Математический институт им. В.А. Стеклова РАН, University of Chicago
13:00 — 14:00 обед
14:00 — 14:30
AI в математике: последние новости
Николенко Сергей Игоревич, Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (онлайн)
14:30 — 14:45 перерыв
14:45 — 15:15
Табличное разрешение классов типов
Соколов Павел Павлович, НИУ ВШЭ
15:15 — 15:45 кофе-брейк
15:45 — 16:15
О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
Сперанский Станислав Олегович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
16:15 — 16:30 перерыв
16:30 — 17:00
Сложность эквациональных теорий двух классов решеток Клини с делениями
Кузнецов Степан Львович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
17:00 — …
Общая дискуссия «Могут ли нейронки рассуждать?»
Закрытие конференции
➰ ВК
29 декабря на факультете компьютерных наук НИУ ВШЭ пройдёт мини-конференция «Logic Matters 2025» (программа ниже).
Место проведения — Москва, Покровский б-р, д. 11, ауд. F301. Планируется также возможность онлайн-подключения.
Для участия (в т.ч. получения пропуска в здание ВШЭ) нужно зарегистрироваться на странице https://cs.hse.ru/ai/clst/issa/logmatters/ . Просьба желающим зарегистрироваться как можно быстрее, во всяком случае, не позже четверга 25 декабря (если нужен пропуск).
Программа конференции:
10:00 — 10:30 сбор участников
10:30 — 10:45
Вступительное слово
Кузнецов Сергей Олегович, Директор Центра языковых и семантических технологий ФКН, НИУ ВШЭ
10:45 — 11:15
Строго позитивные логики и стройные порядки
Беклемишев Лев Дмитриевич, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
11:15 — 11:45 кофе-брейк
11:45 — 12:15
Пайплайн для верификации сгенерированных LLM решений математических задач
Сазонова Варвара Андреевна, Московский государственный университет имени М.В.Ломоносова
12:15 — 12:30 перерыв
12:30 — 13:00
О вопросах сходимости и генерализации для нейронных схем малой глубины
Разборов Александр Александрович, Математический институт им. В.А. Стеклова РАН, University of Chicago
13:00 — 14:00 обед
14:00 — 14:30
AI в математике: последние новости
Николенко Сергей Игоревич, Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (онлайн)
14:30 — 14:45 перерыв
14:45 — 15:15
Табличное разрешение классов типов
Соколов Павел Павлович, НИУ ВШЭ
15:15 — 15:45 кофе-брейк
15:45 — 16:15
О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
Сперанский Станислав Олегович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
16:15 — 16:30 перерыв
16:30 — 17:00
Сложность эквациональных теорий двух классов решеток Клини с делениями
Кузнецов Степан Львович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ
17:00 — …
Общая дискуссия «Могут ли нейронки рассуждать?»
Закрытие конференции
➰ ВК
cs.hse.ru
Международный семинар «Logic matters — 2025»
Международный семинар «Logic matters 2025»
❤1👍1🤡1
Forwarded from лазер Оккама
Рождественский номер журнала Analytica 👼
«Что такое аналитическая философия?»
9 авторов отвечают на этот вопрос, пытаясь выйти за пределы стереотипов и мем-культуры вокруг аналитико-континентального разрыва.
Приглашенный редактор — Артём Юнусов
Редакторы журнала — команда uAnalytiCon: Дмитрий Анкин, Лев Ламберов, Илья Гущин, Ольга Козырева и Виктория Сухарева
Предыстория: этот вопрос обсуждался год назад на круглом столе в Институте философии РАН
‼️ Выпуск — фактически монография: статьи огромны
Евгений Логинов приоткрывает для публики результаты своих исторических исследований. До этого псиоп Логинова распространялся только через лекции, доклады и городские легенды. Что в отношении методологии философии думает тёмная (не-историческая) субличность Логинова, миру лишь предстоит узнать...
Взаимно неразделенная любовь нациста Хайдеггера и социалиста Карнапа, Беньямин учится логике у Фреге, а Адорно в Оксфорде у Райла. Айер и другие аналитики приходят в ужас от мнения Батая по поводу того, что солнце не существовало до появления человечества.
Артём Юнусов в маске Doctor subtilis обрушивает на читателя различия и сноски (их шестьдесят), прочесав всю литературу обозримой вселенной. Он озвучивает то, что все знают, но боятся сказать. Витгенштейн не аналитический философ в современном смысле. Он не соответствует и не стремится соответствать современным нормативным идеалам аналитической философии.
Георгий Черкасов (лазер Оккама) проводит масштабную реконструкцию дискуссии, разбирает статистику и фокусируется на социальной онтологии: аналитическая философия — социальная классифицирующая категория с эффектом петли обратной связи. Камео: африканская философия, Ян Хакинг, эпистемическая несправедливость, Салли Хаслангер, концептуальная инженерия.
Полина Ханова (МГУ) описывает происходящее в терминах схизмогенеза: две стороны не так уж и сильно отличались, но во время спора заигрались и дошли до абсолютного антагонизма и партийной борьбы.
Денис Маслов по своему обычаю смотрит в будущее. Он предлагает аналитическим философам перестать мельтишить и уже взяться за всеобъемлющий взгляд.
Андрей Нехаев (Тюмень) в статье «Холивар не выдержит двоих» (Holy War Can’t Carry Double — отсылка на фразу из О. Генри) напоминает о важности количественного анализа.
А также Игорь Джохадзе, Константин Фролов и Игорь Гаспаров...
«Что такое аналитическая философия?»
9 авторов отвечают на этот вопрос, пытаясь выйти за пределы стереотипов и мем-культуры вокруг аналитико-континентального разрыва.
Приглашенный редактор — Артём Юнусов
Редакторы журнала — команда uAnalytiCon: Дмитрий Анкин, Лев Ламберов, Илья Гущин, Ольга Козырева и Виктория Сухарева
Предыстория: этот вопрос обсуждался год назад на круглом столе в Институте философии РАН
Евгений Логинов приоткрывает для публики результаты своих исторических исследований. До этого псиоп Логинова распространялся только через лекции, доклады и городские легенды. Что в отношении методологии философии думает тёмная (не-историческая) субличность Логинова, миру лишь предстоит узнать...
Взаимно неразделенная любовь нациста Хайдеггера и социалиста Карнапа, Беньямин учится логике у Фреге, а Адорно в Оксфорде у Райла. Айер и другие аналитики приходят в ужас от мнения Батая по поводу того, что солнце не существовало до появления человечества.
Артём Юнусов в маске Doctor subtilis обрушивает на читателя различия и сноски (их шестьдесят), прочесав всю литературу обозримой вселенной. Он озвучивает то, что все знают, но боятся сказать. Витгенштейн не аналитический философ в современном смысле. Он не соответствует и не стремится соответствать современным нормативным идеалам аналитической философии.
Георгий Черкасов (лазер Оккама) проводит масштабную реконструкцию дискуссии, разбирает статистику и фокусируется на социальной онтологии: аналитическая философия — социальная классифицирующая категория с эффектом петли обратной связи. Камео: африканская философия, Ян Хакинг, эпистемическая несправедливость, Салли Хаслангер, концептуальная инженерия.
Полина Ханова (МГУ) описывает происходящее в терминах схизмогенеза: две стороны не так уж и сильно отличались, но во время спора заигрались и дошли до абсолютного антагонизма и партийной борьбы.
Денис Маслов по своему обычаю смотрит в будущее. Он предлагает аналитическим философам перестать мельтишить и уже взяться за всеобъемлющий взгляд.
Андрей Нехаев (Тюмень) в статье «Холивар не выдержит двоих» (Holy War Can’t Carry Double — отсылка на фразу из О. Генри) напоминает о важности количественного анализа.
А также Игорь Джохадзе, Константин Фролов и Игорь Гаспаров...
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥9❤🔥3👍2🥱2🤔1
Формальная философия
Photo
14 января в 18:10 состоится 108-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений (часть 2).
Докладчик: Вера Шумилина.
Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.
Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.
Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.
Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html
Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений (часть 2).
Докладчик: Вера Шумилина.
Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.
Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.
Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.
Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html
llfp.hse.ru
Доклад Веры Шумилиной «Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений» (часть…
14 января в 18:10 состоится 107-е заседание научно-теоретического семинара «Формальная философия».
👍5
20 января 2026 года МЛ ЛогЛинФФ совместно с Департаментом философии Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б. Н. Ельцина и Центром логики, эпистемологии и истории науки Государственного университета Кампинаса проведет Российско-бразильский коллоквиум «Умозаключения о художественном вымысле: логика и границы наших выводов». Исследователи семантики художественного вымысла часто сосредотачиваются на том, как присваивать истинностные значения предложениям в контексте художественных произведений. Однако, если мы хотим рассуждать о художественном вымысле, нам также необходимо учитывать, как делать выводы в рамках художественного дискурса и отличаются ли такие выводы от выводов в дискурсе о реальности.
Мы приглашаем коллег к участию в обсуждении, в ходе которого формально или концептуально будут рассмотрены вопросы, связанные с рассуждениями о художественной литературе, включая, помимо прочего, то:
Какие аксиомы и правила вывода следует принимать для рассуждений о вымышленных мирах?
Какие формальные модели лучше подходят для представления неопределенности и неизвестности в контексте художественных произведений?
Как можно определить предел длины выводов, которые приводят нас к знанию, а не просто к убеждению о художественном вымысле?
Какие фоновые знания о реальном мире могут быть законно использованы в таких выводах, помимо содержания, явно представленного в художественном произведении?
Приглашенные докладчики:
Франц Берто (Университет Сент-Эндрюса, Шотландия)
Ньютон Маркус Перон (Федеральный университет Южной границы, Бразилия)
Хенрике Антюнес (Федеральный университет Баии, Бразилия)
Ссылка на страницу мероприятия на сайте Дня логики.
Мероприятие пройдет в НИУ ВШЭ (Старая Басманная, 21/4, ауд. А-323) и онлайн. https://llfp.hse.ru/announcements/1118763734.html
Мы приглашаем коллег к участию в обсуждении, в ходе которого формально или концептуально будут рассмотрены вопросы, связанные с рассуждениями о художественной литературе, включая, помимо прочего, то:
Какие аксиомы и правила вывода следует принимать для рассуждений о вымышленных мирах?
Какие формальные модели лучше подходят для представления неопределенности и неизвестности в контексте художественных произведений?
Как можно определить предел длины выводов, которые приводят нас к знанию, а не просто к убеждению о художественном вымысле?
Какие фоновые знания о реальном мире могут быть законно использованы в таких выводах, помимо содержания, явно представленного в художественном произведении?
Приглашенные докладчики:
Франц Берто (Университет Сент-Эндрюса, Шотландия)
Ньютон Маркус Перон (Федеральный университет Южной границы, Бразилия)
Хенрике Антюнес (Федеральный университет Баии, Бразилия)
Ссылка на страницу мероприятия на сайте Дня логики.
Мероприятие пройдет в НИУ ВШЭ (Старая Басманная, 21/4, ауд. А-323) и онлайн. https://llfp.hse.ru/announcements/1118763734.html
llfp.hse.ru
Российско-бразильский коллоквиум «Умозаключения о художественном вымысле: логика и границы наших выводов»
20 января 2026 года МЛ ЛогЛинФФ совместно с Департаментом философии Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б. Н.
❤9👍3
21 января в 18:40 состоится 109-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Почему и Как Будто, или О паре мест из мисс Элизабет Энском.
Докладчик: Ирина Никитина (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Параграфы «Намерения» Элизабет Энском, как впрочем и многих других её работ, оборачиваются для читателя терновыми зарослями: ему легче отказаться от изначального замысла и не прорываться сквозь странные интерлюдии, обрывистые рассуждения и малопонятные примеры.Твердолобых Стойких ждут звезды по ту сторону терний - нужны они ему или нет, окажется ясно лишь в самом конце, однако по дороге можно натолкнуться на несколько примечательных отрывков. О нескольких таких местах из мисс Элизабет Энском и пойдет речь в докладе. В рамках него будет представлено развитие некаузальной теории действия в её «классическом» (витгенштейнианском) виде, а именно: будут обсуждаться вопрос широты контекста релевантного для идентификации намерения, а также проблема недоопределенности намерений поведением человека.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1119459711.html
Тема доклада: Почему и Как Будто, или О паре мест из мисс Элизабет Энском.
Докладчик: Ирина Никитина (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Параграфы «Намерения» Элизабет Энском, как впрочем и многих других её работ, оборачиваются для читателя терновыми зарослями: ему легче отказаться от изначального замысла и не прорываться сквозь странные интерлюдии, обрывистые рассуждения и малопонятные примеры.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1119459711.html
llfp.hse.ru
Доклад Ирины Никитиной «Почему и Как Будто, или О паре мест из мисс Элизабет Энском»
21 января в 18:40 состоится 109-е заседание научно-теоретического семинара «Формальная философия».
❤6🌭1
Формальная философия
21 января в 18:40 состоится 109-е заседание научно-теоретического семинара «Формальная философия». Тема доклада: Почему и Как Будто, или О паре мест из мисс Элизабет Энском. Докладчик: Ирина Никитина (стажер-исследователь МЛ ЛогЛинФФ). Аннотация: Параграфы…
Дорогие коллеги, заседание семинара «Формальная философия» 21 января не состоится. Приносим свои извинения.
😭10💔5
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
Тема доклада: Диктаторы и ультрафильтры: теоремы Эрроу и Фишберна как следствия результата Кирмана и Зондерманна.
Докладчик: Виталий Долгоруков (МЛ ЛогЛинФФ НИУ ВШЭ).
Аннотация: Знаменитая теорема Эрроу (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
llfp.hse.ru
Доклад Виталия Долгоруков «Диктаторы и ультрафильтры: теоремы Эрроу и Фишберна как следствия результата Кирмана и Зондерманна»
28 января в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
❤10⚡3👍1