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