Tensions in Practice: Extensional economy in tension with preserving reported belief content¶
Two names for one beacon and a report about Lena
Dawn and Dusk name the same beacon, and the beacon is lit. Either name can replace the other in that physical statement. We are also given that Lena believes Dawn is lit, but nothing establishes that she recognizes the alias Dusk. A model concerned only with the beacon can refuse belief questions. A model that handles such reports must keep track of how the object is presented inside the report.
Use one object identity
Merge co-referring names for ordinary statements about the beacon.
Preserve the content of a belief report
Avoid importing an alias equivalence into a person’s reported belief without support.
Why these aims pull against each other
A shared referent supports substitution in an ordinary object statement. It does not by itself license substituting names inside an attributed belief. Supporting those reports requires a richer contextual account.
Choose an arrangement to see what changes and what remains difficult.
Rows beginning “Lena:” abbreviate “Lena believes that …”. Both names designate the same beacon. Not established is a limit on inference, not a claim that the belief is absent.
What this choice protects
What it costs
When it fits
Compare the arrangements
Answer object questions only
Resolve Dawn and Dusk to the same lit beacon. Declare attributed-belief queries outside this model’s contract.
| Licensed result | |
|---|---|
| Dawn is lit | Yes |
| Dusk is lit | Yes |
| Lena: Dawn lit | Out of scope |
| Lena: Dusk lit | Out of scope |
- What it protects
- One object record answers both ordinary lighting questions without duplicating the beacon.
- What it costs
- The model cannot answer either belief question, even when one report was supplied elsewhere.
- When it fits
- Fits an inventory or physical-state view that makes no claims about what anyone believes.
Illustration note: Out of scope is an honest refusal, not the assertion that Lena lacks either belief.
Track reported presentation
Retain the given Dawn-form belief report and distinguish it from an unsupported Dusk-form report. Ordinary beacon facts still share one referent.
| Licensed result | |
|---|---|
| Dawn is lit | Yes |
| Dusk is lit | Yes |
| Lena: Dawn lit | Given |
| Lena: Dusk lit | Not established |
- What it protects
- The supplied belief can be represented without inferring the unestablished alias-form belief.
- What it costs
- The account must represent report context and modes of presentation, beyond a single object identifier.
- When it fits
- Fits a semantic task that must reason about the content of attributed beliefs.
Illustration note: This illustrates the Fregean source’s opacity issue. It does not settle every theory of belief reports or infer that the unestablished belief is false.
What this illustration does—and does not—establish
The source supplies the structural tension. This bounded example makes a particular relation inspectable; the aims, conditions and residual costs are part of the comparison.
- The aliases, beacon and report are invented premises; Lena’s recognition of the identity is deliberately unspecified.
- The source distinguishes a mode of presentation from a private mental image. This toy does not supply a general algorithm for individuating senses.
- The two contracts differ in question scope. The object-only contract does not perform a knowingly invalid belief substitution.
Source entries
Sense and Reference
The canonical tension motivates this comparison. The setting and arrangements are declared editorial illustrations, not observed findings.
Compositionality versus opacity
Ordinary reference composition supports substitution; belief and indirect discourse trigger level shifts. The framework protects cognitive content at the cost of more elaborate contextual semantics.
The source operation
This reference shift explains why substitution of co-referring names can preserve truth in an ordinary extensional sentence but fail inside a belief report.