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
Equations
- Grimm2018.instDecidableEqIndividuationType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instReprIndividuationType = { reprPrec := Grimm2018.instReprIndividuationType.repr }
Equations
- One or more equations did not get rendered due to their size.
Each type is numbered by its position on the scale.
Equations
Instances For
The order-preservation thesis, section 3.4 #
A monotone classification has order-convex fibres, so each countability class picks out a contiguous segment of the scale.
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.
- nonCountable : TripartiteClass
- collectiveUnit : TripartiteClass
- singularPlural : TripartiteClass
Instances For
Equations
- Grimm2018.instDecidableEqTripartiteClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instReprTripartiteClass = { reprPrec := Grimm2018.instReprTripartiteClass.repr }
Equations
- One or more equations did not get rendered due to their size.
Each class is numbered by its position on the scale.
Equations
Instances For
Equations
In Welsh (Table 20), substances are non-countable (llefrith 'milk'), granular and
collective aggregates take the singulative (adar aderyn 'birds' 'bird'), and individuals
take the plural (cadair cadeiriau 'chair' 'chairs').
Equations
- Grimm2018.welshClassify Grimm2018.IndividuationType.substance = Grimm2018.TripartiteClass.nonCountable
- Grimm2018.welshClassify Grimm2018.IndividuationType.granularAggregate = Grimm2018.TripartiteClass.collectiveUnit
- Grimm2018.welshClassify Grimm2018.IndividuationType.collectiveAggregate = Grimm2018.TripartiteClass.collectiveUnit
- Grimm2018.welshClassify Grimm2018.IndividuationType.individualEntity = Grimm2018.TripartiteClass.singularPlural
Instances For
Turkana (section 2.2) partitions the scale as Welsh does; its collective class reaches types of people.
Equations
Instances For
Maltese (section 2.3) partitions the scale as Welsh does; its collective agrees in the singular and reaches barely beyond insects.
Equations
Instances For
In Miraña (Table 23), granular aggregates join the substances as non-countable, collective aggregates form the class whose bare form names a collection and whose class-marked form a unit, and individuals inflect for plural.
Equations
- Grimm2018.miranaClassify Grimm2018.IndividuationType.substance = Grimm2018.TripartiteClass.nonCountable
- Grimm2018.miranaClassify Grimm2018.IndividuationType.granularAggregate = Grimm2018.TripartiteClass.nonCountable
- Grimm2018.miranaClassify Grimm2018.IndividuationType.collectiveAggregate = Grimm2018.TripartiteClass.collectiveUnit
- Grimm2018.miranaClassify Grimm2018.IndividuationType.individualEntity = Grimm2018.TripartiteClass.singularPlural
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.
- nonCountable : DagaareClass
- singulativeNonCount : DagaareClass
- pluralDefault : DagaareClass
- singularDefault : DagaareClass
Instances For
Equations
- Grimm2018.instDecidableEqDagaareClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instReprDagaareClass = { reprPrec := Grimm2018.instReprDagaareClass.repr }
Equations
- One or more equations did not get rendered due to their size.
Each class is numbered by its position on the scale.
Equations
Instances For
Equations
Dagaare (Table 20) has a class for each individuation type.
Equations
- Grimm2018.dagaareClassify Grimm2018.IndividuationType.substance = Grimm2018.DagaareClass.nonCountable
- Grimm2018.dagaareClassify Grimm2018.IndividuationType.granularAggregate = Grimm2018.DagaareClass.singulativeNonCount
- Grimm2018.dagaareClassify Grimm2018.IndividuationType.collectiveAggregate = Grimm2018.DagaareClass.pluralDefault
- Grimm2018.dagaareClassify Grimm2018.IndividuationType.individualEntity = Grimm2018.DagaareClass.singularDefault
Instances For
A binary system has a non-countable and a singular/plural class.
- nonCountable : BinaryClass
- singularPlural : BinaryClass
Instances For
Equations
- Grimm2018.instDecidableEqBinaryClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Grimm2018.instReprBinaryClass = { reprPrec := Grimm2018.instReprBinaryClass.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instFintypeBinaryClass = { elems := { val := ↑Grimm2018.BinaryClass.enumList, nodup := Grimm2018.BinaryClass.enumList_nodup }, complete := Grimm2018.instFintypeBinaryClass._proof_1 }
Each class is numbered by its position on the scale.
Instances For
Equations
In English (Table 20), substances and both kinds of aggregate (rice, foliage) are non-countable, and individuals take the plural.
Equations
Instances For
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.
Table 21's bad system puts granular aggregates and individuals in one class.
Equations
- Grimm2018.badClassify Grimm2018.IndividuationType.substance = Grimm2018.TripartiteClass.nonCountable
- Grimm2018.badClassify Grimm2018.IndividuationType.granularAggregate = Grimm2018.TripartiteClass.singularPlural
- Grimm2018.badClassify Grimm2018.IndividuationType.individualEntity = Grimm2018.TripartiteClass.singularPlural
- Grimm2018.badClassify Grimm2018.IndividuationType.collectiveAggregate = Grimm2018.TripartiteClass.collectiveUnit
Instances For
The bad system's singular/plural class is not a contiguous segment of the scale.
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
Equations
- Grimm2018.instDecidableEqClassCoding x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Grimm2018.instReprClassCoding = { reprPrec := Grimm2018.instReprClassCoding.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instFintypeClassCoding = { elems := { val := ↑Grimm2018.ClassCoding.enumList, nodup := Grimm2018.ClassCoding.enumList_nodup }, complete := Grimm2018.instFintypeClassCoding._proof_1 }
The zero-coded default of a class is nothing, multiple referents, or a single referent.
- none : DefaultReference
- multiple : DefaultReference
- single : DefaultReference
Instances For
Equations
- Grimm2018.instDecidableEqDefaultReference x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Grimm2018.instReprDefaultReference = { reprPrec := Grimm2018.instReprDefaultReference.repr }
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.
Each default is numbered by its position on the scale.
Equations
Instances For
Equations
Each coding pattern leaves a zero-coded default.
Equations
- Grimm2018.ClassCoding.noContrast.default = Grimm2018.DefaultReference.none
- Grimm2018.ClassCoding.codedUnit.default = Grimm2018.DefaultReference.multiple
- Grimm2018.ClassCoding.codedSingular.default = Grimm2018.DefaultReference.multiple
- Grimm2018.ClassCoding.codedPlural.default = Grimm2018.DefaultReference.single
Instances For
Welsh codes its classes (Table 20) with nothing, the singulative -yn, and the plural -od.
Equations
Instances For
Dagaare codes its classes (Table 20) with nothing, the optional singulative -ruu, the singular -ri, and the plural -ri.
Equations
- Grimm2018.dagaareCoding Grimm2018.DagaareClass.nonCountable = Grimm2018.ClassCoding.noContrast
- Grimm2018.dagaareCoding Grimm2018.DagaareClass.singulativeNonCount = Grimm2018.ClassCoding.codedUnit
- Grimm2018.dagaareCoding Grimm2018.DagaareClass.pluralDefault = Grimm2018.ClassCoding.codedSingular
- Grimm2018.dagaareCoding Grimm2018.DagaareClass.singularDefault = Grimm2018.ClassCoding.codedPlural
Instances For
English codes its classes (Table 20) with nothing and the plural -s.
Equations
Instances For
Along the scale the zero-coded default ascends from no contrast through multiple to single reference.
Dagaare's two -ri classes differ only in the direction of coding, the content of inverse number marking (section 2.4).
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.
- maltese : CollectiveLang
- welsh : CollectiveLang
- turkana : CollectiveLang
Instances For
Equations
- Grimm2018.instDecidableEqCollectiveLang x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Grimm2018.instReprCollectiveLang = { reprPrec := Grimm2018.instReprCollectiveLang.repr }
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
- Grimm2018.collectiveCeiling Grimm2018.CollectiveLang.maltese = Corbett2000.AnimacyHierarchy.lowerAnimate
- Grimm2018.collectiveCeiling Grimm2018.CollectiveLang.welsh = Corbett2000.AnimacyHierarchy.higherAnimate
- Grimm2018.collectiveCeiling Grimm2018.CollectiveLang.turkana = Corbett2000.AnimacyHierarchy.human
Instances For
The collective regions nest, Maltese within Welsh within Turkana, each the down-set of its ceiling.