Italian Negation Fragment

[Has13b] [Dry13] [Zan97] [Cin99]

Italian sentential negation: the standard preverbal negation particle non and its packaging as a NegationSystem. The marker is a free particle in preverbal position; WALS Ch 143A classifies Italian as .negv. Italian object clitics attach between non and the verb (non lo vedo, not *lo non vedo) — the canonical syntactic analysis is [Zan97]'s NegP cartography, refined by [Cin99]'s adverb hierarchy.

Sibling files

Italian negation is distributed across three coordinated files. This file holds the operator (the marker + system) and the EN trigger inventory. The other axes:

• Fragments/Italian/PolarityItems.lean — lexical reactives: n-words (nessuno, niente, mai, neanche/nemmeno/neppure), the formal NPI alcuno, the emphatic reinforcer mica, the FCIs qualsiasi/qualunque. The operator/lexical-reactive split is documented in Core/Lexical/NegMarker.lean.
• the EN trigger inventory (this file, below) — the eight [JK21] trigger classes attested for Italian, with their lexical triggers. Distinct axis from standard sentential negation. The finer construction-level weak/strong classification of Italian EN environments ([Gre20] Tables 1–2) lives in Studies/Greco2020.lean.
• Fragments/Italian/PolarityMarking.lean — sentence-level polarity strategies (emphatic affirmation, focus particles).

Bias-conditioned non₂ (the non-truth-functional comparative non of [NN76]) surfaces obliquely via the pur and affatto entries in PolarityItems.lean.

def Italian.Negation.non : Syntax.Negation.NegMarkerEntry

non — Italian's standard preverbal negation particle. Non ho visto nessuno 'NEG have seen nobody' = "I didn't see anyone". A free word, not a clitic; syntactically immediately preverbal.

Equations

• Italian.Negation.non = { form := "non", morphemeType := Syntax.Negation.NegMorphemeType.particle, position := Syntax.Negation.NegMarkerPosition.preverbal }

def Italian.Negation.negationSystem : Syntax.Negation.NegationSystem

The Italian negation system: a single preverbal particle. The Fragment-side joint consumed by Studies/Dryer2013Negation.lean. WALS classifications are pulled from Data/WALS/Features/F112A.lean et al. via NegationSystem.ofISO — never hand-encoded.

Equations

• Italian.Negation.negationSystem = Syntax.Negation.NegationSystem.ofISO "ita" [Italian.Negation.non]

Expletive Negation

[JK21]

The eight EN trigger classes attested for Italian in [JK21]'s 722-language survey (Table 3, Italic row), each with its lexical trigger. Unlike French — whose grammaticalized EN marker is bare ne, distinct from standard ne...pas — Italian uses the standard negator non for every EN environment, so EN and standard negation are string-identical ([Gre20] exploits exactly this ambiguity for Snegs).

Note the cross-Romance contrast visible in the survey: Italian's row has DOUBT (dubitare) but, unlike French, no FEAR class.

def Italian.Negation.enTriggerNegators : List Syntax.Negation.ENTriggerNegator

EN trigger-negator pairings from [JK21] Table 3 (Italic section).

Equations

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

theorem Italian.Negation.en_negator_is_standard : (enTriggerNegators.all fun (x : Syntax.Negation.ENTriggerNegator) => x.enNegatorForm == non.form) = true

Every Italian EN environment uses the standard negator: the EN negator form coincides with the non marker entry.

def Italian.Negation.negationProfile : Syntax.Negation.NegationProfile

Italian negation profile (WALS Ch 112-115 + Greco/JinKoenig fields).

Equations

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