Статья 527

Кроме того, в контекстах третьего лица глупым окажется скорее наблюдатель, неспособный понять наблюдаемого, чем человек, о знании которого идет речь.
Размышления над логическим всеведением привели к созданию систем, где различаются явное - и неявное знание. До сих пор речь шла только о явном знании субъекта. Наблюдатель вправе утверждать, что субъект нечто знает лишь после того, как последний проявит свое знание сообщит о нем. Подобным образом нельзя сказать, что он думает то-то и то-то, пока нет результата этого процесса, пока субъект не скажет, о чем он думает. Однако во многих случаях о людях судят по косвенным источникам также дополняют имеющиеся сведения игрой собственного воображения. Механизмы подразумеваемого и неявного знания являются неотъемлемой чертой коммуникационных процессов.
Для описания неявного знания можно использовать измененное правило если из выводимо, то, если субъект явно знает он неявно знает.