The unmoved first mover
There exists a first mover that moves without being moved, eternal and fully actual.
Whatever moves is moved by something else, and the chain cannot go back forever: there must be a first mover that is not moved.
"The unmoved first mover" is an argument by Aristotle (Metaphysics, Λ 6-7) on the question "Does God exist?" (answer: theism). Its claim: There exists a first mover that moves without being moved, eternal and fully actual. According to AskPhilosophy's logic check (Z3 solver), the argument is valid only if one grants a premise the author leaves unstated (P3). AskPhilosophy presents 2 objections, 2 of them with a documented reply, and the original text behind each premise, checked word for word.
The motion of the heavens never stops. What sustains it? Aristotle concludes that there is an eternal reality that moves without being moved.
click a premise to reject it
Without the implicit premise: Without P3, the computer finds a case where each mover is moved by another, to infinity, with no first mover.
Objections
2Each objection is a conversation: click to see who replies and where the debate stands.
Hume 1779 · attacks premise 3If each element of an infinite chain is explained by the previous one, asking for a cause of the whole chain is an arbitrary addition by the mind.
a defender replies
If each element of an infinite chain is explained by the previous one, asking for a cause of the whole chain is an arbitrary addition by the mind.
Modern physics (Newton) 1687 · attacks premise 2By the principle of inertia, a body in motion keeps moving without a mover: motion needs no sustaining cause, only its change does.
a defender replies
By the principle of inertia, a body in motion keeps moving without a mover: motion needs no sustaining cause, only its change does.