In his Critique of Pure Reason , Immanuel Kant defines a synthetic judgments as one in which the predicate “B lies outside of the concept A, though connected with it,” as opposed to analytic ones in which “the predicate B belongs to the subject A as something which is (covertly) contained...