Статья 508

Стратегически исходными стали следующие идеи.

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

Существенно то, что оно релятивизированно не только относительно субъекта, но и ситуации возможного мира, в которой находится субъект, относительно некоторого элемента множества.

Соотнесение подмножества с субъектом и миром означает введение бинарного отношения, определенного. Миры представляют собой миры, с которыми находится в отношении.
Возможные миры из выделенного подмножества могут оказаться неразличимыми для субъекта по каким-либо параметрам.