Comrie (1989): Language Universals and Linguistic Typology #
Three of the book's chapters make claims sharp enough to state. Case marking (chapter 6) serves first to discriminate the two arguments of a transitive clause: of the five ways the primitives S, A and P can share cases, only the nominative–accusative and ergative–absolutive systems keep A and P apart with two cases, which is why those two are the widespread ones, the tripartite system spending a case on a distinction it does not need and the neutral and the A/P-against-S systems failing to make the one that matters. The same function explains differential marking: the agent of a transitive clause is typically more animate and more definite than its patient, so marking is spent on the departures, a P high on the hierarchies or an A low on them, and each language's marking is monotone in prominence, Russian and Polish by animacy, Turkish and Persian by definiteness, Hindi and Spanish by both, Dyirbal marking its As downward and its Ps upward from the same cut between first and second person pronouns and the rest of the animacy hierarchy.
In causatives (chapter 8) the causee takes the highest position on the hierarchy subject > direct object > indirect object > oblique that the base verb's arguments leave free, as Turkish shows for intransitive, transitive and ditransitive bases; languages may in addition double a filled position, Sanskrit a direct object and Turkish an indirect object, or demote further than required, French by par, and the analysis of the oblique causee as a passive fails for Turkish, where passive applies to every transitive verb but the oblique causee only to ditransitive bases, and for Hungarian, which has an oblique causee and no passive expressing its agent in that case. Where a language offers two cases for the causee, the one lower on the hierarchy encodes the causee that retains more control, Hungarian instrumental over accusative, Japanese dative over accusative, Kannada instrumental over dative; and within a language the more compact a causative's form, the more direct the causation it expresses. Subject (chapter 5) is a prototype, the intersection of agent and topic, so that constructions tied to agents, such as imperative addressee deletion, group S with A even in Dyirbal, constructions tied to affected participants, such as the Nivkh resultative, group S with P, both as tendencies, and constructions tied to neither, such as coordination, vary: S with A in English, S with P in Dyirbal, neither in Chukchi.
The case systems are the equivalence relations on the three primitives, caseSystem_of_equivalence
that the five are all of them and discriminates_two_case_iff that two of them are the
economical discriminating ones; the book's examples are the rows, over which marking_monotone
is the information-flow prediction, causee_rows and passive_analysis_fails the hierarchy
against its rival, control_rows the control hierarchy, compactness_rows the directness
correlation through the substrate's monotonicity, and bias_rows, coordination_rows and
mixed_rows the prototype's predictions.
Implementation notes #
- A marking row records, for each argument the book discusses, the scales the book invokes for that
language and the marking its position takes, obligatory, optional or none; monotonicity is read
over pairs of acceptable rows of one language and role in the product order of the parameters §9.4
separates, person, animacy proper and the degree of definiteness, a parameter the row does not
cite constraining nothing. A row whose marking the book attributes to a parameter beside the
hierarchies, Polish's male-human cut, carries a
parameterfeature and has no marking. - The departures from the paradigm case are per-language parameters: which positions a language doubles, whether it demotes further than required, and whether it has a passive, the last consulted only by the rival analysis and stated by the book for Turkish, French and Hungarian; Sanskrit's and Kannada's passives are textbook facts.
- The prototype's predictions are stated through the bias of a construction type, agent-linked or patient-linked, which the book gives as the explanation; a control complement, the Chukchi infinitive construction, favours S with A on the book's account, and coordination has no bias.
TODO #
- The book's four-grade definiteness continuum, complete identifiability > definite superset > discourse relevance > neither, is coarsened onto the substrate's scale, which merges the middle two grades; Persian (23) and Turkish (25) are therefore indefinite specific.
- The book says Sanskrit has no dative causee at all, a position the hierarchy skips; the parameters record only doubling and further demotion, and no row tests the gap.
- The doubling universal of §8.2, that the possibilities for doubling increase down the hierarchy, needs more languages than the book's rows give.
- Chapter 9's animacy hierarchy is prose here: the Navajo yi- ~ bi- alternation, Chukchi number and the Tangut and Southern Tiwa agreement data would need agreement substrate.
- The Russian numeral continuum of §5.2 and Greenberg's Universal 38 on the unmarkedness of the S case (§6.1) are not stated.
References #
The discriminatory function of case (§6.1) #
Equations
- Comrie1989.instDecidableEqPrimitive x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Comrie1989.instReprPrimitive = { reprPrec := Comrie1989.instReprPrimitive.repr }
Equations
- Comrie1989.instReprPrimitive.repr Comrie1989.Primitive.S prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Primitive.S")).group prec✝
- Comrie1989.instReprPrimitive.repr Comrie1989.Primitive.A prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Primitive.A")).group prec✝
- Comrie1989.instReprPrimitive.repr Comrie1989.Primitive.P prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Primitive.P")).group prec✝
Instances For
Equations
- Comrie1989.instFintypePrimitive = { elems := { val := ↑Comrie1989.Primitive.enumList, nodup := Comrie1989.Primitive.enumList_nodup }, complete := Comrie1989.instFintypePrimitive._proof_1 }
The five logically possible case systems, by which primitives share a case.
- neutral : CaseSystem
- nominativeAccusative : CaseSystem
- ergativeAbsolutive : CaseSystem
- tripartite : CaseSystem
- apAgainstS : CaseSystem
Instances For
Equations
- Comrie1989.instDecidableEqCaseSystem 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
- Comrie1989.instReprCaseSystem = { reprPrec := Comrie1989.instReprCaseSystem.repr }
Equations
- Comrie1989.instFintypeCaseSystem = { elems := { val := ↑Comrie1989.CaseSystem.enumList, nodup := Comrie1989.CaseSystem.enumList_nodup }, complete := Comrie1989.instFintypeCaseSystem._proof_1 }
The cases of a system, as the sets of primitives each marks.
Equations
- Comrie1989.CaseSystem.neutral.blocks = {{Comrie1989.Primitive.S, Comrie1989.Primitive.A, Comrie1989.Primitive.P}}
- Comrie1989.CaseSystem.nominativeAccusative.blocks = {{Comrie1989.Primitive.S, Comrie1989.Primitive.A}, {Comrie1989.Primitive.P}}
- Comrie1989.CaseSystem.ergativeAbsolutive.blocks = {{Comrie1989.Primitive.S, Comrie1989.Primitive.P}, {Comrie1989.Primitive.A}}
- Comrie1989.CaseSystem.tripartite.blocks = {{Comrie1989.Primitive.S}, {Comrie1989.Primitive.A}, {Comrie1989.Primitive.P}}
- Comrie1989.CaseSystem.apAgainstS.blocks = {{Comrie1989.Primitive.A, Comrie1989.Primitive.P}, {Comrie1989.Primitive.S}}
Instances For
Two primitives take the same case.
Instances For
Equations
- One or more equations did not get rendered due to their size.
The number of cases.
Instances For
The system discriminates the two arguments of a transitive clause.
Equations
Instances For
Equations
- Comrie1989.instDecidableDiscriminates c = { decide := !decide (c.Same Comrie1989.Primitive.A Comrie1989.Primitive.P), reflects_decide := ⋯ }
Every equivalence relation on the primitives is one of the five systems.
The systems that discriminate A from P are all but the neutral and the A/P-against-S ones.
The systems discriminating A from P with two cases are the nominative–accusative and the ergative–absolutive ones, the widespread systems; the tripartite system marks S apart for no discriminatory gain.
The rows #
The rows the book accepts.
Equations
- Comrie1989.acceptable = List.filter (fun (x : Datum) => decide (x.judgment = Judgment.acceptable)) Comrie1989.Examples.all
Instances For
Differential marking and the natural information flow (§6.2) #
Equations
- Comrie1989.instDecidableEqMarked x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Comrie1989.instReprMarked = { reprPrec := Comrie1989.instReprMarked.repr }
Equations
- Comrie1989.instReprMarked.repr Comrie1989.Marked.unmarked prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Marked.unmarked")).group prec✝
- Comrie1989.instReprMarked.repr Comrie1989.Marked.optional prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Marked.optional")).group prec✝
- Comrie1989.instReprMarked.repr Comrie1989.Marked.marked prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Marked.marked")).group prec✝
Instances For
Optional marking sits between unmarked and marked.
Equations
Instances For
Equations
- Comrie1989.instLinearOrderMarked = LinearOrder.lift' Comrie1989.Marked.toNat ⋯
One argument's marking in a row records its role, the parameters the book invokes for the language, and the marking its position takes.
- role : Primitive
A or P; S, taking the unmarked case, has no row.
- person : Option Person.Class
Whether the argument is a speech-act participant, where the marking consults it.
- animacy : Option Reference.Animacy
The argument's animacy, where the marking consults it.
- definiteness : Option Reference.DefinitenessDegree
The argument's degree of definiteness, where the marking consults it.
- marked : Marked
The marking the position takes.
Instances For
The animacy labels of the rows, read as person and animacy apart, the parameters §9.4 separates: the speech-act participants are human, and the nouns are third person.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The markings a row records, one per argument whose marking it gives, under the key
prefixes A. and P.; a row whose marking the book attributes to a parameter beside the
hierarchies has none.
Equations
- One or more equations did not get rendered due to their size.
Instances For
m₁ marks the same role as m₂ and is at most as prominent on every parameter both
cite.
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.
The information-flow prediction: within a language, the special case on P is monotone up the prominence scales and the special case on A monotone down them, (7)–(27) of chapter 6: Russian and Polish by animacy, Turkish and Persian by definiteness, Hindi and Spanish by both, and Dyirbal on both roles from the cut between first and second person pronouns and the rest of the hierarchy.
The prediction has content in both directions, since some P is outranked by another of its language and carries less marking, and some A is outranked and carries more.
The causee hierarchy (§8.2) #
A language's departures from the paradigm case.
- doubles : List Causation.Morphological.CauseeSlot
The positions the language lets a causee double.
- extended : Bool
Whether the causee may take a position below the paradigm one.
- passive : Bool
Whether the language has a passive expressing its agent in the oblique case of the causee, which the rival analysis consults.
Instances For
Among the languages with causative rows, Turkish doubles indirect objects and never demotes further, Sanskrit doubles direct objects and demotes to the instrumental, French, Hungarian, Japanese and Kannada demote further, and Hungarian has no passive.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A causative row's configuration is the base verb's valency, the causee's position, and the language's parameters.
- valency : ℕ
The base verb's valency.
- causee : Causation.Morphological.CauseeSlot
The position the causee takes.
- params : Parameters
The language's parameters.
Instances For
The configuration a causative or control row records.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The paradigm position is the highest the base verb's arguments leave free.
Equations
Instances For
The hierarchy analysis admits the causee's position in the paradigm case, in a doubled position, or in a lower one where the language demotes further.
Equations
Instances For
The rival analysis takes the oblique causee as a passive agent, admitting the paradigm case, a doubled position, or the oblique of a transitive base wherever the language has a passive.
Equations
- c.PassiveAdmits = (c.causee = c.paradigm ∨ c.Doubles ∨ c.params.passive = true ∧ 2 ≤ c.valency ∧ c.causee = Causation.Morphological.CauseeSlot.oblique)
Instances For
Equations
- One or more equations did not get rendered due to their size.
The Turkish paradigm (12)–(16), the doubling of (17)–(18), the further demotion of (20) and of the control alternatives, and the exclusion of (22): the hierarchy with the language's parameters admits exactly the positions the languages accept.
The passive analysis admits (22), the oblique causee of a transitive base in Turkish, which the language rejects although it passivizes every transitive verb, and excludes the instrumental causee of Hungarian (9), whose base is intransitive and whose language has no passive expressing the agent in that case.
Whether a causee retains less or more control.
Instances For
Equations
- Comrie1989.instDecidableEqControl x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Comrie1989.instReprControl = { reprPrec := Comrie1989.instReprControl.repr }
Equations
- Comrie1989.instReprControl.repr Comrie1989.Control.less prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Control.less")).group prec✝
- Comrie1989.instReprControl.repr Comrie1989.Control.more prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Control.more")).group prec✝
Instances For
A control row's configuration is the control the causee retains and its position.
- control : Control
The control the causee retains.
- causee : Causation.Morphological.CauseeSlot
The position the causee takes.
Instances For
The configuration a control row records.
Equations
- One or more equations did not get rendered due to their size.
Instances For
By the control hierarchy, (8)–(9) and (23)–(28), the causee retaining more control takes the position lower on the hierarchy within a language, and a language offers the pair.
Compactness and directness (§8.1) #
The causative construction a row records, its formal complexity and its mediation.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Within a language, the more compact causative is the more appropriate to direct causation, Nivkh (6)–(7) and the English broke ~ brought it about pair: the substrate's monotonicity on every pair of rows, and a pair strictly ordered on both scales.
Subject as a prototype (chapter 5) #
Equations
- Comrie1989.instDecidableEqGrouping x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Comrie1989.instReprGrouping = { reprPrec := Comrie1989.instReprGrouping.repr }
Equations
- One or more equations did not get rendered due to their size.
- Comrie1989.instReprGrouping.repr Comrie1989.Grouping.withA prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Grouping.withA")).group prec✝
- Comrie1989.instReprGrouping.repr Comrie1989.Grouping.withP prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Grouping.withP")).group prec✝
Instances For
Equations
- Comrie1989.instFintypeGrouping = { elems := { val := ↑Comrie1989.Grouping.enumList, nodup := Comrie1989.Grouping.enumList_nodup }, complete := Comrie1989.instFintypeGrouping._proof_1 }
Equations
- Comrie1989.instDecidableEqTest 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.
- Comrie1989.instReprTest.repr Comrie1989.Test.coordination prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Test.coordination")).group prec✝
- Comrie1989.instReprTest.repr Comrie1989.Test.imperative prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Test.imperative")).group prec✝
- Comrie1989.instReprTest.repr Comrie1989.Test.resultative prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Test.resultative")).group prec✝
- Comrie1989.instReprTest.repr Comrie1989.Test.infinitive prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Comrie1989.Test.infinitive")).group prec✝
Instances For
Equations
- Comrie1989.instReprTest = { reprPrec := Comrie1989.instReprTest.repr }
Equations
- Comrie1989.instFintypeTest = { elems := { val := ↑Comrie1989.Test.enumList, nodup := Comrie1989.Test.enumList_nodup }, complete := Comrie1989.instFintypeTest._proof_1 }
The prototype predicts that a construction tied to agents, the deletion of an imperative's addressee or of the recipient of an indirect command, and a control complement such as the Chukchi infinitive construction, favour S with A; one tied to affected participants, the resultative, favours S with P; coordination, tied to neither, is free to vary (§5.3–§5.4).
Equations
- Comrie1989.Test.imperative.bias = some Comrie1989.Grouping.withA
- Comrie1989.Test.indirectCommand.bias = some Comrie1989.Grouping.withA
- Comrie1989.Test.infinitive.bias = some Comrie1989.Grouping.withA
- Comrie1989.Test.resultative.bias = some Comrie1989.Grouping.withP
- Comrie1989.Test.coordination.bias = none
Instances For
A grouping row's configuration.
Instances For
The configuration a grouping row records.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The imperative groups S with A in every language with rows, Dyirbal included, the Nivkh resultative groups S with P, and yet each bias is a tendency: the English resultative keeps its A, and Dyirbal's indirect commands, agent-tied like its imperatives, keep S with P.
Coordination, tied to neither prototype property, realizes every grouping, S with A in English, S with P in Dyirbal, and neither in Chukchi.
A language can be mixed, as Chukchi's coordination restricts nothing while its infinitive construction groups S with A.