Quantifizierung (auch: Quantifikation) ist in der formalen Logik, in der Mengenlehre (und in der Linguistik) ein Terminus zur Bezeichnung der Bindung einer Variablen in einem Ausdruck durch einen Quantor.
Die Quantifizierung durch einen Allquantor bezeichnet man als Allquantifikation, die durch einen Existenzquantor als Existenzquantifikation.
Nur bei Bindung aller Variablen durch Quantoren wird aus einem Ausdruck ein Satz, der wahr oder falsch sein kann. Vgl. Tarski, Einführung in die mathematische Logik, 5. Aufl. (1977), S. 23. Aus einem "offenen Satz"Detel, Grundkurs Philosophie I: Logik (2007), S. 73 wird ein wahrheitsfähiger Satz.
Verwendet man einen Quantor, setzt man implizit einen Grundbereich (universe of discource, Diskursuniversum) voraus. Das ist der bei der Verwendung von Quantoren festgelegte oder vorausgesetzte Objektbereich.Brands/Kann, Logik, in: Honnefelder/Krieger, Philosophische Propädeutik I (1994), ISBN 3-8252-1822-8, S. 104. Ist der Grundbereich das gesamte Universum, spricht man auch von einer unrestringierten QuantifikationBußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002): Quantifikation, ansonsten von einer restringierten Quantifikation. Objektbereich können auch (alle) mögliche Welten sein. Dann findet eine Quantifizierung über (alle) möglichen Welten statt.
Siehe auch Quantor
Einzelnachweise
Kategorie:Logik