Статья 519

Формула истинна в модели, если она истинна в ней для каждого при любом.
Доказано, что системы непротиворечивы, полны и разрешимы.
Знание как обоснованное мнение. Неявное знание.
Рассмотрим оператор знания в третьем лице единственном числе, что соответствует прочтению как он знает, что. Схема покажется слишком сильной не всегда человек может знать основания своего знания, так как рефлексия предполагает знание методологии, познания более высокого уровня специальные знания. Вообще говоря, выражение знает, что знает имеет много смыслов. В частности, может интерпретироваться и как осознание своего знания и как знание оснований. Если в автоэпистемической логике оба глагола знает в данном выражении еще можно определить как однопорядковые субъект как бы просматривает одно состояние своего знания из другого, то в общем случае они оказываются разнопорядковыми.