universe of discourse

Also found in: Dictionary, Thesaurus, Legal, Financial, Acronyms, Wikipedia.

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 ?
In this case Dan's imperfect assimilation of the Northern universe of discourse has interfered with his communication with Muriel.
The identity of an entity is considered to be contextually evoked when the entity in question is located in the spatio-temporal universe of discourse where the speaker and the addressee are co-present and can be uniquely identified by means of the linguistic expression used with or without accompanying paralinguistic expressions.
In other words, Brahmanic values deny the existence of Sudra values not shared by Brahmans (the space coded 01) and all other non-Brahmanic, non-Sudra religious values in the Universe of discourse.
This amounts to saying that any member of the sounding class is identical with any member of the musical class, only if p or q - an implicit identification of a universe of discourse.
Let U be a universe of discourse, then a SVNRS R in U can be defined as follows:
Firstly, it is the measure of the fuzziness, showing how many elements in the universe of discourse could be accepted to the linguistic concept; secondly, it is also the measure of the randomness, showing the dispersion degree of the cloud drops; at last, it reflects the relevance of the fuzziness and randomness.
Let X be a universe of discourse, with generic element in X denoted by x.
In the context of inter-classial relationships, the same situation is revealed by orderings in which one of the partners is a total notion (the subordination of the notion "philosopher" with respect to the notion "man," in the universe of discourse ensured by the notion "European"; the superordination of the notion "parallelogram" with respect to the notion "square" in the universe of discourse set up the notion "rhombus").
A fuzzy set A in a universe of discourse X is defined as the following set of pairs: A = {(x, [[mu].
Let us denote the five selected locations in Kerala as the universe of discourse, U = {[L.
alpha] is a constant depending of the number of points in which are divided the change in control universe of discourse and control gain universe of discourse.
So we have here a genuinely new universe of discourse opened for us, and it launches a critical assessment of the history and research on early Christianities.