Narrog (2010): (Inter)subjectification in the Domain of Modality and Mood #
This file formalizes the use [Nar10a] makes of the eight most frequent changes of modal
meaning in the sample of [BPP94]. The chapter places the uses of modal
markers on a map with two dimensions. Volitivity separates the modalities in which an element
of will is present, deontic and boulomaic modality, from those in which it is absent, epistemic,
evidential, and dynamic modality (ModalFlavor.IsVolitive). Speaker orientation runs from
event-oriented uses up through modality proper to mood and illocutionary force modulation, and
the chapter's claim is that a change never decreases it, whatever the change does to volitivity.
The tabulated meanings are force-flavor pairs, the future, and two directive moods (Meaning),
which fixes the volitivity of source and target and tells modality proper from mood. On that
basis change is attested within and across the two sides of volitivity in every combination
(volitivity_independent), each change from non-volitive to volitive meaning is more frequent
than each deontic-to-epistemic one (toNonVolitive_lt_toVolitive), so the deontic-to-epistemic
shift is one change among several and not the representative one, and no change leads out of
mood (source_not_isMood). The changes into mood, future and possibility markers becoming
imperatives and admonitives and obligation markers becoming imperatives, reach the top of the
map and so conform wherever the source use lay. A change from probability to an event-oriented
obligation is what the chapter names as a counterexample and finds undocumented.
The chapter's second half asks why strong obligation is rarely grammaticalized: must-type markers were found in sixty of two hundred languages, and the Japanese strong-necessity construction occurs with no second-person subject in the corpus counts the chapter cites. Imperatives are in principle always performative and used under full authority, while obligation markers either report obligations or impose them without such authority, which is face-threatening, so that direct reference to obligation is habitually avoided in many cultures and obligation markers are less often available as sources of epistemic ones. That argument and its counts are not formalized.
Implementation notes #
The chapter argues that the five tabulated changes within modality proper also increase speaker
orientation, the deontic-to-epistemic ones included, but it assigns no positions to their
meanings, and orientation is a property of a use and not of a meaning label, so no orientation
is assigned to a meaning here. The scale itself is Narrog2012.SpeechActOrientation, in the
later book's terms, and that study checks these changes against it. Strong obligation and
certainty are read as necessity, weak obligation and probability as weak necessity, and root
possibility and ability as circumstantial possibility; a label that does not mention strength is
read as the strong force. ModalFlavor files teleological modality under the circumstantial
flavor, which IsVolitive treats as non-volitive.
References #
A flavor is volitive when an element of will is present in it, as in obligation, permission, and wish, and non-volitive otherwise, as in epistemic assessment and ability.
Equations
- f.IsVolitive = (f = Modality.ModalFlavor.deontic ∨ f = Modality.ModalFlavor.bouletic)
Instances For
Equations
- Narrog2010.instDecidablePredModalFlavorIsVolitive x✝ = { decide := decide (x✝ = Modality.ModalFlavor.deontic) || decide (x✝ = Modality.ModalFlavor.bouletic), reflects_decide := ⋯ }
A meaning between which the tabulated changes run. A modal meaning is the set of
force-flavor pairs its label covers, as in ModalItem.meaning.
- modal (m : Finset Modality.ForceFlavor) : Meaning
- future : Meaning
Future or prediction.
- imperative : Meaning
- admonitive : Meaning
Instances For
Equations
- Narrog2010.instDecidableEqMeaning.decEq (Narrog2010.Meaning.modal a) (Narrog2010.Meaning.modal b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq (Narrog2010.Meaning.modal m) Narrog2010.Meaning.future = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq (Narrog2010.Meaning.modal m) Narrog2010.Meaning.imperative = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq (Narrog2010.Meaning.modal m) Narrog2010.Meaning.admonitive = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.future (Narrog2010.Meaning.modal m) = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.future Narrog2010.Meaning.future = isTrue ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.future Narrog2010.Meaning.imperative = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_8
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.future Narrog2010.Meaning.admonitive = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_9
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.imperative (Narrog2010.Meaning.modal m) = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.imperative Narrog2010.Meaning.future = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_11
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.imperative Narrog2010.Meaning.imperative = isTrue ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.imperative Narrog2010.Meaning.admonitive = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_12
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.admonitive (Narrog2010.Meaning.modal m) = isFalse ⋯
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.admonitive Narrog2010.Meaning.future = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_14
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.admonitive Narrog2010.Meaning.imperative = isFalse Narrog2010.instDecidableEqMeaning.decEq._proof_15
- Narrog2010.instDecidableEqMeaning.decEq Narrog2010.Meaning.admonitive Narrog2010.Meaning.admonitive = isTrue ⋯
Instances For
Root possibility, which the table also lists with ability.
Equations
Instances For
Root or epistemic possibility.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
A modal meaning is volitive when all its flavors are, and the directive moods are.
Equations
- (Narrog2010.Meaning.modal m).IsVolitive = ∀ ff ∈ m, ff.flavor.IsVolitive
- Narrog2010.Meaning.future.IsVolitive = False
- Narrog2010.Meaning.imperative.IsVolitive = True
- Narrog2010.Meaning.admonitive.IsVolitive = True
Instances For
A modal meaning is non-volitive when none of its flavors is volitive, and the future is.
Equations
- (Narrog2010.Meaning.modal m).IsNonVolitive = ∀ ff ∈ m, ¬ff.flavor.IsVolitive
- Narrog2010.Meaning.future.IsNonVolitive = True
- Narrog2010.Meaning.imperative.IsNonVolitive = False
- Narrog2010.Meaning.admonitive.IsNonVolitive = False
Instances For
The imperative and the admonitive mark speech acts and belong to mood, which lies at the speech act-oriented end of the map; the other meanings belong to modality proper.
Equations
- Narrog2010.Meaning.imperative.IsMood = True
- Narrog2010.Meaning.admonitive.IsMood = True
- x✝.IsMood = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The eight most frequent changes of modal meaning in the sample of [BPP94], as the chapter tabulates them.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Change is attested within the volitive meanings, within the non-volitive ones, and across volitivity in both directions, so volitivity does not constrain the direction of change.
Every change from non-volitive to volitive meaning is more frequent than every change from volitive to non-volitive meaning, the direction a deontic-to-epistemic theory takes as representative.
No tabulated change leads out of mood, the one configuration that the meaning labels alone would show to run against the claim.
Mood is fed from both sides of the volitivity dimension.