Existenzquantor, Partikularisator, Seinsquantor

Als Existenzquantor, Partikularisator oder Seinsquantor bezeichnet man den Quantor der Partikularisierung.

Für den Existenzquantor werden gewöhnlich die Symbole &; und verwendet. Mitunter, vor allem in älterer Literatur, findet man auch die Symbole (E …), S und E.

Der Existenzquantor wird entsprechend seiner Bedeutung als für mindestens ein, es gibt mindestens ein oder es existiert wenigstens ein gelesen.

Beispiel: Einige Raben sind schwarz, lässt sich lesen als: Es gibt ein x, dass ein Rabe ist und das schwarz ist.

Wenn R als Abkürzung von ist ein Rabe und S als Abkürzung von ist schwarz verwendet wird, kann diese Aussage wie folgt symbolisiert werden: &;x (Rx &; Sx).

In der klassischen zweiwertigen Prädikatenlogik lässt sich der Existenzquantor auf den Allquantor zurückführen: &;x A(x) lässt sich nämlich lesen als: &;&;x &;A(x).

Urteile, die Existenzquantoren enthalten, heißen partikuläre Urteile.