Ein Bereich im Raum von Spezifikationen, Eigenschaften oder Modellen, in dem eine gegebene formale Sprache oder ein Formalismus bestimmte Eigenschaften oder Relationen nicht erfassen kann; diese Eigenschaften sind innerhalb der Syntax und Semantik der Sprache undefinierbar.

Prinzip

Expressivität wird durch Syntax (verfügbare Konstruktoren, Quantoren, Modalitäten) und Semantik (Modellklasse, zulässige Interpretationen) beschränkt; dort, wo diese Beschränkungen erforderliche trennende Formeln nicht zulassen, entsteht eine Nicht-Expressibilitätszone.

Demonstration

Die Prädikatenlogik erster Stufe über Graphen kann 'Graphenkonnektivität' nicht als eine einzige Formel in der allgemeinen Klasse endlicher Graphen ausdrücken; Konnektivität liegt daher für die reine Prädikatenlogik ohne zusätzliche Operatoren in der Nicht-Expressibilitätszone.

Fehlanwendung

Eine Eigenschaft als nicht ausdrückbar zu bezeichnen, obwohl der gewählte Fragment lediglich eine bequeme Codierung vermissen lässt — z. B. indem man Definierbarkeitssätze oder alternative Semantiken ignoriert — verwechselt echte Nicht-Expressibilität mit repräsentationaler Nachlässigkeit.

Konsequenz

Das Erkennen einer solchen Zone veranlasst zur Erweiterung der Sprache (Hinzufügen von Fixpunkten, transitiver Hülle oder höherstufigen Merkmalen), zum Wechsel der Semantik oder zur Übernahme von Approximationsstrategien, falls exakte Darstellung unmöglich ist.

Umkehrung

Expressibilitätszone: der komplementäre Bereich, in dem die Sprache explizite Formeln oder Konstrukte zur exakten Definition der Ziel-Eigenschaften zulässt.

Abgrenzung

Hängt von der gewählten Sprache, ihrer Semantik und der Modellklasse ab; eine Eigenschaft kann in einem Formalismus nicht ausdrückbar, in einem stärkeren Formalismus jedoch ausdrückbar sein, sodass die Zone relativ und nicht absolut ist.

Semantische Spannung

Spannung zwischen Nicht-Expressibilität und Undentscheidbarkeit: Eine Eigenschaft kann ausdrückbar, aber unentscheidbar sein oder nicht ausdrückbar, aber leicht approximierbar; die Begriffe überschneiden sich, adressieren jedoch unterschiedliche Beschränkungen.

Synthese

Eine Nicht-Expressibilitätszone kennzeichnet Bereiche, in denen einem Formalismus grundsätzlich die Mittel fehlen, bestimmte Eigenschaften zu formulieren; sie leitet dazu an, die Sprache zu stärken, die Semantik zu wechseln oder Kompromisse durch Approximation einzugehen.