 Formal semantics, as Stalnaker sees it, can be conceived as the study of propositions within a possible worlds framework. Artificial languages are designed to fit the meanings they are to express, so the connection between language and proposition should not be a tricky issue. But with natural languages,