Take (φ). φ!x. Then if we describe the kind of symbols, for which φ! stands and which, by the above, is enough to determine the type, then automatically “(φ). φ! x” cannot be fitted by this description, because it containsφ!x” and the description is to describe all that symbolises in symbols of the φ! kind. If the description is thus complete vicious circles can just as little occur as for instance (φ). (X)φ (where (X)φ is a subject-predicate proposition).


1