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. It indicates the relevant set of entities that are being dealt with by quantifiers. For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals that the quantifiers range over.

PropertyValue
dbpprop:abstract
  • 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. It indicates the relevant set of entities that are being dealt with by quantifiers. For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals that the quantifiers range over. In one interpretation, the domain of discourse could be the set of all real numbers; in another interpretation, it could be the set of natural numbers. 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. 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".
  • Unter einem Diskursuniversum versteht man in der Logik und Sprachphilosophie die Gesamtheit der Gegenstände, auf die sich Aussagen wie „alle Gegenstände sind … “ oder „es gibt keine Gegenstände, die … sind“ beziehen. Solche Aussagen sind nur sinnvoll, wenn die Bedeutung von „Gegenstand“ auf einen bestimmten Bereich, das Diskursuniversum, eingeschränkt wird. Ausmaß und Art der Einschränkung hängen vom Inhalt und vom Zusammenhang der Aussagen ab. Es gibt daher nicht nur ein Diskursuniversum, sondern verschiedene Diskursuniversen. Missverständnisse und Streit entstehen in der Logik wie im Alltag oft dadurch, dass Personen „aneinander vorbei“ von verschiedenen Dingen reden. Jemand behauptet z. B. , dass es keine geflügelten Pferde gibt. Sein Widerpart weist dies mit dem Hinweis auf den Pegasus zurück. Beide bewegen sich gedanklich in verschiedenen Welten. Ihr Streit lässt sich schlichten, wenn sie sich auf ein gemeinsames Diskursuniversum einigen, d. h. aushandeln, wovon die Rede sein soll, ob nur von physisch existierenden Pferden oder auch von Fabelwesen. Auch beim Gebrauch negativer (komplementärer) Begriffe spielt das Diskursuniversum eine Rolle. Ausdrücke wie „Nichtschwimmer“, „Nichtfachmann“, „Nichtwähler“ können sinnvoll nur auf Personen angewandt werden. Die Nichtwähler bilden mit den Wählern zusammen das auf wahlberechtigte Personen eingeschränkte Diskursuniversum. Die Einschränkung geschieht beim Gebrauch solcher Begriffe gewissermaßen automatisch. Wird die Automatik außer Betrieb gesetzt, indem man z. B. einen stillgelegten Schornstein als Nichtraucher bezeichnet, entsteht ein Wortspiel. Allgemein gilt für jeden Begriff: wird er, mit dem zugehörigen negativen Begriff vereinigt, so bilden beide zusammen das Diskursuniversum: In der Mengenlehre entspricht dem Diskursuniversum die Grundmenge, die Mengen entsprechen den Begriffen, die Komplemente von Mengen der Negation von Begriffen. In der Prädikatenlogik entspricht dem Diskursuniversum der Wertebereich, den die Gegenstandsvariable einer quantifizierten Aussage durchlaufen kann.
  • L’univers du discours ou domaine du discours, désigne, en logique, et plus spécialement dans le calcul des prédicats, l'ensemble des entités qui est parcouru par les quantificateurs. Du point de vue de la théorie des modèles (sémantique), il s'agit de l'ensemble de base d'une structure d'interprétation. Le terme "univers du discours" se réfère généralement à tout ensemble de termes utilisés dans un discours spécifique, c. à. d une famille de termes linguistiques ou sémantiques spécifiques au domaine concerné. Une base de données est un modèle de certains des aspects de la réalité d'une organisation. Il est conventionnel d'appeler cette réalité l'univers du discours" ou le "domaine du discours".
  • 議論領域(英: Domain of discourse)とは、演繹、特に一階述語論理で使われる用語である。量化子で扱われる実体の適切な集合を指す。 議論領域という用語は一般に、特定の議論で使われる項全体の集合を指す。特定の議論とはすなわち、任意の1つの関心領域での言語学的または意味論的項の集まりである。モデル理論的な意味論では、議論領域という用語は、モデルが基づく実体集合を指す。 データベースは組織の現実のある面をモデル化したものである。このような現実を便宜的に「議論領域」と呼ぶこともある。
  • O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados. Indica o conjunto relevante de entidades as quais os quantificadores se referem. O termo "universo de discurso" geralmente se refere ao conjunto completo de termos usados num discurso específico, isto é, à família de termos semânticos ou lingüísticos que são específicos para uma certa área de interesse. Em Teoria dos Modelos, o termo "universo de discurso" se refere ao conjunto de entidades nas quais um modelo é baseado. Uma base de dados é um modelo de algum aspecto da realidade de uma organização. É convencional chamar essa realidade de "universo de discurso" ou "domínio de discurso". O exemplo seguinte especifica um domínio de discurso: Considere 0,1,2,3,4,5... como sendo o conjunto dos números naturais. A asserção <math> \forall n (2 \cdot n \geq n) </math> é verdadeira para o domínio dos números naturais. Quantificação existencial Quantificação universal Quantificação Quantificadores Lógica de primeira ordem
  • 论域,有时叫论述全集,是在演绎逻辑特别是谓词逻辑中使用的分析工具。它指示量词所处理的有关实体的集合。 术语"论域"一般指称在特定论述中使用全部术语的完整集合,就是说,特定于感兴趣的领域的语言学或语义学术语家族。在模型论语义中,术语"论域"指称模型所基于的实体的集合。 数据库是一个组织的事实的某些方面的模型。通常称呼这种事实为"论述全集"或"论域"。
dbpprop:hasPhotoCollection
rdfs:comment
  • 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. It indicates the relevant set of entities that are being dealt with by quantifiers. For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals that the quantifiers range over.
  • Unter einem Diskursuniversum versteht man in der Logik und Sprachphilosophie die Gesamtheit der Gegenstände, auf die sich Aussagen wie „alle Gegenstände sind … “ oder „es gibt keine Gegenstände, die … sind“ beziehen. Solche Aussagen sind nur sinnvoll, wenn die Bedeutung von „Gegenstand“ auf einen bestimmten Bereich, das Diskursuniversum, eingeschränkt wird. Ausmaß und Art der Einschränkung hängen vom Inhalt und vom Zusammenhang der Aussagen ab.
  • L’univers du discours ou domaine du discours, désigne, en logique, et plus spécialement dans le calcul des prédicats, l'ensemble des entités qui est parcouru par les quantificateurs. Du point de vue de la théorie des modèles (sémantique), il s'agit de l'ensemble de base d'une structure d'interprétation. Le terme "univers du discours" se réfère généralement à tout ensemble de termes utilisés dans un discours spécifique, c. à.
  • O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados. Indica o conjunto relevante de entidades as quais os quantificadores se referem.
rdfs:label
  • Domain of discourse
  • Diskursuniversum
  • Univers du discours
  • 議論領域
  • Universo de discurso
  • 论域
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of