Eine Schlussregel, die es erlaubt, aus einer konkreten Instanz P(t) eine existenzielle Behauptung ∃x P(x) zu folgern: wenn ein Term t P erfüllt, dann existiert ein x mit P(x).

Prinzip

Eine nachgewiesene oder angenommene Instanz liefert ein Zeugnis: aus P(a) kann man ∃x P(x) schließen, da der Term a als Zeuge dient, dass das Prädikat für mindestens ein Objekt der Domäne gilt.

Demonstration

Aus der Aussage '7 ist prim' formuliert als Prime(7) darf man ∃n Prime(n) folgern und damit die Existenz einer Primzahl behaupten, indem man von der gezeigten Instanz 7 verallgemeinert.

Fehlanwendung

Das unrechtmäßige Anwenden der existenziellen Generalisierung auf einen Parameter, der als schematischer oder beliebiger Platzhalter eingeführt wurde, ohne zu begründen, dass er ein reales Objekt bezeichnet, kann zu ungültigen Existenzbehauptungen führen; ebenso ist das Generalisieren aus einem internen Hypothesenkontext, der von entlasteten Annahmen abhängt, fehlerhaft.

Konsequenz

Ermöglicht die Einführung von Existenzbehauptungen in Beweisen, sobald ein konkreter Zeuge identifiziert ist, und gestattet weitergehende Schlüsse, die nur die Existenz eines solchen Objekts voraussetzen.

Umkehrung

Die Umkehr ist die existenzielle Instanziierung: aus ∃x P(x) P(c) für eine frische Konstante c ableiten, was Vorsicht erfordert, um dem Zeugen nicht ungerechtfertigte Eigenschaften zuzuschreiben.

Abgrenzung

Gültig nur wenn der als Zeuge verwendete Term ein Objekt in der Domäne bezeichnet; in konstruktiven Rahmen muss der Zeuge explizit angegeben werden, und in freien Logiken erfordern möglicherweise nicht-bezeichnende Terme zusätzliche Regeln.

Semantische Spannung

Es besteht Spannung zwischen existenzieller Generalisierung und Behauptungen über Beliebigkeit: Generalisierung erzeugt Existenz, nicht aber Eindeutigkeit oder berechenbare Zeugen, was in konstruktiven gegenüber klassischen Ansätzen relevant ist.

Synthese

Existenzielle Generalisierung: die Standardregel, die eine bekannte Instanz zu einer Existenzbehauptung erhebt, indem sie die Instanz als Zeugen behandelt; wirksam nur wenn der Zeuge legitim ein Objekt in der relevanten Domäne bezeichnet und Kontextrestriktionen eingehalten werden.