Handout for a talk delivered at `Sinn und Bedeutung - 1. Jahrestagung
der
Gesellschaft für Semantik' in Tübingen (December 19.-
21.). The handout outlines a formalization of the syntax of Montague's
intensional logic in a typed feature logic. This leads to the integration
of a PTQ-like semantics with an HPSG account for the syntax of German.
The present approach is shortly compared with the LF approach taken by
semanticists working in the tradition of GB theory. We conclude
that the status of the semantic representation language in our proposal
is different from that in Montague's original PTQ fragment and the
one seen in some current LF approaches.
15 pages.
Electronically available file formats: