Статья 513

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