- In mathematics, a predicate is a mathematical relation.
- In grammar a predicate is a part of a sentence. See sentence.
- In Bertrand Russell's theory of types, a predication is an act of typing, that is, assigning a type. A definite description in fact contains a claim of existence.