Song (1996): Causatives and causation #
[Son96] classifies causative constructions by what joins the expression of cause to the expression of effect. In the COMPACT type [Vcause] and [Veffect] share one clause, fused (English kill), bound (Turkish öl-dür) or free (French faire lire); in the AND type a clause of cause and a clause of effect are coordinated, in that order (Vata le); in the PURP type the clause of effect is a clause of purpose (Korean -ke) (chapter 2). The traditional typology, lexical, morphological and syntactic, splits the COMPACT type and lumps the other two together (§1.2). The COMPACT type being the diachronic residue of the other two, what distinguishes those is implicativity: the AND type expresses the EVENT and RESULT stages of the cognitive structure of causation GOAL → EVENT → RESULT and entails its effect, the PURP type expresses GOAL and EVENT and does not, except through the inference that people realize the goals they act for (chapter 5). The grammatical relation of the causee follows no hierarchy of its own: a language caps the core NPs of a simplex clause, causative or not, and its causatives keep within the cap (chapter 6).
Form.type computes the type of a form and Form.traditional its traditional class, and on
Song's examples neither classification refines the other (not_factorsThrough_type,
not_factorsThrough_traditional). A biclausal type entails its effect in every model exactly
when it expresses RESULT (forall_meaning_subset_iff), so the AND type is implicative and the
PURP type is not (and_meaning_subset, purp_not_implicative), as the example (7) bears out
(effectNegated_rows), while COMPACT causatives go either way (compact_implicativity_varies);
the success assumption restores implicativity (meaning_subset_of_success). The paradigm
causative of [Com89]'s case hierarchy never has more than three core NPs
(paradigmCoreNPs_le_three), so a language capped at two refutes the hierarchy for transitive
bases (paradigmCoreNPs_two).
Implementation notes #
- A form records the structure Song reads off an example: one clause and how [Vcause] is realized, or two clauses, their link and their order. The forms of the examples are row features, and their types are computed.
- The traditional class of a free [Vcause] is morphological, after [Com89]'s treatment of the French causative as quasi-morphological, which Song reports (p. 161); Song's own description of the traditional typology (p. 135) does not place it.
- The semantic structures are those of the prototypical types. A model interprets the three stages by arbitrary propositions, so that entailing the effect is doing so in every model. The cline of implicativity within the PURP type (p. 136; a survey of sixteen Korean speakers, §4.5) and the implicativity of COMPACT causatives are outside the model.
paradigmCoreNPscounts the indirect object as a core NP, as in a language capped at three (p. 174). That the paradigm case keeps within a cap of three is drawn here rather than stated by Song, who argues the reinterpretation for extended demotion and doubling (§6.5).
TODO #
- The diachronic model of causative affixes (chapter 3): four stages from a construction whose [Vcause] is obligatory to a causative affix, and the argument that PURP, overt and meaningful, can take over [Vcause] while AND, often covert and empty, cannot (pp. 80–85).
- The measures by which causatives keep within the cap (§§6.4–6.6): omission, demotion to an adjunct, doubling and detransitivization.
References #
Forms and types (chapter 2) #
Equations
- Song1996.instDecidableEqVcause x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Song1996.instReprVcause.repr Song1996.Vcause.fused prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Vcause.fused")).group prec✝
- Song1996.instReprVcause.repr Song1996.Vcause.bound prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Vcause.bound")).group prec✝
- Song1996.instReprVcause.repr Song1996.Vcause.free prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Vcause.free")).group prec✝
Instances For
Equations
- Song1996.instReprVcause = { reprPrec := Song1996.instReprVcause.repr }
Equations
- Song1996.instFintypeVcause = { elems := { val := ↑Song1996.Vcause.enumList, nodup := Song1996.Vcause.enumList_nodup }, complete := Song1996.instFintypeVcause._proof_1 }
The term joining the two clauses of a biclausal causative: AND, a coordinator or nothing, the order of the clauses registering their sequence (§2.4), or PURP, a marker of goal or purpose on the clause of effect (§2.5).
Instances For
Equations
- Song1996.instDecidableEqLink x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Song1996.instReprLink.repr Song1996.Link.and_ prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Link.and_")).group prec✝
- Song1996.instReprLink.repr Song1996.Link.purp prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Link.purp")).group prec✝
Instances For
Equations
- Song1996.instReprLink = { reprPrec := Song1996.instReprLink.repr }
Equations
- Song1996.instFintypeLink = { elems := { val := ↑Song1996.Link.enumList, nodup := Song1996.Link.enumList_nodup }, complete := Song1996.instFintypeLink._proof_1 }
The order of the clause of cause and the clause of effect.
- causeEffect : ClauseOrder
- effectCause : ClauseOrder
Instances For
Equations
- Song1996.instDecidableEqClauseOrder x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Song1996.instReprClauseOrder = { reprPrec := Song1996.instReprClauseOrder.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Song1996.instFintypeClauseOrder = { elems := { val := ↑Song1996.ClauseOrder.enumList, nodup := Song1996.ClauseOrder.enumList_nodup }, complete := Song1996.instFintypeClauseOrder._proof_1 }
A causative construction's form in Song's operating terms (§2.2): [Vcause] and [Veffect] in one clause, or a clause of cause and a clause of effect joined by a link.
- oneClause (v : Vcause) : Form
- twoClauses (link : Link) (order : ClauseOrder) : Form
Instances For
Equations
- Song1996.instDecidableEqForm.decEq (Song1996.Form.oneClause a) (Song1996.Form.oneClause b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Song1996.instDecidableEqForm.decEq (Song1996.Form.oneClause v) (Song1996.Form.twoClauses link order) = isFalse ⋯
- Song1996.instDecidableEqForm.decEq (Song1996.Form.twoClauses link order) (Song1996.Form.oneClause v) = isFalse ⋯
- Song1996.instDecidableEqForm.decEq (Song1996.Form.twoClauses a a_1) (Song1996.Form.twoClauses b b_1) = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯
Instances For
Equations
- Song1996.instReprForm = { reprPrec := Song1996.instReprForm.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The three types of causative construction; the names are mnemonic (p. 9).
- compact : CausativeType
- and_ : CausativeType
- purp : CausativeType
Instances For
Equations
- Song1996.instDecidableEqCausativeType 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
- Song1996.instReprCausativeType = { reprPrec := Song1996.instReprCausativeType.repr }
The type of a form, by the schemas (3), (29) and (60): one clause is COMPACT whatever the order of [Vcause] and [Veffect]; a clause of purpose makes PURP in either order of the clauses; coordinated clauses make AND only with the clause of cause first, their order being fixed (p. 35).
Equations
- (Song1996.Form.oneClause v).type = some Song1996.CausativeType.compact
- (Song1996.Form.twoClauses Song1996.Link.purp order).type = some Song1996.CausativeType.purp
- (Song1996.Form.twoClauses Song1996.Link.and_ Song1996.ClauseOrder.causeEffect).type = some Song1996.CausativeType.and_
- (Song1996.Form.twoClauses Song1996.Link.and_ Song1996.ClauseOrder.effectCause).type = none
Instances For
The class of a form in the traditional typology, on [Com89]'s scale (§1.1, p. 135): lexical when [Vcause] and [Veffect] are fused, morphological when [Vcause] is bound or a free verb forming one unit with [Veffect], syntactic when they stand in different clauses.
Equations
- (Song1996.Form.oneClause Song1996.Vcause.fused).traditional = Causation.Morphological.CausativeComplexity.lexical
- (Song1996.Form.oneClause Song1996.Vcause.bound).traditional = Causation.Morphological.CausativeComplexity.morphological
- (Song1996.Form.oneClause Song1996.Vcause.free).traditional = Causation.Morphological.CausativeComplexity.morphological
- (Song1996.Form.twoClauses link order).traditional = Causation.Morphological.CausativeComplexity.periphrastic
Instances For
The COMPACT type is the traditional lexical and morphological types together (p. 9).
The form of an example, as Song describes it.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Song's typology does not refine the traditional one: English kill (1.b) and Turkish öl-dür (2.b) are both COMPACT, the one lexical and the other morphological (pp. 3, 9).
The traditional typology does not refine Song's: Vata le (5) and Korean -ke (3.b) are both syntactic, the one AND and the other PURP (p. 10).
Implicativity and the cognitive structure of causation (chapter 5) #
Equations
- Song1996.instDecidableEqStage x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Song1996.instReprStage.repr Song1996.Stage.goal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Stage.goal")).group prec✝
- Song1996.instReprStage.repr Song1996.Stage.event prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Stage.event")).group prec✝
- Song1996.instReprStage.repr Song1996.Stage.result prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Song1996.Stage.result")).group prec✝
Instances For
Equations
- Song1996.instReprStage = { reprPrec := Song1996.instReprStage.repr }
Equations
- Song1996.instFintypeStage = { elems := { val := ↑Song1996.Stage.enumList, nodup := Song1996.Stage.enumList_nodup }, complete := Song1996.instFintypeStage._proof_1 }
The proposition a stage contributes, given the causer's goal that the effect come about, the causing event, and the effect.
Equations
- Song1996.Stage.prop goal event effect Song1996.Stage.goal = goal
- Song1996.Stage.prop goal event effect Song1996.Stage.event = event
- Song1996.Stage.prop goal event effect Song1996.Stage.result = effect
Instances For
The semantic structure of the type a link forms (11): EVENT and RESULT for the AND type, GOAL and EVENT for the PURP type.
Equations
Instances For
What a biclausal causative asserts: every stage its semantic structure expresses.
Equations
- l.meaning goal event effect = l.stages.inf (Song1996.Stage.prop goal event effect)
Instances For
Both types express the causer's attempt, without which there is no causation (pp. 142–143).
A biclausal type entails its effect in every model exactly when it expresses RESULT: the AND type's clause of effect is factual, the PURP type's only a goal (p. 142).
The AND type is fully implicative (p. 136).
The prototypical PURP type is nonimplicative (p. 136).
Implicativity restored (§5.4): under the assumption (19) that people generally succeed in realizing the goals they act for, a causative of either type entails its effect, the PURP type by the inference from (20) to (21).
Song's diagnostic on his biclausal examples: denying the effect is acceptable exactly when the link's semantic structure lacks RESULT, as for the PURP causative (7) (pp. 12–13).
Compactness does not settle implicativity (§2.6; Figure 5.2, points A and B): denying the effect of a COMPACT causative is contradictory for English kill (6) and acceptable for the Kammu p- causative (104).
NP density control and the case hierarchy (chapter 6) #
The core NPs of the paradigm causative of [Com89]'s case hierarchy on a base of valency
v: the causer, the base's other arguments keeping their relations, and the causee unless the
hierarchy makes it an oblique, which is no core NP (p. 178).
Equations
- Song1996.paradigmCoreNPs v = v + if Causation.Morphological.causeeDemotion v = Causation.Morphological.CauseeSlot.oblique then 0 else 1
Instances For
The paradigm causative of an intransitive, transitive or ditransitive base never has more than three core NPs: it keeps within the cap of three that Song finds in languages causativizing transitive bases (p. 175).
In a language capped at two core NPs, such as Lamang, Uradhi or Urubu-Kaapor, the paradigm causative of a transitive base, with its causee an indirect object, exceeds the cap: such a language has no morphological causative of transitives (§6.4, p. 174).
Under a cap of n core NPs, the bases whose morphological causative stays within it form a
lower set of valencies: productivity declines from intransitive to transitive to ditransitive
bases (p. 172).