Quantification

par Claire Beyssade

Le terme quantification est associé en sémantique moderne à un large éventail d’acceptions qui vont des utilisations très restrictives faites dans le cadre de la logique du premier ordre et dans celui de la théorie des quantificateurs généralisés jusqu’à des utilisations larges, assez proches du langage courant, dans lequel quantifier revient à comparer quantitativement des entités à l’aide de fonctions de dénombrement ou de mesure. Dans les exemples suivants, les expressions en italique sont analysées comme exprimant une quantification :