«Теория игр и эпистемическая логика»

Научно-учебная группа «Формальная философия» организует серию семинаров « Теория игр и эпистемическая логика ».

Серия семинаров будет состоять из двух частей: вводная часть будет посвящена основам формального аппарата теории игр и эпистемической логики, а во второй части будут обсуждаться следующие темы:

• основы эпистемической теории игр;
• приложения теории игр и эпистемической логики для решения классических логических задач («самая сложная задача» Булоса, задача о стражниках и др.) и парадоксов (парадокс Монти Холла, парадокс неожиданной казни, парадокс спящей красавицы и др.);
• логическая прагматика (формальные модели лжи и обмана, модели социального влияния).

Семинары открыты для всех желающих, для участия требуется лишь минимальное знакомство с логикой (на уровне знакомства с логикой высказываний).

Семинары будут проходить по средам в 16.40 (Школа философии НИУ ВШЭ, ул. Старая Басманная, 21/4). 

Примерный план на весенний семестр 2017:

• 10/05, В.В. Долгоруков, Обратная индукция и «сороконожка»
• 17/05, М.А.Гладышев, Основные понятия динамической эпистемической логики
• 24/05, В.В. Долгоруков, Эпистемические модели игр и эпистемические свойства решений
• 31/05, А.П.Буянова, Эпистемическое решение проблемы демаркации лжи, обмана и введения в заблуждение
• 07/06,М.А.Гладышев, Формальные модели лжи и обмана–1
• 14/06, М.А.Гладышев, Формальные модели лжи и обмана–2
• 21/06, В.В. Долгоруков, Задачи о Рыцарях и Лжецах в динамической эпистемической логике

Регистрация (если Вам нужен пропуск в Вышку)

Литература:

• Brams S. Game Theory and the Humanities: Bridging Two Worlds. Cambridge MA: MIT Press, 2011.
• de Bruin B. Game Theory in Philosophy // Topoi. 2005. Vol. 24, № 2. P. 197–208.
• de Bruin B. Explaining Games: The Epistemic Programme in Game Theory. Dordrecht: Springer, 2012.
• de Bruin B. Overmathematisation in game theory: pitting the Nash Equilibrium Refinement Programme against the Epistemic Programme // Studies in History and Philosophy of Science. 2009. Vol. 40, № 3. P. 290–300.
• Gintis H. The bounds of reason : game theory and the unification of the behavioural sciences. Princeton University Press, 2009. 304 p.
• Jäger G. Applications of Game Theory in Linguistics // Language and Linguistics Compass. 2008. Vol. 2, № 3. P. 406–421.
• Maschler M., Solan E., Zamir S. Game Theory. Cambridge: Cambridge University Press, 2013. 1006 p.
• Perea A. Epistemic Game Theory: Reasoning and Choice. Cambridge: Cambridge University Press, 2012. 580 p.
• Shoham Y., Leyton-Brown K. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge: Cambridge University Press, 2008. 504 p.
• Skyrms B. Signals: Evolution, Learning, and Information. Oxford; N.Y.: Oxford University Press, 2010.
• van Ditmarsch H.P., Kooi B.P. The secret of my success // Synthese. 2006. Vol. 151, № 2. P. 201–232.
• Gerbrandy J. The Surprise Examination in Dynamic Epistemic Logic // Synthese. 2007. Vol. 155, № 1. P. 21–33.
• Kooi B.P. Probabilistic Dynamic Epistemic Logic // Journal of Logic, Language and Information. 2003. Vol. 12, № 4. P. 381–408.
• Christoff Z. Dynamic Logics of Networks. Universiteit van Amsterdam.
• Girard P., Roy O., Marion M. Dynamic Formal Epistemology. Dordrecht, 2011.
• van Ditmarsch H.P., Labuschagne W. My beliefs about your beliefs: A case study in theory of mind and epistemic logic // Synthese. 2007. Vol. 155, № 2. P. 191–209.
• Liu F. Diversity of agents and their interaction // Journal of Logic, Language and Information. 2009. Vol. 18, № 1. P. 23-53.
• Liu F., Wang Y. Reasoning About Agent Types and the Hardest Logic Puzzle Ever // Minds and Machines. 2013. Vol. 23, № 1. P. 123–161.
• Ghosh S., Meijering B., Verbrugge R. Strategic Reasoning: Building Cognitive Models from Logical Formulas // Journal of Logic, Language and Information. 2014. Vol. 23, № 1. P. 1–29.