Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.
В ЛогЛинФФе действуют три регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View» и научно-учебный семинар «Логическая семантика». Мы проводим международные конференции, семинары, круглые столы («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также летние школы.
Новости
Виталий Долгоруков, Александра Павлова и Денис Федянин выступили с докладами на воркшопе, посвященном теоретико-игровым методам в логике ( "Games in Logic"), который проходил с 29 по 30 июня в Венском техническом университете (в гибридном формате).
30 июня
Завершился цикл семинаров "From the Logical Point of View".
17 июня
Вероника Пригоркина, Елена Попова и Георгий Филатов блестяще защитили дипломные работы. Студенты получили 10-ки!
15 июня
10 июня состоялось заседание исследовательского семинара "From the Logical Point of View", на котором Ольга Козырева выступила с докладом "Индексикализм и проблема определения семантического содержания".
11 июня
Со 2 по 4 июня проходила международная конференция "Смысл и смыслообразование" в Санкт-Петербургском государственном университете.
6 июня
В новом выпуске "Эпистемологии и философии науки" вышли статьи сотрудников лаборатории.
6 июня
20 и 27 мая на 71-м заседании теоретического семинара "Формальная философия" Станислав Сперанский выступил с докладом "О теории истины по Крипке" в двух частях.
30 мая
В журнале "Вопросы философии" вышла статья Валерии Кудряшовой "Подход возможностей М.К. Нуссбаум: между нормативностью и релятивизмом".
27 мая
19 мая Виталий Долгоруков и Елена Попова выступили с докладом «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности» семинаре «Теория управления организационными системами» Института проблем управления им. В. А. Трапезникова РАН.
20 мая
Международная конференция "uAnalytiCon-2022: Абстрактные объекты" проходила с 13 по 14 мая в Уральском федеральном университете в Екатеринбурге.
16 мая
Константин Шишов представил доклад "Генценовские системы ортомодулярной квантовой логики" на семинаре С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика".
5 мая
Стажёры-исследователи МЛ ЛогЛинФФ выступили с докладами на научно-исследовательском семинаре "From the Logical Point of View".
30 апреля
Валерий Шевченко выступил на международной конференции “Philosophy of Social Science Roundtable 2022” с докладом “Coordination as naturalistic social ontology”.
14 апреля
Вероника Пригоркина и Елена Попова, стажеры-исследователи МЛ ЛогЛинФФ, а также Владислав Аксиотис, стажёр-исследователь Института когнитивных нейронаук и Центра биоэлектрических интерфейсов, будут работать над проектом "Логика в лаборатории: модели для психологии рассуждений".
7 апреля
В журнале "Интеллектуальные системы. Теория и приложения" вышла статья Виталия Долгорукова "Крипке+ДеГроот: эпистемико-доксатическая модель социального влияния".
30 марта
В "Философском журнале" вышла статья Галы Максудовой-Елисеевой "Логика как нормативная наука: между биологией и социальной критикой (случай нейроразнообразия)".
27 марта
Даниил выступил с докладом "Аксиоматизация стратегического фрагмента классической stit логики".
25 марта
Полина Старосоцкая - выпускница бакалавриата «Философия» и магистерской программы «Цифровые методы в гуманитарных науках», в разговоре со студентками Вышки Дарьей Любимовой и Полиной Ермаковой рассказала, почему она выбрала именно эти программы, что интересного было во время учебы, как она связана с текущей работой над чат-ботами, и почему хорошее философское образование – это умение анализировать с применением к определенной сфере.
18 марта
В журнале "Логико-философские штудии" вышла статья Елены Поповой "Merging Epistemic and Temporal Models: a History-Free Approach".
2 марта
В журнале "Логико-философские штудии" вышла статья Ангелины Бобровой "Логика и диаграммы. Опыт преподавания".
2 марта
Для студентов ВШЭ открыта запись на проект «Стажировка в международной лаборатории логики, лингвистики и формальной философии». В рамках стажировки планируется организация участия студентов в исследовательской работе Международной лаборатории логики, лингвистики и формальной философии в следующих направлениях: логическая семантика, философия логики, психология рассуждений, эпистемическая логика, формальная эпистемология.
25 февраля
Александр Запрягаев как переводчик классического учебника по модальной логике рассказал, почему важно, чтобы книга ван Бентема появилась на русском языке.
23 февраля
В журнале "Journal of Pragmatics" опубликована статья Натальи Зевахиной в соавторстве с Еленой Вилинбаховой и Викторией Эскандель-Видаль "Tautologies, inferential processes and constraints on evoked knowledge"
18 февраля
Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории, включая выполнение исследований в рамках фундаментального проекта "Формальная философия и логика рациональной агентности".
15 февраля
12 февраля Елена Драгалина-Черная выступила с докладом о творческом пути, научных результатах и педагогической деятельности создателя отечественной школы логической семантики Елены Дмитриевны Смирновой на совместном заседании сектора логики Института философии РАН и кафедры логики философского факультета МГУ им. М.В. Ломоносова.
12 февраля
В числе победителей и лауреатов - работы, написанные под руководством сотрудников Международной лаборатории логики, лингвистики и формальной философии.
8 февраля
Александр Запрягаев, стажер-исследователь МЛ ЛогЛинФФ, выступил с докладом "Арифметики Бюхи и конечные автоматы"
4 февраля
4 февраля Владимир Васюков выступил с докладом "Анти-диодорова квантовая логика" на секции "Теоретическая и прикладная логика" на конференции, посвященной 80-летнему юбилею воссоздания философского факультета в структуре Московского университета.
4 февраля
Максим Гладышев выступил с докладом "Динамическая эпистемическая логика для агентов с ограниченными ресурсами"
28 января
Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"
21 января