A Formal Theory of Free Will

The Trans-Existential Grounding Framework

Beyond Determinism, Randomness, and Computational Limits

by Geir Isene

2025

Abstract

All of existence—from physical universes and their laws to thoughts, concepts and mathematics—must have an external grounding to satisfy Gödel's Incompleteness Theorems. This grounding outside existence must be Pure Potential. Existence needs this external grounding at every moment. In order to preserve the structure we observe, this continuing grounding must freely choose to purposefully create existence. This we refer to as Free Will.

We explore a mathematical framework for the ancient metaphysical insight that Free Will—understood as unrestricted decision—might be the creative source of existence. This perspective, found in Vedantic, Neoplatonic, and Idealist philosophy, is here examined through mathematical formalization. Using set theory and formal logic, we explore characterizing Free Will as pure potential W that might transcend and generate the domain of existence E. We propose that existence comprises only what has been actualized from potential, with potential P remaining distinct from existence. We develop theorems about this proposed generative relationship and explore how Gödelian incompleteness might suggest such a trans-existential ground. Our contribution attempts to provide mathematical foundations for what has traditionally remained at the level of philosophical intuition.

Executive Summary

The essential findings distilled into core insights

The Core Question

You either have Free Will or you don't. Can you, in any situation, genuinely choose between alternatives? If yes, you possess something that transcends physical laws. If no, you are fully replaceable by artificial intelligence.

The Ancient Insight

From Aristotle to Advaita Vedanta, philosophers have explored the idea that responsibility might require genuine choice. Will that can choose would need to exist outside what it chooses between.

The Mathematical Framework

Using set theory, we prove that Free Will W exists entirely outside existence E in the domain of pure potential P. The actualization function α: W → E transforms potential decisions into actual events.

The Gödelian Argument

The Structural Argument:

Existence exhibits structure (laws, patterns, consistency). This structure itself IS a formal system. Gödel's theorems apply – it cannot self-ground. We observe stable consistency despite incompleteness, which requires external grounding.

Therefore: Existence requires trans-existential grounding. We explore whether Free Will could be this necessary ground.

The Quantum Connection

Wave function collapse—the transition from superposition to actuality—may be how Will interfaces with physics, selecting which potentials become real.

The Continuous Creation

Existence requires moment-by-moment actualization from Will. The universe is not a clockwork mechanism but a continuous creative act: α: W × T → E.

Key Mathematical Concepts

The formal foundations of Free Will theory

The Fundamental Equation

W ∩ E = ∅

Free Will and Existence are entirely disjoint sets

Set-Theoretic Structure

  • E = Set of existence (all actualized events)
  • P = Trans-existential domain of pure potential
  • W = Free Will as pure potential (W ⊆ P)
  • α = Actualization function (α: W × T → E)
Theorem 1: Disjoint Domains

Free Will W and Existence E are disjoint: W ∩ E = ∅

Argument: Let w be a free will event. If w ∈ W ∩ E, then w would be both potential and actualized, which would be contradictory. This suggests W ∩ E = ∅.

Theorem 2: Trans-Existential Ground Necessity

Let E represent existence as a formal system containing arithmetic and displaying apparent consistency. Then there exists a trans-existential domain P such that P ∩ E = ∅ and P grounds the consistency of E.

A Different Approach

Why TEG reaches different conclusions than traditional free will arguments

The Frog's Perspective vs The Bird's Perspective

Traditional Approaches (Inside-Out)

  • Examine neural correlates of decisions
  • Look for quantum indeterminacy
  • Study personal experience of choice
  • Define compatibilist "freedom"

Looking from within the jungle, trying to find the path

TEG Approach (Outside-In)

  • What does existence require for grounding?
  • Can formal systems self-ground?
  • What properties must grounding have?
  • What capacity could select actualities?

Looking from above the jungle, seeing the whole terrain

The Methodological Shift

Einstein didn't discover relativity by measuring more carefully. He asked "What are the invariants across all reference frames?" instead of "How fast is this object moving?"

Similarly, TEG asks "What must ground existence?" instead of "Where in the brain is free will?" This shift in question type yields new insights.

Convergent Reasoning

TEG's conclusion can be reached through multiple independent routes:

  • Gödel's incompleteness: Formal systems can't self-ground (mathematical proof)
  • Leibniz's PSR: Contingent requires necessary grounding (philosophical argument)
  • Radical "why?": Every "why" needs grounding (existential inquiry)
All three routes converge on the same answer: Pure potential as trans-existential ground. Gödel provides mathematical rigor where other routes offer philosophical reasoning.

Mathematical Framework

Rigorous formalization using set theory and logic

The Actualization Process

The continuous creation of existence from pure potential:

α: W × T → E
(w, t) ↦ e

Where:
• w ∈ W is a free will decision
• t ∈ T is a temporal moment
• e ∈ E is an actualized event

Gödelian Connection

Critical Challenge: Torkel Franzén warns about misapplications in his book "Gödel's Theorems". However, we know that formal systems do exist and they cannot self-ground. What then could serve as the trans-existential ground? It seems Free Will is the only candidate, because only it has the necessary capacity: transcendence, creative capacity, property-freedom, and coherence. Can you propose an alternative that could maintain the structured, consistent universe we observe?

The incompleteness theorems applied to existence:

  1. Formal systems with arithmetic EXIST in our universe (observed fact)
  2. By Gödel's Second Theorem: These systems cannot prove their own consistency
  3. Adding non-formal components cannot make them self-grounding
  4. Therefore, existence as a whole cannot be self-grounding
  5. Therefore: ∃P such that P ∩ E = ∅ and P grounds E's consistency
  6. We identify this P as the domain containing Free Will W

The Logical Path

From observation to the necessity of Free Will through trans-existential grounding

The following HyperList presents the complete logical argument in structured form:

The Logical Path from Observation to Free Will
What We Observe
The universe appears consistent
Physical laws work reliably
We can consistently predict phenomena
The universe contains complex systems
Mathematics exists within physics
Consciousness observes and reasons
Gödel's Incompleteness Theorems Applied to Reality
The Structural Argument:
Existence exhibits structure
Physical laws exist (observable fact)
Patterns of cause and effect exist
This structure IS a formal system
It has consistency, follows rules
Gödel's theorems apply to this formal system
It cannot prove its own consistency
We observe stable consistency despite incompleteness
THEREFORE: Existence requires external grounding
CONCLUSION: Existence cannot be self-grounding
The Logical Fork
OR:
Existence is inconsistent
BUT: We observe consistency
CONTRADICTION: Observation
Existence is incomplete
Something transcends existence
This "something" must be pure potential
Free Will as Logical Necessity
Free Will must be able to make genuine choices
[? deterministic] would be part of physics
[? random] would be governed by physical laws
THEREFORE: Must be neither determined nor random
THEREFORE: Must be pure potential
The Timeless Nature of Free Will
Free will exists outside time
Time is a physical dimension
Free will transcends physics
THEREFORE: Free will is timeless and eternal
The Trans-Existential Nature of Will
You possess free will
As proven above, this is necessary, not optional
Your free will transcends existence
It grounds reality from outside
Pure potential actualizing possibilities
THEREFORE: Will operates beyond physical constraints

Practical Implications

What this means for human existence

You Are Eternal

If this framework holds, it would not be just belief but logical implication. Your Free Will would exist outside time and could not be created or destroyed.

Death Is Transition

The body ends, but Free Will continues. New embodiment follows as a mathematical necessity.

Infinite Responsibility

Choices echo beyond death. What you decide matters eternally. Every moment has infinite weight.

The Paradox of Self-Limitation

Will can trap itself by its own decisions, creating patterns that obscure awareness of choice. Yet we remain fundamentally free.

The Proposed Conclusion

After reading this paper, if you can genuinely decide what to think about it, this might itself suggest Free Will exists.

The mathematics attempts to formalize what such a choice could demonstrate.