Presuppositions and Pronouns - Nijmegen Centre for Semantics

Attitude reports 159
5.5 Presuppositions in and of belief reports
Although I have shown how belief reports can be represented in DRT, I have
said nothing yet about the mechanisms that produce these representations.
These mechanisms are the subject of the present section and the next one. I
have proposed that the semantic representation of a sentence of the form 'a
believes that S' involves the following ingredients:
• a reference marker u which represents a;
• two propositional prepositional reference markers p and q; q\
• conditions of the form 'u '« believes p' /' and 'u believes q' q 1 which express
that/ p and q represent a's doxastic context;
• and, finally, a condition of the form 'q "q = p+