Documentation

Linglib.Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings

@cite{charlow-2021}: Cumulative Readings Bridge #

@cite{charlow-2021}

Connects the empirical data (Scenario A/B) to the dynamic GQ theory. Verifies that:

  1. The pointwise system overgenerates (predicts TRUE for Scenario B)
  2. The update-theoretic system is correct (predicts FALSE for Scenario B)
  3. The cumulative reading is strictly stronger than pseudo-cumulative
source
theorem Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings.pointwise_overgenerates :
Data.pseudoCumulativeReading Data.scenarioB_saw Data.allBoys4 Data.allMovies6 3 5 = true

The pointwise system overgenerates: it predicts Scenario B is TRUE under the pseudo-cumulative reading. This re-exports the observation as a bridge theorem.

source
theorem Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings.update_correct :
Data.cumulativeReading Data.scenarioB_saw Data.allBoys4 Data.allMovies6 3 5 = false

The update-theoretic system is correct: Scenario B is FALSE under the cumulative reading.

source
theorem Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings.both_agree_scenarioA :
Data.cumulativeReading Data.scenarioA_saw Data.allBoys3 Data.allMovies5 3 5 = true ∧ Data.pseudoCumulativeReading Data.scenarioA_saw Data.allBoys3 Data.allMovies5 3 5 = true

Both readings agree on Scenario A (both true).

source
theorem Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings.cumulative_strictly_stronger :
Data.cumulativeReading Data.scenarioB_saw Data.allBoys4 Data.allMovies6 3 5 = false ∧ Data.pseudoCumulativeReading Data.scenarioB_saw Data.allBoys4 Data.allMovies6 3 5 = true

The cumulative reading is strictly stronger than pseudo-cumulative: if cumulative is true then pseudo-cumulative is true, but not vice versa. Witnessed by Scenario B.