RandallB said:
what is so hard about that?
Zeno uses our logic of motion and space to define a halfway point that will always be between our object and the finish line – if there is always something between it and the finish how can the finish ever be reached. As Zeno says this shows it cannot and will never be reached – he uses our rules of space and motion to produces absurd results, his paradox still stands.
That is not a valid argument. Instead of using a chain of deductive reasoning to justify your conclusion, you are appealing to your ignorance about how the conclusion could fail.
This error is particularly egregious because you are
not ignorant about how the conclusion could fail -- you are perfectly aware of the traditional calculus-based "sum of series" argument. (Which, according to Wikipedia, was already known as far back as Aristotle).
These forums expect a statement like “Zeno's argument is an invalid argument” to be supported by more than a “Straw man” debate - you have an obligation to present obvious points Zeno would raise not just pretend he would stand mute.
An "obvious" point Zeno would raise is
each individual subgoal takes time, and so infinitely many subgoals must take infinitely much time
which I've already presented and invalidated in this thread. The only other "obvious" point I can imagine Zeno bringing up is
Each event in a ordered chain of events must either be the first event, or have an event immediately preceding it. Similarly for last and succeeding.
which, incidentally, is tantamount to assuming a priori that infinite divisibility is impossible. But that's easily invalidated by pointing out there's no justification given for such an assumption. In fact, physics allows the order type chain of events can be any suborder of
R.
But -- you've already rejected this method to refuting Zeno through a bit of sophistry
1: you've pretended that such an argument is merely providing the other half of Zeno's contradiction rather than demonstrating an error in his reasoning.
I pointed this out earlier, but you didn't bother to defend or retract your assertion. I didn't press the issue because I thought it interesting to take up another line of attack. But since
you are pressing the issue, discussion cannot proceed until you address my objection.
1: Pun intended: I mean this in the pejorative sense.
As for the other line of attack -- I had assumed you were aware of some of the basic relationships between syntax and semantics: suppose we are considering whether or not a proposition
P can be proven by deductive logic. One necessary condition is that
P must be true in
every semantic interpretation of our language -- no matter how strange or convoluted it might be. Contrapositively, if any interpretation can be constructed where
P is false, then
P cannot be proven deductively.
On the assumption that Peano arithmetic is consistent, I have provided an interpretation that serves as a counterexample. Furthermore, I assert that it's a 'reasonable' counterexample, on the grounds it's essentially the same as (a particular example of) the way we normally interpret the notions of 'space', 'time', and 'motion', except I have replaced the continuum
R with the rational numbers.
Since your argument is informal, it can never be truly refuted, because you can always surprise us at the last minute and say "Haha, this whole time I was really making the a priori assumption that motion is impossible, I just never bothered to explicitly state it!" (of course, at this point we'd all dismiss your argument as vacuous) But I
can (and have) refuted the
particular argument you have put forth.