# Within the framework of Montague semantics - draw an analysis tree showing the syntactic derivation

## Within the framework of Montague semantics - draw an analysis tree showing the syntactic derivation

Within the framework of Montague semantics:

(a) Draw an analysis tree showing the syntactic derivation of the following English sentence (on the reading that the pronoun he is bound by every man)

Every man asserts that he likes Mary

every man asserts that he likes Mary

t, 10, 0

every man he0 asserts that he0 likes Mary

t/(t/e), 2 t, 4

he0 asserts that he0 likes Mary

t/(t/e) (t/e), 6

assert that he0 likes Mary

(t/e)/t t, 4

he0 like Mary

t/(t/e) t/e, 5

like Mary

(t/e)/(t/(t/e)) t/(t/e)

Every man can be analysed further:

every man

t/(t/e), 6

every man

(t/(t/e))/(t//e) t//e

(b) Translate the sentence in (a) into an expression of intensional logic, and show that the translation algorithm for mapping categories of English into types of intensional logic has been adhered to.

every man = P "x [man'(x) (r) P(x)]

he0 asserts that he0 likes Mary = PP{x0} (_assert-that' (_PP{x0} (_like' (_m*))))

Substitute every man into he0:

P "x [man'(x) ...