#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 октября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту [email protected].
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.
Докладчики: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)
Название: Введение в семантику первопорядковых модальных логик
Аннотация.
Будут разъяснены основные понятия семантики Крипке для предикатных модальных логик. Предполагается знакомство слушателей с пропозициональными модальными логиками, хотя основные понятия, касающиеся этих логик, будут кратко напомнены.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 октября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту [email protected].
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 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, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту [email protected].
Дата и время: 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, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту [email protected].
Дата и время: 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
Формальная философия
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