Quantity quantity, that most elementary of determinations, designates that which makes a judgment about how many or how great a thing is, without regard to its qualitative nature. In the logical analysis of thought, quantity appears as a predicate of objects, a mode of predication that is neither purely qualitative nor purely relational, yet it serves as the bridge between the realm of pure concepts and the realm of measurement. The conception of quantity must be distinguished from the notion of number, for number is a concept of a concept, while quantity is a concept that applies directly to objects and can be expressed both in discrete and continuous forms. Fundamental notion. The logical form of a proposition that attributes a quantity to an object consists of a subject term, a quantifying predicate, and, in the case of continuous magnitude, a relational term indicating a comparison to a standard. Such a proposition may be rendered symbolically as 𝑞(𝑎), where 𝑞 denotes the quantifying concept and 𝑎 the argument. The meaning of the quantifying concept is given by a function from the domain of objects to the domain of values, the latter being either natural numbers in the case of discrete quantity or real magnitudes for continuous quantity. The function thus defined is a mapping that assigns to each object its quantitative value; the value is the Bedeutung of the quantifying concept when applied to the object, while the Sinn of the quantifying concept remains the mode of presentation by which the assignment is understood. In the analysis of arithmetic, the concept of number is derived from the concept of a finite collection. The number three, for example, is not a property of any particular object but the Begriff of the class of all trios. The number therefore functions as a second‑order concept: it is the concept of a concept. Quantity, by contrast, is a first‑order concept. When the statement “the length of the rod is three metres” is examined, “three metres” functions as a quantitative value that is directly assigned to the rod. The numeral three, as a number, serves to indicate the magnitude of the unit of measurement, yet the quantitative attribute “three metres” is a composite of number and unit, a Bedeutung that is not itself a number but a measurement. The logical treatment of quantity demands a careful separation of the syntactic and semantic aspects of quantification. The syntactic form of a quantified statement is captured by the quantifier symbols ∀ and ∃, which bind variables in the predicate logic. These symbols, however, do not themselves express quantity; they express the logical operation of generality. Quantity is expressed by the predicates that appear within the scope of these quantifiers. For instance, in the formula ∀x (Height(x) > 2 m), the predicate “Height(x) > 2 m” attributes a continuous magnitude to each object x, while the universal quantifier merely asserts that the predicate holds for all objects in the domain. Thus, the logical calculus distinguishes between the logical form of universal or existential claim and the quantitative content of the predicate. The distinction between discrete and continuous quantity is further illuminated by the theory of measurement. Discrete quantity, expressed by natural numbers, rests upon the principle of counting, which is reducible to the notion of a one‑to‑one correspondence between a set of objects and an initial segment of the natural numbers. The logical foundation of counting is the principle of equipollence: two finite collections are of the same quantity if and only if there exists a bijective relation between them. This principle yields the definition of cardinality, which is itself a number, namely the cardinal number of the set. Continuous quantity, on the other hand, is founded upon the notion of ratio. The ratio of two magnitudes is defined by the possibility of establishing a common measure such that the magnitudes can be expressed as multiples of this measure. The logical analysis of ratio proceeds by the introduction of a real-valued function that assigns to each magnitude a value in a continuum, preserving the order and additive structure of the magnitudes. The real numbers thus arise as the Bedeutung of continuous quantitative concepts, but the concepts themselves remain first‑order predicates applicable to objects. In the development of modern logic, the treatment of quantity acquires a further layer of abstraction through the notion of a function as an object of the logical language. A function, in the Fregean sense, is a rule that assigns to each argument a unique value, and the value may be a number, a magnitude, or any other kind of quantitative datum. The function itself is not an object; it is a higher‑order entity that can be denoted by a function sign and can be applied to arguments within the language. The introduction of function signs permits the expression of complex quantitative statements without the need for an explicit enumeration of cases. For example, the expression Length(rod) = 3 m can be understood as the application of the function “Length” to the argument “rod”, yielding a quantitative value. The logical analysis of such expressions shows that the function sign has a Sinn that determines the mode of presentation of the rule, while the Bedeutung is the rule itself, which determines the mapping from arguments to values. The logical conception of quantity also requires a treatment of the identity of quantitative values. Two quantitative statements may be co‑extensive while differing in Sinn . The statement “the length of the rod is three metres” and the statement “the length of the rod is 300 centimetres” have the same Bedeutung —the same quantitative value—but their Sinn differs, because the unit of measurement is presented differently. This distinction mirrors the classic Fregean distinction between sense and reference and demonstrates that quantitative concepts are not exhausted by their referential content; the manner in which the quantity is expressed bears logical significance. The role of quantity in the foundations of mathematics is illuminated by the analysis of the axioms of arithmetic . The Peano axioms, for instance, codify the properties of the natural numbers as a discrete quantitative system. The axioms assert the existence of a distinguished element 0, a successor function S, and the principle of induction, which together guarantee that the natural numbers form a well‑ordered infinite sequence. In the logical reconstruction, the successor function is a function sign that maps each number n to its immediate quantitative successor S(n). The axiom of induction is a logical schema that permits the derivation of properties of all numbers from a base case and a successor step, thereby establishing the completeness of the discrete quantitative system. Continuous quantity, by contrast, is captured in the axioms of real analysis. The completeness axiom, which states that every non‑empty set of real numbers bounded above possesses a least upper bound, secures the existence of limits and thus the continuity of magnitude. The logical structure of the real numbers can be derived from Dedekind cuts or Cauchy sequences, both of which are constructions that translate the intuitive notion of continuity into a precise formal system. In these constructions, the quantitative values are not merely numbers but equivalence classes of partitions or sequences, each class representing a magnitude in the continuum. The logical treatment of quantity must also address the comparative predicates that relate quantitative values. The relations “greater than”, “less than”, and “equal to” are binary predicates on the domain of quantitative values. Their logical properties are captured by the axioms of order: antisymmetry, transitivity, and totality for a total order. In the case of discrete quantity, the order is induced by the successor relation; in the case of continuous quantity, the order is induced by the real line’s linear ordering. The logical analysis shows that these comparative predicates are definable in terms of the underlying quantitative functions: for numbers m and n, m < n holds if there exists a natural number k such that m + k = n; for magnitudes a and b, a < b holds if there exists a positive real ε such that a + ε = b. The philosophical import of quantity lies in its capacity to render the world measurable . The quantification of objects confers upon them a determinate structure that can be subjected to logical analysis, calculation, and prediction. Yet, from the logical standpoint, quantity does not confer qualitative identity; two objects may share the same quantity while differing in all other respects. The logical distinction between quantity and quality is essential for the analysis of scientific statements, where the former supplies the numerical parameters and the latter supplies the categorical descriptions. In the logical calculus, quantitative predicates and qualitative predicates occupy distinct syntactic categories, and their interaction is governed by the rules of composition that preserve logical form. The treatment of units within the logical analysis of quantity requires a careful handling of the convention that underlies measurement. A unit is itself a quantity that serves as a standard against which other quantities are compared. The assignment of a numerical value to a measured object is thus a composite operation: first, the object’s magnitude is related to the unit by a ratio, and second, the ratio is expressed as a numeral multiplied by the unit. The logical form of this operation can be expressed as Q(x) = n·U, where Q is the quantitative predicate, x the object, n the numeral, and U the unit. The unit U is a Bedeutung that is itself a magnitude, and its Sinn is the conventional designation that fixes its role within the measurement system. In the domain of applied logic , the representation of quantity enables the formulation of quantitative laws, such as those found in physics and economics. A law of motion, for instance, may be expressed as a functional relation between quantities: the acceleration a of a body is the derivative of its velocity v with respect to time t, symbolically a = dv/dt. The logical structure of such a law comprises a universal quantifier over the relevant objects, a functional predicate that maps the quantities involved, and an equality that asserts the identity of the resultant quantity. The rigorous logical analysis of these laws reveals that the quantitative functions involved are not mere symbols but denote real‑world mappings that can be empirically verified. The logical analysis of probability also rests upon the notion of quantity, albeit a specialized one. Probability assigns to each event a quantitative value between 0 and 1, representing the degree of plausibility. This assignment is governed by the axioms of probability, which are themselves statements about quantitative relations: non‑negativity, normalization, and σ‑additivity. The probabilistic function thus maps events, which are propositions, to quantitative values, thereby extending the domain of quantitative concepts to the realm of logical propositions. The resultant quantitative values retain the logical character of Bedeutung , while their Sinn is given by the interpretative framework of chance. The semantic theory of quantity must also confront the problem of reference in the case of hypothetical or abstract quantities. When a statement attributes a quantity to an object that does not exist, the Bedeutung of the quantitative predicate is still well‑defined within the logical system, for the function sign remains a rule independent of the existence of its argument. The logical language thereby accommodates statements about non‑existent quantities, such as “the length of the line that would be drawn between the two points is infinite”. The logical treatment shows that the reference of the quantitative predicate is a potential value, and the Sinn of the statement is preserved even in the absence of an actual referent. In the historical development of logic, the conception of quantity has undergone refinement. Early logical treatises treated quantity merely as a numerical attribute, whereas the modern logical analysis, inaugurated by the Begriffsschrift, elevates quantity to a central component of the logical calculus. The formal language distinguishes between concepts (Begriffe) and objects (Gegenstände), and quantitative concepts occupy a privileged position as those that map objects to numerical or magnitudinal values. This distinction permits a clear demarcation between the logical operations that manipulate concepts and the arithmetic operations that manipulate the values to which concepts assign. The metalogical status of quantity is also noteworthy. Within a formal system, the symbols denoting quantitative functions and values are subject to the same syntactic rules as any other symbols. However, the interpretation of these symbols in a model assigns them the intended quantitative meaning. The completeness and soundness theorems guarantee that if a quantitative statement is derivable in the logical calculus, it holds in every model that respects the intended interpretation of the quantitative symbols. Conversely, if a quantitative statement holds in all such models, it is derivable. Thus, the logical analysis of quantity is fully integrated into the broader meta‑theoretical framework of formal systems. Finally, the epistemic aspect of quantity must be acknowledged. The acquisition of quantitative knowledge proceeds through measurement, counting, and estimation, each of which is a methodological process that yields quantitative data. The logical scrutiny of these processes reveals that they are governed by rules of inference: the principle of substitution permits the replacement of equal quantities, the principle of transitivity allows the chaining of comparative relations, and the principle of induction justifies the extension of quantitative statements from finite cases to general laws. The logical structure of these inferential rules ensures that quantitative knowledge can be systematically organized and rigorously justified. In sum, quantity, as a logical notion, constitutes a first‑order concept that attributes numerical or magnitudinal values to objects. Its analysis requires a clear separation of sense and reference, a distinction between discrete and continuous forms, and a rigorous treatment of functions, units, and comparative predicates. The logical foundations of quantity underpin the edifice of arithmetic, measurement, and quantitative science, and its proper articulation within a formal language secures the precision and reliability of mathematical and empirical reasoning. [role=marginalia, type=clarification, author="a.kant", status="adjunct", year="2026", length="41", targets="entry:quantity", scope="local"] Quantity, unlike the pure concept of number, is a category that applies directly to empirical intuition; it determines the mode of predication by fixing the magnitude of the object—either discrete (whole) or continuous (extent)—and thus supplies the necessary material for measurement. [role=marginalia, type=clarification, author="a.freud", status="adjunct", year="2026", length="48", targets="entry:quantity", scope="local"] It must be stressed that quantity, unlike number, is not a mere abstraction but an immediate attribute of the object, capable of being felt as a magnitude in the ego’s estimative apparatus. Thus the quantitative predicate may be discrete (countable) or continuous (measurable), each engaging distinct psychic representations. [role=marginalia, type=clarification, author="a.turing", status="adjunct", year="2026", length="51", targets="entry:quantity", scope="local"] The crux lies in the distinction: quantity is not counted, but counted-as—its being arises in the logical mapping of concepts onto numbers, not in the world’s contingencies. Three apples are three only because “apple” satisfies the predicate of the number three under a rule—number is the form of judgment, not perception. [role=marginalia, type=clarification, author="a.spinoza", status="adjunct", year="2026", length="58", targets="entry:quantity", scope="local"] Quantity is not a property of things, but of our modes of thinking: it emerges when the understanding subsumes a concept under an exact numerical rule. The “three” in “three apples” is not found in the apples, but in the logical act of equating their concept to a unit-series—a necessary determination of thought, not a reflection of matter. [role=marginalia, type=objection, author="Reviewer", status="adjunct", year="2026", length="42", targets="entry:quantity", scope="local"] I remain unconvinced that the logical foundation of quantity is entirely divorced from sensory intuition. While numerical judgments are indeed crucial, the initial perception and categorization of objects still play a foundational role in our understanding of quantity. How do bounded rationality and the complexity of human cognitive processes influence our ability to link concepts with numbers? See Also See "Measurement" See "Number"