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

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

Оперирует понятиями «знает», «полагает».

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

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

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я