Universe of discourse

Boole (1854) defines universe of discourse in the following manner:

In every discourse, whether of the mind conversing with its own thoughts, or of the individual in his intercourse with others, there is an assumed or expressed limit within which the subjects of its operation are confined. … 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. (Boole 1854/1958, p. 42).

Reference

• Boole, George (1854/1958), An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan Publishers, 1854. Reprinted with corrections, Dover Publications, New York, NY, 1958.

Resources

• Commens Dictionary of Peirce's Terms
  • Logical Universe
  • Universe of Discourse

Syllabus

Focal nodes

Template:Col-break

• Inquiry Live

Template:Col-break

• Logic Live

Template:Col-end

Peer nodes

Template:Col-break

• Universe of Discourse @ Beta Wikiversity

Template:Col-break

• Universe of Discourse @ MyWikiBiz

Template:Col-end

Related topics

Template:Col-break

• Ampheck
• Boolean domain
• Boolean function
• Boolean-valued function

Template:Col-break

• Logical graph
• Logical matrix
• Minimal negation operator
• Peirce's law

Template:Col-break

• Propositional calculus
• Truth table
• Universe of discourse
• Zeroth order logic

Template:Col-end

Related articles

• Jon Awbrey, “Propositional Equation Reasoning Systems”

• Jon Awbrey, “Differential Propositional Calculus”

• Jon Awbrey, “Differential Logic : Introduction”

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

• Universe of Discourse, MyWikiBiz
• Universe of Discourse, Beta Wikiversity
• Universe of Discourse, PlanetMath

<sharethis />