Quote Imperatives - Nijmegen Centre for Semantics

4 Interjection4.1 ShanShan (2007) on interjections(18) The politician admitted how she “lied [her] way into [her job]”• idea:Details– lied . . . way into . . . is a binary construction– form: A ∗ × A ∗ → A ∗– interpretation: D (et)e × D e → D t– typed, interpretable ⇒ mixed quotable– . . . how she “lied . . . way into . . . ”(her,her job)• ruf. . . an is primitive construction• ruf . . . Vater an obtained by lambda abstraction• add variables to G:– for every τ: 〈x, X, τ〉 is a variable in G• add lambda abstraction:〈λxσ, λXϕ, τ 1 τ 2 〉λ〈x, X, τ 1 〉 〈σ, ϕ, τ 2 〉• formal function application instead of concatenation if one of the argumentsis a construction (γ): 4〈γ(σ), ϕ 1 (ϕ 2 ), τ 1 〉〈γ, ϕ 1 , τ 2 τ 1 〉 〈σ, ϕ 2 , τ 2 〉• special case: infix brackets notation〈“ ∩ γ([ ∩ σ ∩ ]) ∩ ”, ϕ 1 (ϕ 2 ), τ 1 〉〈“ ∩ γ ∩ ”, ϕ 1 , τ 2 τ 1 〉 〈σ, ϕ 2 , τ 2 〉4 We can also define concatenation as a special case of function application, more inthe spirit of Shan (2007)11