• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Международная лаборатория логики, лингвистики и формальной философии

11 октября – 13 октября
Международная конференция «Формальная философия 2023»

Заявки принимаются до 1 октября 

Публикации
Статья
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи

Запрягаев А. А.

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3-7.

Глава в книге
Dynamic Epistemic Logic for Budget-Constrained Agents

Dolgorukov V., Maksim Gladyshev.

In bk.: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Vol. 13780. Cham: Springer, 2023. P. 56-72.

Статья
Modular vs. diagrammatic reasoning: The pragmatist side of human understanding

Bobrova A., Pietarinen A.

Pragmatics and Cognition. 2022. Vol. 29. No. 1. P. 111-134.

Статья
Дом, который построил Кэрролл: регресс и адоптация в формальном обосновании

Драгалина-Черная Е. Г.

Логические исследования. 2022. Т. 28. № 1. С. 27-49.

Статья
О трудностях определения имплицитного знания группы

В.В. Долгоруков

Логические исследования. 2022. Т. 28. № 1. С. 9-26.

Статья
The Unreliable Narrator’s “Paper Eyes” in Visual Storytelling: Inference and Performance

Dragalina-Chernaya E.

Epistemology and Philosophy of Science. 2022. Vol. 59. No. 2. P. 51-55.

Статья
Tautologies, inferential processes and constraints on evoked knowledge

Vilinbakhova E., Escandell-Vidal V., Zevakhina N.

Journal of Pragmatics. 2022. Vol. 191. P. 55-66.

Статья
Логика как нормативная наука: между биологией и социальной критикой (случай нейроразнообразия)

Максудова-Елисеева Г. В.

Философский журнал. 2022. Т. 15. № 1. С. 131-146.

Статья
Нормативность и подход возможностей в моральной и политической философии М.К. Нуссбаум

Кудряшова В. К.

Вопросы философии. 2022.

Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором логиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность.

В ЛогЛинФФе действуют три регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View» и научно-учебный семинар «Логическая семантика».  Мы проводим международные конференции, семинары, круглые столы  («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также  летние школы. 

Подписаться на рассылку

Новости

Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ
27 сентября
Хорхе Луис Мендес Мартинес представил доклад "¿Cognición extendida? La escritura e imaginación musical como prótesis o como extensión de la cognición auditiva" на международном междисциплинарном коллоквиуме по антропологии звука в Национальном автономном университете Мексики.
23 сентября
22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».
22 сентября
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
22 сентября
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 апреля
Еще новости