Notion usitée en logique des prédicats. On peut, avec W. V. O. Quine, diviser en trois la logique contemporaine :
1. La théorie des fonctions de vérité a pour objet les structures logiques engendrées en construisant des propositions composées à partir de propositions simples, à l'aide des particules « et », « ou », « non », « si..., alors... » ; on l'appelle aussi calcul des propositions.
2. La théorie de la quantification intervient lorsqu'on analyse les propositions et qu'on prend en considération des particules comme « tous », « un quelconque », « quelques ».
3. La théorie de l'appartenance introduit la considération d'ensembles et de leurs éléments.
La proposition catégorique classique était analysée en sujet-copule-prédicat. Ce qu'on appelait quantité portait sur le sujet : ainsi, « tout homme » ou « tous les hommes » apparaît dans une proposition universelle ; « quelque homme » ou « quelques hommes » dans une proposition particulière. La logique moderne substitue à cette analyse l'analyse selon les éléments : prédicats, variables d'individus, quanteurs. Au lieu de dire : « les hommes sont mortels », on dira à peu près : « […]
