Documentation

Linglib.Phenomena.Constructions.Causatives.Studies.Dendikken1995

Transitive causatives — den Dikken's affixal-particle analysis #

@cite{dendikken-1995} @cite{baker-1988}

@cite{dendikken-1995} chapter 5 extends the SC-in-SC template from triadic constructions (book chs. 3-4) to transitive causative constructions. Central thesis: so-called "applicative" and "causative" morphemes (Bantu -il-, Dutch ver-, Sanuma -ma, Indonesian -kan, French en-, a-, dé-) are affixal particles — the same syntactic SC heads as English particles, just morphologically bound to the verb.

The affixal-particle thesis (book p. 235 ex. 25) #

ver- = -ma = -kan = PARTICLE

The cross-linguistic homophony of "applicative" and "causative" affixes is dissolved: they are all affixal particles occupying the X position in the SC-in-SC template. The verb supplies the lexical content; the particle supplies the structural slot for SC3.

Causative D-structure template (book p. 239 ex. 32; p. 246 ex. 48) #

[VP V_caus [SC1 Spec_θ' [VP V_emb [SC2 Spec_θ' [XP X [SC3 NP_obj [PP P NP_causee]]]]]]]

Triadic ↔ causative parallel (book p. 246 ex. 47/48) #

Triadic:   [VP V_triadic [SC1 Spec_θ' [VP "BE"  [SC2 Spec_θ' [XP X [SC3 Theme  [PP P Goal]]]]]]]
Causative: [VP V_caus    [SC1 Spec_θ' [VP V_emb [SC2 Spec_θ' [XP X [SC3 EmbObj [PP P Causee]]]]]]]

Identical template. The only difference: the V slot in the lower VP holds the empty copula BE in triadics but the lexical embedded verb in causatives.

Two cross-linguistic correlations (book p. 241 ex. 35; p. 243 ex. 41) #

Both fall out of the structural assimilation:

I.  Case of *causee* in transitive causatives = Case of *Goal* in PD.
II. Case of *embedded direct object* in transitive causatives =
    Case of *Theme* in PD.

The causee occupies the PP-position SC3 has for the Goal in triadics; the embedded direct object occupies the SC3-subject position SC3 has for the Theme.

Cross-linguistic data anchored in this file #

Cross-references #

Scope (and what's deferred) #

Formalises the structural template (32)/(48) and verifies it satisfies IsSmallClause at every nested SC layer for both the French and the Dutch instantiations. The cross-linguistic affixal-particle thesis (eq. 25) is recorded as a structural identity claim about the X position's category.

NOT formalised (each pending substrate work):

§1. Lexical items for the causative template #

Empty matrix causative head. Per book p. 238: when no overt matrix causative verb is present (Dutch ver- causatives, Sanuma -ma causatives), the causation semantics is supplied by an empty causative matrix predicate.

Equations
Instances For

    Embedded causativised verbs. Lexical content preserved; only the external θ-role is lost ("ergativisation", book §5.3.6).

    Equations
    Instances For

      §2. The X position: affixal particles across languages #

      Each "affixal causativiser/applicativiser" morpheme is realised here as a category-P leaf with no selectional features — the canonical shape for a particle (compare Phenomena/Constructions/ParticleVerbs/Studies/Dendikken1995's particle leaves like mkLeafPhon .P [] "up").

      §3. PP and Spec primitives (parallel to the triadic file) #

      Empty θ'-Spec position. Same hack as the triadic file: mkLeafPhon .D with arbitrary category D, since linglib has no first-class empty-Spec primitive.

      Equations
      Instances For

        §4. French causative example: faire manger des bonbons à ses enfants #

        Building bottom-up: SC3 → XP → SC2 → lower VP → SC1 → matrix VP.

        The dative PP holding the causee: [PP à ses-enfants].

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          SC3: [SC3 des-bonbons [PP à ses-enfants]] — the embedded direct object is the SC subject; the dative PP (causee) is the SC predicate.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            XP: [XP ∅_X SC3].

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For

              SC2: [SC2 Spec_θ' XP].

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For

                Lower VP: [VP V_emb SC2] — the embedded causativised verb (manger) takes SC2 as its complement.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For

                  SC1: [SC1 Spec_θ' VP_emb].

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For

                    The full French causative D-structure for faire manger des bonbons à ses enfants.

                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For

                      §5. Dutch ver--causative example: Jan verschafte de kinderen eten #

                      The matrix causative V is empty (book p. 238). The affixal particle ver- occupies the X slot. The embedded V is schaffen 'provide'.

                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For
                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For
                              Equations
                              • One or more equations did not get rendered due to their size.
                              Instances For
                                Equations
                                • One or more equations did not get rendered due to their size.
                                Instances For

                                  The Dutch ver--causative D-structure. Matrix V is empty per book p. 238 (the empty causative matrix predicate).

                                  Equations
                                  • One or more equations did not get rendered due to their size.
                                  Instances For

                                    §6. Structural assimilation: French and Dutch share one shape #

                                    The French faire causative and the Dutch ver- causative share the same tree shape — the affixal-particle thesis at the geometric level.

                                    §7. IsSmallClause witnesses (Phase 1.0 sorries) #

                                    Each of the three nested SCs in the causative D-structure satisfies the IsSmallClause companion predicate. Phase 1.0 sorries: blocked on noncomputable head/headCat. TODO Phase 2: restore.

                                    §8. The affixal-particle thesis as a categorial identity (book ex. 25) #

                                    ver- = -ma = -kan = PARTICLE

                                    The three overt affixal-particle morphemes share head category P (the canonical particle category). The unifying analytic claim is that the language-specific surface differences between Dutch ver-, Sanuma -ma, Indonesian -kan, and English particles like up / out / off are morphological, not syntactic — at the X position they are indistinguishable.

                                    Faithful to book ex. 25 (ver- = -ma = -kan = PARTICLE): the three overt affixal-particle morphemes from §5.2 share head category P. Note: French faire's null X is NOT part of the ex. 25 claim and is intentionally omitted; book §5.2.5 covers French separately via en-, a-, dé- prefixes (which would have head category P too, but as distinct lexical particles, not via the faire X-slot).

                                    §9. Structural assimilation theorem (book ex. 47/48) #

                                    The book's central ch. 5 claim is that triadic and transitive causative constructions share the SC-in-SC structural backbone. Now that both are formalised as sibling Dendikken1995 study files, the parallel can be witnessed as a Lean theorem rather than a docstring assertion.

                                    The French causative SC1 and the triadic SC1 share tree shape — the structural assimilation thesis at the geometric level.

                                    The Dutch ver- causative also matches the triadic shape — the affixal particle X position is structurally the same as the triadic particle X position.

                                    §10. Bridge to Pylkkänen's applicative typology #

                                    Den Dikken's affixal-particle X position is the structural slot Pylkkänen (2008) reanalyses as a low Applicative head — the two analyses agree on category P, despite different theoretical framings (particle vs. applicative). The bridge theorems below witness this categorial coincidence using the existing ApplType.toSCPredCategory API in Theories/Syntax/Minimalism/SmallClause.lean.

                                    Per chronological dependency (this is a 1995 file; Pylkkänen 2008 is later), the ApplType enum is referenced via the substrate, not via direct import of the Pylkkanen2008 study file.

                                    The Sanuma -ma affixal particle and a Pylkkänen low-source applicative head share SC predicate category P.

                                    High applicatives DO NOT match the affixal-particle X — they project no SC at all in den Dikken's framework. The substrate's high_appl_no_SC theorem (in SmallClause.lean) records this.