French polarity particles

The polarity particles oui, non and si (French.PolarityParticle). Si, glossed yes.REV, is the polarity-reversing affirmative: after a negative question it replaces oui, which cannot confirm the positive alternative, Tu n'es pas fatigué? — *Oui / Si ([Hol16]), and it reverses a negative assertion, Il ne fait pas beau. — Si (il fait beau). Unlike the Italian sì che and Spanish sí que constructions, si is limited to answering a preceding opposite turn ([GJ18]). What each particle marks is a matter of analysis: a valued polarity feature for [Hol16], features of the response for [FB10].

References

• [Hol16]
• [FB10]
• [GJ18]

inductive French.PolarityParticle : Type

The French polarity particles.

• oui : PolarityParticle

  oui 'yes': Tu es fatigué? 'Are you tired?' — Oui.

• non : PolarityParticle

  non 'no'.

• si : PolarityParticle

  si 'yes.REV', contradicting a negative: Tu n'es pas fatigué? 'Are you not tired?' — Si, I am.

@[instance_reducible]

instance French.instDecidableEqPolarityParticle : DecidableEq PolarityParticle

Equations

• French.instDecidableEqPolarityParticle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance French.instReprPolarityParticle : Repr PolarityParticle

Equations

• French.instReprPolarityParticle = { reprPrec := French.instReprPolarityParticle.repr }

def French.instReprPolarityParticle.repr : PolarityParticle → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance French.instFintypePolarityParticle : Fintype PolarityParticle

Equations

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

def French.PolarityParticle.form : PolarityParticle → String

The spelling of a polarity particle.

Equations

• French.PolarityParticle.oui.form = "oui"
• French.PolarityParticle.non.form = "non"
• French.PolarityParticle.si.form = "si"