Oh well. Infinite regress claim that the set S={s0,s1,…} where s1=L(s0) etc. cannot be exist since the number of terms is infinite. I am arguing that number of terms is not a good measure for refuting an infinite causal chain.
Dear Bahman:
Even though your question deals with infinity, it is very different from the problem stated by Thinkandmull.
Thinkandmull’s problem was this:
Assuming that a segment of length L is made up of infinite parts, is L finite or infinite?
The mathematical representation of this problem is a geometrical convergent series, and I said it can be demonstrated that the sum of its elements is finite, and it is not necessary to add them one by one. So, I said “L is finite”.
Now, you are mixing causality with mathematical series. I insist that they have nothing to do with each other. There is no causality at all in mathematics. Now, if you ask me if I can conceive all the elements that belong to an infinite mathematical series, my answer is “no, I can’t”. If you ask me, “do you feel compelled to stop counting the elements of the series?” My answer is again "no, there is nothing intrinsic in the series that can prevent me from going on counting its elements”.
On the other hand, in a causal series you need to think differently: Given the fact that something is changing now, there must be a cause. There might be a causal chain. But if you pretend that there is no first cause, the change that you are observing is left without explanation.
This is analogous to
demonstration in general: To explain something you need a number of premises. If your premises are questioned, then you need to demonstrate them based on other set of premises. Then, you will have an argumentative chain. But if you think that every premise needs demonstration, you will be unable to demonstrate anything at all. So, you will need a set of premises that allows you to demonstrate other propositions but that do not need demonstration themselves. Those are the axioms; the analogous of the first cause that is not caused.
Best regards
JuanFlorencio