"The distinction between analytic and synthetic propositions was first introduced by Kant.While his original distinction was primarily drawn in terms of conceptual containment, the contemporary version of such distinction primarily involves, as American philosopher W. V. O. Quine put it, the notions of "true by virtue of meanings and independently of fact."