analytic/synthetic

a distinction drawn from the work of Immanuel Kant: an analytic statement is one true by definition - 'all bachelors are unmarried' - whereas the truth of a synthetic statement requires confirmation by empirical fact - 'grass is green'.