|Interpretation: A) making statements about other statements, whereby the new statements of the vocabulary make use of the original statements and possibly introduce new vocabulary. If no new vocabulary is introduced, new information can be obtained by changing the syntactic elements.|
B) In logic, the insertion of values (objects) instead of the constants or free variables.
Books on Amazon
Interpretation / logic / GeachVsLewis / VsLangford: we do not get "any things" when we allow moves instead of truth - e.g. here: Inheritance of lawfulness requires something like "sire" or "mother animal".
Logic Matters Oxford 1972