Это утверждение о том, что из сущего не выводится должное. Нельзя из того, что есть, логически вывести то, что должно быть. Попытки сделать это очень широко распространены и неизменно ошибочны. Собственно, вся аргументация к большинству - "мы считаем, что так правильно и поэтому так правильно" или к текущему положению дел "так есть и поэтому так и должно быть" - ошибочны, их отсекает Гильотина Юма.