universe of discourse

(redirected from Domain of discourse)
Also found in: Dictionary, Thesaurus, Wikipedia.
Related to Domain of discourse: universe of discourse

universe of discourse

In ontology, the set of all entities that can be represented in some declarative language or other formal system.

Each entity is represented by a name and may have some human-readable description of its meaning. Formal axioms constrain the interpretation and well-formed use of these names.

Universe of Discourse


a class (set) of objects considered within a given context. A context here is understood to mean a distinct discourse or a sentence expressing a distinct discourse, a collection of sentences, a fragment of a scientific theory, or an entire theory. In number theory, the universe of discourse in the natural-number series (the set of nonnegative integers); in mathematical analysis, the set of real numbers; in botany, the set of all plants (more precisely, the set of all plant species); and in the predicate calculus or logic of classes, any fixed nonempty domain. The universe of discourse is also referred to as the universal set, the opposite in logic and set theory of what is known as the empty set; the empty set contains no object of a given type and is the complement of the universal set.

The generally accepted idea of a universe of discourse as a given domain of objects was proposed by J. Venn. In number theory, according to this definition, the complement of the set of even numbers is the set of odd numbers and not the “set of all conceivable objects, none of which is an even number”— which would include, for example, this encyclopedia and everything in the world other than the even numbers. This definition has replaced G. Frege’s concept of a “universal” universe of discourse, which had led to paradoxes.

References in periodicals archive ?
It is thus significant that the negated elements do not freely enter a domain of discourse and are kept, in quite a real sense, outside it.
First, it is important to see that, since the opposing claims of science and religion refer to the same world, they do share a domain of discourse.
Transposing the Platonic dialectics of the Cave Allegory into the domain of discourse, Denys the Areopagite (= pseudo-Denys = pseudo-Dionysius) bequeathed to a mystical theology based on the central metaphors of these sources a set of terms that largely controls discussion of the issues.