Долгоруков Виталий Владимирович
- Заместитель заведующего лабораторией: Международная лаборатория логики, лингвистики и формальной философии
- Доцент: Факультет гуманитарных наук / Школа философии и культурологии
- Начал работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 14 лет.
Oбразование и учёные степени
Достижения и поощрения
- Благодарственное письмо ректора НИУ ВШЭ (июль 2022)
Надбавка за академическую работу (2016–2017, 2015–2016, 2014–2015)
Надбавка за публикацию в журнале из Списка B (2023–2024)
Лучший преподаватель — 2016–2024, 2014
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Будущие профессора" (2020)
Категория "Новые преподаватели" (2014–2015)
Категория "Новые исследователи" (2013)
Дополнительное образование / Повышение квалификации / Стажировки
— Стажировки: 2018, 10.09.—22.09, The University of Groningen, Faculty of Philosophy; 2017, 15.05.—20.05, The University of Groningen, Faculty of Philosophy, Erasmus Staff Mobility Programme
- Участие в летних школах: 2022, Летняя школа по аналитической философии языка, Томский государственный университет; 2021, the 32nd European Summer School in Logic, Language and Information, online; 2019, University of Latvia, the 31st European Summer School in Logic, Language and Information (Courses Completed: «Resources, Knowledge, and Actions», «Quantifying over information change», «Logical Dynamics of Social Interaction: Social Influence», «Primer on design, implementation and deployment of browser-based behavioral experiments», «Advanced NLP with Python», «Model design in R: Testing complex semantic theories with simple statistical tools», «Probability logic, language, and the mind»), 2018, Sofia University "St. Kl. Ohridski", the 30th European Summer School in Logic, Language and Information (Courses Completed: 'Reasoning in Games: Players as Programs', 'Distributional Semantics – A Practical Introduction', 'Aggregating Judgements: Logical and Probabilistic Approaches', 'Computational Social Choice and Complexity Theory', 'Probabilistic Modeling and Bayesian Data Analysis in Experimental Semantics and Pragmatics', 'Strategies, Knowledge, and Know-How'); Fifth Annual Summer Neurolinguistics School (Brainwaves of Language: Neural Oscillations and Language Processing), HSE; Центр цифровых гуманитарных исследований НИУ ВШЭ, «Цифровая весна–2018»; 2015, the The University of Barcelona, the 27th European Summer School in Logic, Language and Information (Courses Completed: 'Probabilistic and experimental pragmatics', 'Bridging Logical and Probabilistic, Approaches to Language and Cognition', 'Epistemic Dynamics for Non-ideal Agents', 'Reasoning in Games, Computational Models of Grounding in Dialogue', 'Inquisitive semantics', 'Cooperative and Non-cooperative Discourse in Games'); 2014, the University of Tübingen, the 26th European Summer School in Logic, Language and Information (Courses Completed: ' Integrating Montague Semantics and Event Semantics'; 'Independence in Information Flow Game Theory and Probability Theory'; 'From Logic to Behaviour: Logic in Cognitive Modeling'; 'Games Logicians Play'; ' Formal Semantics in Modern Type Theories: Theory and Implementation'); 2011, Summer School, The New York-St.Petersburg Institute of Linguistics, Cognition and Culture (Courses Completed: 'Word and Sentence Processing'; 'Meaning and Structure (advanced)'; 'Puzzles in Syntax and Semantics (advanced)'; 'Universals of Language'); 2011, Bridge to Logic-II, СПбГУ; 2010, Bridge to Logic-I, СПбГУ; 2010, Summer School, The New York-St.Petersburg Institute of Linguistics, Cognition and Culture (Courses Completed: 'An Introduction to Generative Syntax'; 'Meaning and Structure: Introduction to the Syntax/Semantics Interface'; 'Agrammatism: The architypal neurolinguistic syndrome'; 'Cognitive Lexical Semantics').
- Онлайн-курсы: Функциональное программирование на языке Haskell (Сертификат)
Мини-курсы
- «Логики групповых форм знания: выразительность и полнота» / Летняя школа «Логика и формальная философия», Пушкин, Кочубей-центр, 03.07—07.07.2023;
- «Эпистемическая логика: исчисления и модели (advanced)» / Летняя школа «Логика и формальная философия», Санкт-Петербург, 05.09—10.09.2022;
- «Модальная логика. Pre-Intermediate» / «1-я летняя школа Международной лаборатории логики, лингвистики и формальной философии», НИУ ВШЭ, 30.08—03.09.2021;
Учебные курсы (2024/2025 уч. год)
- Логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1, 2 модуль)рус
- Problems of the Contemporary Philosophy of Language (Магистратура; где читается: Факультет гуманитарных наук; 1-й курс, 3 модуль)Анг
- Философская логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Введение в эпистемическую логику и формальную эпистемологию (Общеуниверситетский факультатив; 1, 2 модуль)рус
- Классическая логика: дополнительные главы (Дисциплина общефакультетского пула; 3 модуль)рус
- Логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-3 модуль)рус
- Problems of the Contemporary Philosophy of Language (Магистратура; где читается: Факультет гуманитарных наук; 1-й курс, 3 модуль)Анг
- Problems of the Contemporary Philosophy of Language (Маго-лего; 3 модуль)Анг
- Формальная и экспериментальная прагматика (Дисциплина общефакультетского пула; 2 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Введение в формальную философию (Общеуниверситетский факультатив; 1, 2 модуль)рус
- Логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1, 2, 4 модуль)рус
- Логика и аналитическая философия (Дисциплина общефакультетского пула; 1-4 модуль)рус
- Мозг и психика (Маго-лего; 3 модуль)рус
- Мозг и психика (Магистратура; где читается: Факультет гуманитарных наук; 2-й курс, 1-3 модуль)рус
- Problems of the Contemporary Philosophy of Language (Магистратура; где читается: Факультет гуманитарных наук; 1-й курс, 3 модуль)Анг
- Philosophy of Language (Бакалавриат; где читается: Факультет гуманитарных наук; 2-й курс, 2 модуль)Анг
- Формальная и экспериментальная прагматика (Майнор; где читается: Факультет гуманитарных наук; 4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-4 модуль)рус
- Научно-исследовательский семинар "Жанры и методы философского исследования" (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-4 модуль)рус
- Philosophy of Language (Бакалавриат; где читается: Факультет гуманитарных наук; 2-й курс, 3 модуль)Анг
Учебные курсы (2020/2021 уч. год)
- Логика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-4 модуль)рус
- Логика и аналитическая философия (Дисциплина общефакультетского пула; где читается: Факультет гуманитарных наук; 1-4 модуль)рус
- Научно-исследовательский семинар "Жанры и методы философского исследования" (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1-4 модуль)рус
- Формальная и экспериментальная прагматика (Майнор; где читается: Факультет гуманитарных наук; 2 модуль)рус
Диссертация на соискание учёной степени кандидата наук
- 2015
Долгоруков В. В. Логико-эпистемический статус прагматических ограничений: теоретико-игровой подход
Участие в конференциях и научных семинарах
- «Динамическая эпистемическая логика для групп агентов с ресурсными ограничениями» / «IV Конференция математических центров России», Санкт-Петербург, 11.08.2024;
- «Динамическая эпистемическая логика для агентов с ресурсными ограничениями» / «Однодневный семинар по математической логике», факультет компьютерных наук НИУ ВШЭ, 24.06.2024;
- «Онтологический аргумент: версия К. Гёделя» / «Формальные методы и их приложения», УрФУ, 14.01.2024;
- «Введение в эпистемическую логику» / Просеминар по математической логике и информатике, МГУ, 30.11.2023;
- «О приложениях эпистемической логики в компьютерных науках» / «Однодневный семинар по математической логике», факультет компьютерных наук НИУ ВШЭ, 29.06.2023;
- «Тезис Кобэма-Эдмондса с точки зрения параметризованной теории сложности вычислений» / «Тринадцатые Смирновские чтения по логике», МГУ, 23.06.2023;
- «Dynamic Epistemic Logic for Budget-Constrained Agents» / «Semantical and Computational Aspects of Non-Classical Logics 2023», Steklov Mathematical Institute, 13.06.2023;
- «Temporal Epistemic Logic for Agents with Delay in Awareness» / «Logic Colloquium 2023 – European Summer Meeting of the Association for Symbolic Logic», University of Milan, 09.06.2023;
- «О приложениях понятия "ультрафильтр" в формальной философии: теорема К. Эрроу, онтологический аргумент К. Гёделя» / Международная научная конференция «uAnalytiCon-2023: Проблема интеграции», Екатеринбург, Уральский федеральный университет имени первого Президента России Б.Н. Ельцина, 20.05. 2023;
- «Формальная философия как логика неидеальной агентности» / Круглый стол «Формальная философия: основания и перспективы», 21.04.2023;
- «Динамическая эпистемическая логика для агентов с бюджетными ограничениями» / III научная конференция с международным участием «Homo Loquens: логика – язык – культура», БФУ им. И. Канта, 02.12.2022;
- «Dynamic Epistemic Logic for Budget-Constrained Agents» (joint work with M.Gladyshev) / Workshop affiliated with Logic in Computer Science (LICS) «DaLí - Dynamic Logic: new trends and applications», Technion, Haifa, 31.07.2022;
- «Bisimulation Games in Modal Logic» / Workshop «Games in Logic», TU Wien, 30.06.2022;
- «"Понял, но не сразу": эпистемическая темпоральная логика для агентов с минимальной задержкой в осведомленности» / Международная научная конференция «Смысл и смыслообразование», Факультет свободных искусств и наук СПбГУ, 02.06.2022;
- «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности» / семинар «Теория управления организационными системами», Институт проблем управления им. В. А. Трапезникова, 19.05.2022;
- «Онтологический статус возможных миров в эпистемической логике» / Международная научная конференция «uAnalytiCon-2022: Абстрактные объекты», Екатеринбург, Уральский федеральный университет имени первого Президента России Б.Н. Ельцина, 14.05.2022;
- «Осведомленность в динамике: эволюционная эпистемическая логика» / семинар «From the Logical Point of View», НИУ ВШЭ, 21.01.2022;
- «Проблема нормативности в логике и теории игр: запрос на эпистемологию» / Международная научная конференция "MACSPro'2021", НИУ ВШЭ, 17.12.2021;
- «Имплицитное знание группы: синтаксические и семантические варианты определения» / Логико-философский семинар имени В. Н. Брюшинкина, БФУ им. И.Канта, 10.12.2021;
- «Крипке + ДеГроот: эпистемико-доксатическая модель социального влияния» / XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», МГУ, 02.12.2021;
- «Проблема нормативности в логике и теории игр» / конференция "Актуальные проблемы аналитической философии 2021", ТомГУ, 24.09.2021
- «Прагматика и абдукция» / семинар «Критика социальных и гуманитарных наук», Факультет свободных искусств и наук, СПбГУ, 15.09.2021;
- «О трудностях определения потенциального знания группы» / «Двенадцатые Смирновские чтения по логике», МГУ, 25.06.2021;
- «Имплицитное знание группы: трудности определения» / «uAnalytiCon-2021: Контекстуализм, знание и истина», Уральский федеральный университет имени первого Президента России Б.Н. Ельцина, 14.05.2021;
- «Эпистемическая таксономия некооперативных форм поведения Говорящего» / семинар Научно-учебной лаборатории по формальным моделям в лингвистике, НИУ ВШЭ, 19.03.2021;
- «О трудностях определения группового имплицитного знания» / «From the Logical Point of View», НИУ ВШЭ, 20.01.2021;
- «Динамические эпистемические модели для агентов с бюджетными ограничениями» / «Logic.RU. Московский семинар по логике», 30.05.2020;
- «Entailment, Conversational Implicatures and Abductive Reasoning» / «Paris-Bochum-Moscow Workshop in Mathematical Philosophy», École Normale Supérieure, 14.12.2019;
- «Irony, Deception and Lying: an Epistemic Taxonomy for Assertions» / Seminar Series in Analytic Philosophy, University of Lisbon, 05.04.2019;
- «"Онтологический квадрат" и теоретико-типовая семантика» / научный семинар сектора логики Института философии РАН, 09.10.2018;
- «An Epistemic Logic for Pragmatics» / International Conference «Formal Philosophy», HSE, 02.10.2018;
- «Lying, Deceiving, and Misleading from an Epistemological Point of View» / PCCP meeting, University of Groningen, Faculty of Philosophy, 20.09.2018;
- «The Ontological Square and Modern Type Theories» / Logic Today: Developments and Perspectives, Saint Petersburg State University, 31.05.2018;
- «"Онтологический квадрат" и теоретико-типовая семантика» / теоретический семинар «Формальная философия», НИУ ВШЭ, 22.03.2018;
- «The Compositionality of Processes vs. the Compositionality of Constituents» / International Workshop «Compositionality and Contextuality», HSE, 28.10.2017;
- «Модель социального влияния для эпистемических агентов» / «Десятые Смирновские чтения по логике», МГУ, 17.06.2017;
- «A Strong Common Belief as a Model for Common Ground and an Epistemic Taxonomy of Assertions» / Groningen Logic Colloquium, University of Groningen, 18.05.2017;
- «An Epistemic Taxonomy of Assertions» / The HSE Philosophy Colloquium, 17.02.2017;
- «"Чумазые дети" и другие классические задачи динамической эпистемической логики» / Логико-философский клуб, НИУ ВШЭ, 02.02.2017;
- «Социальное влияние с точки зрения эпистемической логики: вероятностные модели» / Теоретический семинар «Формальная философия», НИУ ВШЭ, 16.12.2016;
- «Social Influence Within Dynamic Epistemic Logic: Plausibility Models» / Научный семинар «Формальная философия», НИУ ВШЭ, 28.10.2016;
- «Beyond Logical Solipsism: A Model of Social Influence for Epistemic Agents» / International Workshop "The Bounds of Logic Reloaded", HSE, 20.10.2016;
- «Contexts in Game-Theoretic Pragmatics» / HSE Semantics & Pragmatics Workshop, 01.10.2016;
- «Социальное влияние в эпистемической логике» / XII международная научная конференция «Cовременная логика: проблемы теории, истории и применения в науке», СПбГУ, 24.06.2016;
- «Я знаю, что ты знаешь, что я знаю: интерактивная рациональность и байесовская прагматика» / Научный семинар «Формальная философия», НИУ ВШЭ, 26.04.2016;
- «An Epistemic Taxonomy of Assertions» / Workshop «Logical and Linguistic Pragmatics», HSE, 28.10.2015;
- «Rationality in Formal Pragmatics» / «Rationality in Action: Intentions, Interpretations and Interactions», HSE, 26.10.2015;
- «Теоретико-игровая прагматика: основные идеи» / «LessWrong», Yandex, 17.05.2015;
- «Механизмы контекстуального обновления» / Научный семинар «Формальная философия», НИУ ВШЭ, 12.11.2014;
- «Rule Following, the Principle of Rationality, and Conversational Logic» / International «Conference Rule Following: Reasoning, Reason, Rationality», HSE, 21-23.10.2014;
- «Context Dependence: a Game-Theoretic Approach» / International Conference «Logical Aspects of Rational Agency (LARA-2014)», St. Petersburg State University, 16.10.2014;
- «Что значит "рассуждать правильно"?» / «Университет детей», 02.2014;
- «"Языковые игры": от метафоры к формальной модели» / Международная научная конференция «Теория языковых игр и современная философия» (К 60-летию со дня выхода «Философских исследований» Л. Витгенштейна), МГУ, 10.12.2013;
- «Нелегитимные аргументы с точки зрения концепции ограниченной рациональности» / Научный семинар НУГ « Языки интеллектуальной культуры », НИУ ВШЭ, 03.12.2013;
- «Metalinguistic Negation, Presuppositions and Implicatures» / International Conference « Ontology of Negativity », HSE, 23.10.2013;
- «Критерии различия импликатур и пресуппозиций с точки зрения равновесной семантики» / Научный семинар «Формальная философия» , НИУ ВШЭ, 08.10.2013;
- «Теория игр как язык описания прагматики» / Конференция « Логическая и лингвистическая прагматика. К 100-летию Г.П.Грайса », НИУ ВШЭ, 30.03.2013;
- «Aнализ скалярных и количественных импликатур средствами теории игр и двусторонней теории оптимальности» / Научный семинар « Формальная философия », НИУ ВШЭ, 09.11. 2012;
- «Субъект воли. Является ли компатибилизм контринтуитивным?» / Международная конференция «Субъект и культура: основы междисциплинарного исследования проблемы», НИУ ВШЭ, 23-24.10. 2012;
- «Формальная прагматика с точки зрения теории игр» / Научный семинар « Некоторые применения математических методов в языкознании» (171 занятие), ОТиПЛ МГУ, 13.10. 2012;
- «Что лежит в основе прагматики: "принцип кооперации" vs. "принцип релевантности"» / Всероссийская научная конференция с международным участием «Аналитическая философия: проблемы и перспективы развития в России», СПбГУ, 29-31.05. 2012;
- «Интерактивная композициональность: динамические и теоретико-игровые модели анафоры» / Научно-теоретический семинар «Логика и философия языка» (16-е заседание), Институт Философии РАН, 19.04. 2012;
- «Прагматика, теория игр и нейроэкономика» / Логико-философский клуб, НИУ ВШЭ, 2011;
- «Онтология прагматических ограничений с точки зрения теории игр и теории оптимальности» / Семантика и онтология, УрФУ, 2011;
- «Где Я? Доказательства для Деннета: прагматика, теория игр и нейроэкономика» / Проблема "Я": традиции и современность, НИУ ВШЭ, 2011;
- «"Экономика языка" против грайсовой "анархии": проблема легитимности прагматических ограничений» / Модели рассуждений - 5, БФУ им. Канта, 2011;
- «Disputations de Obligationibus as Logical and Semantic Games: Semantics and Pragmatics of A Counterfactual Assumption» / Illegitimate Argumentation in Western Intellectual Culture from St. Anselm to Isaac Newton, НИУ ВШЭ, 2011;
- «Nash Equilibrium and Analysis of Ambiguity in Game-Theoretic Pragmatics» / Смирновские чтения, МГУ, 2011;
- «Экспликация схоластических диспутов с предписаниями (disputatio de obligationibus) средствами логической прагматики» / Философия. Язык. Культура НИУ ВШЭ, 2011;
- «Disputationes de obligationibus: аналитическая реконструкция» / Семинар « Vigiliae sophisticae », НИУ ВШЭ, 2011;
- «What is the Category System? From Kant to Formal Semantics and Pragmatics» / Bridge to Logic II, СПбГУ, 2011;
- «Что такое значение? Постулаты Грайса с точки зрения теории игр» / Логико-философский клуб, ГУ ВШЭ, 2010;
- «Аргументы к субъективному опыту, руки и здравый смысл: от Дж.Э.Мура к Р.Нуньеcу» / «Субъективность и идентичность», ГУ ВШЭ, 2010;
- «Управление референцией, прототипическое значение и принцип композициональности» / Современная логика, СПбГУ, 2010;
- «Охота на Гавагая: онтологическая относительность, теория прототипов и каузальная теория референции» / Философия. Язык. Культура, ГУ ВШЭ, 2010;
- «Воплощенный разум / Embodiment Mind» / Логико-философский клуб, ГУ ВШЭ, 2009;
- «Семейные сходства: попытка формальной экспликации» / Смирновские чтения, МГУ, 2009;
- «Нормативные конфликты с точки зрения деонтической логики и теории агентов» / Современная логика, СПбГУ, 2008.
Полномочия / обязанности
- осуществление научно-исследовательской деятельности в области философской логики, формальной философии, философии языка и теоретической лингвистики;
- распространение результатов научных исследований, осуществляемых Международной лабораторией логики, лингвистики и формальной философии;
- организация научных конференций, семинаров, школ и других мероприятий;
- установление научных связей с российскими и зарубежными научными организациями, образовательными организациями высшего образования и исследователями, активно работающими по тематике Международной лаборатории логики, лингвистики и формальной философии
Организация научных мероприятий
- 2012 — по н.в., теоретический семинар «Формальная философия», организатор;
- 2015 — по н.в., научно-учебный семинар «Логическая семантика», руководитель;
- 2018 — по н.в. регулярный научно-исследовательский семинар МЛ ЛогЛинФФ «From the Logical Point of View», организатор;
- 2023, «Formal Philosophy», председатель организационного комитета, участник программного комитета;
- 2023, Летняя школа «Логика и формальная философия», член организационного комитета;
- 2022, «Formal Philosophy», председатель организационного комитета;
- 2022, Летняя школа «Логика и формальная философия», член организационного комитета;
- 2021, «Formal Philosophy», председатель организационного комитета;
- 2021, "1-я летняя школа Международной лаборатории логики, лингвистики и формальной философии", председатель организационного комитета;
- 2020, «Formal Philosophy», председатель организационного комитета;
- 2019, «Trends in Logic19», председатель организационного комитета;
- 2019, «Formal Philosophy», председатель организационного комитета;
- 2018, «Formal Philosophy», председатель организационного комитета;
- 2018, «the 2nd HSE Semantics & Pragmatics Workshop», председатель организационного комитета;
- 2017, Workshop «Compositionality and Contextuality», председатель организационного комитета;
- 2015, Workshop «Logical and Linguistic Pragmatics», председатель организационного комитета;
- 2014, Международная конференция «Следование правилу: Рассуждение, Разум, Рациональность», член организационного комитета;
- 2013, Конференция «Логическая и лингвистическая прагматика. К столетию Г.П.Грайса», председатель организационного комитета;
- 2012—2014, научный семинар «Теоретико-игровые методы в логике и лингвистике», руководитель, совместно с Е.Г. Драгалиной-Черной
Опыт работы
- член академического совета бакалаврской программы «Философия»; рецензент журналов «Логические исследования», «Эпистемология и философия науки», «Analytica», «Дискурс», «Философия. Журнал высшей школы экономики», «Философский журнал»; член ЦПМК ВСОШ по обществознанию, член жюри заключительного этапа;
- 2008—2009, Екатеринбургская академия современного искусства, ассистент ("Логика"); 2008—2009, Уральский Государственный Университет, ассистент ("Логика"); 2010—2016, Лаборатория исследования философии ЦФИ, стажер-исследователь, младший научный сотрудник; 2011–2012, Государственный академический университет гуманитарных наук, ассистент; 2012—2013, Институт гуманитарных историко-теоретических исследований имени А. В. Полетаева (ИГИТИ), стажер-исследователь;
Информация*
- Общий стаж: 13 лет
- Научно-педагогический стаж: 14 лет
- Преподавательский стаж: 11 лет
Доклады сотрудников МЛ ЛогЛинФФ на IV Конференции математических центров
Виталий Долгоруков и Елена Попова выступили с докладами на секции «Математическая логика и теоретическая информатика» на IV Конференции математических центров России, которая проходила с 6-го по 11-ое августа в Санкт-Петербурге.
Итоги конкурса лучших преподавателей 2024
Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями НИУ ВШЭ в конкурсе 2024 года.
Опубликована статья Виталия Долгорукова
В журнале «Логические исследования» опубликована статья Виталия Долгорукова «Альтернативы семантике Крипке для эпистемической логики».
Виталий Долгоруков выступил на Однодневном семинаре по математической логике
24 июня прошел Однодневный семинар по математической логике на ФКН НИУ ВШЭ, на котором Виталий Долгоруков представил доклад «Динамическая эпистемическая логика для агентов с ресурсными ограничениями».
Статья Виталия Долгорукова и Максима Гладышева опубликована в сборнике трудов AAMAS'24
В сборнике трудов конференции «Autonomous Agents and Multi-Agent Systems 24» (AAMAS) опубликована статья Виталия Долгорукова, Рустама Галимуллина и Максима Гладышева «Dynamic Epistemic Logic of Resource Bounded Information Mining Agents». AAMAS является наиболее крупной и влиятельной конференцией в области моделирования мультиагентных систем и входит в список CORE Computer Science Conference Rankings в ранге A+.
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Итоги конкурса лучших преподавателей 2023
Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями в конкурсе 2023 года.
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»
22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады.
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»
Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «uAnalytiCon-2023: Проблема интеграции»
Сотрудники МЛ ЛогЛинФФ выступили с докладами на международной конференции «uAnalytiCon-2023: Проблема интеграции», которая прошла с 19 по 20 мая 2023 в Уральском федеральном университете.
Состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию МЛ ЛогЛинФФ
21 апреля состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию Международной лаборатории логики, лингвистики и формальной философии.
Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
Результаты конкурса НИРС-2022
Подведены итоги конкурса научно-исследовательских студенческих работ 2022 года. В начале 2023 года состоится церемония награждения победителей. Поздравляем студентов и выпускников факультета гуманитарных наук и их научных руководителей!
Поздравляем победителей конкурса НИРС
Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)
Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта
1-3 декабря в Калининграде проходила международная конференция "HOMO LOQUENS", на которой сотрудники МЛ ЛогЛинФФ выступили с докладами.
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
Началась летняя школа «Логика и формальная философия»
Школа проходит с 5 по 10 сентября в Санкт-Петербурге на факультете свободных искусств и наук СПбГУ. Программа школы состоит из серии мини-курсов, посвященных различным аспектам философской логики и формальной философии, а также студенческой постерной секции.
Доклад Виталия Долгорукова и Максима Гладышева на международной конференции "DaLí 2022"
C 31 июля по 1 августа проходит международная конференция "DaLí 2022", посвященная приложениям и новым областям динамической логики (DL). В первый день конференции Виталий Долгоруков и Максим Гладышев представили доклад "Dynamic Epistemic Logic for Budget-Constrained Agents".
Сотрудники МЛ ЛогЛинФФ на летней школе по аналитической философии языка и логике в ТГУ
Виталий Долгоруков, Елена Попова и Константин Шишов приняли участие в первой летней школе по аналитической философии языка и логике на базе кафедры истории философии и логики ТГУ.
Подведены итоги конкурса "Лучшие преподаватели НИУ ВШЭ 2022 года"
Среди победителей конкурса — сотрудники МЛ ЛогЛинФФ!
Опубликованы статьи Елены Драгалиной-Черной и Виталия Долгорукова
В новом выпуске журнала "Логические исследования" вышли статьи Елены Драгалиной-Черной "Дом, который построил Кэрролл: регресс и адоптация в формальном обосновании" и Виталия Долгорукова "О трудностях определения имплицитного знания группы".
Поддержан проект под руковоством Виталия Долгорукова "Интерактивное учебное пособие по философской логике и формальной философии"
Подведены итоги II конкурса проектных групп сотрудников ФГН, среди проектов Школы философии и культурологии - "Интерактивное учебное пособие по философской логике и формальной философии".
Сотрудники МЛ ЛогЛинФФ выступили на воркшопе "Games in Logic"
Виталий Долгоруков, Александра Павлова и Денис Федянин выступили с докладами на воркшопе, посвященном теоретико-игровым методам в логике ( "Games in Logic"), который проходил с 29 по 30 июня в Венском техническом университете (в гибридном формате).
Сотрудники МЛ ЛогЛинФФ выступили с докладами на конференции в СПбГУ "Смысл и смыслообразование"
Со 2 по 4 июня проходила международная конференция "Смысл и смыслообразование" в Санкт-Петербургском государственном университете.
Доклад Виталия Долгорукова и Елены Поповой на семинаре «Теория управления организационными системами» института проблем управления им. В. А. Трапезникова
19 мая Виталий Долгоруков и Елена Попова выступили с докладом «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности» семинаре «Теория управления организационными системами» Института проблем управления им. В. А. Трапезникова РАН.
Сотрудники МЛ ЛогЛинФФ приняли участие в международной конференции "uAnalytiCon-2022: Абстрактные объекты"
Международная конференция "uAnalytiCon-2022: Абстрактные объекты" проходила с 13 по 14 мая в Уральском федеральном университете в Екатеринбурге.
Вышла статья Виталия Долгорукова
В журнале "Интеллектуальные системы. Теория и приложения" вышла статья Виталия Долгорукова "Крипке+ДеГроот: эпистемико-доксатическая модель социального влияния".
Философ — это образование, хорошее фундаментальное образование
Полина Старосоцкая - выпускница бакалавриата «Философия» и магистерской программы «Цифровые методы в гуманитарных науках», в разговоре со студентками Вышки Дарьей Любимовой и Полиной Ермаковой рассказала, почему она выбрала именно эти программы, что интересного было во время учебы, как она связана с текущей работой над чат-ботами, и почему хорошее философское образование – это умение анализировать с применением к определенной сфере.
Прошла церемония награждения победителей и лауреатов НИРС
В числе победителей и лауреатов - работы, написанные под руководством сотрудников Международной лаборатории логики, лингвистики и формальной философии.
Прошло первое в 2022 году заседание научно-исследовательского семинара "From the Logical Point of View"
Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"
Доклады сотрудников лаборатории на конференции MACSPro’2021
С 16 по 18 декабря проходила международная научная конференция по моделированию и анализу комплексных систем и процессов "MACSPro’2021", в которой приняли участие Денис Федянин, Виталий Долгоруков и Елена Попова.
Доклады сотрудников лаборатории на конференции "HOMO LOQUENS" в Калининграде
С 9 по 11 декабря в БФУ имени И. Канта проходила конференция "HOMO LOQUENS". Сотрудники лаборатории выступили с докладами.
Поздравляем стажеров-исследователей, занявших призовые места в конкурсе НИРС-2021!
Подведены итоги конкурса НИРС-2021. Стажеры-исследователи МЛ ЛогЛинФФ заняли призовые места сразу в нескольких номинациях!
Доклад Виталия Долгорукова на конференции "MSU AI"
2 декабря Виталий Долгоруков выступил с докладом "Крипке+ДеГроот: эпистемико-доксатическая модель социального влияния" на конференции "MSU AI" в секции "Представление знаний и автоматизация рассуждений".
Состоялся цикл семинаров "From the Logical Point of View"
Сотрудники лаборатории и приглашенные участники прочитали серию докладов на научно-исследовательском семинаре "From the Logical Point of View".
Доклад Виталия Долгорукова и Елены Поповой на конференции "Актуальные проблемы аналитической философии"
24 сентября Виталий Долгоруков и Елена Попова выступили с докладом "Проблема нормативности в логике и теории игр" на конференции "Актуальные проблемы аналитической философии 2021".
Доклад Виталия Долгорукова "Прагматика и абдукция"
15 сентября состоялось выступление Виталия Долгорукова в рамках семинара "Критика социальных и гуманитарных наук".
Прошла первая летняя школа МЛ ЛогЛинФФ
С 30 августа по 3 сентября проходила первая летняя школа МЛ ЛогЛинФФ, на которой сотрудники лаборатории выступили с мини-курсами и серией лекций.
Поздравляем Елену Попову с успешной защитой курсовой!
Поздравляем Елену Попову, стажера-исследователя лаборатории, с успешной защитой курсовой работы "Проблема комбинации эпистемических и темпоральных модальностей", написанную под руководством Долгорукова Виталия Владимировича.
Доклады сотрудников лаборатории на конференции "Смирновские чтения по логике"
24-26 июня в онлайн-формате прошла конференция «Двенадцатые Смирновские чтения по логике».
Доклады сотрудников лаборатории на конференции uAnalytiCon-2021
14-15 мая в Екатеринбурге в смешанном формате прошла Международная научная конференция uAnalytiCon-2021: Контекстуализм, знание и истина, организованная Уральским федеральным университетом имени первого Президента России Б.Н. Ельцина.
Доклады сотрудников Международной лаборатории по формальной логике и лингвистике на семинарах Лаборатории
19 и 26 марта на еженедельных научных семинарах Лаборатории состоялись доклады сотрудников дружественного исследовательского подразделения — Международной лаборатории по формальной логике и лингвистике.
Опубликована статья Виталия Долгорукова и Веры Шумилиной
В журнале "Эпистемология и философия науки" опубликована статья Виталия Долгорукова и Веры Шумилиной "Что такое формальная философия?"
Результаты конкурса НИРС-2020
Подведены итоги конкурса научно-исследовательских студенческих работ 2020 года. Поздравляем студентов и выпускников факультета гуманитарных наук и их научных руководителей!
Вышел в свет новый учебник по лингвистической прагматике
Издательство URSS выпустило в свет учебник по лингвистической прагматике. Его авторами стали сотрудники Школы лингвистики и Школы философии и культурологии.
Поздравляем победителей конкурса "Лучший преподаватель - 2020" !
Подведены итоги конкурса "Лучший преподаватель - 2020". Опубликован список победителей. Школа философии и культурологии поздравляет коллег.
Итоги выборов лучших преподавателей 2020
Поздравляем коллег с победой в юбилейном выборе лучших преподавателей!
Поздравляем победителей конкурса проектных групп на Факультете гуманитарных наук!
Сотрудники МЛ ЛогЛинФФ Наталья Зевахина, Виталий Долгоруков, Анастасия Копылова - руководители поддержанных ФГН проектов на 2020 год.
Доклад Виталия Долгорукова "Динамические эпистемические модели для агентов с бюджетными ограничениями"
30 мая на онлайн-заседании московского семинара по логике Logic.RU состоялся доклад Виталия Долгорукова "Динамические эпистемические модели для агентов с бюджетными ограничениями"
Результаты конкурса НИРС-2019
Подведены итоги конкурса научно-исследовательских студенческих работ 2019 года. Поздравляем студентов и выпускников факультета гуманитарных наук и их научных руководителей!
Сотрудники МЛ ЛогЛинФФ представили доклады на конференции в Париже
Сотрудники Международной лаборатории логики, лингвистики и формальной философии выступили с докладами на конференции, посвященной математической философии.
Interdisciplinary Research: New Prospects for Philosophy
What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.
«Междисциплинарные исследования – новые перспективы для философии»
Что связывает философов, лингвистов и логиков? Как подружиться с десятком иностранных центров за полтора года? Может ли наука изолироваться от внешнего мира? На эти и другие темы размышляет заведующая Международной лабораторией логики, лингвистики и формальной философии Елена Драгалина-Черная.
Сотрудники МЛ ЛогЛинФФ приняли участие в летней школе в Риге
Сотрудники Лаборатории приняли участие в ESSLLI 2019
Итоги выборов лучших преподавателей НИУ ВШЭ - 2019
Сотрудники Международной лаборатории логики, лингвистики и формальной философии победили в выборах лучших преподавателей НИУ ВШЭ.
Формальная философия 2019
27-28 июня состоялась международная конференция "Formal Philosophy 2019", организованная Международной лабораторией логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). В конференции приняли участие ученые из России, США, Бразилии, Польши, Германии, Австрии, Португалии и Южной Кореи. Планируется, что конференция станет ежегодным событием.
Виталий Долгоруков выступил с докладом в Университете Лиссабона
Виталий Долгоруков выступил с докладом "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" на научном семинаре исследовательской группы LangCog (Language, Mind and Cognition) Университета Лиссабона.
В Вышке прошла XV церемония награждения победителей конкурса НИРС
На прошлой неделе прошло награждение авторов лучших научно-исследовательских работ среди студентов Высшей Школы Экономики. Двумя из этих работ руководил заместитель заведующего лабораторией, Виталий Долгоруков.
Светлана Нечагина заняла первое место в номинации «Лучшая научно-исследовательская работа по философии для студентов бакалавриата» с работой «Динамическая эпистемическая логика как метод решения вероятностных парадоксов».
Максим Гладышев занял первое место в номинации «Лучшая научно-исследовательская работа по философии для студентов магистратуры и выпускников 2018 года» с работой «Проблема возникновения и стабильности конвенций».
Всемирный день логики 14 января
14 января Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ, кафедра логики МГУ им. М.В. Ломоносова и сектор логики Института философии РАН провели юбилейное 50-е заседание теоретического семинара «Формальная философия»: круглый стол «Формальная философия: основания и перспективы», посвященный применению формальных методов в философии.
В журнале "Логические исследования" вышла статья Анастасии Копыловой и Виталия Долгорукова
Статья научных сотрудников Международной лаборатории логики, лингвистики и формальной философии Анастасии Копыловой и Виталия Долгорукова опубликована в журнале «Логические исследования» (2018. Т. 24. № 2). Тема статьи – «Онтологический квадрат» и теоретико-типовая семантика.
Конференция «Горизонты логического плюрализма»
24 ноября 2018 года в Высшей школе экономики состоялась конференция «Горизонты логического плюрализма», приуроченная к юбилею старшего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии Владимира Леонидовича Васюкова. Ведущие специалисты по логике и формальной философии из НИУ ВШЭ, МГУ, СПбГУ и Института философии РАН присоединились к поздравлениям Владимира Леонидовича и представили к обсуждению свои идеи.
Конференция «Формальная философия»
1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.
Виталий Долгоруков выступил с докладом в Институте философии РАН
9-го октября Виталий Долгоруков, заместитель заведующего лабораторией, выступил с докладом "Онтологический квадрат" и теоретико-типовая семантика".
Опубликован фоторепортаж конференции «Формальная философия»
В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.
Сотрудники ЛогЛинФФа приняли участие в летней школе в Болгарии
Виталий Долгоруков, Александра Павлова и Денис Федянин приняли участие в 30-й европейской летней школе по логике, языку и информации (30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION), которая прошла в Софийском Университете с 6-го по 17-е августа.
Стали известны Лучшие преподаватели 2018 года
4 сотрудника ЛогЛинФФа победили в конкурсе «Лучшие преподаватели НИУ ВШЭ».
Лучший преподаватель - 2018
Участники НУГа стали «Лучшими преподавателями» и «Лучшими научными руководителями» в 2018 году.
Сотрудники ЛогЛинФФа приняли участие в конференции в Санкт-Петербурге
Сотрудники ЛогЛинФФа (в.н.с. В.Л.Васюков, зав.лаб. Е.Г.Драгалина-Черная, зам.зав.лаб. В.В.Долгоруков и с.н.с. А.В. Родин) приняли участие в конференции «Logic Today: Developments and Perspectives», которая прошла на философском факультете Санкт-Петербургского Государственного Университета с 31 мая по 2 июня 2018.
Формальная философия-44: доклад Виталия Долгорукова
22 марта 2018 г. состоялось 44-е заседание теоретического семинара «Формальная философия», в рамках которого В.В. Долгоруков выступил с докладом «Онтологический квадрат и теоретико-типовая семантика».
Семинар "Композициональность и контекстуальность"
28 октября состоялся воркшоп "Композициональность и контекстуальность", организованный НУГ "Формальная философия". Предлагаем вашему вниманию репортаж!
Состоялось награждение по итогам конкурса НИРС
Участники НУГ Михаил Смирнов и Анастасия Буянова под руководством Виталия Долгорукова стали призерами конкурса.
Подведены итоги открытого конкурса НИРС
Призерами в номинации "Лучшая научно-исследовательская работа по философии" стали студенты и преподаватели ОП "Философская антропология".
International Workshop"The Bounds of Logic Reloaded"
20 и 21 октября в НИУ ВШЭ состоялся международный воркшоп «Границы логики: перезагрузка» ("The Bounds of Logic Reloaded"), организованный Школой философии, Лабораторией философских исследований и научно-учебной группой «Формальная философия».
HSE Semantics & Pragmatics Workshop
30 сентября и 1 октября в НИУ ВШЭ состоялся международный воркшоп по семантике и прагматике (HSE Semantics & Pragmatics Workshop), организованный Школой лингвистики, Школой философии и научно-учебной группой «Формальная философия».