Loading…
Loading…
Concept · Foundations
The set of objects that the variables of a predicate-logic formula are taken to range over in a given interpretation.
Why it matters
The domain fixes what 'everything' and 'something' mean in a particular context, and many translation errors come from leaving it unclear.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related