Gunlogson Bridge: Rising Declaratives

@cite{gunlogson-2001}

Connects Gunlogson's source-marking analysis to the rising declarative data.

Prediction

Rising declaratives are assertions with other-generated source marking. The speaker does not commit to the content; instead, they attribute it to the addressee and invite confirmation or denial.

Intonation	Gunlogson Operation	Source
Falling ↓	fallingDeclarative	self-generated
Rising ↑	risingDeclarative	other-generated

theorem Phenomena.Assertion.Studies.Gunlogson2001.rising_is_other_generated {W : Type u_1} (s : Theories.Pragmatics.Assertion.Gunlogson.GunlogsonState W) (p : BProp W) : Option.map (fun (x : Core.Discourse.Commitment.TaggedCommitment W) => x.source) (s.risingDeclarative p).addresseeSlate.commitments.head? = some Core.Discourse.Commitment.CommitmentSource.otherGenerated ∧ (s.risingDeclarative p).speakerSlate = s.speakerSlate

Rising declaratives are modeled as other-generated commitments.

The data says: rising declaratives do not commit the speaker and attribute content to the addressee. Gunlogson's risingDeclarative adds an other-generated commitment to the addressee's slate, leaving the speaker's slate unchanged.

theorem Phenomena.Assertion.Studies.Gunlogson2001.falling_is_self_generated {W : Type u_1} (s : Theories.Pragmatics.Assertion.Gunlogson.GunlogsonState W) (p : BProp W) : Option.map (fun (x : Core.Discourse.Commitment.TaggedCommitment W) => x.source) (s.fallingDeclarative p).speakerSlate.commitments.head? = some Core.Discourse.Commitment.CommitmentSource.selfGenerated

Falling declaratives are modeled as self-generated commitments.

The data says: falling declaratives commit the speaker. Gunlogson's fallingDeclarative adds a self-generated commitment to the speaker's slate.

theorem Phenomena.Assertion.Studies.Gunlogson2001.data_matches_theory : ((List.filter (fun (x : RisingDeclarativeDatum) => x.isRising) risingExamples).all fun (x : RisingDeclarativeDatum) => !x.speakerCommits) = true ∧ ((List.filter (fun (x : RisingDeclarativeDatum) => x.isRising) risingExamples).all fun (x : RisingDeclarativeDatum) => x.attributedToAddressee) = true

The rising declarative data matches Gunlogson's prediction: rising → no speaker commitment, attributed to addressee.

theorem Phenomena.Assertion.Studies.Gunlogson2001.falling_data_matches : ((List.filter (fun (x : RisingDeclarativeDatum) => !x.isRising) risingExamples).all fun (x : RisingDeclarativeDatum) => x.speakerCommits) = true

The falling declarative data matches Gunlogson's prediction: falling → speaker commits.