Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В ЛогЛинФФе действуют три регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View» и научно-учебный семинар «Логическая семантика». Мы проводим международные конференции, семинары, круглые столы («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также летние школы.
Новости
15 сентября Наталья Зевахина выступила с докладом «Избыточная спецификация количества и цвета в референциальный коммуникации» на семинаре лаборатории «From the Logical Point of View».
Наукалекториипубликациидискуссииисследования и аналитикавзгляд ученогостатистические данныерепортаж о событии
16 сентября
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
9 сентября
Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями в конкурсе 2023 года.
18 августа
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
11 августа
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Образованиелекторииидеи и опытвыпускникипрофессорастудентыдискуссиивзгляд ученогомастер-классырепортаж о событиидополнительное образование
8 июля
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Образованиелекторииидеи и опытвыпускникипрофессорастудентыдискуссииисследования и аналитикамастер-классырепортаж о событиидополнительное образование
4 июля
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
29 июня
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная).
29 июня
22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады.
25 июня
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
17 июня
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
16 июня
Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.
10 июня
Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии (Division for Logic, Methodology and Philosophy of Science and Technology, DLMPST) Международного союза истории и философии науки и технологии (International Union of History and Philosophy of Science and Technology, IUHPST). Выборы Исполнительного комитета пройдут в июле 2023 года.
1 июня
Сотрудники МЛ ЛогЛинФФ выступили с докладами на международной конференции «uAnalytiCon-2023: Проблема интеграции», которая прошла с 19 по 20 мая 2023 в Уральском федеральном университете.
24 мая
12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».
20 мая
27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады.
30 апреля
28 апреля состоялось заседание научно-исследовательского семинара «From the Logical Point of View», Константин Шишов выступил с докладом «Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова».
29 апреля
Елена Драгалина-Черная выступила с докладом «"Контрпримеры" modus ponens: дедуктивная корректность vs эпистемическая рациональность» на семинаре «Мышление, язык, сознание», который проводится в рамках деятельности Междисциплинарной научно-образовательной школы МГУ им. М.В. Ломоносова «Мозг, когнитивные системы, искусственный интеллект».
24 апреля
21 апреля состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию Международной лаборатории логики, лингвистики и формальной философии.
Наукалекториивыпускникипрофессорастудентыдискуссииисследования и аналитикавзгляд ученогорепортаж о событии
22 апреля
21 апреля Елена Попова выступила с докладом на семинаре математического факультета НИУ ВШЭ «Современные проблемы математической логики» с докладом «Подходы к решению проблемы логического всеведения в эпистемической логике».
22 апреля
14 апреля состоялось очередное заседание научно-исследовательского семинара From the Logical Point of View, на котором Тихон Пшеницын (мехмат МГУ) сделал доклад «Фокус в естественных языках и исчисление Ламбека».
15 апреля
24 марта и 7 апреля Иван Пыльцын сделал 2 доклада «Игровая семантика Межирова для интуиционистской логики» и «Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)» на семинаре «Современные проблемы математической логики».
8 апреля
7 апреля в 19:30 состоялось заседание научно-исследовательского семинара «From the Logical Point of View», Ирина Никитина выступила с докладом «Алгоритм Гейла-Шепли: стабильность брака и поступление в колледж».
8 апреля
Елена Драгалина-Черная выступила с докладом "When the Form Matters: The Unreasonable Effectiveness of Logic in Formal Philosophy" на пятом международном конгрессе «Tools for Teaching Logic», который прошел в Университете Комплутенсе в Мадриде 23-24 марта 2023.
Наукалекторииидеи и опытпрофессорадискуссииисследования и аналитикавзгляд ученогорепортаж о событиимеждународное сотрудничество
3 апреля
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
2 апреля
Заявки принимаются до 1 октября