Talk:Domain of discourse

From Wikipedia, the free encyclopedia
WikiProject Mathematics (Rated Start-class, Mid-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Priority
 Field:  Foundations, logic, and set theory
WikiProject Philosophy (Rated Start-class)
WikiProject icon This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.
Start-Class article Start  This article has been rated as Start-Class on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 

ZFC

Presumably, the domain of discourse cannot always be a set. For example, the domain of discourse in ZF set theory would be the collection of all sets. However, this in itself could not be a set since no set can be a member of itself.

Dude. Thats deep.

No, a model of ZFC is a set of sets, and that set is the domain of discourse. There is such a thing as a "class model" that is also used in set theory. But ZFC, like any other consistent first order theory, has ordinary models. — Carl (CBM · talk) 12:54, 7 September 2007 (UTC)

Universe

Should phrase "universe of discourse" be a link to Universe (mathematics)? Are DD and Universe actually the same thing? If yes, should the articles be merged? —Preceding unsigned comment added by Andy.melnikov (talkcontribs) 00:07, 27 July 2008 (UTC)


I changed the link so it points to Universe (mathematics) instead of Universe. As for your other questions, I'm not sure. Azurengar (talk) 19:26, 10 March 2013 (UTC)Azurengar

Proposed merge with Universe (mathematics)

The scopes of both articles largely overlap, to the point they can be said to cover the same thing. Keφr 12:34, 25 May 2014 (UTC)

Oppose. 'Domain of discourse' is a philosophical term, not necessarily a mathematical one. --Ancheta Wis   (talk
Agree. The fact that you have something formalized in math does not mean that it is different from what you have elsewhere. Fragmenting the knowledge you do not improve the comprehension. --Javalenok (talk) 16:25, 12 July 2014 (UTC)

The term "Universe of Discourse" (UoD) was coined by [De Morgan] and appears in his book "Formal Logic-The Calculus of Inference, Necessary and Probable (1847). De Morgan used the term to mean "the whole of the thing that we are talking about." [Boole] was De Morgan's student.

Separately, in the UoD of the Relational Model, the term "domain" is used to refer to a [type]. For example [[1]] used the term domain to refer to a pool of values such as "supplier number". The single pool of values may be used in different relations within a single database and the single pool of values may also be used in different databases. The Country Code standard of ISO 3166 is an example of a common pool of values that is shared by many databases. Thus, within the communities of logic and databases, the terms "Universe of Discourse" and "Domain" have distincly different and complementary meanings. Thus, I argue that this page should be merged with "Universe of Discourse". Ken Evans 14:29, 11 October 2015 (UTC) — Preceding unsigned comment added by The ken evans (talkcontribs)

Domain of discourse is meaningful in more than one important area of application of logic. The topic should not be assigned ownership by any one of those applications. ~~ BlueMist (talk) 09:54, 10 June 2016 (UTC)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Domain_of_discourse&oldid=724608174"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Talk:Domain_of_discourse
This page is based on the copyrighted Wikipedia article "Talk:Domain of discourse"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA