Вчера, 29.11.2025 в Философском центре «Идея» мы провели лекцию, на которой Ермоген Грилль предложил свою метатеорию пессимизма, дал определение хорошему и плохому, выделил различные проблемы пессимизма и проиллюстрировал его виды с помощью матрицы, по которой можно определить мировоззрение человека. Лекция получилась очень живая — передаём сердечный привет пришедшим!
На фото: Ермоген Грилль.
#LYRA_отчёт
На фото: Ермоген Грилль.
#LYRA_отчёт
🔥5❤1
02.12.2025 на философском факультете МГУ мы провели первое заседание научно-исследовательского семинара «Мастерская современной логики», на котором Арсентий Тимохин попытался ввести слушателей в контекст современных исследований по коннексивной логике, проблемы гиперконнексивности и используемых в коннексивных логиках алгебраических методов. Докладчиком был дан обзор полученных метатеоретических результатов, в частности, корректности и полноты для предложенных им семантик F-структур и твист-структур для мезоконнексивной логики MeC. Удалось также подступиться к рассмотрению алгебраизуемости MeC.
Опыт первого заседания показал, что использовать в качестве темы оригинальное исследование, — не самая лучшая идея, поскольку при всём желании по крайней мере в течение одного заседания участники не способны понять доклад полностью и попытаться решить какую-то проблему. Следующее заседание мы проведём в формате, близком к учебному!
На фото: Арсентий Тимохин.
#LYRA_отчёт
Опыт первого заседания показал, что использовать в качестве темы оригинальное исследование, — не самая лучшая идея, поскольку при всём желании по крайней мере в течение одного заседания участники не способны понять доклад полностью и попытаться решить какую-то проблему. Следующее заседание мы проведём в формате, близком к учебному!
На фото: Арсентий Тимохин.
#LYRA_отчёт
🔥5
Напоминаем, что в 16:45 9.12.2025 на философском факультете МГУ (аудитория Г-505) откроет работу секция «Современная логика» конференции «Философия в XXI веке».
Прилагаем список докладчиков (порядок выступлений может меняться):
1. Зайцев Игорь Васильевич (Москва, НИУ ВШЭ). «Почти тотально коннексивное консервативное расширение логики C3 Вансинга-Омори посредством кондиционала зависимости Х. Ротта»
2. Вольский Арсен Дмитриевич (Москва, НИУ ВШЭ). «У истоков интенсиональных логик. Работа Оскара Беккера "О логике модальностей"»
3. Тимохин Арсентий Александрович (Москва, МГУ имени М.В. Ломоносова). «Коннексивная логика в свете экспериментальной философии»
4. Жданов Даниил Дмитриевич (Москва, МГУ имени М.В. Ломоносова). «Алгоритмический подход в формальной арифметике от Э. Гуссерля до Э. Л. Поста»
5. Ерёмин Андрей Викторович (Москва, МГУ имени М.В. Ломоносова). «Введение в прогрессии Тьюринга»
6. Глухов Сергей Викторович (Москва, УРАО). «Логика в науках о человеке (на примере культурной антропологии Франца Боаса)»
7. Блинникова Анна Юрьевна (Москва, МГУ имени М.В. Ломоносова). «Паранепротиворечивая симуляция отрицания: логики Камиде и их гильбертовские реконструкции»
8. Чижевский Ярослав Игоревич (Москва, МГУ имени М.В. Ломоносова). «Формальный критерий релевантности в условной логике»
9. Зданевич Андрей Вячеславович (Москва, МГУ имени М.В. Ломоносова). «Логические методы в объяснении ИИ»
#LYRA_конференция
Прилагаем список докладчиков (порядок выступлений может меняться):
1. Зайцев Игорь Васильевич (Москва, НИУ ВШЭ). «Почти тотально коннексивное консервативное расширение логики C3 Вансинга-Омори посредством кондиционала зависимости Х. Ротта»
2. Вольский Арсен Дмитриевич (Москва, НИУ ВШЭ). «У истоков интенсиональных логик. Работа Оскара Беккера "О логике модальностей"»
3. Тимохин Арсентий Александрович (Москва, МГУ имени М.В. Ломоносова). «Коннексивная логика в свете экспериментальной философии»
4. Жданов Даниил Дмитриевич (Москва, МГУ имени М.В. Ломоносова). «Алгоритмический подход в формальной арифметике от Э. Гуссерля до Э. Л. Поста»
5. Ерёмин Андрей Викторович (Москва, МГУ имени М.В. Ломоносова). «Введение в прогрессии Тьюринга»
6. Глухов Сергей Викторович (Москва, УРАО). «Логика в науках о человеке (на примере культурной антропологии Франца Боаса)»
7. Блинникова Анна Юрьевна (Москва, МГУ имени М.В. Ломоносова). «Паранепротиворечивая симуляция отрицания: логики Камиде и их гильбертовские реконструкции»
8. Чижевский Ярослав Игоревич (Москва, МГУ имени М.В. Ломоносова). «Формальный критерий релевантности в условной логике»
9. Зданевич Андрей Вячеславович (Москва, МГУ имени М.В. Ломоносова). «Логические методы в объяснении ИИ»
#LYRA_конференция
👍3
09.12.2025 на философском факультете МГУ мы провели секцию «Современная логика» на конференции «Философия в XXI веке».
#LYRA_отчёт
#LYRA_отчёт
❤6