That's certainly part of it. But part of it is we're not really terribly good at talking about the universe even with classical intuition. That said, model-the

That's certainly part of it. But part of it is we're not really terribly good at talking about the universe even with classical intuition. That said, model-theoretic semantics go back to, at least, William of Ockham, who developed a formalized subset of Latin (which kind of reminds me of the Google C++ style guide in a way). We're clearly not utterly incompetent in this space, but it helps to stand on the shoulders of the giants to see clearly.