A Tale of Recursion A very preliminary version

A Tale of Recursion (A very preliminary version) ARAVIND K. JOSHI April 19 2006 (revised May 8 2006) Recursion-06: 1

Recursion as the unique property of the faculty of language Hauser, M. D. , Chomsky, N. , and Fitch, W. T. 2002 The Faculty of Language: What is it, Who Has It, and How did it evolve? Science 298 pp. 1569 -1579 “FLN (faculty of language in the narrow sense) includes recursion and is the only uniquely human component of the faculty of language. ” –from the Abstract, p. 1569 Recursion-06: 2

Is recursion the only unique property of the human language faculty? • There may be some other properties unique to the human language faculty • Here is a candidate: Every construction in a language has variants, i. e. , what is said by using a construction can be said in another way (or other ways) preserving semantics. Thus these variants are syntactic variants. (There will be some frozen expressions which may not have any variants. However, these constructions will not participate in recursion so we can leave them out from our consideration. ) Recursion-06: 3

We will show (by some examples)that the two properties mentioned before interact in the following way: A construction may be unboundedly recursive in one or more of its variants but it is not unboundedly recursive in all its variants We will call this property non-uniformity of recursion Thus our claim will be that language has recursion but it is non-uniform Thus recursion is indirectly bounded! Recursion-06: 4

An alternate perspectives on LTAG: • Flexible composition Recursion-06: 5

Flexible Composition Adjoining as Wrapping a: Split a at x X X X a 1: supertree of a at X a 2: subtree of a at X Recursion-06: 6

Flexible Composition Adjoining as Wrapping a: b: X X X g: X X a 1: supertree of a at X b a 2: subtree of a at X a wrapped around b i. e. , the two components a 1 and a 2 are wrapped around b Recursion-06: 7

Flexible Composition Wrapping as substitutions and adjunctions S b: a: NP(wh)¯ S S VP NP¯ V likes V NP¯ e - We can also view this composition as a wrapped around b - Flexible composition think S* substitution adjoining Recursion-06: 8

Flexible Composition Wrapping as substitutions and adjunctions a: S substitution a 1: NP(wh)¯ b: S* S adjoining S a 2: VP NP¯ V likes V NP¯ S* think e a 1 and a 2 are the two components of a a 1 attached (adjoined) to the root node S of b a 2 attached (substituted) at the foot node S of b Leads to multi-component TAG (MC-TAG) Recursion-06: 9

Multi-component LTAG (MC-LTAG) a: a 1: b: a 2: • The two components are used together in one composition step. Both components attach to nodes in b, an elementary tree. • This preserves locality. Tree local MC-LTAG • The representation can be used for both -- predicate-argument relationships -- non-p/a information such as scope, focus, etc. Recursion-06: 10

Tree-local Multi-component LTAG (MC-LTAG) - Tree-local MC-LTAG - Flexible composition - Tree-local MC-LTAGs are weakly equivalent (? ) - However, Tree-local MC-LTAGs provide structural descriptions not obtainable by LTAGs - Increased strong generative power - In the linguistic context there always constraints among the components (usually two components), constraints such as domination, immediate domination, c-command, co-indexing, etc. These are structural (linguistic) constraints and not processing constraints Recursion-06: 11

Extraposition from NP: An example (1) The gardener who the woman kept calling all day finally came. (1’) The gardener finally came who the woman kept calling all day. (2) The gardener who the woman who had lost her keys kept calling all day finally came. *(2’) The gardener who the woman kept calling all day finally came who had lost her keys. Recursion-06: 12

S NP VP The gardener finally came S S S NP The gardener who the woman kept calling all day VP finally came Recursion-06: 13

S NP VP finally came NP b 1: { b 11 NP NP* S(i) e ID who the woman kept calling all day The gardener S S S NP The gardener b 12} S S* S(i) who the woman kept calling all day VP finally came Recursion-06: 14

• Recursion of NP extraposition is constrained (Example 1) • Even if it is allowed the result is associated with the semantics of stacked relatives, thus semantically incoherent * S S (i) S NP NP who had lost her keys VP S The gardener finally came who the woman (i) kept calling all day Recursion-06: 15

Uniform (U) and non-uniform (NU) recursion • Recursion is uniform (U) if a recursive construction is semantically coherent in all its variants, i. e. , all the “transformed” versions of the construction. • Otherwise it is non-uniform (NU) • Center embedding of relative clauses is NU • Tree-local MC-LTAG can model this non-uniformity of center embedding • Another example: -- Recursive embedding of verbs taking complements– Example 2 Recursion-06: 16

Uniform and non-uniform recursion (1) The President will resign today (2) John thinks the President will resign today (3) The President, John thinks, will resign today (4) Mary believes John thinks the President will resign today (5) *(5) Mary believes the President, John thinks, will resign today (6) *(6) The President, Mary believes John thinks, will resign today • This non-uniformity of recursive embedding of verbs taking clausal complements can also be modeled by tree-local MC-LTAG Recursion-06: 17

Another example – Example 3 (1) Who did Bill invite? (2) Who does John think Bill invited? (3) Who did Bill, John thinks, invite? (4) Who does Harry believe John thinks Bill invited? (5) ? ? (5) Who does Harry believe Bill, John thinks, invited? (6) ? ? (6) Who did Bill, Harry believes John, thinks, invite? Recursion-06: 18

Scrambling (Example 4) (1) Hans 1 Peter 2 Marie 3 schwimmen 3 lassen 2 sah 1 (2)) P(N 1, N 2 … Nk) Vk Vk-1 … V 1 where P is a permutation of k nouns • Consider the case where the Ni Vi pairs are purely nested, i. e. , (3) N 1, N 2 … Nk Vk Vk-1 … V 1 Clearly, this recursive embedding is uniform (U) • Now regard all other permutations of Ni as variants of (3) • We now have the interesting result … Recursion-06: 19

Scrambling- Example 4 • Tree-local MC-LTAG can generate all permutations of N’s in (3) N 1 N 2 … Nk Vk Vk-1 … V 1 with correct structural descriptions, i. e. , correct semantics for up to 2 levels of embedding (k=3) • Beyond two levels of embedding, not all permutations of N’s can be generated with the correct structural descriptions (semantics) • Recursive embedding of complement clauses is non-uniform, which is modeled by Tree-local MC-TAG Recursion-06: 20

Scrambling- Example 4 • For k=3, all permutations on N’s are possible N 1 N 2 N 3 V 2 V 1 N 3 N 2 V 3 V 2 V 1 N 2 N 1 N 3 V 2 V 1 N 2 N 3 N 1 V 3 V 2 V 1 N 3 N 1 N 2 V 3 V 2 V 1 N 3 N 2 N 1 V 3 V 2 V 1 Recursion-06: 21

• Some elementary trees (possibly multi-component) for a verb with a scrambled argument b 3: b 31: VP Ni b 32: Ni e b 1: b 2: VP VP* Ni VP VP* VP VP Ni e VP VP* VP V Recursion-06: 22 Ni VP e V

N 1 N 2 N 3 V 2 V 1 VP N 1 VP VP VP N 2 VP N 1 VP* VP e V 1 N 3 VP VP VP N 2 e VP VP* VP V 2 Recursion-06: 23 N 3 e VP V 3

N 2 N 3 N 1 V 3 V 2 V 1 VP N 1 VP VP VP* N 2 VP N 1 VP* VP e V 1 N 3 VP VP* VP N 2 e VP VP* VP V 2 N 3 e Now how does the top level subordinator compose? Recursion-06: 25 VP V 3

N 2 N 3 N 1 V 3 V 2 V 1 ( top level subordinator) a a 1 a 2 a 3 VP VP XP VP* N 2 VP VP* N 1 VP* VP e V 1 N 3 VP VP* VP N 2 e VP VP* VP V 2 N 3 e VP V 3 a 3 composes with a 2, a 1 with a and then the result with a 2 Recursion-06: 26

Scrambling- Example 4 For k=4 N 1 N 2 N 3 N 4 V 3 V 2 V 1 N 2 N 4 N 3 V 4 V 3 V 2 V 1 N 3 N 2 N 4 V 3 V 2 V 1 N 3 N 4 N 2 V 4 V 3 V 2 V 1 N 4 N 3 N 2 V 4 V 3 V 2 V 1 N 4 N 2 N 3 V 4 V 3 V 2 V 1. Only some of these can be generated. with correct structural descriptions. with Tree-local MC-TAG (24 in all) Recursion-06: 27

Scrambling- Example 4 For k=4 Some possible sequences: N 1 N 2 N 3 N 4 V 3 V 2 V 1 N 4 N 3 N 2 N 1 V 4 V 3 V 2 V 1. . . N 1 N 4 N 3 N 2 V 4 V 3 V 2 V 1. . . Recursion-06: 28

Scrambling- Example 4 For k=4 An impossible sequence: . . . N 4 N 1 N 3 N 2 V 4 V 3 V 2 V 1. . . (The status of remaining 20 sequences has not been worked out yet. ) Recursion-06: 29

Scrambling – Example 4 For all k, at least the following two permutations can always be realized by Tree-local MC-TAG N 1 N 2 … Nk-1 Nk Vk Vk-1 …V 1 Nk Nk-1 … N 2 N 1 Vk Vk-1 … V 1 Recursion-06: 30

Landscape analogy (not completely worked out) All sequences for k=1, 2, and 3, and for k= 4. 5… the purely nested the purely crossed sequences, and possibly some others are on the flat floor of a valley with steeply rising mountains on either side. All other sequences for k= 4, 5, … are on these steeply rising surfaces of the mountains. (Analogy: Energy landscapes for biological sequences) Recursion-06: 31

A claim about recursion in language • All recursive constructions in language are non-uniform (NU), i. e. , -- a recursive construction when viewed across all its variants is non-uniform • That is, a recursive construction, although unbounded in one or more of its variants, it is bounded when viewed across all its variants • In this sense, recursion is bounded • Note that we have not put any explicit bound in the grammar itself • The results follow from the notions of locality and flexible composition implicit in Tree-local MC-LTAG Recursion-06: 32

Psycholinguistic Relevance • Non-uniformity of recursion indirectly bounding recursion is a competence property and not a performance property • We have not put an arbitrary external bound on recursion -- The indirect bound is a property of the grammar -- This is quite different from putting an arbitrary bound on recursion in a CFG to bound center embedding of relative clauses, for example • We are not arguing against processing constraints. Clearly, for the variants with unbounded recursion, processing constraints need to be invoked. However, the non-uniformity of recursion provides a structural bound. Thus, the nonuniformity of recursion may be indirectly bounding all recursion! Recursion-06: 33

Summary • A recursive construction is uniform if all variants of the construction generate correct semantics, otherwise, it is non-uniform • For Tree-local MC-LTAG, recursion is uniform for up to two levels of embedding, i. e. , three clauses in all, beyond that it is non-uniform • A claim: All recursion in language is non-uniform, thus indirectly bounding recursion -- This bound is a formal (competence) property -- Not due to an arbitrary external bound on the grammar • A possible challenge to a foundational property of language? ? Recursion-06: 34