#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL
Докладчик: Никита Лукашов
Аннотация:
В своём докладе я расскажу результаты С. Гилярди о семантической характеризации проективных формул для некоторых модальных логик на примере конкретной модальной логики доказуемости GL. В частности, я постараюсь полностью привести доказательство того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Этот результат оказался полезным, во-первых, для решения проблемы унификации в популярных модальных логиках, таких как K4, S4, GL,… — все они имеют конечный тип (Гилярди, 2000 г.); во-вторых, семантическая характеристика проективных формул послужила основой для получения Э. Ержабеком (2005 г.) явного базиса допустимых правил вывода в этих логиках.
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL
Докладчик: Никита Лукашов
Аннотация:
В своём докладе я расскажу результаты С. Гилярди о семантической характеризации проективных формул для некоторых модальных логик на примере конкретной модальной логики доказуемости GL. В частности, я постараюсь полностью привести доказательство того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Этот результат оказался полезным, во-первых, для решения проблемы унификации в популярных модальных логиках, таких как K4, S4, GL,… — все они имеют конечный тип (Гилярди, 2000 г.); во-вторых, семантическая характеристика проективных формул послужила основой для получения Э. Ержабеком (2005 г.) явного базиса допустимых правил вывода в этих логиках.
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
22 октября (среда) в 18:10 состоится очередное заседание теоретического семинара «Формальная философия».
Тема доклада: Сначала были факты: логический холизм и метафилософский квиетизм раннего Витгенштейна.
Докладчик: Георгий Филатов (стажер-исследователь Мл ЛогЛинФФ).
Аннотация: Исторически первой интерпретацией структуры онтологии «Логико-философского трактата» Л. Витгенштейна выступило атомистическое прочтение Б. Рассела, предложенное им в предисловии к первому английскому изданию работы. Позиция Рассела оказалась достаточно влиятельной и получила дальнейшее развитие в литературе, оставаясь практически безальтернативной на протяжении долгих лет. Ситуация изменилась в последние декады XX в. с появлением текстов, предлагающих холистскую интерпретацию «Трактата» (П. Хакер, Д. МакКарти, Д. Пеэрс и др.), которая заняла часть общего ландшафта дискуссий, но так и не стала мейнстримной.
В докладе мы реконструируем основные тезисы и аргументы атомистической и холистской интерпретаций, и продемонстрируем, как перспектива последнего проекта играет на руку базовым интуициям современного квиетистского прочтения работы, в рамках которого основной акцент делается на негативных метафилософских комментариях Витгенштейна, обнаруживающих постоянство от «Трактата» к «Исследованиям».
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094056052.html
Тема доклада: Сначала были факты: логический холизм и метафилософский квиетизм раннего Витгенштейна.
Докладчик: Георгий Филатов (стажер-исследователь Мл ЛогЛинФФ).
Аннотация: Исторически первой интерпретацией структуры онтологии «Логико-философского трактата» Л. Витгенштейна выступило атомистическое прочтение Б. Рассела, предложенное им в предисловии к первому английскому изданию работы. Позиция Рассела оказалась достаточно влиятельной и получила дальнейшее развитие в литературе, оставаясь практически безальтернативной на протяжении долгих лет. Ситуация изменилась в последние декады XX в. с появлением текстов, предлагающих холистскую интерпретацию «Трактата» (П. Хакер, Д. МакКарти, Д. Пеэрс и др.), которая заняла часть общего ландшафта дискуссий, но так и не стала мейнстримной.
В докладе мы реконструируем основные тезисы и аргументы атомистической и холистской интерпретаций, и продемонстрируем, как перспектива последнего проекта играет на руку базовым интуициям современного квиетистского прочтения работы, в рамках которого основной акцент делается на негативных метафилософских комментариях Витгенштейна, обнаруживающих постоянство от «Трактата» к «Исследованиям».
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094056052.html
llfp.hse.ru
Доклад Георгия Филатова «Сначала были факты: логический холизм и метафилософский квиетизм раннего Витгенштейна»
22 октября в 18:10 состоится 102-е заседание научно-теоретического семинара «Формальная философия».
👍10
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 23 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк
В.А. Нестеров (МФТИ)
Название:
Верифицированное вычисление асимптотик вещественных функций
Аннотация:
Вычисление асимптотик функций - одна из нетривиальных математических задач, которая, однако, под силу компьютеру. Исследования в этом направлении были начаты Г. Харди, и доведены до практического алгоритма Дж. Шекеллом в 1990 году.
В докладе я расскажу о своей имплементации алгоритма Шекелла (с некоторыми модификациями) в системе интерактивных доказательств Lean. Системы доказательств дают возможность писать доказательства на формальном языке с последующей автоматической проверкой компьютером. В своей работе я имплементировал алгоритм в виде так называемой тактики - программы, которая не только возвращает результат (например, предел функции на бесконечности), но и формальное доказательство его корректности (например, того что функция действительно стремится к найденному значению). Такая тактика, будучи использованная как подпрограмма, позволяет сократить формальные доказательства других результатов в анализе и комбинаторике.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 23 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк
В.А. Нестеров (МФТИ)
Название:
Верифицированное вычисление асимптотик вещественных функций
Аннотация:
Вычисление асимптотик функций - одна из нетривиальных математических задач, которая, однако, под силу компьютеру. Исследования в этом направлении были начаты Г. Харди, и доведены до практического алгоритма Дж. Шекеллом в 1990 году.
В докладе я расскажу о своей имплементации алгоритма Шекелла (с некоторыми модификациями) в системе интерактивных доказательств Lean. Системы доказательств дают возможность писать доказательства на формальном языке с последующей автоматической проверкой компьютером. В своей работе я имплементировал алгоритм в виде так называемой тактики - программы, которая не только возвращает результат (например, предел функции на бесконечности), но и формальное доказательство его корректности (например, того что функция действительно стремится к найденному значению). Такая тактика, будучи использованная как подпрограмма, позволяет сократить формальные доказательства других результатов в анализе и комбинаторике.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК
Друзья, на очередном заседании межсекторского семинара "Современная аналитическая философия" выступит Георгий Черкасов.
В своём докладе Георгий защищает тяжелую онтологию, считая, что тезис кванторной вариативности не является плодотворным и информативным. Мир слишком сложен, чтобы его фундаментальная структура не имела предпочтительное описание и не была организована каким-то единым образом. Конечно, если мир прост и состоит из одного примитивного уровня, гипотеза о наличии сложного описания является избыточной. Тем не менее Георгий полагает, что определенное представление о наличии естественности является метафизически неизбежным. Есть естественные предикаты (Дэвид Льюис) и квантификация (Тед Сайдер). Также для поддержания такого взгляда на мир он выступает в пользу гиперинтенсионального метафизического инструментария.
Более подробная аннотация и список литературы.
Регистрация.
@sector_szf
В своём докладе Георгий защищает тяжелую онтологию, считая, что тезис кванторной вариативности не является плодотворным и информативным. Мир слишком сложен, чтобы его фундаментальная структура не имела предпочтительное описание и не была организована каким-то единым образом. Конечно, если мир прост и состоит из одного примитивного уровня, гипотеза о наличии сложного описания является избыточной. Тем не менее Георгий полагает, что определенное представление о наличии естественности является метафизически неизбежным. Есть естественные предикаты (Дэвид Льюис) и квантификация (Тед Сайдер). Также для поддержания такого взгляда на мир он выступает в пользу гиперинтенсионального метафизического инструментария.
Более подробная аннотация и список литературы.
Регистрация.
@sector_szf
🔥5❤1👍1🥱1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 октября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.
Докладчики: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)
Название: Введение в семантику первопорядковых модальных логик
Аннотация.
Будут разъяснены основные понятия семантики Крипке для предикатных модальных логик. Предполагается знакомство слушателей с пропозициональными модальными логиками, хотя основные понятия, касающиеся этих логик, будут кратко напомнены.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 октября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.
Докладчики: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)
Название: Введение в семантику первопорядковых модальных логик
Аннотация.
Будут разъяснены основные понятия семантики Крипке для предикатных модальных логик. Предполагается знакомство слушателей с пропозициональными модальными логиками, хотя основные понятия, касающиеся этих логик, будут кратко напомнены.
➰ ВК
#матлог #спецсеминар #нпммвя
В четверг 23 октября в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании" с продолжением доклада "База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных".
Время: 23 октября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/SSCTfuuTVwGMs4TS8
Докладчики:
Сердобольская Наталья Вадимовна (ИЯз РАН),
Кобозева Ирина Михайловна (МГУ, ИЯз РАН),
Тимошенко Светлана Петровна (ИППИ РАН, РГГУ)
Тема: «Составные коннекторы в базе Рускон: союзы, коннекторы и свободные сочетания»
Анонс:
Вторая часть доклада посвящена проблемам выделения класса составных коннекторов русского языка в базе Рускон. Академические словари и грамматики серьезно расходятся в мнениях по поводу трактовки конкретных сочетаний – как в плане их лексико-грамматического статуса, так и, шире, в плане включения их в базовый инвентарь. В изданиях используются термины «в значении союза», «аналог союза», «союзное соединение» и т.п. Это связано с трудностью разграничения единых союзов (потому что) и окказиональных сочетаний (а из-за этого) – условно говоря, единиц, которые содержатся в памяти как единое целое или порождаются в ходе речепроизводства.
Мы рассматриваем критерии определения составных коннекторов, которые работают на различных уровнях языка – фонетические, морфологические, синтаксические и семантические критерии. В некоторых случаях эти лингвистически обоснованные критерии не дают однозначного ответа. Был проведен ряд экспериментов, в ходе которых коннекторы ранжировались с помощью различных метрик устойчивости словосочетаний. Наилучшие результаты показали метрики, производные от меры точечной взаимной информации (Pointwise Mutual Information, сокращенно PMI). Мы предлагаем использовать при решении аналогичных задач модификацию MMI (Modified Mutual Information), адаптированную для оценки словосочетаний произвольной длины.
➰ ВК
В четверг 23 октября в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании" с продолжением доклада "База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных".
Время: 23 октября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/SSCTfuuTVwGMs4TS8
Докладчики:
Сердобольская Наталья Вадимовна (ИЯз РАН),
Кобозева Ирина Михайловна (МГУ, ИЯз РАН),
Тимошенко Светлана Петровна (ИППИ РАН, РГГУ)
Тема: «Составные коннекторы в базе Рускон: союзы, коннекторы и свободные сочетания»
Анонс:
Вторая часть доклада посвящена проблемам выделения класса составных коннекторов русского языка в базе Рускон. Академические словари и грамматики серьезно расходятся в мнениях по поводу трактовки конкретных сочетаний – как в плане их лексико-грамматического статуса, так и, шире, в плане включения их в базовый инвентарь. В изданиях используются термины «в значении союза», «аналог союза», «союзное соединение» и т.п. Это связано с трудностью разграничения единых союзов (потому что) и окказиональных сочетаний (а из-за этого) – условно говоря, единиц, которые содержатся в памяти как единое целое или порождаются в ходе речепроизводства.
Мы рассматриваем критерии определения составных коннекторов, которые работают на различных уровнях языка – фонетические, морфологические, синтаксические и семантические критерии. В некоторых случаях эти лингвистически обоснованные критерии не дают однозначного ответа. Был проведен ряд экспериментов, в ходе которых коннекторы ранжировались с помощью различных метрик устойчивости словосочетаний. Наилучшие результаты показали метрики, производные от меры точечной взаимной информации (Pointwise Mutual Information, сокращенно PMI). Мы предлагаем использовать при решении аналогичных задач модификацию MMI (Modified Mutual Information), адаптированную для оценки словосочетаний произвольной длины.
➰ ВК
Google Docs
НПММвЯ 11.12.2025
Заседание пройдет в четверг 11 декабря в 14:00 очно в Институте языкознания РАН с возможностью онлайн-подключения.
Проход в здание осуществляется по паспорту.
Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
Проход в здание осуществляется по паспорту.
Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL, Часть II
Докладчик: Никита Лукашов
Аннотация:
В первой части доклада мы подробно рассмотрели проблему унификации для логик, обсудили определение типа унификации для них, а также привели полное доказательство того, что классическая пропозициональная логика CL обладает унитарным типом унификации. Для установления последнего результата мы использовали так называемые проективные формулы, определение которых мы привели для произвольных логик и доказали их основные свойства.
Во второй части доклада мы продолжим доказательство семантической характеризации С. Гилярди (2000 г.) проективных формул для модальных логик на примере конкретной модальной логике доказуемости GL. Я коротко напомню про семантический подход к проблеме унификации из первой части, а затем перейду к рассказу доказательства того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Если останется время, то я также расскажу, как из полученной семантической характеризации проективных формул доказать конечный тип унификации логики GL (соответственно, рассуждение из второй части статьи ниже).
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL, Часть II
Докладчик: Никита Лукашов
Аннотация:
В первой части доклада мы подробно рассмотрели проблему унификации для логик, обсудили определение типа унификации для них, а также привели полное доказательство того, что классическая пропозициональная логика CL обладает унитарным типом унификации. Для установления последнего результата мы использовали так называемые проективные формулы, определение которых мы привели для произвольных логик и доказали их основные свойства.
Во второй части доклада мы продолжим доказательство семантической характеризации С. Гилярди (2000 г.) проективных формул для модальных логик на примере конкретной модальной логике доказуемости GL. Я коротко напомню про семантический подход к проблеме унификации из первой части, а затем перейду к рассказу доказательства того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Если останется время, то я также расскажу, как из полученной семантической характеризации проективных формул доказать конечный тип унификации логики GL (соответственно, рассуждение из второй части статьи ниже).
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
29 октября в 18:10 состоится 103-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Понятие абстрактного сущего и его функция в универсальном философском языке Дж. Дальгарно.
Докладчик: Наталия Осминская (к.ф.н., доцент ШФиК ФГН НИУ ВШЭ).
Аннотация: Доклад посвящен понятиям абстрактного и конкретного сущего, различие между которыми было первым принципом деления понятия сущего как высшего рода в теории категорий Дж. Дальгарно, автора первого в истории Нового времени реализованного проекта универсального философского языка (трактат «Искусство знаков», 1661). В исследовательской литературе распространено мнение, что Дальгарно проявляет непоследовательность, определяя термин «субстанция» одновременно и как «неполное абстрактное сущее», и как синоним понятия «конкретное сущее». Между тем аналогичное употребление данных терминов встречается также и у Лейбница. В докладе будет будет показано, что функция понятия «абстрактного сущего» в предикаментальном ряду Дальгарно определяется на основе восходящей к Аристотелю логической традиции, при этом, однако, эпистемологический статус этого понятия Дальгарно трактует в номиналистическом ключе. Кроме того, будет обосновано, что именно проект философского языка Дальгарно, а не универсальную характеристику Лейбница можно рассматривать как первый опыт создания формализованного языка логики исчисления.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1095760515.html
Тема доклада: Понятие абстрактного сущего и его функция в универсальном философском языке Дж. Дальгарно.
Докладчик: Наталия Осминская (к.ф.н., доцент ШФиК ФГН НИУ ВШЭ).
Аннотация: Доклад посвящен понятиям абстрактного и конкретного сущего, различие между которыми было первым принципом деления понятия сущего как высшего рода в теории категорий Дж. Дальгарно, автора первого в истории Нового времени реализованного проекта универсального философского языка (трактат «Искусство знаков», 1661). В исследовательской литературе распространено мнение, что Дальгарно проявляет непоследовательность, определяя термин «субстанция» одновременно и как «неполное абстрактное сущее», и как синоним понятия «конкретное сущее». Между тем аналогичное употребление данных терминов встречается также и у Лейбница. В докладе будет будет показано, что функция понятия «абстрактного сущего» в предикаментальном ряду Дальгарно определяется на основе восходящей к Аристотелю логической традиции, при этом, однако, эпистемологический статус этого понятия Дальгарно трактует в номиналистическом ключе. Кроме того, будет обосновано, что именно проект философского языка Дальгарно, а не универсальную характеристику Лейбница можно рассматривать как первый опыт создания формализованного языка логики исчисления.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1095760515.html
llfp.hse.ru
Доклад Наталии Осминской «Понятие абстрактного сущего и его функцияв универсальном философском языке Дж. Дальгарно»
29 октября в 18:10 состоится 103-е заседание научно-теоретического семинара «Формальная философия».
❤4🤮1
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