What does the universe of discourse mean in predicate logic?

In predicate logic, the universe of discourse—also referred to as the domain of individuals or the universe presupposed in an interpretation—is the fixed class of entities over which quantifiers range.12

When using universal quantifiers $(\forall x)$ or existential quantifiers $(\exists x)$, the variables (such as x) are understood to refer to members of this specific group. For example, if the universe of discourse is defined as the set of all human beings, the statement $(\exists x)(Lx)$ would mean "there exists at least one human being who loves" (given a predicate L for "loves").123

Key points regarding the universe of discourse include:
* Scope of Quantification: In first-order logic, quantifiers range exclusively over the individuals within this universe.12
* Higher-Order Logic: In systems beyond first-order logic, quantification may extend to higher-order objects, such as sets of individuals, properties, or relations, rather than being restricted to the basic individuals of the universe of discourse.412
* Interpretation: It serves as the foundational set of objects against which the truth of a formula is evaluated within logical semantics.15