Une région de l'espace des spécifications, propriétés ou modèles où un langage ou formalisme donné ne peut pas capturer certaines propriétés ou relations ; ces propriétés ne sont pas définissables dans la syntaxe et la sémantique du langage.

Principe

L'expressibilité est limitée par la syntaxe (constructeurs, quantificateurs, modalités disponibles) et la sémantique (classe de modèles, interprétations autorisées) ; lorsque ces contraintes ne peuvent soutenir les formules discriminantes requises, une zone de non-expressibilité apparaît.

Démonstration

La logique du premier ordre sur les graphes ne peut pas exprimer la « connectivité » du graphe par une seule formule dans la classe générale des graphes finis ; la connectivité se situe donc dans la zone de non-expressibilité pour la logique du premier ordre pure sans opérateurs supplémentaires.

Mauvaise application

Déclarer une propriété non-expressible lorsque le fragment choisi manque simplement d'un encodage commode — par exemple en ignorant les théorèmes de définissabilité ou des sémantiques alternatives qui permettraient l'expression — confond non-expressibilité réelle et paresse représentationnelle.

Conséquence

Reconnaître une telle zone motive l'extension du langage (ajout de points fixes, clôture transitive ou fonctionnalités du second ordre), le changement de sémantiques ou l'adoption de stratégies d'approximation lorsqu'une expression exacte est impossible.

Inversion

Zone D'Expressibilité : la région complémentaire où le langage admet des formules explicites ou des constructions pour définir exactement les propriétés cibles.

Limite

Dépend du langage choisi, de sa sémantique et de la classe de modèles ; une propriété peut être non-expressible dans un formalisme mais expressible dans un formalisme plus puissant, donc la zone est relative plutôt qu'absolue.

Tension sémantique

Tension entre non-expressibilité et indécidabilité : une propriété peut être exprimable mais indécidable, ou non-expressible mais facilement approximable ; les deux notions se recoupent mais traitent de limitations différentes.

Synthèse

Une Zone De Non-Expressibilité identifie où un formalisme manque fondamentalement de ressources pour énoncer certaines propriétés ; elle oriente les praticiens à renforcer le langage, changer la sémantique ou accepter des approximations selon les exigences.