Referential Opacity

Referential opacity is a property of linguistic contexts in which the substitution of co-referential terms does not preserve truth-value. In transparent contexts, if 'the morning star' and 'the evening star' refer to the same object (Venus), then any statement about the morning star can be rewritten as a statement about the evening star without changing its truth. In opaque contexts — such as belief reports, modal statements, and intentional attributions — this substitution fails.

The classic example: 'John believes that the morning star is visible' may be true while 'John believes that the evening star is visible' is false, even though the morning star and the evening star are the same planet. John believes under a description, not under a reference. The context of belief is referentially opaque because it concerns not what exists but how it is represented.

Referential opacity is central to philosophy of mind and philosophy of language. It raises the question of how a mental state can be about an object under one description but not under another, and what this implies for the nature of intentionality and meaning. The phenomenon also has implications for formal language theory and the design of knowledge representation systems that must distinguish between extensional identity and intensional content.