Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В ЛогЛинФФе действуют три регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View» и научно-учебный семинар «Логическая семантика». Мы проводим международные конференции, семинары, круглые столы («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также летние школы.
Новости
17 марта на научно-исследовательском семинаре «From the Logical Point of View» стажер-исследователь Даниил Васильев выступил с докладом «Формальная семантика падежных форм в русском языке».
18 марта
.png)
15 марта в МИАН состоялся семинар «Логические и алгебраические методы в языкознании», на котором Елена Попова выступила с докладом «Динамическая эпистемическая логика как инструмент анализа прагматических явлений».
16 марта
10 марта на научно теоретическом семинаре «Формальная философия» состоялась презентация книги «Формальная философия аргументации».
Наукалекторииидеи и опытпрофессорапубликациидискуссииисследования и аналитикавзгляд ученогорепортаж о событии
11 марта
В JORNAL DA UNICAMP опубликовано интервью Елены Драгалиной-Черной профессору университета Unicamp (Кампинас, Бразилия) Вальтеру Карниелли, председателю консультативного комитета летней школы по логике, рациональности и информации SP LogIC. Интервью посвящено истории и актуальным перспективам развития логики.
Наукаидеи и опытСМИконструктор успехапрофессорадискуссиивзгляд ученогорепортаж о событиимеждународное сотрудничество
11 марта
Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.
7 марта
3 марта состоялось 76-е заседание научно-теоретического семинара "Формальная философия", на котором Анастасия Оноприенко выступила с докладом «Совместная логика задач и высказываний».
4 марта
Елена Драгалина-Черная выступила с пленарным докладом (Aula Magna) «The Variety of Logical Hylomorphism» на летней школе по современной логике, рациональности и информации (SPLogIC), которая прошла с 6 по 17 февраля 2023 года в Университете UNICAMP (Кампинас, Бразилия).
26 февраля
Стажер-исследователь Георгий Филатов выступил с докладом "Not empiricism and yet realism in philosophy, that is the hardest thing" на студенческом форуме "Never-ending conference".
19 февраля
Статья Виталия Долгорукова и Максима Гладышева "Dynamic Epistemic Logic for Budget-Constrained Agents" опубликована в сборнике "Dynamic Logic. New Trends and Applications".
14 февраля
10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».
11 февраля
7 февраля
Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории
6 февраля
3 февраля на научно-исследовательском семинаре «From the Logical Point of View» Виталий Долгоруков сделал доклад «"Структуры знания": альтернативная семантика для эпистемической логики»
5 февраля
27 января состоялось очередное заседание научно-исследовательского семинара «From the Logical Point of View», на котором Михаил Смирнов сделал доклад «Семантика незнания: о некоторых аспектах ситуационной семантики и семантики событий».
28 января
20 января состоялось 1-е в 2023 году заседание научно-исследовательского семинара «From the Logical Point of View». На семинаре Александр Запрягаев представил доклад «Интерпретации в слабых арифметических теориях».
23 января
13 января состоялось юбилейное заседание научно-исследовательского семинара «Формальная философия», в рамках которого с докладом «Paradox and Substructurality» («Парадокс и субструктурность») выступил главный научный сотрудник МЛ ЛогЛинФФ Элиа Дзардини.
16 января
21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".
22 декабря, 2022 г.
Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)
21 декабря, 2022 г.
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"
14 декабря, 2022 г.
Доклад "The Variety of Logical Hylomorphism: Formal Ontology vs Formal Deontology" был сделан в Университете Барселоны на теоретическом семинаре исследовательского проекта “Worlds and Truth Values: Challenges to Formal Semantics”. На исследовательском семинаре "Formal Philosophy" Мадридского университета Комплутенсе Елена Драгалина-Черная сделала доклад "The House that Carroll Built: Regress and Adoption in Formal Grounding".
12 декабря, 2022 г.
9 декабря на заседании научно-исследовательского семинара «From the Logical Point of View» Владислав Аксиотис, Елена Попова и Вероника Пригоркина выступили с докладом «Логика в лаборатории: анализ рассуждений с применением modus ponens», на котором были представлены результаты исследовательской работы в рамках конкурса командных исследовательских проектов студентов «Научная инициатива».
10 декабря, 2022 г.
1-3 декабря в Калининграде проходила международная конференция "HOMO LOQUENS", на которой сотрудники МЛ ЛогЛинФФ выступили с докладами.
5 декабря, 2022 г.
"Задачей проекта является исследование специфики аргументации по поводу действий (практической аргументации), которая возникает в связи с тем, что среди посылок такой аргументации используются не только когнитивные установки рассуждающего агента, такие как его знания и убеждения, но и некогнитивные установки, такие как его желания и цели".
3 декабря, 2022 г.
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.
руководством Льва Беклемишева.
25 ноября, 2022 г.
18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».
19 ноября, 2022 г.