Docs / Studies / Studies.PrasertsomSmithCulbertson2026
Domain-general categorisation explains constrained cross-linguistic variation in noun classification
Prasertsom, P., Smith, K. & Culbertson, J. (2026). Cognition, 271, 106411
This file formalizes the two formal claims of Prasertsom, Smith and Culbertson. The paper asks
why animacy, but never colour, serves as a basis for noun classification although both are
perceptually salient, and answers with a domain-general principle: a good category is one whose
defining feature predicts the other features of its members, and animacy predicts more than
colour. The typological premise is read off Aikhenvald's sample of noun categorization
devices, where animacy is a basic semantic parameter and colour is none of any device's
(animacy_not_colour). The predictive-power manipulation of Experiments 3a and 3b rests on two
sixteen-stimulus sets, Tables 4 and 5 (predictiveAnimacy, predictiveColour), built so that
the conditional entropy of horn type, body shape, and appendage shape is lower given the
predictive dimension than given the other, and so that exchanging the animacy and colour columns
of one set gives the other (mirror_images). The six entropy orderings of Table 6 that the
design promises are proved from the tables under the uniform measure over the stimuli
(predictiveAnimacy_horn, predictiveColour_horn, and their shape and appendage siblings).
Implementation notes
Each stimulus set has exactly one stimulus per animacy–colour pair, so a set is a function from
the pair to the three remaining dimensions and its stimuli are the sixteen cells of the grid.
Conditional entropy is the substrate's H[X | Y ; μ] under the uniform measure on the grid,
reduced to counts by condEntropy_uniformOn_univ; each ordering then comes to a positive multiple
of negMulLog (1/2), the entropy of the evenly split fibres that only the non-predictive
dimension has. The learning and sorting results of Experiments 1a to 3b and the corpus measures
of §4.1, which are means over participants and word embeddings, are not formalized.
TODO
The paper's reason for the mirror design, that animacy in one set has exactly the predictive
power of colour in the other, is the invariance of conditional entropy under a relabelling of
the population and of the conditioning variable; the substrate has no such lemma yet, so the
predictive-colour orderings are computed directly rather than transferred from the
predictive-animacy ones through mirror_images.
References
- Prasertsom et al. 2026, Domain-general categorisation explains constrained cross-linguistic variation in noun classification
- Aikhenvald 2000, Classifiers: A Typology of Noun Categorization Devices formalized
The typological premise (§1)
The stimulus dimensions (§4.2.2, Fig. 10)
The animacy dimension has two kinds of animate, with crescent or round eyes, and two of inanimate, dots forming a line or a triangle.
Derives DecidableEq, Repr, Fintype.
Used by instMeasurableSpaceAnimacy, Animacy.sum_univ, predictiveAnimacy, predictiveColour, Animacy.toColour, Colour.toAnimacy, mirror, mirror_images
The colour dimension has two warm and two cool colours.
Derives DecidableEq, Repr, Fintype.
Used by instMeasurableSpaceColour, Colour.sum_univ, predictiveAnimacy, predictiveColour, Animacy.toColour, Colour.toAnimacy, mirror, mirror_images
Body shape.
Derives DecidableEq, Repr, Fintype.
Used by instMeasurableSpaceShape, Shape.sum_univ, Body
Appendage shape.
- wavy : Appendages
- round : Appendages
Derives DecidableEq, Repr, Fintype.
Used by instMeasurableSpaceAppendages, Appendages.sum_univ, Body
Built from
Built from
Built from
Built from
Built from
Built from
The three dimensions of a stimulus that its animacy and colour may predict.
- horn : Horn
- shape : Shape
- appendages : Appendages
Derives DecidableEq, Repr.
Built from , ,
Used by predictiveAnimacy, predictiveColour
The stimulus sets (Tables 4 and 5)
The predictive-animacy set (Table 4) gives the body of the stimulus in each animacy–colour cell. The eight animates are alike; among the inanimates each body dimension departs once per kind of inanimate from its inanimate value.
The definition is too large to print here; read it in the source.
Built from , ,
Used by mirror_images, predictiveAnimacy_horn, predictiveAnimacy_shape, predictiveAnimacy_appendages
The predictive-colour set (Table 5).
The definition is too large to print here; read it in the source.
Built from , ,
Used by mirror_images, predictiveColour_horn, predictiveColour_shape, predictiveColour_appendages
The colour that stands in for a kind of animacy when the two columns are exchanged, the warm colours for the animates and the cool ones for the inanimates.
- Animacy.crescentEyed.toColour = Colour.red
- Animacy.roundEyed.toColour = Colour.orange
- Animacy.line.toColour = Colour.blue
- Animacy.triangle.toColour = Colour.teal
Built from ,
Used by mirror
The kind of animacy that stands in for a colour.
- Colour.red.toAnimacy = Animacy.crescentEyed
- Colour.orange.toAnimacy = Animacy.roundEyed
- Colour.blue.toAnimacy = Animacy.line
- Colour.teal.toAnimacy = Animacy.triangle
Built from ,
Used by mirror
Built from , , , ,
Predictive power (Table 6)
Built from
Built from
Built from
Built from
Built from
Built from