ヒュームの法則
「~である」(is)という命題からは推論によって「~すべき」(ought)という命題は導き出せないという原理。