Italian Pronoun and Clitic Fragment

Personal pronouns (strong forms) and clitic paradigm for Italian.

Strong Pronouns

[MP26]

Italian has a T/V distinction in 2nd person:

• Singular: tu (familiar T) vs Lei (formal V, 3sg agreement)
• Plural: voi (familiar) vs Loro (formal, archaic; voi now used for both)

Clitic Paradigm

Italian object clitics show the same syncretism pattern as Spanish: 1sg/2sg are syncretic across accusative, dative, and reflexive cases, while 3sg/3pl are not.

Person	ACC	DAT	REFL
1sg	mi	mi	mi
2sg	ti	ti	ti
3sg	lo/la	gli/le	si
1pl	ci	ci	ci
2pl	vi	vi	vi
3pl	li/le	loro	si

def Italian.Pronouns.io : PersonalPronoun

io — 1sg.

Equations

• Italian.Pronouns.io = { form := "io", person := some Person.first, number := some Number.singular }

def Italian.Pronouns.tu : PersonalPronoun

tu — 2sg familiar (T form).

Equations

• Italian.Pronouns.tu = { form := "tu", person := some Person.second, number := some Number.singular }

def Italian.Pronouns.lei_formal : PersonalPronoun

Lei — polite 2sg (V form). Formally 3rd person: triggers 3sg verbal agreement, patterns with 3sg.f clitics, binds 3rd person reflexive si. Interpretably 2nd person: triggers PCC effects, Fancy Constraint effects, 2PL resolved agreement in coordination. [AZ25a]

Equations

• Italian.Pronouns.lei_formal = { form := "Lei", person := some Person.third, number := some Number.singular, register := Features.Register.Level.formal, referentialPerson := some Person.second }

def Italian.Pronouns.lui : PersonalPronoun

lui — 3sg masculine.

Equations

• Italian.Pronouns.lui = { form := "lui", person := some Person.third, number := some Number.singular }

def Italian.Pronouns.lei : PersonalPronoun

lei — 3sg feminine.

Equations

• Italian.Pronouns.lei = { form := "lei", person := some Person.third, number := some Number.singular }

def Italian.Pronouns.noi : PersonalPronoun

noi — 1pl.

Equations

• Italian.Pronouns.noi = { form := "noi", person := some Person.first, number := some Number.plural }

def Italian.Pronouns.voi : PersonalPronoun

voi — 2pl (familiar; also used as general 2pl in modern Italian).

Equations

• Italian.Pronouns.voi = { form := "voi", person := some Person.second, number := some Number.plural }

def Italian.Pronouns.loro_formal : PersonalPronoun

Loro — 2pl formal (archaic, largely replaced by voi).

Equations

• Italian.Pronouns.loro_formal = { form := "Loro", person := some Person.second, number := some Number.plural, register := Features.Register.Level.formal }

def Italian.Pronouns.loro : PersonalPronoun

loro — 3pl.

Equations

• Italian.Pronouns.loro = { form := "loro", person := some Person.third, number := some Number.plural }

def Italian.Pronouns.secondPersonPronouns : List PersonalPronoun

Equations

• Italian.Pronouns.secondPersonPronouns = [Italian.Pronouns.tu, Italian.Pronouns.lei_formal]

def Italian.Pronouns.allPronouns : List PersonalPronoun

Equations

• One or more equations did not get rendered due to their size.

Schema and capability instances (Proform/Bound/HasPerson/ HasNumber/HasCase) are the shared Romance clitic schema (Fragments/Romance/Clitics.lean).

def Italian.Pronouns.mi_acc : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.mi_acc = { form := "mi", person := UD.Person.first, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.mi_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.mi_dat = { form := "mi", person := UD.Person.first, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.mi_refl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.mi_refl = { form := "mi", person := UD.Person.first, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.ti_acc : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ti_acc = { form := "ti", person := UD.Person.second, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.ti_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ti_dat = { form := "ti", person := UD.Person.second, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.ti_refl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ti_refl = { form := "ti", person := UD.Person.second, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.lo_cl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.lo_cl = { form := "lo", person := UD.Person.third, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.la_cl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.la_cl = { form := "la", person := UD.Person.third, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.gli_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.gli_dat = { form := "gli", person := UD.Person.third, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.le_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.le_dat = { form := "le", person := UD.Person.third, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.si_refl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.si_refl = { form := "si", person := UD.Person.third, number := UD.Number.Sing, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.ci_acc : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ci_acc = { form := "ci", person := UD.Person.first, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.ci_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ci_dat = { form := "ci", person := UD.Person.first, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.ci_refl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.ci_refl = { form := "ci", person := UD.Person.first, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.vi_acc : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.vi_acc = { form := "vi", person := UD.Person.second, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.vi_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.vi_dat = { form := "vi", person := UD.Person.second, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.vi_refl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.vi_refl = { form := "vi", person := UD.Person.second, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.li_cl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.li_cl = { form := "li", person := UD.Person.third, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.le_cl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.le_cl = { form := "le", person := UD.Person.third, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.accusative }

def Italian.Pronouns.loro_dat : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.loro_dat = { form := "loro", person := UD.Person.third, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.dative }

def Italian.Pronouns.si_refl_pl : Romance.Clitics.CliticEntry

Equations

• Italian.Pronouns.si_refl_pl = { form := "si", person := UD.Person.third, number := UD.Number.Plur, case_ := Romance.Clitics.CliticCase.reflexive }

def Italian.Pronouns.paradigm : List Romance.Clitics.CliticEntry

The traditional atonic (object) paradigm as a flat list. NB: the series is not strength-homogeneous — [CS99a] classify dative loro as weak, not clitic (not verb-adjacent, never clusters); see loroDatStrength below. The rest are clitics proper.

Equations

• One or more equations did not get rendered due to their size.

Capability checks

def Italian.Pronouns.lookupForm : UD.Person → UD.Number → Romance.Clitics.CliticCase → Option String

Look up the form for a given person, number, and case in the paradigm.

Equations

• Italian.Pronouns.lookupForm = Romance.Clitics.lookupForm Italian.Pronouns.paradigm

def Italian.Pronouns.isSyncretic : UD.Person → UD.Number → Romance.Clitics.CliticCase → Romance.Clitics.CliticCase → Bool

Are two clitic cases syncretic for a given person/number combination? Derived from the paradigm data.

Equations

• Italian.Pronouns.isSyncretic = Romance.Clitics.isSyncretic Italian.Pronouns.paradigm

def Italian.Pronouns.datReflSyncretic : UD.Person → UD.Number → Bool

DAT/REFL syncretism for a given person/number.

Equations

• Italian.Pronouns.datReflSyncretic = Romance.Clitics.datReflSyncretic Italian.Pronouns.paradigm

theorem Italian.Pronouns.syncretic_1sg : datReflSyncretic UD.Person.first UD.Number.Sing = true

1sg: dative and reflexive are syncretic (both "mi").

theorem Italian.Pronouns.syncretic_2sg : datReflSyncretic UD.Person.second UD.Number.Sing = true

2sg: dative and reflexive are syncretic (both "ti").

theorem Italian.Pronouns.not_syncretic_3sg : datReflSyncretic UD.Person.third UD.Number.Sing = false

3sg: dative and reflexive are NOT syncretic ("gli" ≠ "si").

theorem Italian.Pronouns.syncretic_1pl : datReflSyncretic UD.Person.first UD.Number.Plur = true

1pl: dative and reflexive are syncretic (both "ci").

theorem Italian.Pronouns.syncretic_2pl : datReflSyncretic UD.Person.second UD.Number.Plur = true

2pl: dative and reflexive are syncretic (both "vi").

theorem Italian.Pronouns.not_syncretic_3pl : datReflSyncretic UD.Person.third UD.Number.Plur = false

3pl: dative and reflexive are NOT syncretic ("loro" ≠ "si").

theorem Italian.Pronouns.mi_forms_identical : mi_acc.form = mi_dat.form ∧ mi_dat.form = mi_refl.form

1sg forms are identical across all three cases.

theorem Italian.Pronouns.ti_forms_identical : ti_acc.form = ti_dat.form ∧ ti_dat.form = ti_refl.form

2sg forms are identical across all three cases.

theorem Italian.Pronouns.gli_ne_si : gli_dat.form ≠ si_refl.form

3sg dative ≠ 3sg reflexive (gli ≠ si).

theorem Italian.Pronouns.tv_distinction : tu.register = Features.Register.Level.informal ∧ lei_formal.register = Features.Register.Level.formal

tu is informal, Lei is formal.

theorem Italian.Pronouns.lei_formal_dual_person : lei_formal.person = some Person.third ∧ lei_formal.referentialPerson = some Person.second

Lei has 3rd person agreement features but 2nd person interpretable features. [AZ25a]

theorem Italian.Pronouns.has_all_persons : (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.first) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.second) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.third) = true

All three persons are attested.

theorem Italian.Pronouns.has_both_numbers : (allPronouns.any fun (x : PersonalPronoun) => x.number == some Number.singular) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.number == some Number.plural) = true

Both singular and plural are attested.

def Italian.Pronouns.strongStrength : Pronoun.Strength

Italian's tonic series (allPronouns) instantiates the Cardinaletti–Starke .strong class ([CS99a]).

Equations

• Italian.Pronouns.strongStrength = Pronoun.Strength.strong

def Italian.Pronouns.cliticStrength : Pronoun.Strength

The object clitics (paradigm minus dative loro) are the maximally deficient .clitic class: verb-adjacent heads that cluster ([CS99a]).

Equations

• Italian.Pronouns.cliticStrength = Pronoun.Strength.clitic

def Italian.Pronouns.loroDatStrength : Pronoun.Strength

Dative loro is [CS99a]'s parade case for separating weak from clitic: deficient (reduced vs a loro, no coordination) but a maximal projection — not verb-adjacent, never clustering, bears word stress.

Equations

• Italian.Pronouns.loroDatStrength = Pronoun.Strength.weak

theorem Italian.Pronouns.clitics_more_deficient : cliticStrength < strongStrength

The clitic series is structurally more deficient than the strong series: the deficiency ordering behind their complementary distribution (clitics host-adjacent and unfocusable, strong forms free).

theorem Italian.Pronouns.atonic_series_not_homogeneous : cliticStrength < loroDatStrength ∧ loroDatStrength < strongStrength

The traditional atonic paradigm is not strength-homogeneous: dative loro (weak) sits strictly between the clitics and the strong series ([CS99a]).