In the same way, the laws of logic are descriptive. No one made them up or wrote them in a handbook somewhere for them to exist. They were simply observed as always being true (rocks are always rocks because if a rock were anything else, it would cease to be a rock).

