Documentation

Linglib.Studies.Kratzer2012Informational

Informational Backgrounds — [Kra12] §2.3d #

Epistemic modals with an informational (potentially non-realistic) modal base.

A weather report provides evidence for rain, but the report can be wrong: the proposition "the report says rain" does not guarantee rain is actual. This makes the informational background non-realistic — the actual world may not be in ∩f(w) if the report is wrong at that world.

WorldRainingReportSaysRainNotes
w0yesyesReport correct
w1yesnoRain, report missed
w2noyesDry, report wrong
w3nonoBoth correct

Reference: Kratzer, A. (2012). Modals and Conditionals. OUP. Ch. 2 §2.3d.

source
@[reducible, inline]
abbrev Kratzer2012Informational.World :
Type
Equations
Instances For

    Propositions #

    source
    def Kratzer2012Informational.raining :
    World → Prop

    It is raining.

    Equations
    Instances For
      source
      @[implicit_reducible]
      instance Kratzer2012Informational.instDecidablePredWorldRaining :
      DecidablePred raining
      Equations
      source
      def Kratzer2012Informational.reportSaysRain :
      World → Prop

      The weather report says it is raining.

      Equations
      Instances For
        source
        @[implicit_reducible]
        instance Kratzer2012Informational.instDecidablePredWorldReportSaysRain :
        DecidablePred reportSaysRain
        Equations

        Conversational backgrounds #

        source
        def Kratzer2012Informational.informationalBg :
        Semantics.Modality.Kratzer.ModalBase World

        Informational modal base: accessible worlds are those where the report says rain. Accessible = {w0, w2}.

        Equations
        Instances For
          source
          def Kratzer2012Informational.reliabilityAssumption :
          World → Prop

          Reliability assumption: if the report says rain, it's raining. This is a conditional proposition (report → rain).

          Equations
          Instances For
            source
            def Kratzer2012Informational.strongEpistemicBg :
            Semantics.Modality.Kratzer.ModalBase World

            Strong epistemic base: report + reliability. Accessible = {w0} only.

            Equations
            Instances For

              Derivation theorems #

              source
              theorem Kratzer2012Informational.informational_alone_not_necessity (w : World) :
              ¬Semantics.Modality.Kratzer.necessity informationalBg Semantics.Modality.Kratzer.emptyBackground raining w

              Report alone doesn't entail rain. The informational base gives accessible worlds {w0, w2}, and raining is false at w2.

              source
              theorem Kratzer2012Informational.with_reliability_necessity (w : World) :
              Semantics.Modality.Kratzer.necessity strongEpistemicBg Semantics.Modality.Kratzer.emptyBackground raining w

              Report + reliability entails rain. The strong base gives accessible worlds {w0}, and raining is true at w0.

              source
              theorem Kratzer2012Informational.informational_not_realistic :
              ¬Semantics.Modality.Kratzer.isRealistic informationalBg

              The informational base is not realistic. At w1 (it rains but the report doesn't say so), w1 ∉ ∩f(w1) because reportSaysRain w1 = false.

              source
              theorem Kratzer2012Informational.strong_epistemic_not_realistic :
              ¬Semantics.Modality.Kratzer.isRealistic strongEpistemicBg

              The strong epistemic base is also not realistic. At w1, the report doesn't say rain, so w1 fails the reportSaysRain proposition.

              source
              theorem Kratzer2012Informational.informational_possibility (w : World) :
              Semantics.Modality.Kratzer.possibility informationalBg Semantics.Modality.Kratzer.emptyBackground raining w

              Possibility holds under report alone. Even without reliability, rain is possible (w0 is accessible and raining).

              Evidence type bridge #

              source
              def Kratzer2012Informational.reportEvidence :
              Features.Evidentiality.CoarseSource

              The weather report is hearsay evidence.

              Equations
              Instances For
                source
                theorem Kratzer2012Informational.report_is_retrospective :
                reportEvidence.toEvidentialPerspective = some Features.Evidentiality.EvidentialPerspective.retrospective

                Hearsay evidence is retrospective (the event precedes the report).