1 ноября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).
Тема доклада: Abstract and Variable Sets in Category Theory.
Докладчик: John L. Bell (Emeritus Professor, FRSC Department of Philosophy Western University London, Ontario Canada).
Аннотация: In 1895 Cantor gave a definitive formulation of the concept of set, namely,
A collection to a whole of definite, well-differentiated objects of our intuition or thought.
Let us call such a collection a concrete set. More than a decade earlier, Cantor had introduced the notion of cardinal number by appeal to a process of abstraction:
If we abstract not only from the nature of the elements of a set, and also from the order in which they are given, then there arises in us a definite general concept which I call the cardinal number of the set.
Lawvere has suggested calling Cantor’s cardinal numbers abstract sets. An abstract set may be considered as arising from a concrete set when each element has been purged of all intrinsic qualities aside from the quality which distinguishes that element from all the others. An abstract set is thus an embodiment of pure discreetness.
In my talk I will describe how category theory provides the natural framework for understanding abstract sets, conceived of as static or as undergoing change.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094081809.html
Тема доклада: Abstract and Variable Sets in Category Theory.
Докладчик: John L. Bell (Emeritus Professor, FRSC Department of Philosophy Western University London, Ontario Canada).
Аннотация: In 1895 Cantor gave a definitive formulation of the concept of set, namely,
A collection to a whole of definite, well-differentiated objects of our intuition or thought.
Let us call such a collection a concrete set. More than a decade earlier, Cantor had introduced the notion of cardinal number by appeal to a process of abstraction:
If we abstract not only from the nature of the elements of a set, and also from the order in which they are given, then there arises in us a definite general concept which I call the cardinal number of the set.
Lawvere has suggested calling Cantor’s cardinal numbers abstract sets. An abstract set may be considered as arising from a concrete set when each element has been purged of all intrinsic qualities aside from the quality which distinguishes that element from all the others. An abstract set is thus an embodiment of pure discreetness.
In my talk I will describe how category theory provides the natural framework for understanding abstract sets, conceived of as static or as undergoing change.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094081809.html
llfp.hse.ru
Доклад Джона Белла "Abstract and Variable Sets in Category Theory"
1 ноября в 18:00 состоится заседание научно-учебного семинара «Математическая логика и теория категорий».
❤6
Forwarded from Философия обиженного языка
Всем привет! Я — Евстигнеев Максим, закончил философскую аспирантуру НИУ ВШЭ (https://www.hse.ru/org/persons/190886950/) и надеюсь в течении года защитить кандидатскую диссертацию. Моя основная специализация — философия Нового времени, а особенно И. Канта (один из главных героев моей диссертации). Вы можете также знать меня по стримам Васила (https://www.youtube.com/playlist?list=PLZn1C-cYXVSVE-EZ9bAUwhwdIq_ij0hfL) или каким-то другим моим выступлениям (https://youtube.com/playlist?list=PLjmTMlhWUZObfu6OWPm4IA9AUnQTcL1Pp&si=9iB-1yge3Ew54Y4P).
Объявляю набор на курс, посвященный "Критике чистого разума" И. Канта. Он состоит из нескольких мини-курсов, первый из которых посвящен трансцендентальной эстетике. C его программой можно ознакомиться по ссылке: https://disk.yandex.ru/d/v4ry6O_jo6KDZA .
Курс состоит из 5 занятий (5 недель) со следующей структурой. Сначала я 15-20 минут ввожу необходимый контекст, затем мы переходим к чтению-обсуждению выбранных фрагментов текста, которым уделяется основное время, затем идут заключительные замечания и общее обсуждение в оставшееся время. Ориентировочная продолжительность занятия 1.5 часа. Одно занятие стоит 500р, к курсу можно подключиться, оплатив все 5 занятий мини-курса. Чтобы записаться на курс, пишете в лс (@hydrochoerus_isthmius).
Курс нацелен на аудиторию, имеющую базовое знакомство с философией и желающую разобраться в "Критике чистого разума", научиться работать с текстом и его разнообразными интерпретациями (по желанию аудитории, можно будет сделать особый акцент на кантоведческих дискуссиях, историческом контексте или современных интерпретациях текста).
Первое занятие пройдет в пятницу 31.10 в зуме в 19.00 (мск).
Объявляю набор на курс, посвященный "Критике чистого разума" И. Канта. Он состоит из нескольких мини-курсов, первый из которых посвящен трансцендентальной эстетике. C его программой можно ознакомиться по ссылке: https://disk.yandex.ru/d/v4ry6O_jo6KDZA .
Курс состоит из 5 занятий (5 недель) со следующей структурой. Сначала я 15-20 минут ввожу необходимый контекст, затем мы переходим к чтению-обсуждению выбранных фрагментов текста, которым уделяется основное время, затем идут заключительные замечания и общее обсуждение в оставшееся время. Ориентировочная продолжительность занятия 1.5 часа. Одно занятие стоит 500р, к курсу можно подключиться, оплатив все 5 занятий мини-курса. Чтобы записаться на курс, пишете в лс (@hydrochoerus_isthmius).
Курс нацелен на аудиторию, имеющую базовое знакомство с философией и желающую разобраться в "Критике чистого разума", научиться работать с текстом и его разнообразными интерпретациями (по желанию аудитории, можно будет сделать особый акцент на кантоведческих дискуссиях, историческом контексте или современных интерпретациях текста).
Первое занятие пройдет в пятницу 31.10 в зуме в 19.00 (мск).
www.hse.ru
Евстигнеев Максим Дмитриевич
Евстигнеев Максим Дмитриевич, Аспирант, Школа философии и культурологии, 22682, Национальный исследовательский университет Высшая школа экономики
❤7🥴3👍2🔥1
5 ноября в 18:10 состоится 104-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.
Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1097887604.html
Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.
Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1097887604.html
❤5👍3
12 ноября в 18:10 состоится 105-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: И. Кант о математических дефинициях.
Докладчик: Максим Евстигнеев (стажер-исследователь МЛ ЛогЛинФФ, аспирант ШФиК).
Аннотация: Как известно, И. Кант рассматривал математику как пример дисциплины, обладающей синтетическими познаниями a priori. Он также замечал, что одной из задач «Критики чистого разума» является ответ на вопрос: «как возможна чистая математика». Наконец, отвечая на вопрос о том, «как возможна метафизика», Кант четко проводил границу между методами математики и философии и утверждал, что последняя не может опираться на математический метод в своих исследованиях. Одной из главных отличительных черт, выделяющих математику среди всех прочих научных дисциплин и способов познания мира, является ее обращение с дефинициями. Согласно Канту, математика — это единственная дисциплина, могущая давать реальные дефиниции своих понятий. Это возможно потому, что, в отличие от других дисциплин, математика создает свои понятия, причем делает это произвольно и a priori. Занимая такую позицию, Кант оказывается перед необходимостью объяснить, каким образом математические определения и доказательства не просто являются достоверным и надежным источником знания, но и то, почему математика обладает объективной значимостью для предметов опыта. Иными слова, ему нужно показать, как произвольность математических построений совместима с тем, что предметы опыта на самом деле обладают открываемыми в чистой математике посредством произвольных дефиниций математическими свойствами.
В докладе сначала разбирается кантовский взгляд на математический метод и его теория дефиниций. Последняя позволяет уточнить, что именно значит «давать реальные определения своих понятий». Оказывается, что реальная дефиниция понятия, согласно Канту, должна доказывать реальную (а не просто логическую) возможность ее предмета. Затем в докладе приводится интерпретация кантовской модальной теории и на ее основании показывается, что значит, согласно критической теории возможности, быть реально возможным. Наконец, приводится интерпретация кантовской теории величин и показывается, за счет чего математика в кантовской философии открывает реальные свойства предметов опыта, а также указываются границы математических объяснений, значимые для кантовской философии естествознания.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1099687164.html
Тема доклада: И. Кант о математических дефинициях.
Докладчик: Максим Евстигнеев (стажер-исследователь МЛ ЛогЛинФФ, аспирант ШФиК).
Аннотация: Как известно, И. Кант рассматривал математику как пример дисциплины, обладающей синтетическими познаниями a priori. Он также замечал, что одной из задач «Критики чистого разума» является ответ на вопрос: «как возможна чистая математика». Наконец, отвечая на вопрос о том, «как возможна метафизика», Кант четко проводил границу между методами математики и философии и утверждал, что последняя не может опираться на математический метод в своих исследованиях. Одной из главных отличительных черт, выделяющих математику среди всех прочих научных дисциплин и способов познания мира, является ее обращение с дефинициями. Согласно Канту, математика — это единственная дисциплина, могущая давать реальные дефиниции своих понятий. Это возможно потому, что, в отличие от других дисциплин, математика создает свои понятия, причем делает это произвольно и a priori. Занимая такую позицию, Кант оказывается перед необходимостью объяснить, каким образом математические определения и доказательства не просто являются достоверным и надежным источником знания, но и то, почему математика обладает объективной значимостью для предметов опыта. Иными слова, ему нужно показать, как произвольность математических построений совместима с тем, что предметы опыта на самом деле обладают открываемыми в чистой математике посредством произвольных дефиниций математическими свойствами.
В докладе сначала разбирается кантовский взгляд на математический метод и его теория дефиниций. Последняя позволяет уточнить, что именно значит «давать реальные определения своих понятий». Оказывается, что реальная дефиниция понятия, согласно Канту, должна доказывать реальную (а не просто логическую) возможность ее предмета. Затем в докладе приводится интерпретация кантовской модальной теории и на ее основании показывается, что значит, согласно критической теории возможности, быть реально возможным. Наконец, приводится интерпретация кантовской теории величин и показывается, за счет чего математика в кантовской философии открывает реальные свойства предметов опыта, а также указываются границы математических объяснений, значимые для кантовской философии естествознания.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1099687164.html
llfp.hse.ru
Доклад Максима Евстигнеева «И. Кант о математических дефинициях»
12 ноября в 18:10 состоится 105-е заседание научно-теоретического семинара «Формальная философия».
❤2🍓2🔥1
19 ноября в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Abstract Model Structures and Compactness Theorems.
Докладчик: Саянтан Рой (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas 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 show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1101848996.html
Тема доклада: Abstract Model Structures and Compactness Theorems.
Докладчик: Саянтан Рой (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas 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 show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1101848996.html
llfp.hse.ru
Доклад Саянтана Роя «Abstract Model Structures and Compactness Theorems»
19 ноября в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
❤4
«Мой интерес к логике начался с неудовлетворенности»: Сайянтан Рой о своем научном пути и дальнейших планах
В Международную лабораторию логики, лингвистики и формальной философии приехал новый исследователь — Сайянтан Рой. В интервью он рассказывает о первом учителе — отце, о том, что изменило его представление о логике и о доброте незнакомых людей в новой стране.
https://llfp.hse.ru/news/1103782276.html
В Международную лабораторию логики, лингвистики и формальной философии приехал новый исследователь — Сайянтан Рой. В интервью он рассказывает о первом учителе — отце, о том, что изменило его представление о логике и о доброте незнакомых людей в новой стране.
https://llfp.hse.ru/news/1103782276.html
llfp.hse.ru
«Мой интерес к логике начался с неудовлетворенности»: Сайянтан Рой о своем научном пути и дальнейших планах
В Международную лабораторию логики, лингвистики и философии приехал новый исследователь — Сайянтан Рой.
❤8👍3
Формальная философия
Photo
26 ноября в 18:10 состоится 106-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Модальность и время у Аристотеля.
Докладчик: Жозе да Мата (SBL, Бразильское общество логики).
Аннотация: Доклад будет посвящён концепции времени у Аристотеля, её фундаментальным модальным характеристикам и вытекающим из неё философско-логическим следствиям. Это понятие важно для понимания аристотелевской семантики, которая не допускает противоречий — в отличие от систем, принимающих их. В докладе главным образом рассматриваются девятая глава «Об истолковании», а также тринадцатая глава этого трактата.
Особый интерес представляет фаталистический аргумент. Аристотель не только опровергает его, но и заимствует из него конструкцию «предложения двух рук» (и не только её). Такая структура позволяет выразить противоречие и играет важную роль в модальной логике. Кстати, стоит помнить слова профессора Бажанова о Васильеве: «В тезисах Васильева некоторые структуры можно было понимать как модальные суждения (…)».
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1104853489.html
Тема доклада: Модальность и время у Аристотеля.
Докладчик: Жозе да Мата (SBL, Бразильское общество логики).
Аннотация: Доклад будет посвящён концепции времени у Аристотеля, её фундаментальным модальным характеристикам и вытекающим из неё философско-логическим следствиям. Это понятие важно для понимания аристотелевской семантики, которая не допускает противоречий — в отличие от систем, принимающих их. В докладе главным образом рассматриваются девятая глава «Об истолковании», а также тринадцатая глава этого трактата.
Особый интерес представляет фаталистический аргумент. Аристотель не только опровергает его, но и заимствует из него конструкцию «предложения двух рук» (и не только её). Такая структура позволяет выразить противоречие и играет важную роль в модальной логике. Кстати, стоит помнить слова профессора Бажанова о Васильеве: «В тезисах Васильева некоторые структуры можно было понимать как модальные суждения (…)».
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1104853489.html
❤5🤡1
3 декабря в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Структурная теория доказательств на службе у формальной эпистемологии.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Наиболее популярным подходом к формальной эпистемологии и эпистемической логике остается теоретико-модельный. Редко когда свежие логики удостаиваются соответствующей структурной теории доказательств, несмотря на удобство последней. В своей недавней статье С. Негри и Э. Павлович предлагают достаточно естественное место для теории доказательств в контексте хинтиковской теории интеррогативного знания. Также особый интерес вызывают теории, обладающие свойством контрмодели и обратимостью правил. Они позволяют не только делать утверждения о выводимости формул, но и наоборот, об их невыводимости, что может быть полезно для рассмотрения эпистемических парадоксов. В рамках доклада также планируется осветить другие неожиданные связи теорий доказательств генценовского типа и эпистемической логики в контексте субструктурных логик и теоретико-доказательственной семантики.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1106841952.html
Тема доклада: Структурная теория доказательств на службе у формальной эпистемологии.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Наиболее популярным подходом к формальной эпистемологии и эпистемической логике остается теоретико-модельный. Редко когда свежие логики удостаиваются соответствующей структурной теории доказательств, несмотря на удобство последней. В своей недавней статье С. Негри и Э. Павлович предлагают достаточно естественное место для теории доказательств в контексте хинтиковской теории интеррогативного знания. Также особый интерес вызывают теории, обладающие свойством контрмодели и обратимостью правил. Они позволяют не только делать утверждения о выводимости формул, но и наоборот, об их невыводимости, что может быть полезно для рассмотрения эпистемических парадоксов. В рамках доклада также планируется осветить другие неожиданные связи теорий доказательств генценовского типа и эпистемической логики в контексте субструктурных логик и теоретико-доказательственной семантики.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1106841952.html
llfp.hse.ru
Доклад Юрия Казакова «Структурная теория доказательств на службе у формальной эпистемологии»
3 декабря в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
👍5❤1🤡1
Елена Драгалина-Чёрная: про философию логики, строительство научных мостов и логических чужаков. Научный Сеанс:
https://vkvideo.ru/video-178146238_456239089?t=18m15s&t=51m11s
https://vkvideo.ru/video-178146238_456239089?t=18m15s&t=51m11s
VK Видео
Елена Драгалина-Чёрная: про философию логики, строительство научных мостов и логических чужаков
«Наука – это непростое занятие, но оно вознаграждается тем, что ты всегда находишься в сообществе единомышленников, не ограниченном ни временем, ни пространством, и ты никогда не будешь одинок» Кто такие логические чужаки и как их распознать среди нас? Как…
❤7👍4🤡3👎1🏆1
Друзья, на очередном заседании межсекторского семинара "Современная аналитическая философия" выступит Максим Евстигнеев!
Согласно анализу намеренного действия, который был предложен в «Намерении» Элизабет Энском, приписывание намерения агенту предполагает приписывание ему практического знания. Практическое знание эксплицируется в форме практического силлогизма, а само действие приобретает телеологическую структуру, в которой агент, если он действует намеренно, рассматривается как обладающий знанием того, какие средства требуются для достижения цели своего намеренного действия. В докладе будет реконструирована теория практического знания Энском, показаны некоторые ее ограничения и предложена ее модификация.
Аннотация, список литературы.
Регистрация.
@sector_szf
Согласно анализу намеренного действия, который был предложен в «Намерении» Элизабет Энском, приписывание намерения агенту предполагает приписывание ему практического знания. Практическое знание эксплицируется в форме практического силлогизма, а само действие приобретает телеологическую структуру, в которой агент, если он действует намеренно, рассматривается как обладающий знанием того, какие средства требуются для достижения цели своего намеренного действия. В докладе будет реконструирована теория практического знания Энском, показаны некоторые ее ограничения и предложена ее модификация.
Аннотация, список литературы.
Регистрация.
@sector_szf
1🤡14❤13👎8👍5🏆5
Формальная философия
Photo
10 декабря в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Алгоритмическая сложность кооперативной игры "Ханаби".
Докладчик: Анастасия Оноприенко (к.ф.-м.н., департамент больших данных и информационного поиска).
Аннотация: Игры представляют собой вид человеческой деятельности, где условия задачи совершенно ясны и легко формализуются. В некоторых видах игр, таких как шахматы и го, успешная игра рассматривается как высшее достижение человеческого, «естественного» интеллекта. С середины XX столетия игры рассматриваются в качестве полигона для тестирования возможностей компьютера. Игры часто представляют собой примеры многоагентного взаимодействия участников с противоположными интересами. Однако «Ханаби» является примером игры сотрудничества, вкоторой участники совместно достигают общей цели. На данный момент успехи ИИ в игре «Ханаби» довольно скромные: компьютеру ступает даже командам из игроков-новичков. Очевидное препятствие для «лобового» решения задачи автоматизации игры – «экспоненциальный взрыв». С одной стороны, такой «взрыв» очевиден на практике при попытке запрограммировать игру, а с другой стороны, математически это выражается в виде утверждения об NP-трудности соответствующих вычислительных задач. NP-полнота игры «Ханаби» была установлена даже для простейшего варианта игры в случае одного игрока, который видит всю колоду и пытается «разложить пасьянс»: выложить на столе карточки всех цветов. При этом карточки каждого цвета должны выкладываться по возрастанию (на каждой карточке написано число), и в любой момент времени у игрока в руке может быть лишь небольшое (заранее фиксированное) количество карт. Нами установлена точная граница параметров игры «Ханаби», при которой она всё ещё остаётся NP-полной, а при уменьшении любого из этих чисел игра «Ханаби» перестаёт быть NP-трудной (разумеется, если P не равно NP). Найденные нами значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1108058816.html
Тема доклада: Алгоритмическая сложность кооперативной игры "Ханаби".
Докладчик: Анастасия Оноприенко (к.ф.-м.н., департамент больших данных и информационного поиска).
Аннотация: Игры представляют собой вид человеческой деятельности, где условия задачи совершенно ясны и легко формализуются. В некоторых видах игр, таких как шахматы и го, успешная игра рассматривается как высшее достижение человеческого, «естественного» интеллекта. С середины XX столетия игры рассматриваются в качестве полигона для тестирования возможностей компьютера. Игры часто представляют собой примеры многоагентного взаимодействия участников с противоположными интересами. Однако «Ханаби» является примером игры сотрудничества, вкоторой участники совместно достигают общей цели. На данный момент успехи ИИ в игре «Ханаби» довольно скромные: компьютеру ступает даже командам из игроков-новичков. Очевидное препятствие для «лобового» решения задачи автоматизации игры – «экспоненциальный взрыв». С одной стороны, такой «взрыв» очевиден на практике при попытке запрограммировать игру, а с другой стороны, математически это выражается в виде утверждения об NP-трудности соответствующих вычислительных задач. NP-полнота игры «Ханаби» была установлена даже для простейшего варианта игры в случае одного игрока, который видит всю колоду и пытается «разложить пасьянс»: выложить на столе карточки всех цветов. При этом карточки каждого цвета должны выкладываться по возрастанию (на каждой карточке написано число), и в любой момент времени у игрока в руке может быть лишь небольшое (заранее фиксированное) количество карт. Нами установлена точная граница параметров игры «Ханаби», при которой она всё ещё остаётся NP-полной, а при уменьшении любого из этих чисел игра «Ханаби» перестаёт быть NP-трудной (разумеется, если P не равно NP). Найденные нами значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1108058816.html
llfp.hse.ru
Доклад Анастасии Оноприенко «Алгоритмическая сложность кооперативной игры "Ханаби"»
10 декабря в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
❤6🔥3🤡3🤓2👎1🏆1
Forwarded from Киноклуб "Мультики в LaTeXe"
Киноклуб "Мультики в LaTeXе"
В прекрасном мире будущего, где все освоили LaTeX, мы смотрим мультики в LaTeXе. А пока мы довольствуемся меньшим. Основная задача нашего киноклуба — создать пространство для обсуждения фильмов, не впадая в крайности пассивного потребления и напыщенной гипер-концептуализации. Мы не ограниваем себя какой-то выделенной тематикой, призывая к рассмотрению всего того, что нам кажется интересным настолько, что оно способно разворачивать перед нами перспективу человеческой жизни в её многообразных проявлениях.
Первый месяц существования киноклуба будет посвящён документальному кино различной тематической направленности: от панорамы антарктической жизни и судьбы детища Минору Ямасаки до русского космизма и гвинейской мортальной культуры.
Первая встреча киноклуба состоится уже в эту субботу. 13 декабря мы соберёмся в 17:00 в А-117 для просмотра "Встреч на краю света" Вернера Херцога.
В прекрасном мире будущего, где все освоили LaTeX, мы смотрим мультики в LaTeXе. А пока мы довольствуемся меньшим. Основная задача нашего киноклуба — создать пространство для обсуждения фильмов, не впадая в крайности пассивного потребления и напыщенной гипер-концептуализации. Мы не ограниваем себя какой-то выделенной тематикой, призывая к рассмотрению всего того, что нам кажется интересным настолько, что оно способно разворачивать перед нами перспективу человеческой жизни в её многообразных проявлениях.
Первый месяц существования киноклуба будет посвящён документальному кино различной тематической направленности: от панорамы антарктической жизни и судьбы детища Минору Ямасаки до русского космизма и гвинейской мортальной культуры.
Первая встреча киноклуба состоится уже в эту субботу. 13 декабря мы соберёмся в 17:00 в А-117 для просмотра "Встреч на краю света" Вернера Херцога.
🤡10❤5👍4🙏2🏆2
В эту субботу 13 декабря в 14:00 состоится очередное заседание ридинг-семинара «Analytics»: начинается чтение статьи Джона Греко «Virtue, Luck and the Pyrrhonian Problematic». Семинар пройдет очно в каб. А117 по адресу Москва, ул. Старая Басманная, д. 21/4 и онлайн в Zoom. Дальнейшие подробности по ссылке: https://t.iss.one/+B3UPwOcK5ao0Y2E6
❤5🤡4🏆1
Формальная философия
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