- symbolic logic, mathematical logic, formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
--1 is a kind of logic, logical system, system of logic
--1 has particulars:Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic