Эпистемическая логика
Перейти к навигации
Перейти к поиску
Эпистемическая логика (от греч. επιστήμη — знание; также логика знаний) — подвид модальной логики, имеющий дело с высказываниями о состоянии познания. Оперирует понятиями «знает», «полагает».
Отдельные аспекты эпистемической логики обсуждали Аристотель, некоторые средневековые философы, в том числе Оккам и Дунс Скотт. Первые систематические исследования темы провёл Кларенс Льюис[англ.] в 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.
Для улучшения этой статьи желательно:
|