This article presents a general logical-semantic model that allows the evaluation of the global consistency between ontological identities and statements in finite worlds of ind...