In philosophy, the ontological distinction between what is (facts) and what ought to be (values).
David Hume gave the distinction its classical formulation in his dictum that it is impossible to derive an "ought" from an "is." See also naturalistic fallacy .