Calcul des prédicats, par opposition au calcul des propositions, partie de la logique analysant les propositions en attribut et quantificateurs, et établissant les propriétés opératoires des systèmes logiques composés de ces éléments.
Le fait de considérer un ensemble de prédicats comme la définition d’un objet, puis comme un attribut constitutif d’un autre objet, ne constitue pas une innovation.
Tous les énoncés assertifs (affirmatifs ou négatifs) semblent devoir être décrits comme l’attribution d’une certaine propriété à un certain objet. D’où la nécessité que leurs descriptions sémantiques comprennent deux parties : un sujet que nous appellerons logique désignant l’objet dont quelque chose est affirmé, et un prédicat indiquant la propriété affirmée.
En psychologie, le prédicat est le membre d’une proposition par lequel on exprime, à propos d’un objet quelconque, ce que l’on tient à dire.
Prédicats unaires, binaires.
Elle n'obtient pas le prédicat de Son Altesse Royale, et doit être désignée comme une duchesse non royale, avec le prédicat de Sa Grâce.