kwantificatie
Kwantificatie is het proces waarbij de hoeveelheid of reikwijdte van een uitspraak wordt uitgedrukt. In logica en taalkunde verwijst het naar quantificatoren die aangeven hoeveel elementen een predikaat beïnvloeden. In natuurlijke taal komen quantificatoren voor zoals alle, elk, sommige en er bestaat. In formele logica zijn de twee basisquantoren de universele quantor en de existentiële quantor. Door variabelen te binden kunnen uitspraken generiek of bestaand zijn: bijvoorbeeld ∀x P(x) betekent “voor alle x geldt P(x)”, ∃x P(x) betekent “er bestaat een x waarvoor P(x) geldt”. Kwantificatie kan genest worden en de reikwijdte van een quantor bepaalt welke delen van de uitspraak ermee samenhangen, wat soms tot ambiguïteit leidt.
Kwantificatie in de wetenschap verwijst daarnaast naar het toekennen van meetbare waarden aan eigenschappen. Het doel