Type-Logical Anaphora
Abstract:
We present a type-logical account of anaphora. The principal means is the introduction of type-constructors for `secondary wrap': wrap around the second of two split points in a discontinuous string. We illustrate in terms of preevaluated proof nets, proof nets in which lexico-syntactic interaction is computed in a lexical compilation rather than at the stage of derivation. We suggest that the account offers an explanation of the delay of principle B effect in the child acquisition of anaphora. Chomsky (1981) proposes Principles A, B and C governing anaphoric relations. Roughly speaking, Principle A states that a reflexive or reciprocal pronoun must be bound by a local c-commanding antecedent, Principle B states that a personal pronoun must not be bound by a local c-commanding antecedent, and Principle C states that a lexical noun phrase cannot be bound to a c-commanding antecedent. The `delay of Principle B effect ' is the term given to the phenomenon whereby in acquisition there seems to be non-complience with principle B. Jacobson (1999) discusses the combinatorics of categorial anaphora largely from the
Citations
| 479 | On the unity of logic – Girard - 1993 |
| 77 | Type-Logical Semantics – Carpenter - 1996 |
| 34 | Completeness results for Lambek syntactic calculus’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik ,32 – Buszkowski - 1986 |
| 17 | Children’s Knowledge of Locality Conditions in Binding as Evidence for the Modularity of Syntax and Pragmatics – Chien, Wexler - 1990 |
| 12 | An algebraic correctness criterion for intuitionistic multiplicative proof-nets. TCS 115–134. URL: http://www.loria.fr/ ∼ degroote/bibliography. html – Groote - 1999 |

