The domain of discourse, sometimes called the universe of discourse, logical discourse, or simply discourse, is an analytic tool used in deductive logic, especially predicate logic. Deductive reasoning is Reasoning which uses deductive Arguments to move from given statements ( Premises to Conclusions which must be true if the In Mathematical logic, predicate logic is the generic term for symbolic Formal systems like First-order logic, Second-order logic, Many-sorted It indicates the relevant set of entities that are being dealt with by quantifiers.

The term "universe of discourse" generally refers to the entire set of terms used in a specific discourse, i. e. the family of linguistic or semantic terms that are specific to any one area of interest. Linguistics is the scientific study of Language, encompassing a number of sub-fields Semantics is the study of meaning in communication The word derives from Greek σημαντικός ( semantikos) "significant" from In model-theoretical semantics, the term "universe of discourse" refers to the set of entities that a model is based on.

A database is a model of some aspect of the reality of an organisation. It is conventional to call this reality the "universe of discourse" or "domain of discourse".

See also

• Domain (mathematics)
• Domain theory
• Interpretation (logic)

In Mathematics, the domain of a given function is the set of " Input " values for which the function is defined Domain theory is a branch of Mathematics that studies special kinds of Partially ordered sets (posets commonly called domains. In Logic an interpretation gives meaning to an artificial or Formal language or to a sentence of such a language by assigning a denotation (extension

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic