Эпистемическая логика

Эпистемическая логика (от греч. επιστήμη — знание; также логика знаний) — подвид модальной логики, имеющий дело с высказываниями о состоянии познания. Оперирует понятиями «знает», «полагает».

Отдельные аспекты эпистемической логики обсуждали Аристотель, некоторые средневековые философы, в том числе Оккам и Дунс Скотт. Первые систематические исследования темы провёл Кларенс Льюис^[en] в 1912 году, он же ввёл символику; современную форму направлению придали Сол Крипке (1963), Георг Хенрик фон Вригт, Яакко Хинтикка (1962).

Логику знаний к экономике применил Роберт Ауман (Нобелевская премия по экономике 2005 года).

Литература[править | править код]

• Hintikka, Ja. «Knowledge and Belief: An Introduction to the Logic of the Two Notions» Cornell, University Press, 1962.
• R.Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi. «Reasoning about Knowledge», The MIT Press, 1995. ISBN 0-262-56200-6.
• Rescher, N. Epistemic Logic: A Survey Of the Logic Of Knowledge University of Pittsburgh Press, 2005. ISBN 978-0-8229-4246-7.
• Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dynamic Epistemic Logic, Springer 2007 ISBN 978-1-4020-5838-7.
• Meyer, J.-J. C., 2001, Epistemic Logic in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.

Для улучшения этой статьи желательно: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Проставить сноски, внести более точные указания на источники. Оформить список литературы. После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.