When you state A(S) iff ~S, you are formally substituting S for ~A(S), but the meaning of “A(S) iff ~S” is “the set of truth-conditions for ~~A(S) is the same as the set of truth-conditions for ~S”. But this assumes that there exists a set of truth-conditions for ~S, which assumes that there exists a set of truth-conditions for S, i.e. that S is meaningful, by your definition.
When you state A(S) iff ~S, you are formally substituting S for ~A(S), but the meaning of “A(S) iff ~S” is “the set of truth-conditions for ~~A(S) is the same as the set of truth-conditions for ~S”. But this assumes that there exists a set of truth-conditions for ~S, which assumes that there exists a set of truth-conditions for S, i.e. that S is meaningful, by your definition.