Therefore classifying [There is something] as logically true or logically false contradicts the established facts about that proposition

In proceeding this way, however, we would have to face serious problems concerning purely logical propositions, i.e., propositions all of whose parts are purely logical ideas. Due to our requirement (v) above concerning Bolzano’s replacement operation, neither an \(i\)-variant in general nor an \(i^s\)-variant in particular is defined for a purely logical proposition, since it does not contain any extra-logical idea. In consequence the preceding definitions of logical truth, logical falsity and