The various ways in which predicate logic can be applied, such as in computer science, linguistics, and mathematics.