Documentation

Studies.JackendoffAudring2020

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 #

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
Instances For

    The pattern (18b) puts the feature before the name.

    Equations
    Instances For

      The pattern (18d), the feature of name, has two constants, a closed feature and an open name.

      Equations
      Instances For
        def JackendoffAudring2020.toponymsA :
        Set (Fin 2 → Flat String)

        toponymsA holds the stored toponyms of (17a).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          def JackendoffAudring2020.toponymsD :
          Set (Fin 4 → Flat String)

          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.

            Mountain Morris is not licensed, since Mountain is not an attested feature of the pattern (18b).

            theorem JackendoffAudring2020.not_mountOfHalle_generates :
            ¬toponymD.Generates toponymsD ![↑"the", ↑"Mount", ↑"of", ↑"Halle"]

            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.

            Animal has the nodes of Figure 3.5.

            Instances For
              @[instance_reducible]
              Equations
              @[instance_reducible]
              Equations
              • One or more equations did not get rendered due to their size.
              @[instance_reducible]
              Equations
              • One or more equations did not get rendered due to their size.
              def JackendoffAudring2020.flies :
              Animal → Option Bool

              flies specifies flight locally, so that birds fly and the ostrich overrides.

              Equations
              Instances For

                The ostrich's override and the canary's inheritance compute as intended.

                Sister words #

                The parts of the entries (41) are the shared phonology, the shared predicate MURDER, the person that assassin adds and the affix that assassinate adds.

                Instances For
                  @[instance_reducible]
                  Equations

                  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.

                  Instances For
                    @[instance_reducible]
                    Equations

                    The slots of assassin are its phonology, the predicate it contains, and the person.

                    Instances For
                      @[instance_reducible]
                      Equations

                      The slots of assassinate are its base, its affix, and its predicate.

                      Instances For
                        @[instance_reducible]
                        Equations

                        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

                          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).

                          Pair has the two words as the nodes of an inheritance hierarchy.

                          Instances For
                            @[instance_reducible]
                            Equations

                            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 #

                            inductive JackendoffAudring2020.Atom (B : Type u_1) (I : Type u_2) :
                            Type (max u_1 u_2)

                            The material of the schemas (47) over bases B and ideologies I is a base, an ideology, the two affixes, and the relation ADHERENT.

                            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
                                @[instance_reducible]
                                Equations

                                The slots of the -ism schema are its base, its affix and its semantics.

                                Instances For
                                  @[instance_reducible]
                                  Equations

                                  The slots of the -ist schema are its base, its affix, the relation ADHERENT, and its ideology.

                                  Instances For
                                    @[instance_reducible]
                                    Equations

                                    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

                                      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
                                          theorem JackendoffAudring2020.ismist_pairs {B : Type u_1} {I : Type u_2} (b : B) (i : I) :
                                          ismist.InstantiatesAt (Sum.elim ismSub istSub) (Sum.elim (ismWord b i) (istWord b i))

                                          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.

                                          The variables of the ablaut schemas are the onset and the coda, shared by stem and past, and the two nuclei.

                                          Instances For
                                            @[instance_reducible]
                                            Equations

                                            stemSub subscripts the stem's three positions, onset, nucleus and coda, 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
                                                      theorem JackendoffAudring2020.comap_stemSub_instantiates_iff {v w : Flat String} {s : Fin 3 → Flat String} :
                                                      ((nucleusPair v w).comap stemSub).Instantiates s ↔ v ≤ s 1

                                                      A syllable instantiates a nucleus pair's stem side exactly when its nucleus is the pinned one.

                                                      theorem JackendoffAudring2020.comap_pastSub_instantiates_iff {v w : Flat String} {p : Fin 3 → Flat String} :
                                                      ((nucleusPair v w).comap pastSub).Instantiates p ↔ w ≤ p 1
                                                      theorem JackendoffAudring2020.nucleusPair_iff {v w : Flat String} {s p : Fin 3 → Flat String} :
                                                      (nucleusPair v w).InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim s p) ↔ v ≤ s 1 ∧ w ≤ p 1 ∧ Set.EqOn s p {1}ᶜ

                                                      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.

                                                      theorem JackendoffAudring2020.ablaut_pairs_iff {s p : Fin 3 → Flat String} :
                                                      ablaut.InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim s p) ↔ Set.EqOn s p {1}ᶜ

                                                      (25) pairs exactly the stems and pasts that are the same except at the nucleus.

                                                      theorem JackendoffAudring2020.ablaut_pairs_of_nucleusPair {v w : Flat String} {s p : Fin 3 → Flat String} (h : (nucleusPair v w).InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim s p)) :
                                                      ablaut.InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim s p)

                                                      A subschema with pinned nuclei is a special case of the general ablaut schema, so every pair of (26) is a pair of (25).

                                                      theorem JackendoffAudring2020.contrast_of_nucleusPair {v w : String} (hvw : v ≠ w) {s p : Fin 3 → Flat String} (h : (nucleusPair ↑v ↑w).InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim s p)) :

                                                      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.

                                                      theorem JackendoffAudring2020.syllable_pairs (o v w c : String) :
                                                      (nucleusPair ↑v ↑w).InstantiatesAt (Sum.elim stemSub pastSub) (Sum.elim ![↑o, ↑v, ↑c] ![↑o, ↑w, ↑c])

                                                      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 #

                                                      Person lists the three persons.

                                                      Instances For
                                                        @[instance_reducible]
                                                        Equations
                                                        @[instance_reducible]
                                                        Equations
                                                        • One or more equations did not get rendered due to their size.

                                                        Number distinguishes singular and plural.

                                                        Instances For
                                                          @[instance_reducible]
                                                          Equations
                                                          @[instance_reducible]
                                                          Equations
                                                          • One or more equations did not get rendered due to their size.
                                                          @[reducible, inline]

                                                          A present-tense cell of the paradigm (41) pairs a person with a number.

                                                          Equations
                                                          Instances For

                                                            GStem has the two present-tense stems of sprechen, (41) to (43).

                                                            Instances For
                                                              @[instance_reducible]
                                                              Equations

                                                              GFeature lists the features of the paradigm, person and number.

                                                              Instances For
                                                                @[instance_reducible]
                                                                Equations
                                                                @[instance_reducible]
                                                                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
                                                                Instances For
                                                                  @[instance_reducible]
                                                                  Equations
                                                                  • One or more equations did not get rendered due to their size.

                                                                  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'.

                                                                  Instances For
                                                                    @[instance_reducible]
                                                                    Equations
                                                                    @[instance_reducible]
                                                                    Equations
                                                                    • One or more equations did not get rendered due to their size.

                                                                    Pivot has the morphosyntax-phonology pivots, one per relational coindex shared across lexemes.

                                                                    Instances For
                                                                      @[instance_reducible]
                                                                      Equations
                                                                      @[instance_reducible]
                                                                      Equations
                                                                      • One or more equations did not get rendered due to their size.

                                                                      Tense distinguishes present and past.

                                                                      Instances For
                                                                        @[instance_reducible]
                                                                        Equations
                                                                        @[instance_reducible]
                                                                        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
                                                                          Instances For
                                                                            @[instance_reducible]
                                                                            Equations
                                                                            • One or more equations did not get rendered due to their size.
                                                                            theorem JackendoffAudring2020.realize_eq_of_sameVerb {W : Type u_3} [DecidableEq W] (rf : Pivot → Tense → W) {l₁ l₂ : Lexeme} (h : SameVerb l₁ l₂) (σ : Tense) :
                                                                            linkage.realized rf l₁ σ = linkage.realized rf l₂ σ

                                                                            Same verbs inflect alike at every cell, whatever their semantics, as in (57) to (61).

                                                                            theorem JackendoffAudring2020.SameVerb.symm {l₁ l₂ : Lexeme} (h : SameVerb l₁ l₂) :
                                                                            SameVerb l₂ l₁

                                                                            Sameness of verb is nondirectional, so no use is the basic one, Section 3.6.

                                                                            The regular paradigm #

                                                                            VCell lists the six cells of (16).

                                                                            Instances For
                                                                              @[instance_reducible]
                                                                              Equations
                                                                              @[instance_reducible]
                                                                              Equations
                                                                              • One or more equations did not get rendered due to their size.

                                                                              Exponent lists the exponents of the regular paradigm (19), with none (bare) for the present and the infinitive, whose phonology is coindexed with the stem's.

                                                                              Instances For
                                                                                @[instance_reducible]
                                                                                Equations

                                                                                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.