I suppose that the definition of state as "a way that a system can be" isn't very clear to me. According to the wikipedia article you linked, it seems like a state space is defined to be the image of some function. But as no function or even codomain is ever mentioned, the wiki effectively defines a state space to be a set. Since a set can contain propositions, why can a state not be a proposition? Maybe I'm being confused by the real world examples, but why is "has more water than can fit in my mug" not a way the ocean can be?