GO Vault

AX-020 Non-Arbitrariness (No Free Parameters)

14 min read

AX-020: Non-Arbitrariness (No Free Parameters)

Statement (one sentence)

The law/ordering layer cannot be arbitrary; it must constrain the system without adding ad hoc degrees of freedom.

Formal Statement

∀L (L is a law → L is derivable from consistency constraints ∨ L compresses description)

No law or parameter can be arbitrary — each must either follow from self-consistency or provide genuine explanatory compression.

Intended meaning (2-5 sentences)

This is the anti-handwave axiom: it blocks “because God can do anything” or “it just is that way” as substitutes for formal constraints. Any added rule must buy compression or causal power; arbitrary stipulations are forbidden. This forces the framework to derive laws rather than positing them. The Logos (rational order) is constrained to be genuinely rational, not willful arbitrariness.

What this is NOT claiming

  • Not that we currently know all derivations
  • Not that the universe must appear “simple” by human standards
  • Not that contingency is impossible (some features may be index-like)
  • Not that divine freedom is eliminated (freedom within rational order)
  • Not anti-theistic (divine rationality IS the ground of non-arbitrariness)

Downstream commitments

  • Laws should be derivable from deeper principles where possible
  • Free parameters in physics should be targets for derivation
  • “God’s will” cannot be invoked as a substitute for rational explanation

Enables / supports

ATTACK SURFACE ANALYSIS

Attack Category A: Divine Freedom / Voluntarism

Attack A1: Divine Freedom Requires Arbitrariness

Attacker’s Claim: “A truly free God could create any world. Saying laws must be non-arbitrary constrains God’s freedom. This is rationalist overreach.”

Steel-manned Version: Classical theism affirms divine freedom — God chose to create THIS world but could have created others. If laws must be non-arbitrary, God had no choice, and creation is necessary, not free. This seems to limit God.

Counter-argument:

  1. Freedom ≠ Arbitrariness: A rational agent’s freedom is expressed IN choices that make sense, not in random whims. Divine freedom is rational creativity, not arbitrary stipulation.
  2. Aquinas’s View: Aquinas held that God acts according to His nature (which is rational). Divine freedom is freedom to choose among goods, not freedom to be irrational.
  3. Consistency IS Freedom’s Expression: A necessarily rational God freely chooses within the space of rational options. This is MORE freedom, not less — freedom from self-contradiction.
  4. The Axiom Allows Contingent Choices: Non-arbitrary doesn’t mean necessary. God could freely choose among multiple consistent options — the choice must just be rational, not random.

Verdict: Attack conflates freedom with randomness. Divine freedom is rational, not arbitrary.

Attack A2: Theological Voluntarism

Attacker’s Claim: “In voluntarism, God’s will determines what’s good and true. The laws are what they are because God willed them — that’s explanation enough.”

Steel-manned Version: Ockham and others argued that morality and perhaps even logic depend on divine will. God could have made cruelty good or 2+2=5 if He’d willed it. The laws are arbitrary in the sense of being willed, not derived.

Counter-argument:

  1. Euthyphro Applied: Is a law good because God wills it, or does God will it because it’s good? If the former, “good” is meaningless. If the latter, there’s a standard God conforms to.
  2. God’s Will IS Rational: In classical theism, God’s will and God’s intellect are identical (divine simplicity). God wills what is rationally good, not arbitrarily.
  3. Voluntarism Has Problems: Extreme voluntarism makes God’s actions unpredictable and morality groundless. It’s been rejected by most serious theologians.
  4. The Axiom Reflects Logos Theology: John 1 identifies God with Logos (reason). Christianity is not voluntarist — it’s rationalist about God’s nature.

Verdict: Attack represents a minority theological view. The axiom aligns with mainstream Logos theology.

Attack A3: Mystery and Incomprehensibility

Attacker’s Claim: “God’s ways are higher than our ways. Some things about God are necessarily mysterious. Demanding non-arbitrariness imposes human rationality on God.”

Steel-manned Version: Divine transcendence means God exceeds human comprehension. What looks arbitrary to us may have reasons we can’t fathom. Demanding derivability is anthropocentric.

Counter-argument:

  1. Mystery ≠ Irrationality: God can exceed our comprehension while still being rational. Mystery is epistemic (we don’t understand), not ontic (there’s nothing to understand).
  2. Partial Understanding Possible: AX-004 (Intelligibility) asserts reality is intelligible in principle. We may not know everything, but rational structure is real.
  3. The Axiom Is Aspirational: We assert that laws SHOULD be derivable where possible. Current mystery motivates research, not surrender.
  4. Christian Tradition Affirms Reason: “Come, let us reason together” (Isaiah 1:18). Faith seeking understanding (Anselm). Christianity values rational inquiry.

Verdict: Attack conflates epistemic limitation with ontic arbitrariness. Mystery is about our limits, not God’s irrationality.

Attack Category B: Physics Has Free Parameters

Attack B1: The Standard Model Has ~25 Free Parameters

Attacker’s Claim: “Physics actually HAS arbitrary constants — particle masses, coupling strengths, mixing angles. These aren’t derived; they’re measured. Your axiom is empirically false.”

Steel-manned Version: The Standard Model has about 25 free parameters (depending on how you count) that are not derived from theory — they’re fit to experiment. If physics has arbitrary parameters, the axiom fails.

Counter-argument:

  1. Current Ignorance, Not Fundamental: The free parameters are targets for deeper theory. String theory, GUTs, and other frameworks aim to derive them. The axiom motivates this research.
  2. Some Progress Made: Some parameters have been related to others (electroweak unification). The program of derivation is partially successful.
  3. The Axiom Is Normative: We assert parameters SHOULD be derivable. Current free parameters are unsatisfying precisely because they seem arbitrary.
  4. Bootstrap Philosophy: The conformal bootstrap and similar programs derive physics from consistency alone. This supports the axiom as achievable.

Verdict: Attack identifies current ignorance. The axiom is a research program, not a current achievement.

Attack B2: Anthropic Selection Allows Arbitrariness

Attacker’s Claim: “In the multiverse, constants vary. We see these values because only these allow observers. The selection is anthropic, not rational — perfectly consistent with arbitrary variation elsewhere.”

Steel-manned Version: String landscape + eternal inflation suggests 10^500 vacua with different parameters. We see fine-tuned values because only those allow life. No derivation needed — just selection from arbitrary variation.

Counter-argument:

  1. Anthropic Selection Has Limits: The anthropic principle can explain fine-tuning but not arbitrary laws. Why these symmetry groups? Why quantum mechanics at all?
  2. The Multiverse Needs Non-Arbitrariness: If the multiverse exists, what determines the meta-laws governing it? The landscape has structure — that structure must be non-arbitrary.
  3. Measure Problem: Without a well-defined probability measure, anthropic selection is meaningless. Deriving the measure requires non-arbitrary principles.
  4. Parsimony: Non-arbitrary derivation is more parsimonious than positing 10^500 actual universes to explain one.

Verdict: Attack pushes arbitrariness to the meta-level. Non-arbitrariness is still required there.

Attack B3: Initial Conditions Are Arbitrary

Attacker’s Claim: “Even if laws are non-arbitrary, initial conditions could be arbitrary. The specific state of the early universe seems contingent — why this configuration?”

Steel-manned Version: Laws might be derivable, but initial conditions seem genuinely arbitrary. Why did the universe start in a low-entropy state? Why this particular configuration?

Counter-argument:

  1. Initial Conditions May Be Derived: Some proposals (Hartle-Hawking, Penrose CCC) aim to derive initial conditions from principles. The axiom motivates this.
  2. Self-Consistency Constraints: If the universe is self-grounding (AX-006), initial conditions might be constrained by overall consistency — the only conditions compatible with the laws and boundary conditions.
  3. The Axiom Applies to Laws: Even if initial conditions are contingent, laws should be non-arbitrary. This is significant progress over full arbitrariness.
  4. Index vs. Content: Some contingent features may be “index-like” (WHICH universe we’re in) rather than content (WHAT kind of universes are possible). The axiom primarily constrains content.

Verdict: Attack identifies a genuine issue. The axiom primarily targets laws; initial conditions are a further question.

Attack Category C: What Counts as Non-Arbitrary?

Attack C1: Simplicity Is Subjective

Attacker’s Claim: “What counts as ‘non-arbitrary’ or ‘simple’ depends on your language and framework. There’s no absolute measure of simplicity. The axiom is vacuous.”

Steel-manned Version: Kolmogorov complexity depends on the choice of universal Turing machine. Different languages make different theories “simple.” Non-arbitrariness has no absolute meaning.

Counter-argument:

  1. Language-Independence Up to Constant: Kolmogorov complexities in different languages differ by at most a constant. For sufficiently complex structures, the ranking is stable.
  2. Derivability Is Clearer: “Derivable from consistency constraints” is more precise than “simple.” The axiom has two prongs — derivability and compression.
  3. Intersubjective Agreement: Physicists agree on what counts as elegant or derived vs. ad hoc. This agreement suggests an objective (or intersubjectively stable) notion.
  4. Absolute Simplicity: The simplest possible theory has zero free parameters — everything derived. This is an absolute target, even if we can’t reach it.

Verdict: Attack raises a real concern. Derivability and compression are more precise than “simplicity.”

Attack C2: Compression Can Be Arbitrary

Attacker’s Claim: “Any data can be compressed by choosing the right encoding. Compression doesn’t distinguish genuine patterns from gerrymandered ones.”

Steel-manned Version: Given arbitrary encoding, any string can be compressed. The “compression” criterion doesn’t objectively pick out laws — it depends on how you describe things.

Counter-argument:

  1. Kolmogorov Complexity Is Fundamental: The shortest program generating a string (in a fixed language) is well-defined. This isn’t arbitrary encoding.
  2. Prediction, Not Just Description: Genuine laws predict NEW phenomena. Ad hoc encodings don’t generalize. Compression that enables prediction is non-arbitrary.
  3. Physical Laws Pass This Test: Newton’s laws compress vast observational data AND predicted new phenomena (Uranus’s orbit). This is objective compression.
  4. MDL and Bayes: Minimum Description Length and Bayesian model comparison provide principled ways to measure genuine compression.

Verdict: Attack answered by prediction criterion. Genuine laws compress AND predict.

Attack C3: Self-Consistency Is Too Weak

Attacker’s Claim: “Many inconsistent theories are self-consistent when suitably restricted. Self-consistency doesn’t uniquely determine the laws — it’s too weak a constraint.”

Steel-manned Version: Self-consistency is a minimal requirement — even inconsistent theories can be patched to be consistent. The axiom’s constraint is too weak to do the work claimed.

Counter-argument:

  1. Combined Constraints: The axiom requires consistency AND compression. Both together are more constraining than either alone.
  2. Bootstrap Evidence: The conformal bootstrap shows that consistency alone (crossing symmetry, unitarity) can uniquely determine theories. It’s stronger than it seems.
  3. Self-Consistency of the WHOLE: Self-consistency of the entire framework (including self-grounding) is much more constraining than local consistency.
  4. The Axiom Sets Direction: Even if multiple consistent theories exist, the axiom says we should prefer the most constrained, least arbitrary one.

Verdict: Attack underestimates consistency constraints. Whole-system consistency is powerful.

Attack Category D: Historical / Philosophical Objections

Attack D1: Leibniz’s Failure

Attacker’s Claim: “Leibniz tried to derive contingent truths from pure reason and failed. The rationalist project is dead. You can’t derive physics from logic.”

Steel-manned Version: Leibniz claimed this is the best of all possible worlds, derivable from reason. Voltaire and others demolished this. The project of deriving contingent facts from necessary principles failed historically.

Counter-argument:

  1. Not Pure Reason — Consistency: The axiom doesn’t claim deriving physics from logic alone. It claims deriving from consistency constraints, which can include physical consistency (unitarity, locality).
  2. Bootstrap Success: Modern physics (conformal bootstrap, holography) has had success deriving from consistency. The project isn’t dead — it’s revived.
  3. Leibniz Was Premature: Leibniz lacked the mathematical tools. Modern physics provides better frameworks for derivation.
  4. Partial Success Is Success: Even deriving some parameters from others is progress. The axiom is about direction, not complete achievement.

Verdict: Attack concerns an outdated version of rationalism. Modern physics-based derivation is different.

Attack D2: Hume’s Fork

Attacker’s Claim: “Hume distinguished relations of ideas (necessary, uninformative) from matters of fact (contingent, informative). Physical laws are matters of fact — they can’t be derived necessarily.”

Steel-manned Version: If laws are synthetic (about the world, not definitions), they can’t be derived a priori. If they’re analytic (true by definition), they’re not informative about the world. Either way, derivation fails.

Counter-argument:

  1. Synthetic A Priori: Kant argued for synthetic a priori knowledge. The axiom occupies similar territory — physical necessity, not logical necessity.
  2. Structural Necessity: Laws can be necessary given the structure of the possibility space, even if contingent relative to pure logic. This is structural, not logical necessity.
  3. Consistency Is Informative: Self-consistency of a physical theory is highly constraining. It’s not “analytic” in Hume’s sense but not arbitrary either.
  4. The Fork May Be Too Sharp: Modern philosophy of science questions Hume’s strict dichotomy. Physical laws may be neither purely analytic nor purely empirical.

Verdict: Attack relies on an outdated dichotomy. Physical necessity is a third category.

Attack Category E: Alternative Frameworks

Attack E1: Pragmatism About Laws

Attacker’s Claim: “Laws are our best tools for prediction, not discoveries about reality. They’re useful fictions, not ‘non-arbitrary’ truths about the world.”

Steel-manned Version: Instrumentalism/pragmatism: laws are successful prediction tools. Different equally good tools might exist. The question of whether laws are “arbitrary” is meaningless — only predictive success matters.

Counter-argument:

  1. Predictive Success Needs Explanation: WHY are these laws successful? Pragmatism doesn’t answer this. Non-arbitrary laws explain their own success.
  2. Convergence: Different approaches converge on the same laws. This suggests they’re tracking something real, not just useful conventions.
  3. Novel Predictions: Laws predict genuinely NEW phenomena (not used in their construction). This requires more than pragmatic utility.
  4. The Axiom Is Compatible: Even pragmatists can prefer laws that compress and unify. Non-arbitrariness is pragmatically valuable.

Verdict: Attack sidesteps the question. Pragmatic success requires explanation.

Attack E2: Radical Contingentism

Attacker’s Claim: “Some philosophers (Cartwright) argue laws are highly local and contingent. There may be no universal laws — just ceteris paribus generalizations.”

Steel-manned Version: Nancy Cartwright and others argue that fundamental laws are false — real phenomena involve messy interactions not captured by idealized laws. “Non-arbitrary” laws may not exist.

Counter-argument:

  1. Fundamental vs. Phenomenological: Cartwright’s critique targets phenomenological laws. Fundamental laws (quantum mechanics) are more robust.
  2. Idealization ≠ Falsity: Idealized laws capture real structure even if particular applications require corrections. The structure is non-arbitrary.
  3. Physics Disagrees: Working physicists act as if fundamental laws exist and are discoverable. The axiom captures this practice.
  4. Even Local Laws Have Structure: Even if laws are local, they have structure that requires explanation. Non-arbitrariness applies at every level.

Verdict: Attack concerns phenomenological laws. Fundamental physics supports universal, non-arbitrary structure.

Summary: Attack Disposition Matrix

AttackTypeVerdictNotes
A1: Divine FreedomTheologicalDEFEATEDFreedom ≠ arbitrariness
A2: VoluntarismTheologicalDEFEATEDMinority view; Logos theology
A3: MysteryTheologicalDEFEATEDEpistemic, not ontic
B1: Free ParametersPhysicalDEFERREDCurrent ignorance; research program
B2: Anthropic SelectionPhysicalDEFEATEDMeta-level needs non-arbitrariness
B3: Initial ConditionsPhysicalSCOPED OUTLaws primary; conditions secondary
C1: Simplicity SubjectiveConceptualDEFEATEDDerivability + compression
C2: Compression ArbitraryConceptualDEFEATEDPrediction criterion
C3: Consistency WeakConceptualDEFEATEDWhole-system consistency strong
D1: Leibniz FailureHistoricalDEFEATEDBootstrap revives program
D2: Hume’s ForkHistoricalDEFEATEDStructural necessity
E1: PragmatismAlternativeDEFEATEDSuccess needs explanation
E2: ContingentismAlternativeDEFEATEDFundamental laws robust

Epistemic Status

Confidence: HIGH (the unreasonable effectiveness of mathematics supports non-arbitrary structure) Falsifiable: INDIRECTLY — if physics found irreducibly arbitrary parameters Status: FOUNDATIONAL CONSTRAINT — aligns with bootstrap philosophy in physics

Key Supporting Arguments

The Unreasonable Effectiveness of Mathematics (Wigner, 1960)

Observation: Mathematics developed for pure reasons turns out to describe physics with uncanny precision. Implication: Physical laws are mathematically structured — this suggests non-arbitrary rational order, not coincidence.

The Conformal Bootstrap

Achievement: Derives physical theories from consistency constraints alone (crossing symmetry, unitarity). Implication: Non-arbitrariness is achievable — physical laws can be derived, not just posited.

Grand Unification

Program: Deriving multiple forces from a single gauge group (SU(5), SO(10), etc.). Implication: Parameters that seem independent can be derived from deeper structure.

String Theory Landscape (Ambiguous)

Challenge: 10^500 vacua suggest massive contingency. Response: Even the landscape has structure (Calabi-Yau manifolds) requiring derivation. Meta-arbitrariness is not acceptable.

Connection to Adjacent Axioms

AX-020 (Non-Arbitrariness) depends on:

  • AX-004 (Intelligibility): Non-arbitrary structure IS intelligible structure.
  • AX-019 (Generator): The generator must produce non-arbitrary possibility space.

AX-020 enables:

  • OP-002 (Son-Logos): The Logos IS the principle of non-arbitrary rational order.

The axiom establishes that the Ordering layer cannot be willful or random — it must be genuinely rational.

Adversarial Defense Summary

The strongest version of all attacks is Free Parameters in Physics — that physics has measured but underived constants. Our response:

  1. Current ignorance, not fundamental — parameters are targets for derivation
  2. Partial success — some unification achieved (electroweak)
  3. Bootstrap philosophy shows it’s possible — consistency can determine theory
  4. The axiom is normative — it guides research, not just describes current state
  5. Meta-level still needs non-arbitrariness — even multiverse needs principled structure

The axiom is secure because:

  • Wigner’s puzzle shows non-arbitrary mathematical structure in physics
  • The bootstrap program has had concrete success
  • The axiom aligns with the practice of theoretical physics
  • Even critics of arbitrariness (anthropics) need non-arbitrary meta-principles

Non-arbitrariness is the demand that reality make sense — that it be genuinely Logos-ordered.

Graph View