Formal systems · Debate route
Does a formal theorem govern all reality?
A theorem limits what a formal system can prove. Does the same limit require reality to have an external parent?
← All routesThe claim at issue
What EE says
A theorem has stated premises and a domain. Applying it to reality as a whole requires an argument that reality satisfies those premises in the relevant sense.
EE's reply
Where the objection fails
Name the theorem, the formal system it concerns, and the bridge from that system to the metaphysical claim. The theorem's authority does not supply the bridge by itself. If the conclusion is a real parent beyond everything real, the totality question must then be faced separately.
EE's answer
What follows
A limit on proof inside a formal system is not a proof that reality needs a parent outside reality. The word ‘system’ does not establish that reality has the theorem's technical properties. If a proposed parent is real, it belongs to totality; if it is not real, it cannot explain anything.