Дэвид Юм, исследуя нормы нравственности, обнаружил, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен».
«Я заметил, что в каждой этической теории [...] автор в течение некоторого времени рассуждает обычным образом, устанавливает существование Бога или излагает свои наблюдения относительно дел человеческих; и вдруг я, к своему удивлению, нахожу, что вместо обычной связки, употребляемой в предложениях, а именно есть или не есть, не встречаю ни одного предложения, в котором не было бы в качестве связки должно или не должно.
Подмена эта происходит незаметно, но тем не менее, она в высшей степени важна. Раз это должно или не должно выражает некоторое новое отношение или утверждение, последнее необходимо принять во внимание и объяснить, и в то же время должно быть указано основание того, что кажется совсем непонятным, а именно того, каким образом это новое отношение может быть дедукцией из других, совершенно отличных от него [...]
Я уверен, что этот незначительный акт внимания опроверг бы обычные этические системы и показал бы нам, что различие порока и добродетели не основано исключительно на отношениях между объектами и не познается разумом».
Дэвид Юм, Трактат о человеческой природе / Сочинения в 2-х томах, Том 1, М., «Мысль», 1965 г., с. 618.