“Metalogic” is so-called because it is the discipline that studies logic itself. Logic proper is concerned with canons of valid inference, and its symbolic or formal version presents these canons using formal languages, such as those of propositional and predicate, first-order logic. Meta-logic investigates the properties of this language, and of the canons of correct inference that use them.