214:
the widest possible application, and for them the limits of discourse are co-extensive with those of the universe itself. But more usually we confine ourselves to a less spacious field. Sometimes, in discoursing of men we imply (without expressing the limitation) that it is of men only under certain circumstances and conditions that we speak, as of civilized men, or of men in the vigour of life, or of men under some other condition or relation. Now, whatever may be the extent of the field within which all the objects of our discourse are found, that field may properly be termed the universe of discourse. Furthermore, this universe of discourse is in the strictest sense the ultimate subject of the discourse.
31:
203:
83:
213:
In every discourse, whether of the mind conversing with its own thoughts, or of the individual in his folley with others, there is an assumed or expressed limit within which the subjects of its operation are confined. The most unfettered discourse is that in which the words we use are understood in
92:
The domain of discourse is usually identified in the preliminaries, so that there is no need in the further treatment to specify each time the range of the relevant variables. Many logicians distinguish, sometimes only tacitly, between the
190:. Boole's definition is quoted below. The concept, probably discovered independently by Boole in 1847, played a crucial role in his philosophy of logic especially in his principle of
294:
José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280.
156:
as counterexample; if the domain is the set of natural numbers, the proposition is true, since 2 is not the square of any natural number.
303:
Facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in
135:
is ambiguous if no domain of discourse has been identified. In one interpretation, the domain of discourse could be the set of
17:
71:
164:
The term "universe of discourse" generally refers to the collection of objects being discussed in a specific
328:
123:
262:
247:
110:
67:
58:
52:
237:
8:
191:
186:
143:. If the domain of discourse is the set of real numbers, the proposition is false, with
323:
252:
177:
172:, a universe of discourse is the set of entities that a model is based on. The concept
118:
63:
114:
285:. Cambridge Dictionary of Philosophy, Cambridge University Press, 1995, p. 941.
140:
86:
39:
317:
242:
30:
257:
219:
206:
181:
169:
136:
202:
165:
117:, the domain of discourse is the set of individuals over which the
82:
99:
universe of discourse of a formalization of the science
139:; in another interpretation, it could be the set of
180:(1846) but the name was used for the first time by
315:
34:A symbol for the set of domain of discourse
197:
201:
159:
81:
29:
14:
316:
24:
25:
340:
66:of entities over which certain
297:
288:
275:
13:
1:
268:
121:range. A proposition such as
7:
231:
176:is generally attributed to
170:model-theoretical semantics
104:
77:
10:
345:
184:(1854) on page 42 of his
198:Boole’s 1854 definition
178:Augustus De Morgan
27:Type of abstract object
263:Universe (mathematics)
248:Interpretation (logic)
229:
209:
89:
35:
283:Universe of discourse
211:
205:
174:universe of discourse
160:Universe of discourse
85:
74:treatment may range.
48:universe of discourse
33:
18:Universe of discourse
305:Philosophy in Review
238:Domain of a function
224:The Laws of Thought.
70:of interest in some
307:24 (2004): 167–169.
192:wholistic reference
109:For example, in an
95:domain of a science
44:domain of discourse
253:Quantifier (logic)
210:
90:
46:, also called the
36:
226:1854/2003. p. 42.
115:first-order logic
16:(Redirected from
336:
308:
301:
295:
292:
286:
281:Corcoran, John.
279:
227:
155:
154:
153:
134:
21:
344:
343:
339:
338:
337:
335:
334:
333:
329:Predicate logic
314:
313:
312:
311:
302:
298:
293:
289:
280:
276:
271:
234:
228:
218:
200:
187:Laws of Thought
162:
151:
149:
144:
141:natural numbers
122:
107:
80:
40:formal sciences
28:
23:
22:
15:
12:
11:
5:
342:
332:
331:
326:
310:
309:
296:
287:
273:
272:
270:
267:
266:
265:
260:
255:
250:
245:
240:
233:
230:
216:
199:
196:
161:
158:
111:interpretation
106:
103:
87:Giuseppe Peano
79:
76:
26:
9:
6:
4:
3:
2:
341:
330:
327:
325:
322:
321:
319:
306:
300:
291:
284:
278:
274:
264:
261:
259:
256:
254:
251:
249:
246:
244:
243:Domain theory
241:
239:
236:
235:
225:
221:
215:
208:
204:
195:
193:
189:
188:
183:
179:
175:
171:
167:
157:
147:
142:
138:
132:
128:
125:
120:
116:
112:
102:
100:
96:
88:
84:
75:
73:
69:
65:
61:
60:
55:
54:
53:universal set
49:
45:
41:
32:
19:
304:
299:
290:
282:
277:
258:Term algebra
223:
220:George Boole
212:
207:George Boole
185:
182:George Boole
173:
163:
145:
137:real numbers
130:
126:
108:
98:
94:
91:
57:
56:, or simply
51:
47:
43:
37:
119:quantifiers
318:Categories
269:References
324:Semantics
166:discourse
68:variables
62:, is the
232:See also
217:—
105:Examples
97:and the
78:Overview
59:universe
150:√
38:In the
72:formal
42:, the
168:. In
133:≠ 2)
113:of
101:.
64:set
320::
222:,
194:.
148:=
50:,
152:2
146:x
131:x
129:(
127:x
124:∀
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.