| QUANTIFICATEUR, subst. masc. A. − LOG., MATH. Opérateur reliant une ou plusieurs variables à une quantité; p. méton., symbole représentant un tel opérateur. Synon. quantifieur (vieilli).Quantificateur universel (symb. ∀ « pour tout, quel que soit »); quantificateur existentiel (symb. ∃ « il existe (au moins un) ») (v. existentiel B 2); quantificateur logique, numérique. À Aristote (...) revient le mérite d'avoir distingué avec une grande netteté le rôle des propositions « universelles » de celui des propositions « particulières », première ébauche des quantificateurs (Bourbaki, Hist. math., 1960, p. 14). B. − LING. Chacun des déterminants qui indiquent la quantité par laquelle le substantif est défini (d'apr. Ling. 1972). Synon. quantifieur. REM. Quanteur, subst. masc.,synon. plus rare de quantificateur).(Ds Aur.-Weil 1981, Vax Log. 1982). Prononc.: [kɑ
̃tifikatœ:ʀ]. Étymol. et Hist. 1957 (Blanché, Introd. à la log. contemporaine, Paris, A. Colin, p. 143). Dér. de quantification par substitution du suff. -ateur (v. -eur2) à -ation. |