Presuppositions and Pronouns - Nijmegen Centre for Semantics

114 Presuppositions and Pronouns
So according to the satisfaction theory, what we accommodate is
information rather than objects or representations of objects. This difference
is not by itself decisive, however. The decisive difference lies in the way a link
is established between presupposed and accommodated information. In the
binding theory this connection is simple enough: it is the presupposition
itself that must be accommodated, which is natural because presuppositions
are viewed as objects. However, the satisfaction theory views a
presupposition not just as information but as information which is needed in
the local context in which the presupposition arises. The local context of a
presupposition X % is denoted by an expression of the form c[9 0, and if the global context c must be revised so as to let X % be defined in its
local context c[ cfcpjfq^]