Grammaire évoluée

La grammaire évoluée (PORC) de est une théorie de grammaire de basée sur la logique évoluée . Elle peut être regardée simultanément comme théorétique génératif-énumératif (comme grammaire Categorial et principes et paramètres ) ou modèle (comme grammaire syntagmatique Tête-Conduite par ou grammaire fonctionnelle lexicologique ).

Dispositifs principaux

il y a une logique propositionnelle des types , qui dénotent des ensembles (phonologique, syntactique, ou sémantique) d'entités linguistiques. Par exemple, le type NP dénote la catégorie syntactique (ou la classe grilles) des groupes nominaux .
Le PORC maintient le distinction de s de cari Haskell abstrait 'entre la structure tectogrammatical (syntaxe de de ) et la structure phenogramatical (syntaxe concrète) de .
Des entités syntactiques abstraites sont identifiées avec les formes libres du structuraliste ( Bloomfield - Hockett ) de (des mots et des expressions). Par exemple, le du NP votre chat est distinct de sa phonologie ou de sa sémantique .
La syntaxe concrète est identifiée avec la phonologie , largement interprétée pour inclure l'ordre des mots.
La modélisation des sens de Fregean de est largement semblable au Montague 's, mais avec des intensions remplacées par les hyperintensions fin-granuleux .
Il y a le calcul de limite de preuve de d'a ( Cari-Howard ), dont les limites dénotent (phonologique, syntactique, ou sémantique) les entités linguistiques.
Le calcul de limite est inclus dans une logique évoluée (HOL) de classique.
Les interfaces de syntaxe-phonologie et de syntaxe-sémantique sont exprimées en tant que théories axiomatiques à HOL.
HOL admet le Subtyping (de séparation-modèle), par exemple NPacc, le type de groupes nominaux de l'accusatif , est un sous-type du NP, et dénote un sous-ensemble de la catégorie dénotée par le NP.

Random links: