Documentation

Linglib.Phenomena.Morphology.Studies.Panagiotidis2015

Categorial Features ↔ Category-Changing Morphology #

@cite{panagiotidis-2015} @cite{marantz-1997}Connects the theory-side predictions of @cite{panagiotidis-2015} — substantive categorial features [N] and [V] hosted on categorizer heads — to the empirical data on category-changing morphology in English.

What this bridge proves #

  1. Categorizer–LexCat correspondence: Each theory-side categorizer (v, n, a) maps to exactly one empirical lexical category (verb, noun, adjective).

  2. Feature predictions: The categorial features [N]/[V] on each categorizer correctly predict the interpretive perspective of the resulting category — nouns have sortal perspective ([N]), verbs have temporal perspective ([V]), adjectives have both ([N, V]).

  3. EP well-formedness: Each categorizer extends its lexical anchor into a well-formed EP (A→a, N→n, V→v).

  4. Categorizer parallelism: All three categorizers sit at the same F-level (F1 in Grimshaw's system), formalizing Panagiotidis's claim that categorization is a uniform operation across category families.

Derivational chain #

ExtendedProjection/Basic.lean (CategorialFeatures, isCategorizer, categorialFeatures)
    ↓
THIS BRIDGE FILE
    ↓
Phenomena/Morphology/CategoryChanging.lean (RootFamily, LexCat)
source
def Phenomena.Morphology.Studies.Panagiotidis2015.categorizerToLexCat :
Minimalism.Cat → Option CategoryChanging.LexCat

Map a Minimalist categorizer to the empirical lexical category of the word it produces. This is the core link between the theory (Cat.v, Cat.n, Cat.a) and the data (LexCat).

Equations
Instances For
    source
    def Phenomena.Morphology.Studies.Panagiotidis2015.lexCatToCategorizer :
    CategoryChanging.LexCat → Minimalism.Cat

    Map an empirical lexical category to its theory-side categorizer.

    Equations
    Instances For
      source
      theorem Phenomena.Morphology.Studies.Panagiotidis2015.roundtrip (c : CategoryChanging.LexCat) :
      categorizerToLexCat (lexCatToCategorizer c) = some c

      The mapping is a partial bijection: lexCat → categorizer → lexCat roundtrips.

      source
      theorem Phenomena.Morphology.Studies.Panagiotidis2015.categorizers_have_lexcat :
      categorizerToLexCat Minimalism.Cat.v = some CategoryChanging.LexCat.verb ∧ categorizerToLexCat Minimalism.Cat.n = some CategoryChanging.LexCat.noun ∧ categorizerToLexCat Minimalism.Cat.a = some CategoryChanging.LexCat.adjective

      Every categorizer maps to some LexCat.

      source
      theorem Phenomena.Morphology.Studies.Panagiotidis2015.non_categorizers_no_lexcat :
      categorizerToLexCat Minimalism.Cat.V = none ∧ categorizerToLexCat Minimalism.Cat.N = none ∧ categorizerToLexCat Minimalism.Cat.A = none ∧ categorizerToLexCat Minimalism.Cat.T = none ∧ categorizerToLexCat Minimalism.Cat.D = none

      Non-categorizers don't map to any LexCat.

      source
      def Phenomena.Morphology.Studies.Panagiotidis2015.producesReferential (c : Minimalism.Cat) :
      Bool

      Does a categorizer produce a category with sortal perspective? Panagiotidis §4.3: [N] = sortal perspective / referentiality. Items bearing [N] have the capacity to introduce discourse referents (nouns, adjectives) — items lacking [N] do not (verbs).

      Equations
      Instances For
        source
        def Phenomena.Morphology.Studies.Panagiotidis2015.producesPredicative (c : Minimalism.Cat) :
        Bool

        Does a categorizer produce a category with temporal perspective? Panagiotidis §4.3: [V] = temporal perspective / eventivity. Items bearing [V] can anchor to time/events (verbs, adjectives) — items lacking [V] do not have temporal anchoring (nouns).

        Equations
        Instances For
          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.noun_referential_not_predicative :
          producesReferential Minimalism.Cat.n = true ∧ producesPredicative Minimalism.Cat.n = false

          Nouns have sortal but not temporal perspective: n bears [N] only.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.verb_predicative_not_referential :
          producesPredicative Minimalism.Cat.v = true ∧ producesReferential Minimalism.Cat.v = false

          Verbs have temporal but not sortal perspective: v bears [V] only.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.adjective_both :
          producesReferential Minimalism.Cat.a = true ∧ producesPredicative Minimalism.Cat.a = true

          Adjectives have both sortal and temporal perspective: a bears [N, V].

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.referential_predicative_asymmetry :
          (Minimalism.categorialFeatures Minimalism.Cat.n).hasN = true ∧ (Minimalism.categorialFeatures Minimalism.Cat.n).hasV = false ∧ (Minimalism.categorialFeatures Minimalism.Cat.v).hasV = true ∧ (Minimalism.categorialFeatures Minimalism.Cat.v).hasN = false ∧ (Minimalism.categorialFeatures Minimalism.Cat.a).hasN = true ∧ (Minimalism.categorialFeatures Minimalism.Cat.a).hasV = true

          The noun–verb asymmetry: nouns have sortal but not temporal perspective; verbs have temporal but not sortal perspective. Adjectives have both. This follows from the [N]/[V] feature distribution on categorizers.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.all_categorizer_eps_wellformed :
          (Minimalism.allCategoryConsistent [Minimalism.Cat.V, Minimalism.Cat.v] = true ∧ Minimalism.allFMonotone [Minimalism.Cat.V, Minimalism.Cat.v] = true) ∧ (Minimalism.allCategoryConsistent [Minimalism.Cat.N, Minimalism.Cat.n] = true ∧ Minimalism.allFMonotone [Minimalism.Cat.N, Minimalism.Cat.n] = true) ∧ Minimalism.allCategoryConsistent [Minimalism.Cat.A, Minimalism.Cat.a] = true ∧ Minimalism.allFMonotone [Minimalism.Cat.A, Minimalism.Cat.a] = true

          Each categorizer forms a well-formed EP with its lexical anchor: V→v, N→n, A→a are all category-consistent and F-monotone.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.categorization_uniform_fstep :
          Minimalism.fValue Minimalism.Cat.v - Minimalism.fValue Minimalism.Cat.V = 1 ∧ Minimalism.fValue Minimalism.Cat.n - Minimalism.fValue Minimalism.Cat.N = 1 ∧ Minimalism.fValue Minimalism.Cat.a - Minimalism.fValue Minimalism.Cat.A = 1

          The F-level jump from lexical head to categorizer is exactly 1 in all cases. The uniformity of categorization is Panagiotidis's prediction (§4.4–§4.5); the F-value encoding is @cite{grimshaw-2005}'s EP architecture.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.categorizers_parallel_at_f1 :
          Minimalism.fValue Minimalism.Cat.v = 1 ∧ Minimalism.fValue Minimalism.Cat.n = 1 ∧ Minimalism.fValue Minimalism.Cat.a = 1

          All categorizers sit at exactly F1 (in Grimshaw's system), parallel across families. Panagiotidis's core claim: v, n, a are structurally parallel — they differ only in which interpretable features they bear.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.categorizers_in_own_families :
          Minimalism.catFamily Minimalism.Cat.v = Minimalism.CatFamily.verbal ∧ Minimalism.catFamily Minimalism.Cat.n = Minimalism.CatFamily.nominal ∧ Minimalism.catFamily Minimalism.Cat.a = Minimalism.CatFamily.adjectival

          The categorizers are in their respective families.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.different_categorizers_different_families :
          Minimalism.catFamily Minimalism.Cat.v ≠ Minimalism.catFamily Minimalism.Cat.n ∧ Minimalism.catFamily Minimalism.Cat.n ≠ Minimalism.catFamily Minimalism.Cat.a ∧ Minimalism.catFamily Minimalism.Cat.v ≠ Minimalism.catFamily Minimalism.Cat.a

          Category-changing morphology = changing the categorizer. The same root under different categorizers yields items in different EP families — this is what it means to "change category."

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.three_categorizers_predict_tricategoriality :
          Minimalism.isCategorizer Minimalism.Cat.v = true ∧ Minimalism.isCategorizer Minimalism.Cat.n = true ∧ Minimalism.isCategorizer Minimalism.Cat.a = true

          A root family is predicted to be tricategorial iff categorization by each of v, n, a is possible. Since all three categorizers are available in English, any root can in principle surface in all three categories.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.destroy_matches_categorizers :
          CategoryChanging.destroy.hasCategory CategoryChanging.LexCat.verb = true ∧ CategoryChanging.destroy.hasCategory CategoryChanging.LexCat.noun = true ∧ CategoryChanging.destroy.hasCategory CategoryChanging.LexCat.adjective = true

          The √DESTROY family's three categories correspond to three categorizers.

          source
          theorem Phenomena.Morphology.Studies.Panagiotidis2015.all_families_match_all_categorizers :
          (CategoryChanging.allFamilies.all fun (rf : CategoryChanging.RootFamily) => rf.hasCategory CategoryChanging.LexCat.verb && rf.hasCategory CategoryChanging.LexCat.noun && rf.hasCategory CategoryChanging.LexCat.adjective) = true

          Every root family in the sample has a form for each categorizer's category.