logic

n. 1. Any mode of analysis that follows an acceptable mode of making inferences from given data. 2. The branch of philosophy and mathematics that is concerned with forms of inference that lead to valid conclusions from accepted premises. 3. The creation of symbolic languages with rules for deduction and inference specified as part of the symbol system, often called symbolic logic.