λƒ〈e,t〉.λg : g ∈ D〈e,t〉 & ∃!x (ƒ(x) = 1 & g(x) = 1). ιx (ƒ(x) = 1 & g(x) = 1)
≡ λf λg ιx[ƒ(x) & g(x)]
DP and CP connect grammar to discourse
Predication: VP → NP
(functors: classes)
Temporal context: TP → ??
Discourse (context): CP → DP
(proposition) (reference) = extensions
(communication: assertion)
(epistemic states of the participants in the discourse)
Keine Kommentare:
Kommentar veröffentlichen