quantitiesor

Quantitiesor is a formal operator used in speculative and interdisciplinary discussions of quantitative logic to express a disjunctive combination of quantity-based conditions. In this framing, quantitiesor takes several quantity predicates defined on a common domain and yields the set of all elements that satisfy at least one of the predicates.

Formal description. Let q1, q2, ..., qn be predicates on a domain D that describe quantity-related constraints. The expression quantitiesor(q1, q2, ..., qn) denotes the subset of D consisting of all x for which q1(x) or q2(x) or ... or qn(x) holds. Equivalently, it represents the boolean OR of the predicates qi. When the predicates specify interval or region constraints, the result is the union of those regions.

Interpretation and uses. Quantitiesor is used to model ambiguity, alternative representations, or sensor limitations in measurement contexts. It formalizes the idea that an observation or state may legitimately satisfy more than one quantity description, and therefore should be treated as belonging to the union of the corresponding quantity sets. In constraint programming or data fusion, quantitiesor supports disjunctive constraints and the exploration of multiple feasible quantity values without forcing a single determinism.

Variants and properties. If the underlying predicates are closed under union, the resulting set is likewise. The operator is commutative and associative with respect to the order of arguments, and idempotent in the sense that repeated identical predicates do not enlarge the result. In standard logic terms, quantitiesor aligns with the disjunction of the constituent predicates.

Relation to other concepts. It is closely related to disjunction, interval arithmetic, and multi-valued logic, and is sometimes discussed alongside set-based representations of quantities and constraint satisfaction problems.