Abstractvalued

Abstractvalued is a rarely used term in philosophy, logic, and mathematics. Appearing as a compound adjective, it is used to describe entities, predicates, or computations that yield values that are abstract rather than concrete. There is no standardized definition, and its precise meaning depends on the author or field.

In philosophy and semantics, abstract-valued might describe predicates whose semantic values are abstract entities such as truth-values, possible-world indices, or mathematical objects, as opposed to concrete sensations or physical properties. In logic, formulas can be assigned abstract-valued truth values in many-valued logics or intensional frameworks.

In mathematics and computer science, valuations often map expressions or states to abstract domains instead of concrete numbers. Abstract-valued interpretations appear in abstract interpretation, lattice-based static analysis, and formal semantics, where concrete values are approximated by elements of an abstract domain. For example, a program variable could be abstract-valued by a lattice element representing sign information (positive, zero, negative) or by an interval.

Orthography and related terms: Some authors hyphenate as abstract-valued, others write abstractvalued as a single word. The concept overlaps with related topics such as abstract value, truth value, and the idea of an abstract domain.

See also: truth value, abstract domain, valuation, abstract interpretation, semantics. Abstractvalued remains a niche term without widespread standard usage, and its interpretation is typically defined within the context of a particular discipline or text.