  “The King of France in 1700” denotes an object, Louis XIV, who does not exist, but did. “The present King of France” does not denote at all. To handle such things, the representation of an intension can be generalized from being a total function from states to objects, to being a partial function. We routinely talk about non-existent objects—we have no problem talking about the King of France in 1700. But there is nothing to be said about the present King of France—there is no such thing. This will be our guide for truth conditions in our semantics.