Published online by Cambridge University Press: 14 March 2022
A new semantical antinomy, the antinomy of designation, is introduced into a metalanguage M with respect to a modal object language L. Carnap's device of restricting the principle of interchangeability for L does not suffice to prevent occurrence of this new antinomy. To achieve this result it seems most natural to replace the rules of designation for L by more complicated rules. This replacement suffices to prevent occurrence of the antinomy with respect to L. Moreover, it seems likely that analogous replacement will suffice to prevent occurrence of the antinomy with respect to languages which in means of expression are richer than L.
I am indebted to Professor Rudolf Carnap for reading an earlier draft of this paper and for suggesting improvements in its formulation.