Documentation

Studies.Grimm2018

Grimm (2018): Grammatical Number and the Scale of Individuation #

Grimm orders the individuation types of nominal descriptions on a scale, substances below granular aggregates below collective aggregates below individuals (IndividuationType), and argues that a language's grammatical number categories partition the scale by an order-preserving map (section 3.4). No category then spans two disconnected segments of the scale (ordConnected_fiber_of_monotone), and this is all that order preservation asks: a classification whose classes are contiguous is monotone for an order on its classes (exists_linearOrder_monotone_iff). The impossible system of Table 21 fails under every ordering of its classes (bad_not_monotone). The systems of Table 20 and section 4.1, Dagaare with a class per type, the tripartite Welsh, Turkana, Maltese, and Miraña, binary English, and Yudja with number on humans alone, are monotone classifications (welsh_monotone and its siblings). Markedness follows the scale: the zero-coded value of a class is single reference for individuals and multiple reference for aggregates, with no contrast at the bottom (welsh_default_monotone and its siblings), and Dagaare's inverse marking is one coded value read in the two directions. Animacy refines the picture (section 4.2): on the product of the scale with the animacy hierarchy, the collective/singulative class ascends from below, the inverse of Smith-Stark's plural marking, and the regions of Maltese, Welsh, and Turkana nest (collective_regions_nest).

Implementation notes #

The individuation types are primitive, as in the paper: equivalence classes of nominal descriptions by individuation properties, which the paper ranks by perceptibility of minimal units, spatial separation, consistency of shape, and interaction, and which section 4.3 extends to function for artifacts. Grimm's dissertation derives the middle of the scale from the strength of the connection relation under which aggregate nouns' referents cluster (Mereology.IsCluster). Each language's countability classes are an enumeration ordered by scale position, and the classification of the four individuation types is the language's row of Table 20, 23, or 24. Turkana and Maltese share Welsh's partition and differ in agreement and animacy reach, Yudja shares English's and differs in restricting the contrast to humans; the classification does not record these. The animacy tiers of Fig. 3, inanimates below Haspelmath's lower and higher animates below humans, are ranks of the library's AnimacyHierarchy; the full animacy–individuation lattice, an Aissen product, and the connected region constraint (28) over it are not formalized.

References #

The scale of individuation, section 3.2 #

The individuation types of (17) and (19) are equivalence classes of nominal descriptions by their individuation properties, ordered from entities without perceptible minimal units to independent individuals.

  • substance : IndividuationType

    Liquids and substances (water, oil) have no perceptible minimal units.

  • granularAggregate : IndividuationType

    Granular aggregates (rice, sand) have perceptible units, typically not separated from one another.

  • collectiveAggregate : IndividuationType

    Collective aggregates (ants, cherries) have perceptible units, separated from one another but connected, spatially near or functionally united.

  • individualEntity : IndividuationType

    Individuals (dog) are independent of one another.

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

      The order-preservation thesis, section 3.4 #

      theorem Grimm2018.ordConnected_fiber_of_monotone {α : Type u_1} {C : Type u_2} [Preorder α] [PartialOrder C] {f : α → C} (hf : Monotone f) (c : C) :
      (f ⁻¹' {c}).OrdConnected

      A monotone classification has order-convex fibres, so each countability class picks out a contiguous segment of the scale.

      theorem Grimm2018.exists_linearOrder_monotone_iff {α : Type u_1} {C : Type u_2} [LinearOrder α] {f : α → C} (hf : Function.Surjective f) :
      (∃ (x : LinearOrder C), Monotone f) ↔ ∀ (c : C), (f ⁻¹' {c}).OrdConnected

      A classification of a linear order onto its classes is monotone for some order on the classes exactly when each class is a contiguous segment, so order preservation is contiguity. The classes are then ordered as their members, through any choice of a member of each.

      The number systems, Tables 20, 23, and 24 #

      A tripartite system has a non-countable, a collective/unit, and a singular/plural class.

      Instances For
        @[instance_reducible]
        Equations
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          @[instance_reducible]
          Equations
          • One or more equations did not get rendered due to their size.
          @[reducible, inline]

          Turkana (section 2.2) partitions the scale as Welsh does; its collective class reaches types of people.

          Equations
          Instances For
            @[reducible, inline]

            Maltese (section 2.3) partitions the scale as Welsh does; its collective agrees in the singular and reaches barely beyond insects.

            Equations
            Instances For

              Dagaare's classes (Table 20) are the non-countable class, the optionally singulative (-ruu) non-countable class, the plural-default class with -ri coding the singular, and the singular-default class with -ri coding the plural.

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

                  A binary system has a non-countable and a singular/plural class.

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

                      Each class is numbered by its position on the scale.

                      Equations
                      Instances For

                        In English (Table 20), substances and both kinds of aggregate (rice, foliage) are non-countable, and individuals take the plural.

                        Equations
                        Instances For
                          @[reducible, inline]

                          Yudja (Table 24) cuts the scale where English does, with the optional plural -i on individuals restricted to humans.

                          Equations
                          Instances For

                            The impossible system, Table 21 #

                            Granular aggregates and individuals share a singular/plural class while the collective aggregates between them form a collective/singulative class, so the singular/plural class is discontinuous on the scale.

                            The bad system's singular/plural class is not a contiguous segment of the scale.

                            theorem Grimm2018.bad_not_monotone (po : PartialOrder TripartiteClass) :
                            ¬Monotone badClassify

                            No ordering of the classes makes the bad system order-preserving, the paper's footnote 21 generalized from its two candidate orders to all.

                            Coding and markedness, sections 3.4 and 4.4 #

                            Each class codes one value of its contrast and leaves the other zero. The prediction: the zero-coded default of a class tracks its individuation, multiple reference for aggregate classes and single reference for individual classes, with no contrast at the bottom.

                            A countability class codes its number contrast in one of four patterns.

                            • noContrast : ClassCoding

                              The class has no number contrast.

                            • codedUnit : ClassCoding

                              The aggregate is zero-coded and the unit, the singulative, is coded.

                            • codedSingular : ClassCoding

                              The plural is zero-coded and the singular is coded, Dagaare's inverse marking.

                            • codedPlural : ClassCoding

                              The singular is zero-coded and the plural is coded.

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

                                The zero-coded default of a class is nothing, multiple referents, or a single referent.

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

                                    Along the scale the zero-coded default ascends from no contrast through multiple to single reference.

                                    Countability and animacy, section 4.2 #

                                    Plural marking descends the animacy hierarchy from the top, as Smith-Stark found; the collective/singulative class ascends it from below, since the more animate an entity the more it is construed as occurring singly. Welsh's collective class stops at small and middle-sized animals, Turkana's reaches types of people, Maltese's barely passes insects (Fig. 4).

                                    Fig. 4 compares three tripartite languages.

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

                                        Each language's collective/singulative class reaches up to a position on the animacy hierarchy (Fig. 4) and covers everything from inanimate aggregates up to it. The positions are Corbett's, with the split of the animates into higher and lower that Grimm takes from Haspelmath.

                                        Equations
                                        Instances For

                                          The collective regions nest, Maltese within Welsh within Turkana, each the down-set of its ceiling.