 Classical Semantics claims that the language of mathematics functions semantically much like language in general functions (or at least has traditionally been assumed to function): the semantic functions of singular terms and quantifiers are to refer to objects and to range over objects, respectively. This is a broadly empirical claim about the workings of a semi-formal language used by the community of professional mathematicians. (In the widely adopted terminology of Burgess &amp; Rosen 1997, pp. 6–7, Classical Semantics is a hermeneutic claim; that is, it is a descriptive claim about how a certain language is actually used, not a normative claim about how this language ought to be used.) Note also that Classical Semantics is compatible with most traditional views on semantics; in particular, it is compatible with all the standard views on the meanings of sentences, namely that they are truth-values, propositions, or sets of possible worlds.