Семинары МЛ ЛогЛинФФ (original) (raw)
В международной лаборатории логики, лингвистики и формальной философии действуют следующие регулярные семинары:
Теоретический семинар «Формальная философия»
Теоретический семинар «Формальная философия», действующий с 2012 г., посвящен использованию формальных средств анализа для экспликации проблематики современной логики, онтологии, эпистемологии и философии языка, особое внимание уделяется динамическим и теоретико-игровым моделям, а также смежным подходам.
Если вы хотели бы выступить с докладом, то, пожалуйста, свяжитесь с организатором семинара (v.dolgorukov[at]gmail.com).
Научно-исследовательский семинар «From the Logical Point of View»
Регулярный научно-исследовательский семинар «From the Logical Point of View» предназначен для обсуждения классических результатов и новейшей литературы в области логики, формальной лингвистики и формальной философии, а также для презентации текущих исследовательских наработок сотрудников ЛогЛинФФа и приглашенных докладчиков.
Если вы хотели бы выступить с докладом, то, пожалуйста, свяжитесь с организатором семинара (v.dolgorukov[at]gmail.com).
Научно-учебный семинар «Логическая семантика»
Основная задача научно-учебного семинара «Логическая семантика» – обсуждение ключевых концепций современной логической семантики и смежных с ней дисциплин (аналитической метафизики, философии языка, формальной эпистемологии, философии логики, формальной семантики, формальной прагматики). Если вы хотите принять участие, то, пожалуйста, свяжитесь с руководителем семинара (v.dolgorukov[at]gmail.com). Семинар проходит в гибридном формате.
Ридинг-семинар «Analytics»
Cтуденты и сотрудники Международной лаборатории логики, лингвистики и формальной философии организуют ридинг-семинар «Analytics». Идея - создать пространство для совместного чтения современных статей по аналитической философии и соприкасающимся с ней областям.
Встречи проходят по субботам в 14:00 в гибридном формате. Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
Научно-учебный семинар «Дополнительные главы логики»
Научно-учебный семинар «Дополнительные главы логики» разработан заинтересованными студентами для заинтересованных студентов. Ключевая идея состоит в том, чтобы обеспечить возможность поступательного изучения логических дисциплин, основа для которых уже была заложена на соответствующих курсах образовательных программ. Помимо погружения в математическую и философскую логику, мы также планируем работать с основами теории доказательств и теории множеств.
По поводу проведения докладов можете обращаться на почту iskazakov[at]edu.hse.ru
Также у нас есть чат в Телеграмм: https://t.me/dop_sem
Прошедшие семинары
| Дата | Докладчики / Модераторы | Тема | Семинар |
|---|---|---|---|
| 18.01.2025 | Э.А. Бирючевский | Естественные преобразования. Часть 1 | Математическая логика и теория категорий |
| 23.01.2025 | И.О. Пыльцын | Алгебраическая логика-1 | Логическая семантика |
| 25.01.2025 01.02.2025 08.02.2025 15.02.2025 | Обсуждение статьи К. Fine "The Question of Realism" | Analytics | |
| 24.01.2025 | Э.Б. Рахманкулов |
Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно | Формальная философия-90 |
| 25.01.2025 | Э.А. Бирючевский | Естественные преобразования. Часть 2 | Математическая логика и теория категорий |
| 28.01.2025 | Ю.О. Копчева | Континуальные множества | Дополнительные главы логики |
| 29.01.2025 | И.О. Пыльцын | Алгебраическая логика-2 | Логическая семантика |
| 31.01.2025 | Н.С. Янофский |
Self-Referential Paradoxes | Формальная философия-91 |
| 04.02.2025 | Ю.О. Копчева | Порядки на множествах | Дополнительные главы логики |
| 05.02.2025 | И.О. Пыльцын | Алгебраическая логика-3 | Логическая семантика |
| 07.02.2025 | А. Коченков |
Проблемы автономности неконцептуального ментального содержания | From the Logical Point of View |
| 12.02.2025 | И.О. Пыльцын | Алгебраическая логика-4 | Логическая семантика |
| 14.02.2025 | Д.Н. Федянин |
Топологический подход к формальным моделям убеждений (beliefs) | From the Logical Point of View |
| 15.02.2025 | Э.А. Бирючевский | Сопряженные функторы | Математическая логика и теория категорий |
| 18.02.2025 | Ю.О. Копчева | Математическая индукция | Дополнительные главы логики |
| 19.02.2025 | И.О. Пыльцын | Алгебраическая логика-5 | Логическая семантика |
| 21.02.2025 | В.Г. Денисова, Р.П. Кавассане |
Applying the theory of quasi-truth for clarification of cognitive distortions | From the Logical Point of View |
| 22.02.2025 01.03.2025 | Обсуждение статьи A. Moran "Disjunctivism and the Causal Conditions of Hallucination" | Analytics | |
| 26.02.2025 | И.О. Пыльцын | Алгебраическая логика-6 | Логическая семантика |
| 28.02.2025 | У. Нат |
A Puzzle about Wisdom: Stability, Bias, and Reflection | From the Logical Point of View |
| 05.03.2025 | И.О. Пыльцын | Алгебраическая логика-7 | Логическая семантика |
| 12.03.2025 | И.О. Пыльцын | Алгебраическая логика-8 | Логическая семантика |
| 14.03.2025 | А.В. Кузнецов |
Морской Ёж: формальная теория познания на основе графов | From the Logical Point of View |
| 19.03.2025 | И.О. Пыльцын | Алгебраическая логика-9 | Логическая семантика |
| 21.03.2025 | И.А. Гущин |
Метафизика в философии математики и эпистемологические последствия для доказательства | Формальная философия-92 |
| 22.03.2025 29.03.2025 05.04.2025 | M. Queloz "Function-Based Conceptual Engineering and the Authority Problem" | Analytics | |
| 29.03.2025 | А.А. Григорян | Введение в декартово закмнутые категории. Экспоненциалы | Математическая логика и теория категорий |
| 04.04.2025 | А. Вольский |
Эпистемология математики между прагматизмом и эмпиризмом | From the Logical Point of View |
| 05.04.2025 | А.А. Григорян | Гейтинговы алгебры и декартово закмнутые категории | Математическая логика и теория категорий |
| 08.04.2025 | И.О. Пыльцын | Алгебраическая логика-10 | Логическая семантика |
| 09.04.2025 | Ю.С. Казаков | Натуральный вывод в древесной форме для классической и интуиционистской логики | Дополнительные главы логики |
| 11.04.2025 | Э. Дзардини |
Black Boxes: The Semantics and Logic of Obliterative Modalities | Формальная философия-93 |
| 12.04.2025 | А.А. Григорян | Лямбда исчисление и декартово закмнутые категории ч.1 | Математическая логика и теория категорий |
| 12.04.2025 | Обсуждение статьи J.J. Kupperman "The Indispensability of Character" | Analytics | |
| 15.04.2025 | И.О. Пыльцын | Алгебраическая логика-11 | Логическая семантика |
| 15.04.2025 | Ю.С. Казаков | Теорема о нормальной форме (нормализации) ч.1 | Дополнительные главы логики |
| 18.04.2025 | Е.В. Мельникова |
Теория понимания у раннего Хайдеггера: трансцендентально-феноменологическая перспектива | Формальная философия-94 |
| 19.04.2025 | А.А. Григорян | Лямбда исчисление и декартово закмнутые категории ч.2 | Математическая логика и теория категорий |
| 22.04.2025 | И.О. Пыльцын | Алгебраическая логика-12 | Логическая семантика |
| 22.04.2025 | Ю.С. Казаков | Теорема о нормальной форме (нормализации) ч.2 | Дополнительные главы логики |
| 25.04.2025 | А.А. Поддьяков |
Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...» | Формальная философия-95 |
| 10.05.2025 17.05.2025 | Обсуждение статьи Michael Devitt "Relying on Intuitions: Where Cappelen and Deutsch Go Wrong" | Analytics | |
| 16.05.2025 | П. Штекелер-Вайтхофер |
Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals | Формальная философия-96 |
| 23.05.2025 | И.А. Соболев |
Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса | Формальная философия-97 |
| 30.05.2025 | Ю.С. Казаков |
Модальная логика с точки зрения теоретико-доказательственной семантики | From the Logical Point of View |
| 31.05.2025 07.06.2025 | Обсуждение статьи Costanza Larese "Hintikka’s conception of syntheticity as the introduction of new individuals" | Analytics | |
| 06.06.2025 | Ю.О. Копчева |
Модификация аксиом о позитивности в онтологическом доказательстве Геделя | From the Logical Point of View |
| 13.06.2025 | Д.П. Попова |
Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции | From the Logical Point of View |
| 27.06.2025 | С.П. Одинцов |
Модальная логика Мойсила и родственные системы | Формальная философия-98 |
| 10.09.2025 | Р.И. Аюпов |
Frege's Philosophy of Language: On the Way to Pragmatics? | Формальная философия-99 |
| 13.09.2025 | С.Н. Артёмов |
The consistency of Peano Arithmetic PA is provable in PA, after all | Математическая логика и теория категорий |
| 17.09.2025 24.09.2025 | В.В. Долгоруков | Основы теории сложности: машины Тьюринга | Логическая семантика |
| 17.09.2025 | А.Ю. Моисеева |
Набросок логики интенционального двойничества в контексте рассуждений о фикциях (ICFR Logic). Язык и семантика» | Формальная философия-100 |
| 01.10.2025 08.10.2025 | В.В. Долгоруков | Основы теории сложности: О-большое и о-малое | Логическая семантика |
| 24.09.2025 01.10.2025 | И.В. Зайцев |
Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств | From the Logical Point of View |
| 04.10.2025 | Дж. Халперн |
Actual Causality: A Survey | Математическая логика и теория категорий |
| 08.10.2025 | А.Д. Савелов |
П.Ф. Стросон и инструменталистский подход к моральной ответственности | Формальная философия-101 |
| 15.10.2025 | И.О. Пыльцин |
Нефундированная система исчисления на примере интуиционистской и модальных логик | From the Logical Point of View |
| 18.10.2025 | П. Манкосу |
Three applications of Zermelo's theorem on part-whole | Математическая логика и теория категорий |
| 22.10.2025 | Г.Ю. Филатов |
Сначала были факты: логический холизм и метафилософский квиетизм раннего Витгенштейна | Формальная философия-102 |
| 29.10.2025 | Н.А. Осминская |
Понятие абстрактного сущего и его функция в универсальном философском языке Дж. Дальгарно | Формальная философия-103 |
| 02.11.2025 | Дж. Белл |
Abstract and Variable Sets in Category Theory | Математическая логика и теория категорий |
| 05.11.2025 | А.Н. Поддьяков |
Объекты "с секретами" по принципу "если - то" в экспериментах психологов | Формальная философия-104 |
| 12.11.2025 | М.Д. Евстигнеев |
И. Кант о математических дефинициях | Формальная философия-105 |
| 19.11.2025 | C. Рой |
Abstract Model Structures and Compactness Theorems | From the Logical Point of View |
| 26.11.2025 | Ж. да Мата |
Модальность и время у Аристотеля | Формальная философия-106 |
| 03.12.2025 | Ю.С. Казаков |
Структурная теория доказательств на службе у формальной эпистемологии | From the Logical Point of View |
| 10.12.2025 | А.А. Оноприенко |
Алгоритмическая сложность кооперативной игры "Ханаби" | From the Logical Point of View |
| 17.12.2025 | В.А. Шумилина |
Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений | Формальная философия-107 |