Documentation

Studies.AdamsonZompi2025

Polite pronouns and the person-case constraint #

The Italian polite pronoun LEI is formally third person feminine singular but refers to the addressee, and in a ditransitive clitic cluster it patterns with the second person. Adamson and Zompì give polite pronouns two person values, an uninterpretable one read by agreement and an interpretable one read at LF, and argue that the person-case constraint reads the interpretable one. A person restriction is stated over a person valuation of pronoun entries (Licit): the agreement valuation Morphosyntactic reads the fragments' person and the LF valuation Syntacticosemantic their referentialPerson.

Main results #

Implementation notes #

As in the paper, the rejection by some Weak-PCC speakers of a first person dative over accusative LEI is left open (first_dative_lei). The Person Licensing Condition, the clitic logophoric restriction, and the rival accounts of polite pronouns by impoverishment or by unmarked-value recruitment have no formal counterpart here.

References #

Person restrictions over a person valuation #

R licenses the dative–accusative pair dat, acc under the person valuation person when it licenses the scenario of the dative's person over the accusative's.

Equations
Instances For
    @[instance_reducible]
    instance AdamsonZompi2025.instDecidableLicitOfDecidablePredScenarioPerson (R : Clause.Scenario Person → Prop) [DecidablePred R] (person : PersonalPronoun → Option Person) (dat acc : PersonalPronoun) :
    Decidable (Licit R person dat acc)
    Equations
    @[reducible, inline]

    The morphosyntactic prediction has R read agreement person.

    Equations
    Instances For
      @[reducible, inline]

      The syntacticosemantic prediction has R read referential person.

      Equations
      Instances For
        theorem AdamsonZompi2025.morphosyntactic_iff_of_ordinary {R : Clause.Scenario Person → Prop} {dat acc : PersonalPronoun} (hd : dat.IsOrdinary) (hd' : dat.referential.Nonempty) (ha : acc.IsOrdinary) (ha' : acc.referential.Nonempty) :
        Morphosyntactic R dat acc ↔ Syntacticosemantic R dat acc

        The two predictions coincide on ordinary pronouns, those denoting exactly the categories their agreement features realize.

        Italian #

        The Italian grammars are Weak for most speakers and Strong for those rejecting 1>2 and 2>1.

        Equations
        Instances For

          Second over third and third over third are licit and third over second is not, on either valuation and either grammar.

          A third person dative over accusative LEI is licensed on agreement person and banned on interpretable person.

          The interaction–satisfaction grammars, read over agreement person, license accusative LEI.

          Feature gluttony, read over agreement person, licenses accusative LEI, since a third person dative and a third person accusative do not glutton the Weak probe.

          Coordinated with a third person, LEI resolves to second person on its interpretable value and to third on its agreement value.

          A first person dative over accusative LEI is licit on the Weak grammar and banned on the Strong one, exactly as over ti; some Weak speakers nonetheless reject it.

          Spanish and German #