n. 1. the study of formal systems. 2. also called symbolic logic. the study of deductive argument and of the structure and relations of statements, in which the terms of a formal calculus are used to represent precisely defined categories of expressions. Compare philosophical logic. 3. any specific formal calculus that can be interpreted as representing natural argument or some species of it.