All Topics  
Domain of discourse

 

 
   Email Print
   Bookmark   Link
 

 

Domain of discourse
 
 
  Topics Domain of discourse Topic Home

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
Predicate logic

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic....
. 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
Linguistics

Linguistics is the science study of natural language. Linguistics encompasses a number of sub-fields. An important topical division is between the study of language structure and the study of Meaning ....
 or semantic terms that are specific to any one area of interest.






Discussion
Ask a question about 'Domain of discourse'
Start a new discussion about 'Domain of discourse'
Answer questions from other users
Full Discussion Forum



Encyclopedia


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
Predicate logic

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic....
. 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
Linguistics

Linguistics is the science study of natural language. Linguistics encompasses a number of sub-fields. An important topical division is between the study of language structure and the study of Meaning ....
 or semantic terms that are specific to any one area of interest. 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

  • Universe (mathematics)
    Universe (mathematics)

    In mathematics, and particularly in set theory and the foundations of mathematics, a universe is a class that contains all the entities one wishes to consider in a given situation....
  • Herbrand universe
    Herbrand universe

    In mathematical logic, for any formal language with a set of symbols , the Herbrand universe recursively defines the set of all terms that can be composed by applying functional composition from the basic symbols....
  • Domain (mathematics)
    Domain (mathematics)

    In mathematics, the domain of a given function is the set of "input" values for which the function is defined. For instance, the domain of cosine would be all real numbers, while the domain of the square root would be only numbers greater than or equal to 0 ....
  • Domain theory
    Domain theory

    Domain theory is a branch of mathematics that studies special kinds of partially ordered sets commonly called domains. Consequently, domain theory can be considered as a branch of order theory....
  • Interpretation (logic)
    Interpretation (logic)

    In logic an interpretation gives meaning to an artificial or formal language or to a Sentence of such a language by assigning a denotation to each non-logical symbol in that language or in that sentence....