in Logic, is the assuming a thing as true, and drawing conclusions from it on this assumption, when it is either really false, or at least requires to be proved before any inference can be drawn from it.