n. 1. the study of the rules of well-formedness of the expressions of formal calculi. 2. the set of rules, usually in the form of an algorithm, stated wholly in terms of structure and without regard to meaning or truth, that determines all and only the well-formed formulae of a formal calculus. Compare semantics.