We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP. •(i) a set of features i) principles for assembling features into lexical Thus, UG might postulate that FL provides: •(iii) operations that apply successively to form syntactic objects of greater complexity; call them CHL, the computational system for human language Sémantique et Grammaire Générative
45
Embed
We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP. (i) a set of features (ii) principles for assembling.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP.
•(i) a set of features
•(ii) principles for assembling features into lexical items
Thus, UG might postulate that FL provides:
•(iii) operations that apply successively to form syntactic objects of greater complexity; call them CHL, the computational system for human language
Sémantique et Grammaire Générative
Which book do you think that Mary read?
Énumération: which, book, Mary, think, that, you, do
Dérivation
Forme « phonologique » Forme « logique »
/witbukdujuinkǽtmerired/ quel x, x = livre, tu penses que marie a lu x
Exemple
Irene Heim & Angelika Kratzer, Semantics in Generative Grammar
Associer des contreparties sémantiques non plus à des « règles » mais à des principes généraux tels que:
- merge
- move
Heim & Kratzer, 1998
exemple
Which book do you think that Mary read?
Forme « logique »
quel x, x = livre, tu penses que marie a lu x
exemple
Forme « logique »
a_lu: z. y. a_lu(y,z)
marie:D
penser:x. y. penser(y,x)
tu:D
livre:x.livre(x)
quel:?
Which x (x = book) do you think that Mary read x
exemple
Forme « logique »
[z. y. a_lu(y,z)](x) ->y.a_lu(y, x)
tu:D
quel:?
Which x (x = book) do you think that Mary read x
penser:x. y. penser(y,x)
livre:x.livre(x)
exemple
Forme « logique »
tu:D
quel:?
Which x (x = book) do you think that Mary read x
livre:x.livre(x)
penser:x. y. penser(y,x)
[y.a_lu(y, x)](Marie) ->a_lu(Marie, x)
exemple
Forme « logique »quel:?
Which x (x = book) do you think that Mary read x
a_lu(Marie, x)
penser:[x. y. penser(y,x)](a_lu(Marie, x) ->y. penser(y, a_lu(Marie, x))