Логика знаний

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Логика знаний, «эпистемическая логика» (от греч. επιστήμη — знание)— подвид модальной логики, имеющий дело с высказываниями о знании (его состоянии). С этой темой соприкасаются философия, теоретическая информатика, искусственный интеллект, экономика и лингвистика. Её отдельные аспекты обсуждали Аристотель, такие средневековые философы, как Оккам и Дунс Скотт. Первые систематические исследования темы, развитие символики провёл Кларенс И.Льюис в 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-0822942467
  • Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dynamic Epistemic Logic, Springer 2007 ISBN 978-1402058387
  • Meyer, J-J C., 2001, Epistemic Logic in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.