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

Выступления на конференциях и семинарах

2023

  1. Драгалина-Чёрная Е.Г., «The Variety of Logical Hylomorphism» / «São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information», Кампинас, Университет UNICAMP, 6-17.02.2023;
  2. Драгалина-Чёрная Е.Г., «When the Form Matters: The Unreasonable Effectiveness of Logic in Formal Philosophy» / «Tools for Teaching Logic», Мадрид, Университет Комплутенсе, 23-24.03.2023;
  3.  Пыльцын И.О., «Игровая семантика Межирова для интуиционистской логики»  // семинар математического факультета НИУ ВШЭ «Современные проблемы математической логики», Москва, НИУ ВШЭ, 24.03.2023;
  4. Пыльцын И.О., «Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)»  // семинар математического факультета НИУ ВШЭ «Современные проблемы математической логики», Москва, НИУ ВШЭ, 07.04.2023;
  5.  Драгалина-Чёрная Е.Г., «Эксперимент и дизайн в формальной философии»  // Круглый стол "Формальная философия: основания и перспективы", Москва, НИУ ВШЭ, 21.04.2023;
  6.  Долгоруков В.В., «Формальная философия как логика неидеальной агентности»  // Круглый стол "Формальная философия: основания и перспективы", Москва, НИУ ВШЭ, 21.04.2023;
  7. Боброва А.С., «Формальная философия как цикл дисциплин?»  // Круглый стол "Формальная философия: основания и перспективы", Москва, НИУ ВШЭ, 21.04.2023;
  8. Попова Е.Л., «Подходы к решению проблемы логического всеведения в эпистемической логике»  // семинар математического факультета НИУ ВШЭ «Современные проблемы математической логики», Москва, НИУ ВШЭ, 21.04.2023;
  9. Драгалина-Чёрная Е.Г., «"Контрпримеры" modus ponens: дедуктивная корректность vs эпистемическая рациональность» // Теоретический семинар "Мышление, язык, сознание"  научной школы  МГУ им. М.В. Ломоносова "Мозг, когнитивные системы, искусственный интеллект", Москва, 22.04.2023;
  10.  Николаева В.А., «Бисимуляционные игры и выразимость общего знания в эпистемической логике» // Конференция молодых исследователей «Terra hominis», Москва, НИУ ВШЭ,  27-28.04.2023;
  11. Никитина И.А., «Бисимуляционные игры и выразимость общего знания в эпистемической логике» // Конференция молодых исследователей «Terra hominis», Москва, НИУ ВШЭ,  27-28.04.2023;
  12.  Долгоруков В.В., «О приложениях понятия "ультрафильтр" в формальной философии: теорема К. Эрроу, онтологический аргумент К. Гёделя» / «uAnalytiCon-2023: Проблема интеграции», Екатеринбург, Уральский федеральный университет, 19-20.05.2023;
  13. Фролов К.Г., «Проблема интеграции в современной аналитической метаэтике» / «uAnalytiCon-2023: Проблема интеграции», Екатеринбург, Уральский федеральный университет, 19-20.05.2023;
  14. Никитина И.А., «На чём висит занавес неведения Джона Ролза?» / «uAnalytiCon-2023: Проблема интеграции», Екатеринбург, Уральский федеральный университет, 19-20.05.2023;
  15. Николаева В.А., «Бисимуляции и игры в эпистемической логике» (постерный доклад) / «uAnalytiCon-2023: Проблема интеграции», Екатеринбург, Уральский федеральный университет, 19-20.05.2023;
  16.  Долгоруков В.В., Попова Е.Л., «Temporal Epistemic Logic for Agents with Delay in Awareness» / «Logic Colloquium 2023», Милан, Университет Милана, 05-09.06.2023;
  17.  Драгалина-Черная Е.Г., «Обобщенные кванторы: от абстрактной теории моделей к обыденным рассуждениям» / Тринадцатые Смирновские чтения по логике, МГУ, 22-24.06.2023;
  18. Долгоруков В.В., «Тезис Кобэма-Эдмондса с точки зрения параметризованной теории сложности вычислений» / Тринадцатые Смирновские чтения по логике, МГУ, 22-24.06.2023;
  19. Боброва А.С., «Теория графов Пирса и теория ментальных моделей: история взаимодействия» / Тринадцатые Смирновские чтения по логике, МГУ, 22-24.06.2023;
  20. Долгоруков В.В., «О приложениях эпистемической логики в компьютерных науках» / «Однодневный семинар по математической логике»,  факультет компьютерных наук НИУ ВШЭ, 29.06.2023; 
  21.  Долгоруков В.В.,  «Dynamic Epistemic Logic for Budget-Constrained Agents» / «Semantical and Computational Aspects of Non-Classical Logics 2023», Steklov Mathematical Institute,  13.06.2023;
  22. Пыльцын И. О., Mezhirov's game for intuitionistic logic and its variations «Semantical and Computational Aspects of Non-Classical Logics 2023», Steklov Mathematical Institute,  13.06.2023;
  23.  Попова Е.Л., «Temporal Epistemic Logic for Reasoning with Delay in Awareness» / «Semantical and Computational Aspects of Non-Classical Logics 2023», Steklov Mathematical Institute,  15.06.2023;
  24.  Драгалина-Черная Е.Г., Abstract logics as formal ontoligies as classification / «4th Lisbon International Conference on Philosophy of Science - LICPOS 2023»,  University of Lisbon, 2023;
  25. Пыльцын И. О. Mezhirov's game for intuitionistic logic and its variations  / ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives, Ljubljana, Slovenia, 10.08. 2023;
2022
  1. Шевченко В.С., "Coordination as naturalistic social ontology" / Международная конференция "Philosophy of Social Science Roundtable 2022", Lincoln, NE, United States, (online), 1-2.04.2022;
  2.  Драгалина-Чёрная Е.Г., "Logics as Formal Ontologies: Abstract Logics, Abstract Systems, and Levels of Abstraction" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, 13-14.05.2022;
  3.  Долгоруков В.В., "Онтологический статус возможных миров в эпистемической логике" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, 13-14.05.2022;
  4. Попова Е.Л., "Модель делиберации для агентов с ограниченными ресурсами" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, 13-14.05.2022;
  5. Фролов К.Г., "О различных критериях существования" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, 13-14.05.2022;
  6.  Боброва А.С., "Абдукция и её место в аргументации" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, (online), 13-14.05.2022;
  7.  Дзардини Э., "The Bearers of Logical Consequence" / "uAnalytiCon-2022: Абстрактные объекты", Екатеринбург, Уральский федеральный университет, (online), 13-14.05.2022;
  8. Драгалина-Черная Е.Г., "Контекстуальность, композициональность и значение логических констант" / "Смысл и смыслообразоавние", Санкт-Петербург, СПбГУ, 2-4.06.2022;
  9.   Долгоруков В.В., Попова Е.Л., "«Понял, но не сразу»: эпистемическая темпоральная логика для агентов с минимальной задержкой в осведомленности" / "Смысл и смыслообразоавние", Санкт-Петербург, СПбГУ, 2-4.06.2022;
  10.  Пригоркина В.А., "Order Iconicity Principle in Temporal Interpretation of Russian Perfective Participial and Converbial Clauses" / "Смысл и смыслообразоавние", Санкт-Петербург, СПбГУ, 2-4.06.2022;
  11.  Долгоруков В.В., "Bisimulation Games in Modal Logic" / "Games in Logic", Вена, Венский технический университет, 29-30.06.2022;
  12.  Федянин Д.Н., "Abstract argumentation games with asymmetric trust to sources and uncertainty"/ "Games in Logic", Вена, Венский технический университет, 29-30.06.2022;
  13.  Долгоруков В.В., "Dynamic Epistemic Logic for Budget-Constrained Agents" / "DaLí 2022", (online), Технион — Израильский технологический институт 31.07.-1.08.2022;
  14. Васюков В.Л., “Logic of momentariness” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  15.  Лисанюк Е.Н., “Liars in Argumentation Logic” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  16.  Кудряшова В.К., “Propositions and Propositional Knowledge in E. Sosa’s Epistemic Logic” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  17. Шевченко В.С., “Equilibrium Emergence as a Core Problem of Social Ontology” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  18. Федянин Д.Н., “A Multiagent Scaling of the Sally-Ann Test and a Part of a Logical Framework for it” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  19. Попова Е.Л., “Temporal Epistemic Logic for Agents with Minimum Delay in Awareness” / "Formal Philosophy 2022", НИУ ВШЭ, 31.10-03.11.2022; 
  20. Запрягаев А.А., "Interpretations of Büchi arithmetics in themselves" / конференция Математических центров России, МГУ, МИАН, 7-11.11.2022;
  21. Васюков В.Л., "Кантовский априоризм и современный логический плюрализм" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  22. Долгоруков В.В., "Динамическая эпистемическая логика для агентов с бюджетными ограничениями" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  23. Попова Е.Л., "Темпорально-эпистемическая логика для агентов с задержкой в осведомленности" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  24. Лисанюк Е.Н., "Курица или яйцо? или Дважды риторическая аргументация в «Искусстве спора» С.И. Поварнина" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  25. Боброва А.С., "Позитивный абсурд и иконизация процесса вывода" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  26. Васильев Д., "Спор о внутренних отношениях в британской философии начала XX века" / "HOMO LOQUENS: логика-язык-культура", Калининград, БФУ, 1-3.12.2023;
  27. Драгалина-Черная Е.Г., "The Variety of Logical Hylomorphism: Formal Ontology vs Formal Deontology" / теоретический семинар “Worlds and Truth Values: Challenges to Formal Semantics”, Университет Комплутенсе де Мадрид, 30.11.2022;
  28. Драгалина-Черная Е.Г., "The House that Carroll Built: Regress and Adoption in Formal Grounding" / исследовательский семинар "Formal Philosophy", Университет Комплутенсе де Мадрид, 01.12.2022;


2021

  1. Васюков В.Л. "Wittgensteinian" Intentional AI" / Воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", НИУ ВШЭ, (online), 14.01.2021;
  2. Дзардини Э. "Identity and Variables in the Tractatus"  / Воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", НИУ ВШЭ, (online), 14.01.2021;
  3. Драгалина-Чёрная Е. Г. "Internal Relations in the Logical Space: from the Tractatus to Remarks on Colour"  / Воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", НИУ ВШЭ, (online), 14.01.2021;
  4. Пиетаринен А.-В. "Philosophy of Notation in the Tractatus"  / Воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", НИУ ВШЭ, (online), 14.01.2021;
  5. Агамов Р. "Модели для интуиционистских нормальных модальных логик" / Научно-исследовательский семинар "Современные проблемы математической логики" Факультета математики НИУ ВШЭ (online), 19.02.2021;
  6. Зевахина Н.А. "Veridicality and cause-effect relation inindicative and subjunctive conditionals" / Воркшоп "The semantics and pragmatics of conditional connectives" в рамках 43-й ежегодной конференции Немецкого лингвистического общества (DGfS), (online), 24-26.02.2021;
  7. Васюков В.Л. "Квантовая логика" / Семинар секции Научного совета методологии искусственного интеллекта РАН  "ИИ, математика, теория систем", (online), 08.04.2021;
  8.  Васюков В.Л. "Логический анализ междисциплинарности" / Круглый стол, приуроченный к трехлетию лаборатории, НИУ ВШЭ, (online), 16.04.2021;
  9. Драгалина-Черная Е.Г. "Непостижимая эффективность формальных методов в философии" / Круглый стол, приуроченный к трехлетию лаборатории, НИУ ВШЭ, (online), 16.04.2021;
  10. Золин Е.Е. "Модальные формулы Янкова – Файна и их применения" / Объединенный семинар "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ, МГУ, (online), 29.04.2021;
  11. Драгалина-Черная Е.Г. "Знание как: испытание логической акразией" / "uAnalytiCon-2021: Контекстуализм, знание и истина", Екатеринбург, Уральский федеральный университет, 14-15.05.2021;
  12.  Долгоруков В.В. "Имплицитное знание группы: трудности определения" / "uAnalytiCon-2021: Контекстуализм, знание и истина", Екатеринбург, Уральский федеральный университет, 14-15.05.2021;
  13.  Попова Е.Л. "Компатибилизм: понятие свободного действия в STIT-логике" / "uAnalytiCon-2021: Контекстуализм, знание и истина", Екатеринбург, Уральский федеральный университет, 14-15.05.2021;
  14. Зевахина Н.А. "Conditional Perfection in promises and threats" / "Scales, degrees and implicature: Novel synergies between semantics and pragmatics", Университет Потсдама, (online), 26-28.05.2021;
  15. Зевахина Н.А., Пригоркина В.А. "Deriving Conditional Perfection in Russian: the role of negation, clause order and face" / "Conference on Formal Description of Slavic Languages (FDSL-14)", Лейпцигский университет, (online), 02.06.2021; 
  16. Васюков В.Л., "Relativism in Formal Epistemology" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021; 
  17.  Дзардини Э., "The Final Cut" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021; 
  18.  Драгалина-Черная Е.Г., "Shaping Logical Space. A Wittgensteinian Stance" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021; 
  19.  Лисанюк Е.Н., "Ludwig Wittgenstein’s Deep Disagreement and Dispute Resolution in Argumentation Logic" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  20. Макеева Л.Б., "Probability and Logic in Wittgenstein's Logico-Philosophicus Tractatus" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  21. Мендес-Мартинес Х.Л., "Knowing through Hearing" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  22.  Павлова А.М., "Mezhirov’s Provability Game for Modal logic KD" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  23.  Попова Е.Л., "Evolutionary Epistemic Model" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  24. Федянин Д.Н., "The problem of elimination of own strategy for higher payoff" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  25.  Хайтович Д.Г., "Counterfactuals in Branching Time: An Overview" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  26. Шишов К.В., "Unsharp Quantum Measurements as a States of Knowledge: Epistemic Logic of Quantum Information" / "Formal Philosophy 2021", НИУ ВШЭ, online, 21-23.06.2021;
  27. Федянин Д.Н., "A network approach to finding optimal strategies in interrogative games of agent classification" / Пятнадцатая международная конференция "Теория игр и менеджмент" (GTM2021), СПбГУ, online, 25.06.2021;
  28. Драгалина-Черная Е.Г., Лисанюк Е.Н., "Логика дизайна и истинная индукция Фрэнсиса Бэкона" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  29.  Долгоруков В.В., "О трудностях определения потенциального знания группы" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  30. Боброва А.С., "Интерпретация базовых условных высказываний с позиции логики" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  31. Запрягаев А.А., "Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  32.  Хайтович Д.Г., "Эпистемическая STIT-логика без типов действий" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  33.  Попова Е.Л., "Знание и время: эволюционная эпистемическая модель" / Двенадцатые Смирновские чтения по логике, МГУ, online, 24-26.06.2021;
  34.  Долгоруков В.В., "Прагматика и абдукция" / "Критика социальных и гуманитарных наук", СПбГУ, 15.09.2021;
  35. Шишов К.В. "The logic induced by effect algebras with √" / "Мальцевские чтения", НГУ, 20-24.09.202
  36. Рыбаков В.В. "Multi-agent temporal and modal logics with dynamic accessibly relations" / "Мальцевские чтения", НГУ, 20-24.09.2021
  37.  Долгоруков В.В., Попова Е.Л. "Проблема нормативности в логике и теории игр" / "Актуальные проблемы аналитической философии 2021", ТГУ, 24.09.2021;
  38.  Шишов К.В. "Unsharp Quantum Measurements as a States of Knowledge: Epistemic Approach to Quantum Logic" / 34-й ежегодный международный симпозиум "LOGICA 2021", Academy of Sciences of the Czech Republic, 27.09.2021-01.10.2021;
  39.  Драгалина-Черная Е.Г. "Логика цветовых понятий Людвига Витгенштейна" / "Критика социальных и гуманитарных наук", СПбГУ, 29.09.2021;
  40.  Драгалина Черная Е.Г. "Что Черепаха не сказала (и не могла сказать) Витгенштейну" / "«Логико-философский трактат» Л. Витгенштейна в истории западной философии", ИФ РАН, 19.10.2021;
  41.  Фролов К.Г. "Является ли моральная аргументация wishful thinking?" / симпозиум "Моральные аргументы, метафизика и эпистемология", НИУ ВШЭ, 25.10.2021;
  42.  Долгоруков В.В. "Формальная эпистемология экспертного знания" / круглый стол "Эпистемология экспертного знания", НИУ ВШЭ, 27.10.2021;
  43.  Федянин Д.Н. "Проблемы выбора механизма агрегирования экспертных оценок" / круглый стол "Эпистемология экспертного знания", НИУ ВШЭ, 27.10.2021;
  44.  Кудряшова В.К. "Роль ценностей в экспертном знании: подход эпистемологии добродетелей" / круглый стол "Эпистемология экспертного знания", НИУ ВШЭ, 27.10.2021;
  45.  Васюков В.Л. "Перспективизм и постнеклассическая рациональность" / "Вторые Cтепинские чтения. Рациональность в цифровую эпоху", ИФ РАН, 10.11.2021;
  46.  Долгоруков В.В. "Крипке+ДеГроот: эпистемико-доксатическая модель социального влияния" / "MSU AI", МГУ, 29.11-03.12.2021;
  47.  Драгалина-Черная Е.Г. "Modus ponens: неприятности с естественными рассуждениями" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  48. Долгоруков В.В. "Имплицитное знание группы: синтаксические и семантические варианты определения" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  49.  Шишов К.В. "Проблема статуса логических и математических объектов в контексте метода идеальных элементов Д. Гильберта и языковых игр Л. Витгенштейна" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  50.  Соловей А.М. "Теория консеквенций Британской логической школы (14 век)" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  51.  Попова Е.Л. "Аспекты темпоральной делиберации для идеальных агентов и агентов с бюджетными ограничениями" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  52.  Максудова-Елисеева Г.В. "Норма в рассуждениях: между логикой, биологией и социальным конструктивизмом" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  53.  Фролов К.Г. "К вопросу об определении понятия действия" / "HOMO LOQUENS", БФУ, 09-11.12.2021;
  54.  Фролов К.Г. "Могут ли убеждения мотивировать?" / "Грязновские чтения-2021", МГУ, 16.12.2021;
  55.  Долгоруков В.В., Попова Е.Л. "Проблема нормативности в логике и теории игр: запрос на эпистемологию" / "MACSPro’2021", НИУ ВШЭ, 16-18.12.2021;
  56.  Федянин Д.Н. "О формальных моделях экономических размышлений в мультиагентных системах" / "MACSPro’2021", НИУ ВШЭ, 16-18.12.2021.

2020

 

  1. Зевахина Н. А. "Widening and exhausitifying alternative propositions in multiple wh-exclamatives" / Focus Alternatives: Theoretical and empirical perspectives (FATEP 2020), Берлинский университет им. Гумбольдта, Берлин, 27-28.02.2020;
  2. Родин А. В.  "Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью" /Онлайн-заседание теоретического семинара сектора аналитической антропологии Института философии РАН, 30.04.2020;
  3. Васюков В.Л. "Логика мутазилитов или как обойтись без закона тождества" / Онлайн-заседание московского семинара по логике Logic.RU, 02.05.2020; 
  4. Долгоруков В.В. "Динамические эпистемические модели для агентов с бюджетными ограничениями" / Онлайн-заседание московского семинара по логике Logic.RU, 30.05.2020; 
  5. Родин А.В. "Компьютерные доказательства и понимание в математике: случай унивалентных оснований" / Онлайн-заседание "Конструктивное знание – 12: формальные доказательства и человеческое понимание", 03.07.2020;
  6. Золин Е.Е., Шапировский И.Б., Кикоть С.П. "Modal logics with Transitive Closure: Completeness, Decidability, Filtration" / Advances in Modal Logic 2020 (online), 28.08.2020;
  7. Старикова И.В. "Diagrams in mathematical thought experiments" / The 9th  International Conference of the European Society for the History of Science "Visual, Material and Sensory Cultures of Science" (online), 02.09.2020;
  8. Зевахина Н.А. "More facts about syntactic amalgams: Evidence from Russian exclamatives" / The 2020 Slavic Linguistics Society Meeting, the 15th Annual Meeting of the Slavic Linguistics Society, SLS15 (online), 05.09.2020;
  9. Родин А.В. "Конструктивная формальная архитектура для научных теорий" / Всероссийский воркшоп «Актуальные проблемы логики и философии науки», Томский государственный университет, 13.10.2020;
  10. Зевахина Н.А., Пригоркина В.А. "Quantity inferences in conditionals: a pilot experimental study" / Одиннадцатая международная конференция по экспериментальной лингвистике ExLing2020 (online), 14.10.2020;
  11. Золин Е.Е. "Модальные логики с оператором транзитивного замыкания" / Ломоносовские чтения-2020 (online), 21.10.2020;
  12. Запрягаев А.А. "Арифметика Бюхи и теорема Кобхэма-Семёнова" / Научно-исследовательский семинар "Современные проблемы математической логики" Факультета математики НИУ ВШЭ (online), 6.11.2020;
  13. Васюков В.Л. "Постнеклассическая универсальная логика" / Логико-философский семинар имени В. Н. Брюшинкина в рамках Второй научной конференции "HOMO LOQUENS: логика – язык – культура", БФУ им. Канта, Калининград, 03.12.2020;
  14. Кирилова И.И. "Нормативность логики и вероятности в анализе обыденных условных рассуждений" / Логико-философский семинар имени В. Н. Брюшинкина в рамках Второй научной конференции "HOMO LOQUENS: логика – язык – культура", БФУ им. Канта, Калининград, 03.12.2020; 

 


2019

  1. Драгалина-Чёрная Е. Г. "Material Consequences vs. Formal Grounding" / Paris-Bochum-Moscow Workshop in Mathematical Philosophy , Париж, 13-14.12.2019;
  2. Копылова А. О. "W. Burley and W. Ockham on the notion of consequentia" / Paris-Bochum-Moscow Workshop in Mathematical Philosophy , Париж, 13-14.12.2019;
  3. Долгоруков В. В. "Entailment, Conversational Implicatures and Abductive Reasoning" / Paris-Bochum-Moscow Workshop in Mathematical Philosophy, Париж, 13-14.12.2019;
  4. Васюков В. Л. "

    On Potos (da Costa Topos)

    " / Creativity 2019, Первый международный конгресс Бразильской Академии философии в честь 90-летия Ньютона да Коста, Рио-де-Жанейро, Бразилия, 8-13.12.2019;
  5. Пиетаринен А. В. "Don't We Know What We Don't Know? Asserting Ignorance" / Семинар "Критика социальных и гуманитарных наук", Санкт-Петербург, 4.12.2019;
  6. Золин Е. Е. "Градуированная модальная логика: аксиоматика, разрешимость, определимость" / Объединенный семинар "Логические проблемы информатики" и "Модальная и алгебраическая логика", Москва, МГУ, 31.10.2019;
  7. Зевахина Н. А. "Cross-linguistic evidence for the three type of wh-exclamatives" / Воркшоп "Speech Acts in Grammar and Discourse: Syntactic and Semantic Modeling", Центр общего языкознания ( Zentrum fuer Allgemeine Sprachwissenschaft ), Берлин, 30.10-1.11.2019;
  8. Старикова И. В. "Beyond diagrams: mathematical thought experiments" / The Ockham Society, Oxford, UK, 18.10.2019
  9. Васюков В. Л. "Evgeny A. Sidorenko: Humean Semantics for Relevant Logic "/ Trends in Logic19, НИУ ВШЭ, 2-4.10.2019;
  10. Золин Е. Е. "Compactness and Saturatedness in Definability Theorems" / Trends in Logic19, НИУ ВШЭ, 2-4.10.2019;
  11. Родин А. В. "Knowledge Representation with HoTT" / Trends in Logic19, НИУ ВШЭ, 2-4.10.2019;
  12. Павлова А. М. " Giles's Game and Proof Theory for Abelian Logic " / Trends in Logic19, НИУ ВШЭ, 2-4.10.2019;
  13. Федянин Д. Н. "Solved Epistemic Planning Problem in Network Muddy Children Puzzle" / Trends in Logic19, НИУ ВШЭ, 2-4.10.2019;
  14. Пасальская Е. А. "Negative concord in Russian Sign Language (RSL)" / TISLR 13, Гамбург, Германия, 26-28.09.2019;
  15. Пасальская Е. А. "Negative concord in Russian Sign Language" / Sinn und Bedeutung, Оснабрюк, 4-6.09.2019;
  16. Старикова И. В. "Thought experiments” in mathematics?" / 16ый Международный конгресс по логике, методологии и философии науки и технологии, Прага, 5-10.08.2019;
  17. Родин А. В. "Formal proof-verification and mathematical intuition: The case of univalent foundations" / 16ый Международный конгресс по логике, методологии и философии науки и технологии, Прага, 5-10.08.2019;
  18. Копылова А. О. "The Role of Verificatur in W. Ockham, J. Buridan, and W. Chatton's Semantics" / International Medieval Congress 2019, Университет Лидса, 1-4.07.2019;
  19. Зевахина Н. А., Пасальская Е. А. "Redundancy of Number and the Subitizing Effect" / Summer neurolinguistic school-2019, НИУ ВШЭ, 1-3.07.2019;
  20. Максудова-Елисеева Г. В. "Different faces of logical aliens and normativity of logic" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  21. Федянин Д. Н. "Formal epistemic approach to Informational Bubbles" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  22. Драгалина-Чёрная Е. Г. "Consequences, Grounding, and Design in Logic" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  23. Васюков В. Л. "Formal Phenomenology of Situations" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  24. Дзардини Э. "Open Knowledge of One’s Inexact Knowledge" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  25. Мендес Мартинес Х.Л. "An Acoustic Mereo-Topology? TheSpatial and Logical Representation of Sound" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  26. Павлова А. М. "The Logical Diversity of Agents andIntuitionistic Epistemic Logic" / Формальная философия 2019, НИУ ВШЭ, 27-28.06.2019;
  27. Васюков В. Л. "Philosophy and logic: interdisciplinary approach" / 11 Смирновские чтения по логике, Москва, МГУ, 19-21.06.2019;
  28. Драгалина-Черная Е. Г. "Внутренние отношения в логическом пространстве Витгенштейна" / 11 Смирновские чтения по логике, Москва, МГУ, 19-21.06.2019;
  29. Золин Е. Е. "Соответствие на счетных структурах и запросы к теориям" / 11 Смирновские чтения по логике, Москва, МГУ, 19-21.06.2019;
  30. Федянин Д. Н. "Epistemic planning in network muddy children puzzle" / 11 Смирновские чтения по логике, Москва, МГУ, 19-21.06.2019;
  31. Павлова А. М. "Giles’s game for Ablelian logic A" / 11 Смирновские чтения по логике, Москва, МГУ, 19-21.06.2019;
  32. Зевахина Н. А., Пасальская Е. А. "Overspecification of number" / The 8th conference on experimental pragmatics, Эдинбург, 19-21.06.2019;
  33. Федянин Д. Н. "Конечный автомат для описания динамики множественных структур информированости в задачах управления" / конференция XIII Всероссийского совещания по проблемам управления (ВСПУ-2019), ИПУ РАН, 17-20.06.2019;
  34. Родин А. В. "Knowledge Representation with HoTT" / TYPES 2019, Осло, Центр перспективных исследований Норвежской академии наук, 11-14.06.2019;
  35. Родин А. В. "Проблема обоснования в представлении знаний" / Анализ формальных понятий в исследовании данных, Москва, НИУ ВШЭ, 7.06.2019;
  36. Драгалина-Черная Е. Г. "Является ли логика нормативной теорией правильных рассуждений?" / IX Международный конгресс по когнитивной лингвистике, Нижний Новгород, НИУ ВШЭ, 16-18.05.2019;
  37. Золин Е. Е. "Пропозициональная динамическая логика" / Объединенный семинар "Логические проблемы информатики" и "Модальная и алгебраическая логика", Москва, МГУ, 16.05.2019;
  38. Драгалина-Черная Е. Г. "Logical Hylomorphism, Internal Relations, and Analyticity" / Seminar Series in Analytic Philosophy, Лиссабон, 03.05.2019;
  39. Мендес Мартинес Х.Л. "Strawson on sounds, 65 years since the publication of Individuals" / X Международная конференция Школы философии НИУ ВШЭ "Способы мысли, пути говорения", Москва, НИУ ВШЭ, 25.04.2019;
  40. Смирнов М. А. "О концептуальной схеме "размещенных особенностей" / X Международная конференция Школы философии НИУ ВШЭ "Способы мысли, пути говорения", Москва, НИУ ВШЭ, 25.04.2019;
  41. Мишура А. С. "Аргумент Б. Страуда против трансцендентальных аргументов" / X Международная конференция Школы философии НИУ ВШЭ "Способы мысли, пути говорения", Москва, НИУ ВШЭ, 25.04.2019;
  42. Старосоцкая П. О. "Свобода воли и нейроэтика" / X Международная конференция Школы философии НИУ ВШЭ "Способы мысли, пути говорения", Москва, НИУ ВШЭ, 25.04.2019;
  43. Золин Е. Е. "Критерии аксиоматизируемости в модальной логике" / "Ломоносовские чтения-2019", Москва, МГУ, 24.04.2019;
  44. Денисенко А. М. "Graduale Entstehung der konstitutiven Regeln in der Sprechakttheorie" / V Международная научно-практическая конференция для студентов и аспирантов "Welt und Wissenschaft", Москва, НИУ ВШЭ, 19.04.2019;
  45. Мельников А. А. "Картезианская идея абсолютного всемогущества Бога: логико-философская рефлексия" / Международная научная конференция студентов, аспирантов и молодых учёных "Ломоносов-2019", Москва, 11.04.2019;
  46. Панюхина Д. М. "Гребцы Юма” и динамика Б.Скермса" / Международная научная конференция студентов, аспирантов и молодых учёных "Ломоносов-2019", Москва, 11.04.2019;
  47. Драгалина-Черная Е. Г. "The Variety of Logical Hylomorphism" (Plenary Paper) // Formal Methods and Science in Philosophy III, University of Zagreb and Cardinal Stefan Wyszynski University in Warsaw, Дубровник, Хорватия, 11-13.04.2019;
  48. Долгоруков В.В. "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" / Seminar Series in Analytic Philosophy, Лиссабон, 05.04.2019;
  49. Родин А. В. "Extra-logical proof-theoretic semantics in HoTT" / Third Tübingen Conference on Proof-Theoretic Semantics, Тюбинген, Германия, 27–30.03.2019;
  50. Федянин Д.Н. "Reflexive models and epistemic approach in social media marketing" / "Les 13es Journées Scientifiques de l’Université de Toulon", Тулон, Франция, 7-8.03.2019;
  51. Родин А.В., Ковалёв С.П. "Формальная эпистемология и компьютерное представление знаний" / "Конструктивное знание – 8: формальное представление математики", ИФ РАН, Москва, 27.02.2019;
  52. Федянин Д.Н. "Reflexive models and epistemic approach in social media marketing" / XX Апрельская конференция, НИУ ВШЭ, Москва, 9.02-12.02.2019;

 

2018
    1. Долгоруков В. В., “Онтологический квадрат и теоретико-типовая семантика” / Теоретический семинар “Формальная философия”, НИУ ВШЭ, 22.03.2018;
    2. Смирнов М. А., “Является ли “лингвистическое кантианство” кантианством?” / Международный молодежный научный форум «Ломоносов-2018», МГУ, 12.04.2018;
    3. Мишура А. С., “Онтогенетическая постановка проблемы свободы воли” / IX международная конференция “Способы мысли, пути говорения” (Москва), 30.04.2018;
    4. Старикова И.В. “A Story of One Image” / Masterclass in the Philosophy of Mathematical Practice with Prof. Dr. Karine Chemla, the Centre for Logic and Philosophy of Science at the Vrije Universiteit Brussel. Belgium, from May 17 -19, 2018. May,18, 2018;
    5. Старикова И.В. “Is there any logic of discovery in pictures: Where do scientific ideas come from?” / International Laboratory for Logic, Linguistics and Formal Philosophy HSE, 28.05.2018;
    6. Долгоруков В. В. “The Ontological Square and Modern Type Theories” / XIII Международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербургский государственный университет, Санкт-Петербург, 31.05.2018;
    7. Драгалина-Черная Е. Г. “Материальное следование и материальное обоснование в программе Больцано-Тарского” (пленарный доклад) / XIII Международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербургский государственный университет, Санкт-Петербург, 31.05.2018;
    8. Васюков В. Л. “Kantians Motives in Intuitionistic Logic” / XIII Международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербургский государственный университет, Санкт-Петербург, 31.05.2018;
    9. Родин А. В. “Univalent Foundations and the Constructive View of Theories” / XIII Международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербургский государственный университет, Санкт-Петербург, 31.05.2018;
    10. Кувшинская, Ю.М., Зевахина, Н.А., “Нестандартное употребление причастий в русской письменной речи: корпусное исследование” / Международная конференция русистов в Барселонском университете, Барселона, июнь 2018;
    11. Пасальская Елена,“SIGN-HUB and CNRS Summer School in Sign Language Linguistics” / Летняя школа,11-15.06.2018.
    12. Старикова И.В. “Visual images: a non-deductive rule in the logic of mathematical discovery” / The Sixth International Congress of Universal Logic, UNILOG 2018, Vichy, France, 21-26.06.2018;
    13. Родин А. В. “Knowing How without Anti-Intellectualism” / Университет Турку (Финляндия), 18.07.2018;
    14. Родин А. В. "Univalent Foundations and the Constructive View of Theories" / Воркшоп "Homotopy Type Theory/ Univalent Foundations"в рамках конференции "Federated Logic Conference 2018", Оксфорд, 7.08.2018;
    15. Мендес Мартинес Х.Л. "Impossible authorships? Or how could Pierre Menard be the author of The Quixote" / Issues on the (Im)Possible, Братислава, 2.08.2018;
    16. Макарович А.И., Зевахина Н.А., Кувшинская Ю.М. “Deviations in argument structures of Russian predicates: Corpus evidence” / The 51st Annual Meeting of the Societas Linguistica Europaea. Tallinn, September 2018;
    17. Пужаева С.Ю., Глазунов Е.В., Слюсарь Н.А., Зевахина Н.А. “Control violation in Russian converb”/ Syntax of the World’s Languages VIII. Paris, September 2018;
    18. Кувшинская Ю.М., Григорьева Н.А., Зевахина Н.А. “Нестандартные стратегии употребления возвратных глаголов: причины и языковые механизмы” / Международная научная конференция “Фортунатовские чтения в Карелии”, Петрозаводск, сентябрь 2018;
    19. Драгалина-Чёрная Е. Г. “Surprises in Logic: Dynamic Formality Meets Interactive Compositionality” / 41st International Wittgenstein Symposium 2018 “Philosophy of Logic and Mathematics”, Kirchberg am Wechsel, 5-11.08.2018;
    20. Васюков В. Л. “Living in the World of Post-Non-Classical Logic” / 41st International Wittgenstein Symposium 2018 “Philosophy of Logic and Mathematics”, Kirchberg am Wechsel, 5-11.08.2018;
    21. Гёртс Б. “Communication as Commitment Making” / The 2nd HSE Semantics & Pragmatics Workshop, 4-5.09.2018;
    22. Драгалина-Чёрная Е.Г. “Reddish Green, Analyticity, and Context-Dependence” / The 2nd HSE Semantics & Pragmatics Workshop, 4-5.09.2018;
    23. Былина Е.Г., Подобряев А.В. “Plurality in Buriat” / The 2nd HSE Semantics & Pragmatics Workshop, 4-5.09.2018;
    24. Попова Д.П. “Russian Diminutives and Augmentatives as Mixed Expressives” / The 2nd HSE Semantics & Pragmatics Workshop, 4-5.09.2018;
    25. Долгоруков В.В. Lying, Deceiving, and Misleading from an Epistemological Point of View / Университет Гронингена, 20.09.2018;
    26. Васюков В. Л. "Логика неклассической науки" /Первый конгресс русского общества истории и философии науки "История и философия науки в эпоху перемен", Москва, 14.09.2018;
    27. Максудова-Елисеева Г. В. "Между психологизмом и логицизмом: от Вильгельма Вундта к логическим исследованиям аутизма" / Первый конгресс русского общества истории и философии науки "История и философия науки в эпоху перемен", Москва, 14.09.2018;
    28. Пиетаринен А.-В. “Notational Ideal: Peircenstein” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    29. Васюков В.Л. “Negative Formal Ontology” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    30. Родин А.В. “Voevodsky's view on the (In)Consistency of Peano Arithmetic” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    31. Федянин Д.Н. “Review of Models of Interaction of Players who are Reasoning about Reasoning” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    32. Павлова А.М. “Giles’s Games: When Games Meet Proof Theory” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    33. Смирнов М.А. “The Most Radical Approach to the Logical Form of Event Sentences”/ Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    34. Долгоруков В.В. “An Epistemic Logic for Pragmatics” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    35. Копылова А.О. “Extensional and Intensional Interpretation of the Supposition Theory in the Logic of W. Ockham” / Международная конференция "Формальная философия", НИУ ВШЭ, Москва, 1-2.10.2018;
    36. Федянин Д. Н. “Big Epistemic Data for Social Consensus”/ Российско-Французский научный семинар "Большие данные и решения на их основе", Париж, 25-26.10.2018;
    37. Васюков В. Л. “Galen’s Ontological Square” / SQUARE 2018: 6th World Congress on the Square of Opposition, Православная академия Крита, Греция, 1-5.11.2018;
    38. Драгалина-Черная Е. Г. “Consequences, Grounding and Design in the Logic of Modernity” / The Conference “Logic and Metaphysics of the modern era / Logique et métaphysique aux temps modernes”, Свободный университет Брюсселя, Брюссель, Бельгия, 12-14.11.2018;
    39. Васюков В. Л. “Логический релятивизм и пост-неклассическая логика” / Конференция “Горизонты логического плюрализма”, НИУ ВШЭ, Москва, 24.11.2018;
    40. Родин А. В. ”E pluribus unum в логике и математике” / Конференция “Горизонты логического плюрализма”, НИУ ВШЭ, Москва, 24.11.2018;
    41. Максудова-Елисеева Г. В. " Are logical aliens among us?" / "Wittgenstein and Frege on psychologism: the centennial of the publication of Der Gedanke ", Краков, Польша, Педагогический университет Кракова, 23-24.11.2018;
    42. Федянин Д.Н. "Cascades in Social Network of Perfect Logicians: Epistemic Planning" / Университет Людвига-Максимилиана, Мюнхен, 13.12.2018;
    43. Пасальская Е. А. "Some aspects of sentential negation in Russian sign language" / Workshop “Negation across modalities”, Институт Жана Нико, 13.12.2018;
    44. Копылова А.О. "Possibilia and temporalia in W. Ockham: the possible role of "verificatur" / Международная конференция "Graduate workshop on Medieval philosophical logic", Кельнский университет, Германия, 18-19.12.2018.

     

    Нашли опечатку?
    Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
    Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.