that branch of LOGIC which covers all cases of non-demonstrative argument; i.e. arguments not based on DEDUCTION.
