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

Для этого оператора, дополнительно к аксиомам классической логики, можно принять следующие постулаты.При этом активно задействуются результаты философского анализа понятий знания и убеждения.Начнем с оператора убеждения.Субъект всегда имеет определенность относительно высказываний о собственных убеждениях.Перейдем теперь к оператору знания.Следующей важной задачей является установление взаимосвязи между операторами знания и убеждений.Определение 2. Кр U Вр U Jp U р.Такой анализ осуществляется в ходе доказательства новых теорем.Можно было бы рассмотреть возможность принятия этих формул в качестве дополнительных аксиом.Это, однако, требует предварительного содержательного оправдания данных принципов.