Logical Basis of Dimensionality