The abstract, formal structure of argument as characterized in language, including truth and falsity, rules of inference, deduction, mathematical induction, quantification, negation, adjunction, conjunction, and implication