First-order logic

There are a set of artificial languages called first-order languages and together they form first-order logic.

Just as Propositional Logic formalises and lifts the ambiguities associated with connectives in the vernacular, first-order logic does much the same for conditions that things can satisfy or fail to satisfy.