French Negation Fragment

[miestamo-2005] [haspelmath-2013] [dryer-haspelmath-2013] [zanuttini-1997] [cinque-1999]

French uses bipartite negation ne...pas, with the preverbal clitic ne and the postverbal reinforcer pas. In colloquial speech, ne is frequently dropped (Jespersen cycle stage II→III).

Symmetric negation

WALS classifies French negation as symmetric: adding ne...pas does not change the clause structure, verb form, or paradigm. All TAM distinctions are available under negation.

Jespersen cycle

French is a textbook case of the Jespersen cycle:

1. Latin non (preverbal only)
2. Old French ne...pas (bipartite, pas = reinforcer from 'step')
3. Colloquial French pas (postverbal only, ne dropped)

The ne-drop is sociolinguistically conditioned: near-categorical in informal speech, variable in formal registers.

def French.Negation.neClitic : String

The French preverbal negative clitic. Phonologically a clitic on the finite verb (or auxiliary); syntactically the head of NegP per [zanuttini-1997]'s cartography. Near-categorically dropped in spoken French (Jespersen cycle stage III), categorically present in formal written French.

Equations

• French.Negation.neClitic = "ne"

def French.Negation.pasReinforcer : String

The French postverbal negative reinforcer pas. Originally a noun 'step' grammaticalized via the Jespersen cycle into the load-bearing negation marker of modern French. Sits in the specifier of NegP per [zanuttini-1997].

Equations

• French.Negation.pasReinforcer = "pas"

def French.Negation.bipartite : Syntax.Negation.Marker

(ne) pas — French's bipartite standard negation. The two morphemes flank the finite verb: Je ne mange pas (formal), Je mange pas (colloquial, ne-drop). Encoded as a single Marker with discontinuous position because ne and pas together constitute one logical negation construction (one WALS Ch 112A value, one Ch 143A value). The constituent forms neClitic and pasReinforcer are exposed separately for downstream consumers that need them (JinKoenig2021 uses ne alone as the EN marker; Miestamo2005 lists both as negMarkers).

Equations

• French.Negation.bipartite = { morphs := [Morphology.Morph.procl "ne", Morphology.Morph.free "pas"] }

structure French.Negation.NegExample : Type

A French negation example.

• affirmative : String
• negativeFormal : String
• negativeColloquial : String
• gloss : String
• tenseLabel : String

@[instance_reducible]

instance French.Negation.instReprNegExample : Repr NegExample

Equations

• French.Negation.instReprNegExample = { reprPrec := French.Negation.instReprNegExample.repr }

def French.Negation.instReprNegExample.repr : NegExample → ℕ → Std.Format

Equations

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

def French.Negation.instBEqNegExample.beq : NegExample → NegExample → Bool

Equations

• One or more equations did not get rendered due to their size.
• French.Negation.instBEqNegExample.beq x✝¹ x✝ = false

@[instance_reducible]

instance French.Negation.instBEqNegExample : BEq NegExample

Equations

• French.Negation.instBEqNegExample = { beq := French.Negation.instBEqNegExample.beq }

def French.Negation.present : NegExample

Present tense.

Equations

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

def French.Negation.passeCompose : NegExample

Passé composé (compound past).

Equations

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

def French.Negation.imparfait : NegExample

Imparfait (imperfect).

Equations

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

def French.Negation.futurSimple : NegExample

Futur simple (simple future).

Equations

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

def French.Negation.subjonctif : NegExample

Subjonctif (subjunctive).

Equations

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

def French.Negation.allExamples : List NegExample

Equations

• French.Negation.allExamples = [French.Negation.present, French.Negation.passeCompose, French.Negation.imparfait, French.Negation.futurSimple, French.Negation.subjonctif]

Verification

theorem French.Negation.all_tenses_available : allExamples.length = 5

All tenses are available under negation (no paradigmatic gaps).

Expletive Negation

[jin-koenig-2021]

French has a dedicated expletive negation marker: the preverbal clitic ne used alone (without pas). This is the grammaticalized form of EN, distinct from standard ne...pas. In a few low-entrenchment contexts (REGRET, FORGET), the full ne...pas appears instead.

Trigger class	EN negator	Entrenchment
FEAR	ne	high
BEFORE	ne	high
UNLESS	ne	high
DENY	ne	high (requires negation/question)
REGRET	ne (pas)	low
FORGET	ne pas	low
COMPARATIVES	ne	high

The distinction between ne (EN) and ne...pas (standard) makes French uniquely transparent: the grammaticalization of EN is visible in the form of the negator itself.

def French.Negation.enMarker : String

ne alone is the dedicated EN marker (grammaticalized).

Equations

• French.Negation.enMarker = French.Negation.neClitic

def French.Negation.enTriggerNegators : List Syntax.Negation.ExpletiveTrigger

EN trigger-negator pairings from [jin-koenig-2021], Table 5 and §6.1–6.4.

Equations

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

theorem French.Negation.high_entrenchment_uses_ne_alone : ((List.filter (fun (x : Syntax.Negation.ExpletiveTrigger) => x.highEntrenchment == some true) enTriggerNegators).all fun (x : Syntax.Negation.ExpletiveTrigger) => x.negatorForm == "ne") = true

High-entrenchment EN uses the dedicated ne alone; low-entrenchment EN uses ne...pas (the standard negator).

theorem French.Negation.en_marker_is_ne_clitic : enMarker = neClitic

French EN marker = preverbal ne = same clitic as in standard ne...pas, but without the reinforcer.