Inhaltsbereich:
EncyclopediaX
Existenzquantor
Der Existenzquantor und der Allquantor? sind die einzigen Quantoren? der traditionellen Logiken, z.B. der klassischen Prädikatenlogik.? Außer ihnen gibt es jedoch auch die Fuzzyquantoren,? die nur durch die Fuzzylogik? berücksichtigt und behandelt werden.
Wir können durch unsere Sätze nicht nur über alle Gegenstände eines Gegenstandsbereichs sprechen, sondern auch nur über manche von ihnen, über einige von ihnen, über mindestens einen von ihnen, indem wir zum Beispiel sagen: Manche Menschen sind gut; Einige der Tomaten in diesem Korb sind unreif; Mindestens ein Staatsmann ist ein Mörder. Jeder der kursiven Ausdrücke in diesen Sätzen ist ein Partikularisator. Er wird auch Existenzquantor genannt, weil er mit folgenden Ausdrücken synonym ist: Es existiert ein/eine; Es gibt mindestens ein/einen/eine; Es gibt ein/einen/eine.
Es existiert mindestens ein Mensch, der gut ist (manche Menschen sind gut). Es existiert mindestens eine Tomate in diesem Korb, die unreif ist (manche Tomaten in diesem Korb sind unreif). Ex existiert mindestens ein Staatsmann, der ein Mörder ist (manche Staatsmänner sind Mörder). Dabei bezieht sich der Quantor "es existiert …" nicht auf eine bestimmte Zeit, also nicht auf die Gegenwart, auf die Vergangenheit oder auf die Zukunft. Er ist zeitlos.
Der Existenzquantor wird in der Logik durch "∃" symbolisiert. Ein Satz, der mit einem Existenzquantor ∃ beginnt, heißt ein Existenzsatz,? eine Existenzaussage oder eine Partikularisation. ⇒ Logik?.