Abstract

Formalized physical theories are not, as a rule, stated in intensional languages. Yet in talking about them we often treat them as if they were. We say for instance: 'Consider what would happen if instead of p's being true q were. In such a case r would be likely.' If we say this sort of thing, p, q and r appear to stand for the meanings of sentences of the theory, but meanings in some intensional sense. Now it is very easy to extend the syntax of the formal theory by adding all sorts of intensional operators, e.g. a modal operator; and it is possible to extend the semantics by adding a set of possible worlds and evaluating the modal formulae in the usual way. But this procedure is open to the criticism that we are extending the theory by adding something which is not already there. In particular the criticism will be that the possible worlds required by the semantics seem to have no connection with the intended interpretations of the original physical theory. The aim of this paper is to shew how a set of possible worlds is already implicit in the intended interpretations of a formally presented physical theory and that these interpretations induce, in a comparatively direct way, an intensional semantics which corresponds to the original one.