Современная аналитическая философия может применять семантику возможных миров для анализа философских проблем. В диссертации определяется онтологический базис для семантики возможных миров так, чтобы она была в полной мере применима к анализу проблем философия сознания, включая проблему тождества сознания и тела. Проводится анализ объектного и релятивного способов определения онтологии для семантики возможных миров для объектов и функций, при этом рассматривается возможность определения объектного способа как частного случая релятивного. Отношение достижимости в качестве способа задания «релятивных» переходов между возможными мирами является ключевым для релятивного подхода к онтологии семантики возможных миров. В диссертации сформулирована логическая система на основе допущения неполного сопоставления индивидных областей для отношения достижимости. / Modern analytic philosophy can apply the possible-worlds semantics for the analysis of philosophical problems. The dissertation determines ontological basis for the possible-worlds semantics, so that it is fully applicable to the analysis of problems of the philosophy of consciousness, including the issue of the identity of consciousness and body. The analysis of relational and object methods for determining the ontology of possible-worlds semantics for objects and functions takes place, while the possibility consideres of determining the object method as a special case of relative method. The attitude of the reachability as a means of model of «relative» transitions between the possible worlds is the key to relational approach to the ontology of possible-worlds semantics. The dissertation formulates the logical system based on the assumption of incomplete comparison individual areas for the attitude of the reachability.