Эпистемическая логика
    Блинов А.К.
    В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики - эпистемическая логика. Это направление современной неклассической логики было инициировано пионерской работой Я.Хинтикки "Знание и убеждение" (1962). Основная идея этой работы заключается в интерпретация понятий знания и убеждения как особого рода (эпистемических) модальных операторов, которые добавляются к языку обычной классической логики. Хинтикка, в частности, использует операторы К а (для знания) и В а (для убеждения), где выражения К ар и В ар обозначают утверждения "а знает, что р" и "а считает (полагает, убежден, думает), что р" соответственно. "Здесь а есть имя некоторого лица, личное местоимение или, возможно, конечное описание некоторого человека, а р есть независимое повествовательное предложение".[25] В дальнейшем изложении, чтобы избежать излишней технической детализации, мы будем использовать эпистемические операторы без явной ссылки на конкретного субъекта познания (т.е. индекс а будет опускаться); при этом всегда неявно подразумевается наличие некоторого фиксированного субъекта. Кр означает тогда "(некто) знает, что р" (или просто "р известно"), Вр - "(некто) полагает, что р". Иногда наряду с операторами знания и убеждения вводятся и другие аналогичные эпистемические операторы, например для "сомневается", "опровергает" и т.п.
    Аппарат эпистемической логики позволяет ставить и успешно решать задачи выявления формальных (логических) свойств операторов знания и убеждения (а значит и соответствующих понятий), формулировки аксиом, выражающих эти свойства, и установления взаимосвязи между данными операторами и понятиями. При этом активно задействуются результаты философского анализа понятий знания и убеждения. Начнем с оператора убеждения. Для этого оператора, дополнительно к аксиомам классической логики, можно принять следующие постулаты:
    В1. В(р (r) q ) (r) (Вр (r) Вq). (Каждый должен быть убежден в истинности всех следствий принимаемых им допущений.)
    B 2. Bp (r) ~ B ~ p . (Невозможно одновременно быть убежденным в истинности какого-нибудь высказывания и его отрицания - рациональный субъект не должен принимать противоречия.)
    B 3. Bp (r) BBp . (Если некто считает, что р, то он также убежден в том, что он так считает.)
    B 4. ~ Bp (r) B ~ Bp . (Если некто не считает, что р, то он должен быть убежден в том, что он так не считает.)
    Первые два постулата говорят о том, что мы имеем здесь дело не с дескриптивным, а с рационализированным понятием убеждения. Это понятие выражает не фактические убеждения того или иного конкретного субъекта в том или ином конкретном случае, а принципы, которым должны подчиняться рациональные убеждения вообще.[26] Последние два постулата выражают то обстоятельство, что мы не можем ошибаться касательно того, в чем мы убеждены, а в чем - нет. Субъект всегда имеет определенность относительно высказываний о собственных убеждениях.
    Перейдем теперь к оператору знания. Для этого оператора обычно принимаются следующие основополагающие постулаты:
    K1. Kp (r) p . (Если высказывание известно, то оно истинно; знание высказывания влечет за собой его истинность.)
    K 2. ............