noun, the branch of philosophy concerned with analysing the patterns of reasoning by which a conclusion is properly drawn from a set of premises, without reference to meaning or context. See also formal logic, deduction, induction

From Collins

©HarperCollins 2008. Collins English Dictionary definition of logic