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

Authors Avatar

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

Join now!

         

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) ...

This is a preview of the whole essay