a system of prescribed rules for generating valid conclusions or predictions from initial axiomatic assumptions or knowledge. It is often contrasted with more intuitive forms of thought, such as common sense. See deductive reasoning; logic; symbolic logic.