![Page 1: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/1.jpg)
Problems of syntax-semanticsinterface
ESSLLI 02
Trento
![Page 2: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/2.jpg)
summary
• The need for lambda calculus• From Montague grammar to categorial
grammar• Lambek calculus• Curry-Howard isomorphism• Proof-nets• Extensions (and restrictions) of L• Extended proof-nets
![Page 3: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/3.jpg)
Jackendoff
• Where (narrow) syntax has structural relations such as head-to-complement, head-to-specifier, and head-to-adjunct, conceptual structure has structural relations such as predicate-to-argument, category-to-modifier, and quantifier-to-bound variable. Thus, although conceptual structure undoubtedly constitutes a syntax in the generic sense, its units are not NPs, VPs, etc. […] In particular, unlike syntactic and phonological structures, conceptual structures are purely relational, in the sense that linear order plays no role.
![Page 4: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/4.jpg)
recall:Montague grammars
• Truth-conditional approach:– sentence logical formula (true or false)– noun phrase term (constant, variable,
complex term)
• But what for other linguistic expressions?– verb open atomic formula?– but how to combine?
• kiss(x,y) composed with p and m gives:
kiss(p,m) or kiss(m,p)?
![Page 5: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/5.jpg)
fortunately : lambda calculus
• constants, variables : -terms
• If M and N are -terms, then (M N) [or M(N)] is a -term,(application)
• If M is a -term and if x is a variable, then x.M is a -term (abstraction)
• + -reduction : (x.M, N) M[N/x]
![Page 6: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/6.jpg)
• Goal : x (child(x) play(x))• Identical to :(P.[x (enfant(x) P(x))] u.play(u))• therefore :every child = P.[x (child(x) P(x))]• Identical to :(Q.P.[x (Q(x) P(x))] v.child(v))• therefore:every = Q.P.[x (Q(x) P(x))]
Example : how to extract the « meaning » of quantifiers?
![Page 7: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/7.jpg)
other quantifiers
• a, an = Q.P.[x (Q(x)P(x))]
• no = Q.P.[x (Q(x)P(x))]
![Page 8: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/8.jpg)
But we cannot apply anything to anything…
• x is a -term• (x x) is a -term x.(x x) is a -term • (x.(x x) x.(x x)) is a -term
• But• (x.(x x) x.(x x)) (x.(x x) x.(x x))• (no end to the reduction : the normalisation
process does not stop)
![Page 9: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/9.jpg)
• « Intransitive verbs » apply to nominal entities (and they give propositions)
• « Transitive verbs » apply to nominal entities (and they give intransitive verbs…)
• « Propositional verbs » apply to propositions (and they give propositions)
• « Adjectives » apply to nominal entities (and they give nominal entities)
![Page 10: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/10.jpg)
Typed -calculus
• Constants and variables of type a are -terms of type a
• if M is a -term of type <a, b> and N a -term of type a, then (M N) is a -term of type b
• If M is a -term of type b and if x is a variable of type a, then x. M is a -term of type <a, b>
![Page 11: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/11.jpg)
• In other words:
b
aba
ba
b
a
...
][
![Page 12: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/12.jpg)
Correspondance syntactic categories – semantic types
• sentences• VP, IV• NP, PN• TT• verbal adverbs VI/VI• CN (common noun)• sentential adverbs• preposition• propositional verb• intentional verb• article
• t• <e, t>• e ou bien <<e,t>, t>• <<<e,t>,t>,<e,t>>• <<e,t>, <e, t>>• <e, t>• <t, t>• <<<e,t>,t>, <<e,t>, <e, t>>>
• <t, <e, t>>• <<e,t>, <e, t>>• <<e, t>, <<e,t>, t>>
![Page 13: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/13.jpg)
syntax
• For each syntactic category A, the set PA of all expressions of category A contains at least the set BA of the « dictionary words » of category A,
• If PA and if PB, then, in some cases to enumerate, F(,) for some function F belongs to some set PC.
![Page 14: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/14.jpg)
Example of rule
• S2 : if PT/CN and if PCN, then, F2(,) PT, where F2(,) = *, where * = except if is equal to a and if the first word of begins by a vowel, in which case * = an
• Remark : T is the category of terms, example : a man, an aristocrat
![Page 15: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/15.jpg)
Example of rule
• S4 : if PT and if PVI, then F4(, ) Pt,
• where F4(, ) = *, where * is obtained from by replacing the first verb by its 3rd person singular form
• Example : = John, = walk,
• F4(, ) = John walks
![Page 16: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/16.jpg)
Montagovian analysis
• John seeks a unicorn• S1 : aT/CN, unicornCN
• S2 : F2(a, unicorn) = a unicorn T
• S1 : seek VI/T
• S5 : F5(seek, a unicorn) = seek a unicorn VI
• S1 : John T
• S4 : F4(John, seek a unicorn) = John seeks a unicorn t
![Page 17: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/17.jpg)
John seeks a unicorn
John seek a unicorn
a unicornseek
a unicorn
![Page 18: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/18.jpg)
Second analysis !
• John seeks a unicorn
• S1 : seek VI/T, he1 T
• S5 : F5(seek, he1) = seek him1 VI
• S4 : F4(John, seek him1) = John seeks him1 t
• S2 : F2(a, unicorn) = a unicorn T
• S14 : F14,1(a unicorn, John seeks him1) = John seeks a unicorn t
![Page 19: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/19.jpg)
John seeks a unicorn
John
John seeks him1
seek
a unicorn
a unicorn seek him1
him1
![Page 20: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/20.jpg)
remark
• In a « modern» grammar (cf. GPSG in the eighties), syntagmatic rules are put in correspondance with some semantic counterpart,
• In a « logical » grammar (eg. Lambek grammars), the correspondance automatically follows from a known isomorphism between logical derivations and -terms (Curry-Howard)
![Page 21: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/21.jpg)
Syntagmatic grammar
• S SN SV• SN Det N• SN Np• SV Vi• SV Vt SN• SV Vp que S• SV Vint SV
(S) = ((SN) (SV)) (SN) = ((Det) (N)) (SN) = (Np) (SV) = (Vi) (SV) = (SN) o (Vt) (SV) = ((Vp) (S)) (SV) = (SV)o(Vint)
![Page 22: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/22.jpg)
• Det chaque | tout• Det un • N enfant | ballon• Np stéphane• Vi joue• Vt cherche• Vp dit• Vint essaie
(tout) = Q.P.[x (Q(x) P(x))] (un) = Q.P.[x (Q(x)P(x))] (enfant) = x.enfant(x) (stéphane) = P.P(stéphane) (joue) = x.joue(x) (cherche) = x. y.cherche(x, y) (dit) = P. x. dit(x,P) (essaie) = x. P.essaie(x, P)
lexical rules
![Page 23: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/23.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
x. ballon(x)Q.P.x[Q(x)P(x)]
(Q.P.x[Q(x)P(x)] x. ballon(x))P.x[(x. ballon(x) x)P(x)] P.x[ballon(x)P(x)]
![Page 24: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/24.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
P.x[ballon(x)P(x)]
SV
Vt
x.y. chercher(x,y)
![Page 25: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/25.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
P.x[ballon(x)P(x)]
SV
Vt
x.y. chercher(x,y)
Composition : (x.f(x)) o (y.g(y)) = z. (x.f(x), (y.g(y), z))
z. (P.x[ballon(x)P(x)],(x.y. chercher(x,y)z)) z. (P.x[ballon(x)P(x)], y. chercher(z,y)) z. x[ballon(x) (y. chercher(z,y), x)], z. x[ballon(x) chercher(z,x)]
![Page 26: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/26.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
P.x[ballon(x)P(x)]
SV
Vt
x.y. chercher(x,y)
z. x[ballon(x) chercher(z,x)]
S
SN
NpStéphaneP. P(stéphane)
![Page 27: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/27.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
P.x[ballon(x)P(x)]
SV
Vt
x.y. chercher(x,y)
z. x[ballon(x) chercher(z,x)]
S
SN
NpStéphaneP. P(stéphane)
(P. P(stéphane) z. x[ballon(x) chercher(z,x)])(z. x[ballon(x) chercher(z,x)] stéphane) x[ballon(x) chercher(stéphane,x)]
![Page 28: Problems of syntax-semantics interface ESSLLI 02 Trento](https://reader031.vdocuments.us/reader031/viewer/2022020105/55155bbf55034691418b48c8/html5/thumbnails/28.jpg)
Example : stéphane cherche un ballon
SN
Det N
un ballon
P.x[ballon(x)P(x)]
SV
Vt
x.y. chercher(x,y)
z. x[ballon(x) chercher(z,x)]
S
SN
NpStéphaneP. P(stéphane)
x[ballon(x) chercher(stéphane,x)]