TEG

TEG: The Trans-Existential Grounding framework; Geir Isene <https://isene.com/freewill/>
The framework in one line
Existence requires a ground outside itself, and that ground must choose
The two halves are not held with equal confidence, by design
The requirement is PROVED, for anyone who refuses "it just is" <Paper 1: Why Existence Cannot Ground Itself>
The identification is ARGUED, by elimination <Paper 2: The Ground Must Choose>
Paper 1: Why Existence Cannot Ground Itself
CLAIM: Existence cannot account for itself; its ground lies outside it and has no properties
Definition: Existence (E) = everything that has properties
Rocks and the laws they obey; thoughts, numbers, proofs
A property is any feature that marks a thing off from another: seven from eight
Some properties could have been different, some could not; things with either kind are inside E
Having no features at all is not one more feature
The premise: whatever is one way and not another must have an account
There are no brute facts
Fair: a brute fact still has features, and each asks "why this way and not another?"
Science refuses that stop everywhere else; keeping it for the biggest question is a dogmatic choice
The ground escapes it: it is no way at all, so the question runs out by itself
The argument in five steps
1 E is everything with properties
2 Whatever is one way and not another must have an account (the premise)
3 An account from inside E has properties, so it needs an account too
4 An endless chain of accounts, taken whole, is a brute fact; so is a loop
Leibniz's picture: a geometry book copied from an older copy, with no first copy
5 So the account ends in something with no properties, outside E
THE FORK: a brute fact, or a ground outside E; the premise closes the first
Three roads to the same fork
Property regress
Diamond, lattice, forces, constants; ask why those
Three ends: no properties; runs forever (a brute fact); stops for no reason (a brute fact)
Exhaustive why
Ask why, again and again; every answer inside E is one way and not another
Gödel's incompleteness theorems
The road that is proved
Two observations: the laws of E are written in mathematics rich enough to contain arithmetic; E is consistent
A consistent system with arithmetic cannot prove its own consistency; a stronger one can, then its own is open
The whole ladder is again such a system, or no system at all and still in need of an account
Machine form: no system proves that its own contradiction-searcher never stops (Turing's halting problem)
Used on formal systems inside E; nothing needs E as a whole to be one
[? Gödel does not apply to the world] two roads remain
[? the premise is denied] all three fall
What the ground must be: four conditions
Outside existence; able to actualise; no properties; able to sustain order
Every candidate fails
A god with attributes; each attribute is one way and not another
Numbers and forms; their consistency needs a proof in a stronger system, or is a brute fact; a structure settles no laws
Tegmark's mathematical universe; mathematics has properties, so it is inside E
The quantum vacuum; fields with energy and symmetries; calling that state "nothing" is word play
The multiverse; a rule for which worlds happen is a property
Emergence; it starts from parts, relations and laws, exactly what needs the ground
A necessary being; right that the chain ends, wrong to give the end a character (Gödel's ontological proof too)
Every candidate is inside E, or carries features that put it inside
Where to push
Attack the premise: say "it just is", and every road opens
What survives: a requirement, not a name; naming the ground is the next question <Paper 2: The Ground Must Choose>
Paper 2: The Ground Must Choose (free will as trans-existential ground)
CLAIM: Only unrestricted decision meets the four conditions
The bridge: which of the available possibilities becomes actual?
Something settles this; call the settling selection
Mechanism fails on properties
A fixed procedure is a determinate property; the ground lands back inside E
A rule-run ground is a formal system; <Gödel's incompleteness theorems> applies
Chance fails on order
Structure persists: constants hold, chemistry repeats, mathematics does not fluctuate
Random actualisation gives drift; "randomness within constraints" concedes the point (constraints are rules)
What remains
Selection neither forced nor arbitrary: choice in the minimal sense
THEOREM: The selection requirement
[? the four conditions hold] actualisation is neither deterministic nor random
The determinism-or-luck dichotomy was never exhaustive; the third option lives outside existence
The framework
P = pure potential (what has no properties); W = the capacity for unrestricted decision, within P
W and E are disjoint by construction
Actualisation is a map from decisions and moments to actualised states of affairs
Continuous, not a single originating act; sustaining and originating are one operation
Not computable; a computation is rule-governed and <THEOREM: The selection requirement> excludes it
E is the IMAGE of actualisation: no prior arena, no furniture to rearrange
Existence emerges from free will; free will does not emerge from existence
Remark: the empty set has no members, yet the whole cumulative hierarchy builds from it
Indeterminacy is real
Classical: no physical state is specified to infinite precision ("pervasive indefiniteness", Potter, Ellis & Mitchell)
Quantum: Bell violations, loophole-free; local hidden variables excluded
Bohm is answered by finite information; Many-Worlds is answered by the multiverse objection
Superdeterminism is again the brute fact
Constraint from one's own choices
Each actualisation converts potential into something definite, and the definite must be maintained
Volitional entropy: accumulated commitment of the actualiser, felt as constraint
The chess analogy: the rules arrived with the decision to play (laws of physics as standing commitments)
A long-actualising chooser SHOULD feel exactly as constrained as we do
Computation cannot choose
A deterministic machine is mechanism; adding a random source is chance; both are excluded
No claim against capability: behaviour is a poor guide to the presence of W, and the framework predicts that
Responsibility
Structural, not conventional: the chooser made it actual, so the chooser owns it
What this does not establish
That human beings possess W (a further step, flagged as not yet made)
The identification is only as good as its enumeration; exhibit a fourth mode of actualisation and it falls
Reading the pair
Take the requirement (proved) even if you decline the identification (argued)
[? the second paper does not convince] you have taken what was established and declined what was proposed
#TEG #freewill #Gödel #grounding
Graphhypergraph of this HyperList