Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход

В статье проведен обзор эпистемических модальных логик, формализующих рассуждения о знаниях. Особое внимание уделено связанной с ними так называемой проблеме логического всеведения и попыткам ее преодоления в рамках модального подхода. Анализ показал, что по способу решения данной проблемы эти попытки образуют два направления. Одно из них основано на искусственном ослаблении дедуктивных возможностей агента, другое направление имеет в своей основе введение в логический язык специальных модальных операторов, трактуемых как “ментальные усилия”, необходимые для получения какого-либо знания, выраженного в виде логических формул.