Nothing Too Much: Constitutive Relations and the Limits of Variation

An Addendum to “Determination, Constitutive Limits, and the Foundations of Proper Measure”

By Publius

Abstract

In Nothing Too Much, we argued that determinate composites are subject to limits arising from the conditions of their constitution. One application concerned finite resources: where several necessary constituents compete for a limited supply, the allocation to any one constituent is bounded by the minimum requirements of the others. Here we show that the underlying principle is more general. A composite may depend upon necessary relations among its constituents, and those relations restrict the variations compatible with its determinate kind. Such restrictions can hold even where absolute magnitude is unbounded. We illustrate the principle through geometrical figures, formulate a theorem of constitutive relational invariance, and derive proportional bounds as a special case. The central claim is that determination entails formal restrictions on admissible variation. Where these restrictions concern magnitude, they establish objective, constitution-relative standards of excess and deficiency. Proper measure, in its most general constitutive sense, is not necessarily a midpoint or finite quantity, but conformity to the relations by which a thing is what it is.

I. From Finite Resources to Constitutive Relations

In our earlier paper, we argued that a determinate composite depends upon the presence and organization of its necessary constituents. A whole cannot continue to instantiate the same determinate kind if the conditions necessary for its constitution are negated.

This argument belongs to a long philosophical tradition. Aristotle distinguishes unified wholes from mere heaps and asks what makes a plurality of constituents one thing. In Metaphysics Η.6, he locates the explanation of unity in the relationship between matter and form. Contemporary structure-based accounts of composition similarly emphasize that a whole cannot always be understood merely as an aggregate of independently specified parts.[1]

One consequence concerns the allocation of finite resources. Suppose a composite contains several necessary constituents, each requiring a minimum quantity of a common resource. If the available supply is finite, increasing the allocation to one constituent eventually leaves too little for the others.

Let R denote the total available resource, rᵢ the allocation to constituent i, and mᵢ > 0 its minimum requirement. Assuming these requirements are jointly feasible, Σᵢrᵢ ≤ R and rᵢ ≥ mᵢ. It follows that mᵢ ≤ rᵢ ≤ R − Σⱼ≠ᵢmⱼ.

This establishes a precise sense of excess: a constituent receives too much when its allocation prevents another necessary constituent from receiving what it requires. But must constitutive limits depend upon finite resources?

Consider a composite whose absolute magnitude can increase without bound. Suppose its constituents may all grow indefinitely, provided they preserve certain relations to one another. Even in this case, the constituents cannot necessarily vary independently. Increasing one while holding the others fixed may violate the organization necessary for the whole to remain what it is.

This suggests a second source of limits. A constituent may become excessive not because the whole lacks sufficient resources, but because its variation is incompatible with the relations required by the whole’s constitution. We shall call these constitutive relational limits.

II. A Geometrical Example: The Square

Consider a square composed of four line segments joined at right angles. The square is a determinate geometrical figure. Its identity as a square depends upon the equality of its sides, their connections, and the angles between them.

Let the four sides have lengths a₁, a₂, a₃, a₄. For the figure to be a square, it is necessary that a₁ = a₂ = a₃ = a₄, together with the appropriate angular and connectivity conditions.

Now consider two transformations. In the first, every side is multiplied by the same positive factor λ: (a₁,a₂,a₃,a₄) → (λa₁,λa₂,λa₃,λa₄). The figure remains a square, however large λ becomes. Its absolute magnitude is unbounded in the mathematical model, but its constitutive relations remain unchanged.

In the second transformation, one side is increased while the other three remain fixed. The resulting four lengths no longer satisfy the equality condition necessary for a square. The transformation is therefore incompatible with the continued instantiation of that geometrical kind.

Let P denote the square’s perimeter, and define the share of each side as pᵢ = aᵢ/P. For every square, p₁ = p₂ = p₃ = p₄ = 1/4. The total perimeter may increase without bound, but the proportions remain fixed.

The square therefore demonstrates that unbounded absolute magnitude is compatible with strictly constrained relative magnitude. Increasing one side relative to the others violates the conditions of a square, but so does decreasing it. The constitutive relation explains both excess and deficiency.

The relevant identity is identity as a geometrical kind, not necessarily numerical identity as a material object. A wire frame bent from a square into a rectangle may remain the same physical object. What it loses is its identity as a square.[2]

III. The Theorem of Constitutive Relational Invariance

Let a composite W possess constituents with magnitudes or other relevant properties represented by a configuration vector x = (x₁, x₂, …, xₙ). Suppose that instantiating the determinate kind W requires the configuration to satisfy constitutive relations: equalities Fₖ(x) = 0, inequalities Gₗ(x) ≥ 0, or other conditions governing arrangement and interaction.

Let K_W denote the set of configurations satisfying all necessary conditions: K_W = {x : Fₖ(x) = 0, Gₗ(x) ≥ 0, and all other necessary conditions hold}. A configuration is admissible as an instance of W only if it belongs to K_W.

Theorem 1. Constitutive Relational Invariance. If a determinate kind of composite depends upon necessary relations among its constituents, then any variation that violates those relations is incompatible with the continued instantiation of that kind.

Formally, x ∈ K_W and x′ ∉ K_W imply that the transition from x to x′ does not preserve the relevant constitutive conditions.

The theorem is elementary. Its importance lies not in the difficulty of its proof, but in what follows when constitutive relations are expressed as quantitative or structural constraints. It establishes a general distinction between admissible and inadmissible variation.

This distinction is closely related to contemporary discussions of essence. Kit Fine has argued that essential truths cannot simply be identified with truths about what is metaphysically necessary. What matters is the nature of the thing in question. Our argument likewise begins from conditions constitutive of a determinate kind, rather than from unrestricted modal possibility.[3]

The theorem does not imply that every constituent must remain unchanged. For a square, necessary relations include equality of side lengths and right angles. For a rectangle, opposite sides must remain equal, but the aspect ratio may vary. Constitutive relations may permit exact configurations, continuous ranges, or more complicated domains of variation.

The general principle is not that everything must remain unchanged. It is that change must preserve what is necessary for the whole to remain what it is.

IV. Formal Moderation and Quantitative Moderation

We must distinguish two senses of moderation. Formal moderation means that variation remains within the conditions constitutive of a determinate kind. Quantitative moderation means that a magnitude remains within specified upper and lower bounds. Quantitative moderation is one possible expression of formal moderation, but not the only one.

Consider x₁x₂ = 1, with x₁, x₂ > 0. The admissible configurations form K = {(x₁,x₂) : x₁x₂ = 1, x₁,x₂ > 0}. Neither variable has a finite upper bound. We may take x₁ → ∞ and x₂ → 0⁺ while preserving the relation. Nevertheless, the variables cannot vary independently: increasing x₁ while holding x₂ fixed violates the condition.

The absence of a finite upper bound therefore does not imply the absence of a constitutive restriction. Admissible configurations occupy only a constrained subset of possible configurations. A constitutive restriction need not establish that an absolute quantity is too large; it may establish that a combination or variation is incompatible with the thing’s form.

Where conditions specify finite bounds, moderation takes a quantitative form. Where they specify exact relations, moderation consists in preserving those relations. Where they specify more complicated domains, moderation consists in remaining within those domains. The most general principle is not a universal upper bound, but the exclusion of variations incompatible with determinate constitution.

V. Proportional Bounds as a Special Case

Suppose a composite W has n ≥ 2 distinct, nonoverlapping measured constituents, each fulfilling a necessary role. Assume that their measured magnitudes are additive and no occupant is counted twice. Let xᵢ > 0 denote the magnitude of constituent i and X = Σᵢxᵢ the total magnitude. Define pᵢ = xᵢ/X, so Σᵢpᵢ = 1.

Suppose the constitution of W requires each constituent to maintain a minimum proportional share μᵢ > 0, with pᵢ ≥ μᵢ and Σᵢμᵢ ≤ 1. Because every other constituent must retain its minimum share, Σⱼ≠ᵢpⱼ ≥ Σⱼ≠ᵢμⱼ. Therefore pᵢ = 1 − Σⱼ≠ᵢpⱼ ≤ 1 − Σⱼ≠ᵢμⱼ.

Theorem 2. Constitutive Proportional Bounds. If a composite requires at least two distinct necessary constituents to maintain positive minimum proportional shares, then each constituent has a positive lower proportional bound and an upper proportional bound strictly below totality:

μᵢ ≤ pᵢ ≤ 1 − Σⱼ≠ᵢμⱼ.

For example, if A requires at least 30 percent and B at least 20 percent of a two-part composite, then 0.30 ≤ p_A ≤ 0.80. Beyond 80 percent, A necessarily leaves B below its minimum. This establishes excess before totalization.

Mere plurality does not establish positive minimum proportions: a necessary constituent might remain present at arbitrarily small positive shares. The stronger theorem requires independently justified minimum-share conditions.[4] The square represents a stronger special case: its conditions determine exact proportions, rather than merely lower bounds.

VI. Why Proportional Limits Do Not Require Finite Resources

Suppose the total magnitude X of a composite may increase indefinitely. Then xᵢ = pᵢX may also increase indefinitely while its proportional share remains constant. Every side of a square may grow without bound while retaining one-quarter of the perimeter; yet no side may increase independently while the figure remains a square.

Likewise, a composite whose constituents require minimum proportional shares may increase indefinitely in absolute magnitude while remaining subject to upper and lower proportional bounds. The restriction survives the removal of finite absolute resource constraints.

This does not assert that actual physical systems possess unlimited accessible resources. Physical systems operate under material and dynamical constraints. Whether the universe as a whole contains a finite total quantity of resources is a separate cosmological question. The unlimited-resource case is a mathematical and metaphysical abstraction designed to isolate one source of limitation from another.

A composite may be unlimited in scale while remaining limited in the relative variation of its constituents.

VII. The General Theorem of Constrained Allocation

Suppose quantities y₁,…,yₙ satisfy Σᵢyᵢ ≤ B and each has a positive minimum requirement yᵢ ≥ bᵢ > 0, with Σᵢbᵢ ≤ B. Then bᵢ ≤ yᵢ ≤ B − Σⱼ≠ᵢbⱼ. This is the general theorem of constrained allocation.

In the finite-resource case, B = R, the available common resource. In the proportional case, B = 1 because shares sum to unity. Here unity is not a finite stock of resources: it is the normalized measure of the whole. The restriction arises because proportions must jointly satisfy constitutive requirements.

These arguments share mathematical structure without sharing their philosophical premise. One concerns absolute allocation under finite supply; the other relative allocation under constitutive proportional requirements. Both are special cases of constrained allocation, which is itself only one instance of constitutive relational invariance. Angles, connectivity, symmetry, and order may restrict variation without involving competition for a fixed sum.

Constitutive relational invariance: necessary relations distinguish admissible from inadmissible variation.
Constrained allocation: minimum requirements restrict quantities within a total.
Finite-resource and proportional bounds: particular applications involving absolute and relative magnitudes.

VIII. Does This Establish Moderation, or Merely Definition?

A natural objection is that the argument proves only that things have definitions. A square has equal sides because equality belongs to the definition of a square. Why should this establish a principle of moderation?

The objection correctly identifies the logical foundation, but does not undermine the conclusion. The point is precisely that determinate constitution carries restrictions upon admissible variation. If a thing is defined by necessary relations, configurations violating them are excluded from the domain in which it can exist as the relevant kind.

Where relations concern magnitude, proportion, or organization, this exclusion provides an objective standard distinguishing permissible from impermissible variation. The standard is not arbitrary once the relevant kind and its constitutive conditions are fixed. A square’s equal sides and right angles are not matters of taste; they determine what counts as a square.

Thus the argument establishes both propositions: first, determinate kinds have constitutive conditions; second, those conditions impose objective restrictions on admissible variation. The second is an implication of the first. This is the point of deriving a principle from determination itself.

A definition imposing no nontrivial restriction upon a given variation will not yield a substantive bound in that dimension. Nor does every restriction yield a finite maximum or midpoint. The general principle is formal; quantitative moderation follows where constitutive conditions impose quantitative restrictions.

Constitutive moderation must also be distinguished from moral or practical evaluation. That a rectangle is not a square does not make rectangles bad. To conclude that a change ought to be avoided requires an additional premise—for example, that preserving the relevant kind, function, or organization is among the agent’s ends. The constitutive standard is objective relative to the kind; its practical authority depends upon the significance of preserving that kind.[5]

IX. Excess, Deficiency, and Proper Measure

Suppose a composite requires x₁/x₂ = k, where k > 0. Both x₁/x₂ > k and x₁/x₂ < k violate the stipulated relation. Relative to the required ratio, the first represents excess of the first constituent and the second deficiency. Where a ≤ x₁/x₂ ≤ b, the bounds distinguish permissible variation from excess and deficiency.

The principle is broader than ratios. For x₁x₂ = 1, appropriate variation may involve increasing one constituent while decreasing another. Neither has a finite upper bound, but their changes remain constrained. Proper measure need not mean an intermediate quantity: it may mean preserving an exact proportion, remaining within an interval, or maintaining a more complicated structural condition.

Aristotle’s Nicomachean Ethics II.6 distinguishes the arithmetic midpoint from the mean relative to us and the circumstances. The present argument does not derive his ethical doctrine from geometry, but supplies a constitutive framework within which objective standards of excess and deficiency can arise.[6]

Moderation is therefore not simply a preference for small quantities, average quantities, or compromise. It is conformity to the conditions necessary for the preservation of a determinate form or function. Determinate organization restricts admissible variation.

X. Conclusion

The original argument of Nothing Too Much established that determinate composites depend upon necessary constituents and their organization. Where those constituents compete for finite resources, their minimum requirements impose upper bounds upon their absolute allocations.

The present addendum identifies a more general source of limitation. A composite may depend upon necessary relations among its constituents. These relations determine which variations preserve its determinate kind and which violate it. They may restrict relative magnitudes even when absolute magnitude is unbounded.

The square provides a simple demonstration: its sides may grow indefinitely together, but cannot vary independently while preserving its geometrical conditions. The proportional-allocation theorem extends the insight to composites whose constituents require minimum shares, producing excess before totalization without finite absolute resources.

The deepest result is not that every determinate thing has a finite maximum or optimal midpoint. It is that determination entails restrictions on the variations compatible with a thing’s constitution. Where these restrictions concern magnitude, they establish objective standards of excess and deficiency; where they concern more general relations, they establish formal conditions of admissible variation.

A determinate composite is constituted not merely by the presence of its parts, but by the necessary relations among them. These relations distinguish variations that preserve the whole from variations that destroy its determinate form. Consequently, even where absolute magnitude is unbounded, variation may remain strictly constrained. Excess and deficiency arise when a constituent departs from the proportions or relations necessary for the whole to remain what it is.

The foundational principle is broader than finite scarcity, quantitative moderation, or constrained allocation. Determinate organization restricts admissible variation. In this constitutive sense, Nothing Too Much follows from the conditions of determination itself.

Notes

Unity, form, and structured wholes. Aristotle, Metaphysics Ζ.17 and Η.6, on unity and form. See Peter Simons, Parts: A Study in Ontology (1987), and Kathrin Koslicki, The Structure of Objects (2008), chapters VII–IX. Koslicki’s approach is relevant to the distinction between occupants of structural positions and their configuration.
Sortal identity and persistence. See David Wiggins, Sameness and Substance Renewed (2001), chapters 2–4. The argument concerns preservation of a determinate kind, not necessarily destruction of the individual material object.
Essence and modality. Kit Fine, “Essence and Modality,” Philosophical Perspectives 8 (1994): 1–16. Constitutive relations may be treated as explanatory conditions grounded in what a thing is; this does not alone supply a general theory of grounding.
Minimum shares and organizational conditions. Positive proportional minima require independent justification from the relevant kind’s organization or functioning. The theorem assumes an additive measure and distinct, nonoverlapping measured occupants; the general relational theorem does not require these assumptions.
Constitution and evaluation. Objective constitutive compatibility does not automatically supply a categorical reason to preserve the kind. A practical conclusion requires a premise concerning relevant ends or values.
Aristotle on the mean. Nicomachean Ethics II.6, 1106a26–1106b28. Aristotle distinguishes the mathematical midpoint from the mean relative to us. This paper’s constitutive framework should not be conflated with his complete account of virtue.
Form and organization. Michail Peramatzis, “Aristotle on Unity in Metaphysics Z.12 and H.6,” Ratio 36, no. 4 (2023): 243–259. A formal representation of necessary conditions does not by itself explain why the relevant organization is metaphysically fundamental.
Constraint sets. K_W represents necessary conditions, not necessarily sufficient conditions for physical realizability. It need not be compact, convex, connected, or bounded. The existence of an optimum requires further premises.
Formal moderation and triviality. The general theorem is elementary. Its contribution is identifying admissible variation as the common structure behind distinct senses of excess and deficiency, not asserting universal finite quantitative bounds.
Directional excess and deficiency. For x₁x₂ = 1, a point off the admissible curve is incompatible with the constitutive relation, but whether to call it excess or deficiency depends upon a specified variable, transformation, and comparison.

References

Aristotle. Metaphysics. Books Ζ–Η.

Aristotle. Nicomachean Ethics. Book II, chapter 6.

Fine, Kit. “Essence and Modality.” Philosophical Perspectives 8 (1994): 1–16.

Koslicki, Kathrin. The Structure of Objects. Oxford: Oxford University Press, 2008.

Peramatzis, Michail. “Aristotle on Unity in Metaphysics Z.12 and H.6.” Ratio 36, no. 4 (2023): 243–259.

Simons, Peter. Parts: A Study in Ontology. Oxford: Clarendon Press, 1987.

Wiggins, David. Sameness and Substance Renewed. Cambridge: Cambridge University Press, 2001.