“Logic may be conceived as ruling out what is absolutely impossible, and thus determining the field of what in the absence of empirical knowledge is abstractly possible.”