Gunlogson Bridge: Rising Declaratives

[Gun01]

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 Gunlogson2001.rising_is_other_generated {W : Type u_1} (s : Discourse.Gunlogson.GunlogsonState W) (p : Set W) : Option.map (fun (x : Discourse.Commitment.TaggedCommitment W) => x.source) (s.risingDeclarative p).addresseeSlate.commitments.head? = some 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 Gunlogson2001.falling_is_self_generated {W : Type u_1} (s : Discourse.Gunlogson.GunlogsonState W) (p : Set W) : Option.map (fun (x : Discourse.Commitment.TaggedCommitment W) => x.source) (s.fallingDeclarative p).speakerSlate.commitments.head? = some 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 Gunlogson2001.data_matches_theory : List.lookup "speaker_commits" Examples.rising_decl.paperFeatures = some "false" ∧ List.lookup "attributed_to_addressee" Examples.rising_decl.paperFeatures = some "true"

The rising row of the "It's raining" pair records no speaker commitment and attribution to the addressee — the profile rising_is_other_generated derives from the mechanism.

theorem Gunlogson2001.falling_data_matches : List.lookup "speaker_commits" Examples.falling_decl.paperFeatures = some "true"

The falling row records speaker commitment — the profile falling_is_self_generated derives from the mechanism.