Quote Imperatives - Nijmegen Centre for Semantics

Xexpress(x, 〈come! . . .〉, X)• type of X?• propositional analysis of imperatives ⇒ 〈come!, . . . , t〉 ⇒ 〈“come!”, . . . , t〉and X is type tImperatives as modals• idea: come! ≈ you must come• 〈come!, IMP(come(j)), t〉〈!, IMP, tt〉〈∅, j, e〉〈come, come, et〉• semantics:– j c := addressee c– IMPϕ c := the proposition that in all worlds compatible withspeaker c ’s demands ϕ c is true– refinement: IMP comes with presuppositions to enforce performativity(cf. Schwager (2005), but ignore for now)∗ speaker c is an authority wrt ϕ∗ speaker c is does not already know that ϕ∗ . . .3.2 Mixed quoting imperativesCombining mixed quotes and propositional imperatives(17) Taro said “come!” to his house9