Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность.
В ЛогЛинФФе действуют четыре регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View», научно-учебный семинар «Логическая семантика», а также ридинг-семинар «Analytics». Мы проводим международные конференции, семинары, круглые столы («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также летние школы.
Международным партнером лаборатории является Центр логики, эпистемологии и истории науки (Университет Кампинаса, Бразилия).
Новости
В журнале «Логические исследования» опубликована статья Виталия Долгорукова «Альтернативы семантике Крипке для эпистемической логики».
11 июля
В журнале "Эпистемология и философия науки" опубликована статья Григория Золоткова "Опыт интуитивного понимания речи как решение проблемы Крипке" . В журнале "Философия. Журнал Высшей школы экономики" опубликована статья Екатерины Мельниковой "Гуссерль, Хайдеггер и Ласк: учение о смысле и значении"
5 июля
3 июля 2024 по приглашению Посольства Нидерландов в Москве Виктория Денисова, выпускница магистратуры по логике (Master of Science in Logic) университета Амстердама, приняла участие во встрече выпускников образовательных программ нидерландских университетов.
4 июля
27–29 июня 2024 состоялась XVI всероссийская научная конференция «Современная логика: проблемы и перспективы». Конференция проходила на базе Института философии Санкт-Петербургского государственного университета и была приурочена к 300-летию СПбГУ.
Наукадискуссииисследования и аналитикавзгляд ученогорепортаж о событииконференция по логикесовременная логика
2 июля
24 июня прошел Однодневный семинар по математической логике на ФКН НИУ ВШЭ, на котором Виталий Долгоруков представил доклад «Динамическая эпистемическая логика для агентов с ресурсными ограничениями».
25 июня
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).
22 июня
21 июня состоялось заседание теоретического семинара «Формальная философия», на котором научный сотрудник МЛ ЛогЛинФФ Анна Моисеева выступила с докладом «Как мы создаем и идентифицируем фикциональные объекты».
21 июня
Стажер-исследователь МЛ ЛогЛинФФ Вячеслав Пятаков выступил с докладом на семинаре «From the Logical Point of View», который состоялся 14 июня.
15 июня
11 июня Георгий Филатов защитил магистерскую диссертацию «Метафилософские следствия терапевтического проекта Витгенштейна» (руководитель - Е.Г. Драгалина-Черная) с оценкой «отлично» (9).
15 июня
В специальном номере журнала "HORIZON. Феноменологические исследования", посвященном аналитической философии и феноменологии, опубликованы статьи Елены Драгалиной-Черной «Варианты инвариантности в формальных и региональных онтологиях» и Хорхе Луиса Мендеса Мартинеса «The Logical and Pedagogical Paths of Phenomenology. Adalberto García de Mendoza’s and Francisco Larroyo’s Forays».
14 июня
10 июня научный сотрудник МЛ ЛогЛинФФ Михаил Смирнов в дистанционном формате выступил с докладом «Hosting a performative clause: on structural variety and semantics of performative utterances» на научно-исследовательском семинаре «Clausal Complements», организуемом Университетом Лазурного берега (Université Côte d'Azur).
Наукалекториидискуссииисследования и аналитикавзгляд ученогорепортаж о событиимеждународное сотрудничество
11 июня
7 июня стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Поиск бисимуляции на питоне» на научно-исследовательском семинаре «From the Logical Point of View».
8 июня
7 июня Наталья Зевахина защитила диссертацию на тему «Экспериментальные и корпусные исследования лингвистической прагматики: информативность, иллокутивные типы предложений, металингвистическое сравнение».
7 июня
31 мая состоится заседание научно-исследовательского семинара «From the Logical Point of View», на котором студент ОП Философия Рамазан Аюпов выступил с докладом «Empty Names, Fiction and Possible World Semantics (iterfictional reasoning in hybrid logic)».
1 июня
29 мая Елена Драгалина-Черная выступила на Logica Universalis Webinar с презентацией Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ. В презентации были представлены основные направления научных исследований, история и проекты лаборатории.
30 мая
Стажер-исследователь МЛ ЛогЛинФФ Ирина Никитина и научный сотрудник МЛ ЛогЛинФФ Анна Моисеева выступили с докладами на международной научной конференции «uAnalytiCon-2024: Референция и объектность», которая проходила в Екатеринбурге 24 и 25 мая.
27 мая
24 мая состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором стажер-исследователь МЛ ЛогЛинФФ Егор Емельянов выступил с докладом «"Простой аргумент": достаточно ли условий корректности употребления для нормативности языкового значения?».
25 мая
21 мая Елена Драгалина-Черная выступила на заседании Ученого совета факультета гуманитарных наук НИУ ВШЭ с докладом «Плюрализм в логике и формальной философии».
22 мая
26 апреля и 17 мая прошла серия заседаний теоретического семинара «Формальная философия» на тему «Нормативные и дескриптивные модели рассуждений».
18 мая
Статья Елены Драгалиной-Черной «Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran» опубликована в монографии «Universal Logic, Ethics, and TruthEssays in Honor of John Corcoran (1937-2021)», вышедшей в в серии Studies in Universal Logic издательства Birkhäuser.
15 мая
В сборнике трудов конференции «Autonomous Agents and Multi-Agent Systems 24» (AAMAS) опубликована статья Виталия Долгорукова, Рустама Галимуллина и Максима Гладышева «Dynamic Epistemic Logic of Resource Bounded Information Mining Agents». AAMAS является наиболее крупной и влиятельной конференцией в области моделирования мультиагентных систем и входит в список CORE Computer Science Conference Rankings в ранге A+.
10 мая
Елена Драгалина-Черная выступила с докладом «Логика как формальная философия: от Канта к Фреге и Гуссерлю», а Лолита Макеева с докладом «Кант, внутренний реализм Патнэма и метафизика» на Международном Кантовском конгрессе «Мировое понятие философии», который прошел в Балтийском федеральном университете имени Иммануила Канта с 22 по 25 апреля.
26 апреля
Наталья Тимина и Иван Мельников, студенты 4-го курса ФКН ВШЭ, выступили с докладами «Геометрический подход к эпистемическим задачам» и «Построение безопасного протокола обмена данными во время "Русской карточной игры"» на семинаре «From the Logical Point of View», который прошел 19 апреля.
20 апреля
5 и 12 апреля состоялись заседания научно-исследовательского семинара «From the Logical Point of View», на которых Игорь Зайцев (РГГУ) выступил с докладом «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками».
13 апреля
Подведены итоги первого конкурса совместных фундаментальных научных проектов «Международное академическое сотрудничество», который проходил с 11 декабря 2023 года по 8 апреля 2024 года. Участие в нем приняли успешные научные коллективы Вышки, имеющие богатый опыт взаимодействия с зарубежными коллегами. Было представлено 25 заявок от подразделений из разных кампусов университета.
9 апреля