Documentation

Studies.Dendikken1995

den Dikken (1995): Particles #

This file formalizes the analysis of verb-particle constructions in chapter 2 of den Dikken's Particles. A particle is an ergative, non-lexical preposition heading a small clause in the verb's complement, so the "object" of a verb-particle construction originates as the particle's complement and receives no Case from it. The noun phrase is licensed in one of two ways. It raises to the specifier of the particle's small clause, where the verb governs it, which gives the outer order V-NP-Prt; or it stays in situ and receives the verb's Case through reanalysis of verb and particle, an abstract incorporation that extends the verb's government by Baker's Government Transparency Corollary, which gives the inner order V-Prt-NP. Reanalysis fails when the particle's complement is a barrier, a nominal or adjectival small clause, when the noun phrase is a weak pronoun, and when the particle carries a bare modifier such as right; placing the particle after the predicate of the small clause has no derivation at all. The predicate of that small clause extracts only across a verb-particle complex, the sole lexical governor of its trace.

Norwegian complex particle constructions pattern exactly as the English ones do, which den Dikken takes to show that the analysis belongs to the core theory. Languages differ instead in whether the particle may also incorporate overtly and surface as a prefix on the verb: never in English, in the passive in Norwegian and Swedish, and in the active as well in Danish. The chapter's English, Norwegian, Swedish and Danish examples are the rows of Examples.all, and the calculus predicts the judgment of every row it covers.

Main definitions #

Main results #

Implementation notes #

The calculus is stated over the parameters the chapter's principles read, not over trees: the particle's complement, with the infinitival marker to counted prepositional; whether the object is a weak pronoun; whether the particle carries a bare modifier; and whether overt incorporation is available. Overt incorporation is the third strategy, licensed by the language and the voice alone, and the extracted predicate's trace is taken to be governed by the overtly incorporated complex as by the reanalysed one, a point the chapter has no data on. Danish has no inner order, which the chapter records without deriving, so the Danish rows enter only rows_prefixed. The Norwegian prefixed forms, utsparka after vart and not after har, are the compound participles of the reference grammar, which puts them after være and bli and not after ha whatever the voice, so the voices Norwegian incorporates in are read off the fragment through the auxiliary each voice has in the rows, and the sparke ut rows are checked against the forms the fragment conjugates. The Bokmål rows were constructed and judged by Arnfinn Vonen and Alma Næss for den Dikken; the Nynorsk rows are Åfarli's. The arguments from small-clause constituency, from verb-particle idioms and from the ergativity of the particle, and Herslund's observation that Danish incorporation is lexically conditioned, are recorded in the rows and not formalized.

References #

The particle's complement is the object of a simplex construction or the inner small clause of a complex one, whose predicate is headed by the given lexical category; the infinitival marker to counts as prepositional, (58).

Instances For

    A particle is a non-lexical preposition and does not L-mark its complement, so a small clause complement is a barrier unless its head is categorially non-distinct from the particle, (59).

    Equations
    Instances For

      A strategy licenses the noun phrase in the particle's complement and places the particle. Raising moves the noun phrase to the specifier of the particle's small clause, where the verb governs it, (48); reanalysis of verb and particle transmits the verb's Case to the noun phrase in situ, (57); overt incorporation adjoins the particle to the verb in the syntax, which English lacks and the Scandinavian languages have in some voices.

      Instances For
        @[instance_reducible]
        Equations

        The surface position of the particle relative to the noun phrase and to the predicate of the inner small clause.

        • inner : Placement

          V-Prt-NP(-Pred), the "inner particle" order.

        • outer : Placement

          V-NP-Prt(-Pred), the "outer particle" order.

        • final : Placement

          V-NP-Pred-Prt.

        • prefixed : Placement

          Prt-V, the particle a prefix on the verb.

        Instances For
          @[instance_reducible]
          Equations

          A raised noun phrase precedes the particle, an in-situ one follows it, and an overtly incorporated particle precedes the verb. No strategy places the particle after the predicate of the inner small clause, since small clauses do not move, heads do not adjoin to maximal projections, and adjoining the predicate would leave the trace of the noun phrase improperly bound.

          Equations
          Instances For
            def Dendikken1995.Licensed (k : Complement) (overt weak modified : Prop) :

            A strategy is licensed in a configuration. Raising always is. Reanalysis transmits the verb's Case along the incorporation chain, which requires that the particle's complement not be a barrier, (59), that the noun phrase not be a weak pronoun, which must agree directly with an Agr head, (163), and that the particle carry no bare modifier, which incorporation cannot strand, (169). Overt incorporation is licensed where the language has it.

            Equations
            Instances For
              def Dendikken1995.Derivable (k : Complement) (overt weak modified : Prop) (p : Placement) :

              A placement is derivable when a licensed strategy yields it; by Economy the derivation uses exactly one strategy.

              Equations
              Instances For
                theorem Dendikken1995.derivable_outer (k : Complement) {overt weak modified : Prop} :
                Derivable k overt weak modified Placement.outer

                The outer order is always derivable, by raising.

                theorem Dendikken1995.derivable_inner_iff (k : Complement) {overt weak modified : Prop} :
                Derivable k overt weak modified Placement.inner ↔ ¬k.IsBarrier ∧ ¬weak ∧ ¬modified

                The inner order is derivable iff reanalysis is licensed, which requires that the complement be no barrier and that neither a weak pronoun nor a modifier block it.

                theorem Dendikken1995.not_derivable_final (k : Complement) {overt weak modified : Prop} :
                ¬Derivable k overt weak modified Placement.final

                Clause-final placement is never derivable.

                theorem Dendikken1995.derivable_prefixed_iff (k : Complement) {overt weak modified : Prop} :
                Derivable k overt weak modified Placement.prefixed ↔ overt

                The prefixed order is derivable iff the particle incorporates overtly.

                @[instance_reducible]
                instance Dendikken1995.instDecidablePredStrategyLicensed (k : Complement) {overt weak modified : Prop} [Decidable overt] [Decidable weak] [Decidable modified] :
                DecidablePred (Licensed k overt weak modified)
                Equations
                @[instance_reducible]
                instance Dendikken1995.instDecidablePredPlacementDerivable (k : Complement) {overt weak modified : Prop} [Decidable overt] [Decidable weak] [Decidable modified] :
                DecidablePred (Derivable k overt weak modified)
                Equations

                The English paradigms #

                In (49)–(53), nominal and adjectival complex particle constructions have the outer order only, prepositional and infinitival ones both, and none the clause-final order.

                In (155), a simplex construction has both orders with a full noun phrase, but look up it has no derivation, since a weak pronoun cannot be Case-marked through the reanalysis chain; a stressed, conjoined or deictic pronoun is not weak and patterns with full noun phrases, (156).

                In (161) and (162), the ban on weak pronouns carries over to the inner order of prepositional and infinitival complex constructions, where the same reanalysis licenses the in-situ noun phrase.

                In (167), look the information right up is derivable and look right up the information is not, (169), the modified particle being unable to incorporate.

                Extraction of the predicate of the inner small clause #

                By (66), the trace of an extracted predicate of the inner small clause is lexically governed, as the ECP demands, only by a verb-particle complex, reanalysed or overtly incorporated, since the particle itself is not a lexical governor; subextraction from the predicate is governed by the predicate's own head and always possible, (61), (63) and (65).

                Equations
                Instances For
                  @[instance_reducible]
                  Equations
                  • One or more equations did not get rendered due to their size.
                  theorem Dendikken1995.not_predicateExtractable_of_isBarrier (k : Complement) {overt weak modified : Prop} (hk : k.IsBarrier) {s : Strategy} (hs : Licensed k overt weak modified s) (ho : ¬overt) :

                  In a nominal complex particle construction of a language without overt incorporation, (60), the predicate cannot be extracted whatever the surface position of the particle, since no licensed derivation forms a verb-particle complex.

                  def Dendikken1995.PredicateExtractableFrom (k : Complement) (overt weak modified : Prop) (p : Placement) :

                  The predicate is extractable from a placement when a licensed strategy yields the placement and leaves the trace governed.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    theorem Dendikken1995.predicateExtractableFrom_iff (k : Complement) {overt weak modified : Prop} (p : Placement) :
                    PredicateExtractableFrom k overt weak modified p ↔ Derivable k overt weak modified p ∧ p ≠ Placement.outer

                    By (67), the predicate extracts exactly from a derivable placement other than the outer one, which only raising yields. Verb-adjacent placement in a prepositional construction renders the predicate extractable, (62a) and (64a), and the outer order does not, (62b) and (64b).

                    @[instance_reducible]
                    instance Dendikken1995.instDecidablePredPlacementPredicateExtractableFromOfDecidable (k : Complement) {overt weak modified : Prop} [Decidable overt] [Decidable weak] [Decidable modified] :
                    DecidablePred (PredicateExtractableFrom k overt weak modified)
                    Equations

                    Overt incorporation across languages #

                    The languages of the chapter's particle data.

                    Instances For
                      @[instance_reducible]
                      Equations

                      The context of the participle in a Norwegian row of a voice: the passive rows have bli or verte, the active ones the perfect with ha.

                      Equations
                      Instances For

                        The voices in which a language incorporates its particle overtly into the verb. English never does, (133); Norwegian does where the reference grammar puts the compound participle, after bli and verte and not after ha, (134)–(135), Swedish in the passive, (136), and Danish in the active as well, (138).

                        Equations
                        Instances For

                          Norwegian incorporates in the passive only, as the chapter states, because the grammar's compound participle follows bli and være and not ha.

                          The rows #

                          The language of a row; both written standards of Norwegian, Bokmål and Nynorsk, count as Norwegian.

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

                            The particle's complement as a row's construction and predicate features record it.

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

                              The particle's placement as a row's placement feature records it.

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

                                The voice of a row's clause, active unless its voice feature says passive.

                                Equations
                                Instances For

                                  The row's object is a weak pronoun.

                                  Equations
                                  Instances For

                                    The row's particle carries a bare modifier.

                                    Equations
                                    Instances For
                                      theorem Dendikken1995.rows_derivable (r : Datum) :
                                      r ∈ Examples.all → r.feature? "diagnostic" = none → r.language ≠ "dani1285" → ∀ k ∈ complementOf r, ∀ p ∈ placementOf r, ∀ L ∈ languageOf r, r.judgment = Judgment.acceptable ↔ Derivable k (voiceOf r ∈ L.incorporates) (Weak r) (Modified r) p

                                      Every English and Norwegian row of the placement paradigms is judged acceptable exactly when the calculus derives its placement; the Norwegian rows (70), (73) and (134) pattern with the English ones. Danish, whose lack of the inner order (137b) the chapter records without deriving, is left out.

                                      theorem Dendikken1995.rows_predicateExtraction (r : Datum) :
                                      r ∈ Examples.all → r.feature? "diagnostic" = some "predicateExtraction" → ∀ k ∈ complementOf r, ∀ p ∈ placementOf r, ∀ L ∈ languageOf r, r.judgment = Judgment.acceptable ↔ PredicateExtractableFrom k (voiceOf r ∈ L.incorporates) (Weak r) (Modified r) p

                                      Every row testing extraction of the predicate of the inner small clause, English (60), (62) and (64) and Norwegian (71) and (74), is judged acceptable exactly when the predicate is extractable from its placement.

                                      theorem Dendikken1995.rows_subextraction (r : Datum) :
                                      r ∈ Examples.all → r.feature? "diagnostic" = some "subextraction" → (placementOf r).isSome = true → r.judgment = Judgment.acceptable

                                      Every row testing subextraction from the predicate of the inner small clause, English (61), (63) and (65) and Norwegian (72) and (75), is acceptable whatever the particle's position; subextraction from the subject of a small clause, (13), is not.

                                      Every row with the particle prefixed to the verb, Norwegian (134) and (135), Swedish (136) and Danish (138), is judged acceptable exactly when its language incorporates overtly in its voice.

                                      The fragment's verb of a row of Åfarli's (134a) and (135a), Nynorsk sparke ut. The rows of (134b) and (134c) have none: the grammar's lists do not place klippe, and the book spells Åfarli's køyrt as Bokmål kjørt.

                                      Equations
                                      • One or more equations did not get rendered due to their size.
                                      Instances For
                                        theorem Dendikken1995.rows_participle (r : Datum) :
                                        r ∈ Examples.all → ∀ v ∈ verbOf r, placementOf r ≠ some Placement.outer → (r.judgment = Judgment.acceptable ↔ (v.participle (participleContext (voiceOf r))).toList <:+: r.primaryText.toList)

                                        Where the participle of the verb phrase is contiguous, in the inner and prefixed rows, a row is judged acceptable exactly when it shows the participle the grammar gives for its auxiliary, sparka ut after har and utsparka after vart.