Динамика знаний и убеждений

(1) Множество убеждений субъекта должно быть непротиворечивым.(2) Субъект обязан принимать все логические следствия принимаемых им убеждений.Убеждения, удовлетворяющие данным требованиям, считаются рациональными.(2 ’ ) Множество убеждений субъекта должно быть замкнуто по отношению логического следования.[38] Ср. послулаты В1 и В2 для оператора убеждения в § 9.3.Readings in Contemporary Epistemology, Oxford University Press, 2000.[39] Эти требования являются, впрочем, довольно сильными идеализациями.Скорее, это требование отражает эпистемические обязательства рационального субъекта.(c) Cn (X) = Cn (Cn (X)) .Определение 2.К * А = (К ? ~ А ) + А.