Jackendoff and Audring (2020): The Texture of the Lexicon #
This file formalizes the Relational Morphology of [JA20], in which
morphological motivation is shared structure recorded by nondirectional relational links
between fully specified lexical entries, not inheritance from an abstract base. The
mixed-direction pairs of Objection 10 to inheritance, Section 3.4.4, are the test: assassin
and assassinate build the second on the first in phonology and the first on the second in
semantics, so no acyclic inheritance hierarchy holds both demands (assassin_cycle), though
default inheritance itself computes as the taxonomy of Figure 3.5 intends
(ostrich_overrides), while a
sister link with a coindex per shared part carries both, (41) (assassin_pairs), and reads the
same transposed (assassin_pairs_symm). Bumped up a level, Section 4.8.2, the link between the
-ism and -ist schemas, (47), pairs every ideology's noun with its adherent's, whatever the
base and the ideology (ismist_pairs), the open-ended relation the book illustrates with
Trumpism. Ablaut, Section 5.3, is a sister link off the syllabic nucleus: the general schema
(25) pairs exactly the stems and pasts that are the same except at the nucleus
(ablaut_pairs_iff), the sing/sang subschema (26) is a special case of it
(ablaut_pairs_of_nucleusPair) whose pairs are nucleus contrasts
(contrast_of_nucleusPair), and the German present-tense schema (45) has the same
phonological shape. The cells (45) serves, the second and third singular present, are a
morphome, Section 5.4.4: the syncretism class of the special stem of sprechen is a value
conjunction of no feature of the paradigm (spricht_morphome). The Same Verb Problem, Section
5.6, is a shared morphosyntax-phonology pivot without a shared semantics: two lexemes selecting
the same pivot inflect alike at every cell (realize_eq_of_sameVerb), which pairs the two
draws of (60) and take with take part, (57) to (59), and separates the homophones ring
and wring. Structural Intersection, Section 7.8.1, is the meet: the schema (6) is the
intersection of its three sisters (5) (ishSchema_body_eq_inf), is the most they have in
common (instantiates_ishSchema_iff), and absorbs a newly encountered sister
(ishSchema_inf_foolish).
Implementation notes #
- Lexical entries and schemas are slot-indexed descriptions over a flat carrier, a constant
above
⊥and a variable at⊥; a relational coindex is a variable subscripting a slot of each entry, which a paired instantiation fills alike (ConstructionMorphology.Schema.InstantiatesAt). The containment of the semantics of assassinate in that of assassin, (41), is rendered as a shared slot. - The zero exponence of the present and the infinitive of walk, (19), the double
coindexation of Section 4.3, appears as a syncretism of the paradigm (
walk_syncretism). - The cycle theorem renders the paradox of Objection 10 through the well-foundedness of an inheritance hierarchy; the book argues from the above-and-below paradox and makes no well-foundedness claim.
- The syllables and the -ish adjectives are the CLDF forms of
Data/Forms/JackendoffAudring2020.json, read as slot-indexed segments byData.Forms.Form.slots; a syllable's positions are onset, nucleus and coda. - The correspondence between a schema's variable coindices and the constant coindices of its
instances, left unformalized in Section 4.13.2, is the subscripting of
ConstructionMorphology.Schema.InstantiatesAt; a productive variable is one marked open over and above its attested fillers.
References #
Open and closed variables, (17) and (18) #
The toponym patterns (17): a name and the type of a geographical feature, the name an open variable and the feature type a closed one, whose fillers are learned pattern by pattern; in (18d) the and of are constants.
The pattern (18a) puts the name before the feature, with the name open and the feature closed.
Equations
- JackendoffAudring2020.toponymA = { body := fun (x : Fin 2) => ⊥, opens := {0} }
Instances For
The pattern (18b) puts the feature before the name.
Equations
- JackendoffAudring2020.toponymB = { body := fun (x : Fin 2) => ⊥, opens := {1} }
Instances For
The pattern (18d), the feature of name, has two constants, a closed feature and an open name.
Equations
- JackendoffAudring2020.toponymD = { body := ![↑"the", ⊥, ↑"of", ⊥], opens := {3} }
Instances For
toponymsA holds the stored toponyms of (17a).
Equations
- One or more equations did not get rendered due to their size.
Instances For
toponymsD holds the stored toponyms of (17d).
Equations
- One or more equations did not get rendered due to their size.
Instances For
Morris Mountain is licensed by (18a), since the name is open and Mountain is attested.
Mount Morris is licensed by (18b) likewise.
Mountain Morris is not licensed, since Mountain is not an attested feature of the pattern (18b).
The Mount of Halle is not licensed by (18d), since Mount is not among its attested features.
Default inheritance and override, Figure 3.5 #
The taxonomy of Figure 3.5: birds fly by default, the ostrich overrides, and the canary inherits flight.
Equations
- JackendoffAudring2020.instDecidableEqAnimal x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
In the taxonomy, birds and fish are animals, and canaries and ostriches are birds.
Equations
- JackendoffAudring2020.Animal.animal.parents = []
- JackendoffAudring2020.Animal.bird.parents = [JackendoffAudring2020.Animal.animal]
- JackendoffAudring2020.Animal.fish.parents = [JackendoffAudring2020.Animal.animal]
- JackendoffAudring2020.Animal.canary.parents = [JackendoffAudring2020.Animal.bird]
- JackendoffAudring2020.Animal.ostrich.parents = [JackendoffAudring2020.Animal.bird]
Instances For
Equations
- One or more equations did not get rendered due to their size.
The ostrich's override and the canary's inheritance compute as intended.
Sister words #
Equations
- JackendoffAudring2020.instDecidableEqPart x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
The variables of (41) are the phonology of assassin, which is the base of assassinate (coindex 2), the predicate MURDER of both (coindex 1), the person that assassin adds and the affix that assassinate adds.
- phon : AssassinVar
- murder : AssassinVar
- person : AssassinVar
- ate : AssassinVar
Instances For
Equations
- JackendoffAudring2020.instDecidableEqAssassinVar x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
The slots of assassin are its phonology, the predicate it contains, and the person.
- phon : AssassinSlot
- murder : AssassinSlot
- person : AssassinSlot
Instances For
Equations
- JackendoffAudring2020.instDecidableEqAssassinSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
The slots of assassinate are its base, its affix, and its predicate.
- base : AssassinateSlot
- affix : AssassinateSlot
- murder : AssassinateSlot
Instances For
Equations
- JackendoffAudring2020.instDecidableEqAssassinateSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
assassinPair presents the entries (41a) and (41b) with their coindices as one fully
specified description over the shared variables.
Equations
- One or more equations did not get rendered due to their size.
Instances For
assassinSub subscripts the slots of assassin by the variables of (41).
Equations
- JackendoffAudring2020.assassinSub JackendoffAudring2020.AssassinSlot.phon = JackendoffAudring2020.AssassinVar.phon
- JackendoffAudring2020.assassinSub JackendoffAudring2020.AssassinSlot.murder = JackendoffAudring2020.AssassinVar.murder
- JackendoffAudring2020.assassinSub JackendoffAudring2020.AssassinSlot.person = JackendoffAudring2020.AssassinVar.person
Instances For
assassinateSub subscripts the slots of assassinate by the variables of (41).
Equations
- JackendoffAudring2020.assassinateSub JackendoffAudring2020.AssassinateSlot.base = JackendoffAudring2020.AssassinVar.phon
- JackendoffAudring2020.assassinateSub JackendoffAudring2020.AssassinateSlot.affix = JackendoffAudring2020.AssassinVar.ate
- JackendoffAudring2020.assassinateSub JackendoffAudring2020.AssassinateSlot.murder = JackendoffAudring2020.AssassinVar.murder
Instances For
The entry (41a) is the pair read at the slots of assassin.
Equations
Instances For
The entry (41b) is the pair read at the slots of assassinate.
Equations
Instances For
The two entries are a paired instantiation of (41), so they share the base phonology and the predicate through their coindices.
The link is nondirectional, since the two entries paired in the opposite order also instantiate (41).
Equations
- JackendoffAudring2020.instDecidableEqPair x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
By Objection 10, the phonology demands that assassinate inherit from assassin and the semantics that assassin inherit from assassinate, and no acyclic hierarchy holds both.
Sister schemas #
The material of the schemas (47) over bases B and ideologies I is a base, an ideology,
the two affixes, and the relation ADHERENT.
- base {B : Type u_1} {I : Type u_2} (b : B) : Atom B I
- ideology {B : Type u_1} {I : Type u_2} (i : I) : Atom B I
- ism {B : Type u_1} {I : Type u_2} : Atom B I
- ist {B : Type u_1} {I : Type u_2} : Atom B I
- adherent {B : Type u_1} {I : Type u_2} : Atom B I
Instances For
The variables of the schemas (47) are the base X and the ideology, shared by the two
schemas (coindices α and β), the two affixes and the relation ADHERENT.
Instances For
Equations
- JackendoffAudring2020.instDecidableEqIsmIstVar x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- JackendoffAudring2020.instDecidableEqIsmSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- JackendoffAudring2020.instDecidableEqIstSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
ismist presents the -ism and -ist schemas of (47) with their coindices as one
description, with the affixes and ADHERENT pinned and the base and the ideology open.
Equations
- One or more equations did not get rendered due to their size.
Instances For
ismSub subscripts the slots of the -ism schema by the variables of (47).
Equations
- JackendoffAudring2020.ismSub JackendoffAudring2020.IsmSlot.base = JackendoffAudring2020.IsmIstVar.base
- JackendoffAudring2020.ismSub JackendoffAudring2020.IsmSlot.affix = JackendoffAudring2020.IsmIstVar.ism
- JackendoffAudring2020.ismSub JackendoffAudring2020.IsmSlot.sem = JackendoffAudring2020.IsmIstVar.ideology
Instances For
istSub subscripts the slots of the -ist schema by the variables of (47).
Equations
- JackendoffAudring2020.istSub JackendoffAudring2020.IstSlot.base = JackendoffAudring2020.IsmIstVar.base
- JackendoffAudring2020.istSub JackendoffAudring2020.IstSlot.affix = JackendoffAudring2020.IsmIstVar.ist
- JackendoffAudring2020.istSub JackendoffAudring2020.IstSlot.relation = JackendoffAudring2020.IsmIstVar.adherent
- JackendoffAudring2020.istSub JackendoffAudring2020.IstSlot.ideology = JackendoffAudring2020.IsmIstVar.ideology
Instances For
The schema (47a) pins the affix to -ism and leaves the base and the ideology open.
Equations
Instances For
The schema (47b) pins the affix to -ist and the semantics to ADHERENT of an open ideology.
Equations
Instances For
ismWord b i is the -ism noun on base b denoting the ideology i.
Equations
- JackendoffAudring2020.ismWord b i JackendoffAudring2020.IsmSlot.base = ↑(JackendoffAudring2020.Atom.base b)
- JackendoffAudring2020.ismWord b i JackendoffAudring2020.IsmSlot.affix = ↑JackendoffAudring2020.Atom.ism
- JackendoffAudring2020.ismWord b i JackendoffAudring2020.IsmSlot.sem = ↑(JackendoffAudring2020.Atom.ideology i)
Instances For
istWord b i is the -ist noun on base b denoting an adherent of i.
Equations
- JackendoffAudring2020.istWord b i JackendoffAudring2020.IstSlot.base = ↑(JackendoffAudring2020.Atom.base b)
- JackendoffAudring2020.istWord b i JackendoffAudring2020.IstSlot.affix = ↑JackendoffAudring2020.Atom.ist
- JackendoffAudring2020.istWord b i JackendoffAudring2020.IstSlot.relation = ↑JackendoffAudring2020.Atom.adherent
- JackendoffAudring2020.istWord b i JackendoffAudring2020.IstSlot.ideology = ↑(JackendoffAudring2020.Atom.ideology i)
Instances For
ismistWord b i fills the variables of (47) with the base b and the ideology i.
Equations
- JackendoffAudring2020.ismistWord b i JackendoffAudring2020.IsmIstVar.base = ↑(JackendoffAudring2020.Atom.base b)
- JackendoffAudring2020.ismistWord b i JackendoffAudring2020.IsmIstVar.ideology = ↑(JackendoffAudring2020.Atom.ideology i)
- JackendoffAudring2020.ismistWord b i JackendoffAudring2020.IsmIstVar.ism = ↑JackendoffAudring2020.Atom.ism
- JackendoffAudring2020.ismistWord b i JackendoffAudring2020.IsmIstVar.ist = ↑JackendoffAudring2020.Atom.ist
- JackendoffAudring2020.ismistWord b i JackendoffAudring2020.IsmIstVar.adherent = ↑JackendoffAudring2020.Atom.adherent
Instances For
The relation is open-ended, since for any base and any ideology X-ism and X-ist are a paired instantiation of the sister schemas, Trumpism and Trumpist included.
Ablaut as a link off the nucleus #
The variables of the ablaut schemas are the onset and the coda, shared by stem and past, and the two nuclei.
- onset : NucleusVar
- coda : NucleusVar
- stem : NucleusVar
- past : NucleusVar
Instances For
Equations
- JackendoffAudring2020.instDecidableEqNucleusVar x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
stemSub subscripts the stem's three positions, onset, nucleus and coda, by the
variables of the ablaut schemas.
Equations
Instances For
pastSub subscripts the past's positions by the variables of the ablaut schemas.
Equations
Instances For
nucleusPair v w links two syllables at every position but the nucleus and pins the
nuclei v and w, with ⊥ for an open nucleus. It is the shape of the ablaut schemas (25)
and (26) and of the German present-tense schema (45).
Equations
- One or more equations did not get rendered due to their size.
Instances For
The general ablaut schema (25) leaves both nuclei open.
Equations
Instances For
The sing/sang subschema (26) pins /ɪ/ in the stem and /æ/ in the past.
Equations
Instances For
The string/strung subschema is (26) with /ʌ/ for /æ/.
Equations
Instances For
A syllable instantiates a nucleus pair's stem side exactly when its nucleus is the pinned one.
A paired instantiation of a nucleus pair is a stem and a past that are the same except at the nucleus, with the pinned nuclei.
(25) pairs exactly the stems and pasts that are the same except at the nucleus.
A subschema with pinned nuclei is a special case of the general ablaut schema, so every pair of (26) is a pair of (25).
A pair under a subschema with distinct pinned nuclei is a nucleus contrast, the same except at the nucleus, where both are present and differ.
Two syllables differing only in their nucleus are a paired instantiation of the subschema pinning those nuclei.
The pair sing/sang, (24), instantiates (26), string/strung instantiates its subschema, and the German sprech-/sprich- of (43) instantiates the shape of (45).
The present-tense cells of (45) as a morphome #
Equations
- JackendoffAudring2020.instDecidableEqPerson x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- JackendoffAudring2020.instDecidableEqNumber x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
A present-tense cell of the paradigm (41) pairs a person with a number.
Equations
Instances For
Equations
- JackendoffAudring2020.instDecidableEqGStem x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
sprechen gives the stem of each present-tense cell of sprechen, (41).
Equations
- JackendoffAudring2020.sprechen (JackendoffAudring2020.Person.second, JackendoffAudring2020.Number.sg) = JackendoffAudring2020.GStem.sprich
- JackendoffAudring2020.sprechen (JackendoffAudring2020.Person.third, JackendoffAudring2020.Number.sg) = JackendoffAudring2020.GStem.sprich
- JackendoffAudring2020.sprechen x✝ = JackendoffAudring2020.GStem.sprech
Instances For
Equations
- JackendoffAudring2020.instDecidableEqGFeature x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Each feature induces the partition of the cells by its value.
Equations
- JackendoffAudring2020.gFeatures JackendoffAudring2020.GFeature.person = Setoid.ker Prod.fst
- JackendoffAudring2020.gFeatures JackendoffAudring2020.GFeature.number = Setoid.ker Prod.snd
Instances For
Equations
- One or more equations did not get rendered due to their size.
The cells of the special stem are the second and third singular.
Equations
Instances For
The special cells are a value conjunction of neither feature.
The pattern (45) is morphomic, as the book says citing [Aro94], because the cells the special stem serves are a syncretism class and no natural class of the paradigm.
The Same Verb Problem #
Lexeme lists the lexemes of Section 5.6, main verb take and take part, (57) to (59);
the two draws of (60) and withdraw, (62); and the homophones ring, wring and ring
'encircle'.
- take : Lexeme
- takePart : Lexeme
- drawPicture : Lexeme
- drawElicit : Lexeme
- withdraw : Lexeme
- ring : Lexeme
- wring : Lexeme
- ringCity : Lexeme
Instances For
Equations
- JackendoffAudring2020.instDecidableEqLexeme x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- JackendoffAudring2020.instDecidableEqPivot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- JackendoffAudring2020.instDecidableEqTense x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
In the paradigm linkage, each lexeme selects its pivot in every cell, with the cell's own property set.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Two lexemes are the same verb when they share their form correspondents at every cell, as under the relational coindex 23 of (60), a shared morphosyntax and phonology with no shared semantics.
Equations
- JackendoffAudring2020.SameVerb l₁ l₂ = ∀ (σ : JackendoffAudring2020.Tense), JackendoffAudring2020.linkage.corr l₁ σ = JackendoffAudring2020.linkage.corr l₂ σ
Instances For
Equations
- One or more equations did not get rendered due to their size.
Sameness of verb is nondirectional, so no use is the basic one, Section 3.6.
The regular paradigm #
Equations
- JackendoffAudring2020.instDecidableEqVCell x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- JackendoffAudring2020.instDecidableEqExponent x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
walk gives the exponent of each cell in the paradigm of walk, (19).
Equations
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.pres = JackendoffAudring2020.Exponent.bare
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.inf = JackendoffAudring2020.Exponent.bare
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.pres3sg = JackendoffAudring2020.Exponent.s
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.past = JackendoffAudring2020.Exponent.t
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.ptcp = JackendoffAudring2020.Exponent.t
- JackendoffAudring2020.walk JackendoffAudring2020.VCell.prespt = JackendoffAudring2020.Exponent.ing
Instances For
The double coindexation of Section 4.3 appears as a syncretism, since the present and the infinitive share the stem's phonology, and the past the past participle's.
Structural Intersection #
The schema (6) over the two slots of an -ish adjective, base and affix, pins the affix and makes the base a variable.
Equations
Instances For
Structural Intersection constructs the schema, since the description of (6) is the meet of the three sisters of (5), keeping what they share and leaving a variable where they differ.
The schema is the most the sisters have in common, since a description is instantiated by all three exactly when it is instantiated by the schema's description.
A newly encountered sister intersected with the schema yields the schema again, the Minimal Generalization Learner's fixed point.