Formalizing a Proof of God by Leibniz

Re:Formalizing a Proof of God by Leibniz by rootlocus on Saturday May 14, 2022 @08:35PM (#31384144)

> But if B is moved by another body, which in turn is moved by another body, and so on, then we face either an infinite regress or a cycle, with each body moving the next. To handle this, Leibniz invokes p4, taking together all bodies which are movers, and referring to the whole as C.

So the argument hinges on the composition of (all) moving objects and the premise that the composed body is also moving but cannot be moved by another body since all the bodies are in the composition.

Supposing the only objects in the universe are two objects moving each other (in a cycle), they are considered a single body moved by an immaterial body because their composition cannot move itself? So everything boils down to where does energy come from?

[ Parent | on HN ]

Re:Formalizing a Proof of God by Leibniz by pyinstallwoes on Sunday May 15, 2022 @02:51AM (#31385737)

I think other bodies can move other bodies depending on how much energy it uses relative to its motion in that sense of the proof.

Think of it as a budget of initial size.

So the bodies are limited as a whole vs the incorporeal which is infinite and influences the bodies total energy distribution per allowance.

[ Parent | on HN ]