Quantor

Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“,^[1] ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden.

Die beiden gebräuchlichsten Quantoren sind der Existenzquantor (in natürlicher Sprache zum Beispiel als „mindestens ein“ ausgedrückt) und der Allquantor (in natürlicher Sprache zum Beispiel als „alle“ oder „jede/r/s“ ausgedrückt). Andere Arten von Quantoren sind Anzahlquantoren wie „ein“ oder „zwei“, die sich auf Existenz- beziehungsweise Allquantor zurückführen lassen, und Quantoren wie „manche“, „einige“ oder „viele“, die auf Grund ihrer Unbestimmtheit, im Gegensatz etwa zu „alle“ oder „kein(e)“,^[2] in der klassischen Logik nicht verwendet werden.

1. ↑ „Quantor“, in: Historisches Wörterbuch der Philosophie, Band 7, S. 1830.
2. ↑ Vgl. dazu George A. Miller: Wörter. Streifzüge durch die Psycholinguistik. Herausgegeben und aus dem Amerikanischen übersetzt von Joachim Grabowski und Christiane Fellbaum. Spektrum der Wissenschaft, Heidelberg 1993; Lizenzausgabe: Zweitausendeins, Frankfurt am Main 1995; 2. Auflage ebenda 1996, ISBN 3-86150-115-5, S. 238 (Quantifikatoren).