David Corfield hyperintensionality

“Jane runs” appears on its own in an extensional position (as a whole sentence), in “Necessarily Jane runs” in an intensional position, and “John believes that Jane runs” in a hyperintensional position. (Nolan, Hyperintensional Metaphysics)

Two-dimensional semantics

Seems that we need a type of Individuals, $I$, for the indexical utterings, and a type of Worlds, $W$, for variation. Or we might have a temporal logic.

But why not have $W$ depending on $I$, so that what’s necessary for one speaker is in terms of their worlds: $i: I \vdash W(i): World$. Maybe this arises with the theories as contexts idea. Then possible worlds are context extensions. Contexts indexed by $i:I$. There should be ways to translate between theories. Find a span,etc.

‘I have always X-ed’, uttered by $a: I$ at $t: T$, has this dependent time in the sense that the start of the interval is i-dependent (or is it, from the start of the world,…?).