Abstract
SummaryThis paper firms up previous arguments for referential transparency in intensional constructions by providing conclusive proofs of this, both formal and informal. Centrally the paper uses epsilon terms to symbolise referring expressions, and so it obtains the rigid designators needed to allow the same object to be referred to in all worlds and minds. The details of several contrary ideas are examined to reinforce the claim that they are incorrect. But also certain world‐dependent or mind‐dependent objects are identified, using epsilon terms, to give an understanding of what might have caused the historical belief in referential opacity