German Derivational Gender: -schaft and related suffixes

@cite{kramer-2020} @cite{kramer-2015}

German is a 3-gender language (masculine, feminine, neuter) where certain derivational suffixes deterministically assign gender:

• -schaft → always feminine: Freundschaft, Gesellschaft, Wissenschaft
• -heit, -keit → always feminine: Freiheit, Möglichkeit
• -ung → always feminine: Zeitung, Bildung
• -chen, -lein → always neuter: Mädchen, Büchlein

Theory-neutral data layer

The Fragment carries one empirical field per suffix: assignedGender, the deterministic gender output. No isNaturalGender field — derivational suffixes always assign arbitrary gender (the suffix is the locus of the gender feature, not the root's semantic content). The @cite{kramer-2015} structural analysis (each suffix IS a categorizing head n with a fixed gender feature: -schaft = n u[+FEM], -chen = plain n) is a projection that lives in Phenomena/Gender/Studies/.

The empirical content captured here is the morphological override: Mädchen 'girl' is neuter despite its semantic referent being female, because the diminutive suffix -chen fixes the gender. This is diagnostic for any theory in which suffixes can override semantics.

structure Fragments.German.Gender.DerivationalSuffix : Type

A German derivational suffix that deterministically assigns gender. Theory-neutral: carries the empirical gender output, not a DM categorizing head.

• form : String
• assignedGender : Features.SurfaceGender

  Gender this suffix always assigns, regardless of the base.

@[implicit_reducible]

instance Fragments.German.Gender.instDecidableEqDerivationalSuffix : DecidableEq DerivationalSuffix

Equations

• Fragments.German.Gender.instDecidableEqDerivationalSuffix = Fragments.German.Gender.instDecidableEqDerivationalSuffix.decEq

def Fragments.German.Gender.instDecidableEqDerivationalSuffix.decEq (x✝ x✝¹ : DerivationalSuffix) : Decidable (x✝ = x✝¹)

Equations

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

@[implicit_reducible]

instance Fragments.German.Gender.instReprDerivationalSuffix : Repr DerivationalSuffix

Equations

• Fragments.German.Gender.instReprDerivationalSuffix = { reprPrec := Fragments.German.Gender.instReprDerivationalSuffix.repr }

def Fragments.German.Gender.instReprDerivationalSuffix.repr : DerivationalSuffix → ℕ → Std.Format

Equations

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

def Fragments.German.Gender.schaft : DerivationalSuffix

Equations

• Fragments.German.Gender.schaft = { form := "-schaft", assignedGender := Features.SurfaceGender.feminine }

def Fragments.German.Gender.heit : DerivationalSuffix

Equations

• Fragments.German.Gender.heit = { form := "-heit", assignedGender := Features.SurfaceGender.feminine }

def Fragments.German.Gender.keit : DerivationalSuffix

Equations

• Fragments.German.Gender.keit = { form := "-keit", assignedGender := Features.SurfaceGender.feminine }

def Fragments.German.Gender.ung : DerivationalSuffix

Equations

• Fragments.German.Gender.ung = { form := "-ung", assignedGender := Features.SurfaceGender.feminine }

def Fragments.German.Gender.chen : DerivationalSuffix

Equations

• Fragments.German.Gender.chen = { form := "-chen", assignedGender := Features.SurfaceGender.neuter }

def Fragments.German.Gender.lein : DerivationalSuffix

Equations

• Fragments.German.Gender.lein = { form := "-lein", assignedGender := Features.SurfaceGender.neuter }

structure Fragments.German.Gender.DerivedNoun : Type

A German noun derived via a gender-assigning suffix. The noun's surface gender is the suffix's assignedGender (suffix overrides base semantics, e.g. Mädchen).

• form : String
• gloss : String
• suffix : DerivationalSuffix

@[implicit_reducible]

instance Fragments.German.Gender.instDecidableEqDerivedNoun : DecidableEq DerivedNoun

Equations

• Fragments.German.Gender.instDecidableEqDerivedNoun = Fragments.German.Gender.instDecidableEqDerivedNoun.decEq

def Fragments.German.Gender.instDecidableEqDerivedNoun.decEq (x✝ x✝¹ : DerivedNoun) : Decidable (x✝ = x✝¹)

Equations

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

def Fragments.German.Gender.instReprDerivedNoun.repr : DerivedNoun → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.German.Gender.instReprDerivedNoun : Repr DerivedNoun

Equations

• Fragments.German.Gender.instReprDerivedNoun = { reprPrec := Fragments.German.Gender.instReprDerivedNoun.repr }

@[reducible, inline]

abbrev Fragments.German.Gender.DerivedNoun.gender (n : DerivedNoun) : Features.SurfaceGender

Equations

• n.gender = n.suffix.assignedGender

def Fragments.German.Gender.freundschaft : DerivedNoun

Equations

• Fragments.German.Gender.freundschaft = { form := "Freundschaft", gloss := "friendship", suffix := Fragments.German.Gender.schaft }

def Fragments.German.Gender.gesellschaft : DerivedNoun

Equations

• Fragments.German.Gender.gesellschaft = { form := "Gesellschaft", gloss := "society", suffix := Fragments.German.Gender.schaft }

def Fragments.German.Gender.wissenschaft : DerivedNoun

Equations

• Fragments.German.Gender.wissenschaft = { form := "Wissenschaft", gloss := "science", suffix := Fragments.German.Gender.schaft }

def Fragments.German.Gender.meisterschaft : DerivedNoun

Equations

• Fragments.German.Gender.meisterschaft = { form := "Meisterschaft", gloss := "championship", suffix := Fragments.German.Gender.schaft }

def Fragments.German.Gender.freiheit : DerivedNoun

Equations

• Fragments.German.Gender.freiheit = { form := "Freiheit", gloss := "freedom", suffix := Fragments.German.Gender.heit }

def Fragments.German.Gender.moeglichkeit : DerivedNoun

Equations

• Fragments.German.Gender.moeglichkeit = { form := "Möglichkeit", gloss := "possibility", suffix := Fragments.German.Gender.keit }

def Fragments.German.Gender.zeitung : DerivedNoun

Equations

• Fragments.German.Gender.zeitung = { form := "Zeitung", gloss := "newspaper", suffix := Fragments.German.Gender.ung }

def Fragments.German.Gender.bildung : DerivedNoun

Equations

• Fragments.German.Gender.bildung = { form := "Bildung", gloss := "education", suffix := Fragments.German.Gender.ung }

def Fragments.German.Gender.maedchen : DerivedNoun

Equations

• Fragments.German.Gender.maedchen = { form := "Mädchen", gloss := "girl", suffix := Fragments.German.Gender.chen }

def Fragments.German.Gender.buechlein : DerivedNoun

Equations

• Fragments.German.Gender.buechlein = { form := "Büchlein", gloss := "booklet", suffix := Fragments.German.Gender.lein }

def Fragments.German.Gender.allDerived : List DerivedNoun

Equations

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

theorem Fragments.German.Gender.feminine_suffixes_assign_feminine : ([freundschaft, gesellschaft, wissenschaft, meisterschaft, freiheit, moeglichkeit, zeitung, bildung].all fun (x : DerivedNoun) => x.gender == Features.SurfaceGender.feminine) = true

All -schaft, -heit, -keit, -ung derived nouns surface as feminine — the suffix deterministically assigns feminine. Stated directly over assignedGender (no DM intermediary).

theorem Fragments.German.Gender.diminutive_suffixes_assign_neuter : chen.assignedGender = Features.SurfaceGender.neuter ∧ lein.assignedGender = Features.SurfaceGender.neuter

-chen and -lein derived nouns surface as neuter.

theorem Fragments.German.Gender.maedchen_neuter_override : maedchen.gender = Features.SurfaceGender.neuter ∧ maedchen.gloss = "girl"

Mädchen override: Mädchen 'girl' is neuter despite its semantic referent being female. The diminutive suffix -chen overrides the natural-gender expectation — empirical fact that any theory must account for. The DM-specific analysis (suffix IS the n head, plain n → neuter via 3-gender VI) lives in Studies/Kramer2020.lean.

def Fragments.German.Gender.genderTypology : Typology.Gender.GenderProfile

German gender typology: 3-gender canonical sex-based. The derivational facts above (-schaft, -chen, etc.) are the formal-assignment evidence that justifies the WALS Ch 32 semanticAndFormal value.

Equations

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