Here, I add three new versions/formulations of the argument. They differ in their approach. The first is a rigorous reworking of the above argument. The second is a graphical representation of the argument. I quite like the third one, at the bottom of this post. I find its simplicity elegant. Obviously, those opposing will differ.
Most of the attention is on the first argument. Please scroll down to view the others.
The Argument 1
(Premises)
(1)
A "Section" is an arbitrarily-fixed and finite magnitude of time.
(2)
A section
j is "subsequent" to a section
i when
j = i+1
(3)
A "totally-ordered set" is a set where its elements are ordered according to subsequence.
(4)
The Present = 0
(5)
The Past is a totally-ordered set of
n elements where
n is the member of the negative integers
Z-.
(6)
"Time" is a vector that constantly functions thus: it adds by the magnitude of 1 section to proceed to the end of a section
i, thereby beginning a subsequent section
j.
(7)
If and only if the Time-vector adds to a section
i by the magnitude of 1 section to proceed to its end (thereby beginning its subsequent section
j)
then it functions to include
i in the Past set.
(8)
A negatively-infinite (-∞) number of totally-ordered elements cannot be constantly added by the magnitude of 1 to give 0.
-∞ + 1 = -∞
(this can be phrased as
that which tends to negative-infinity + 1 = that which tends to negative-infinity)
From this it follows that, if the past contains infinite moments, the present moment would never arise.
What these Premises assume:
1. Assumes that we can fixate a period of time with which we can measure time. This allows us to say whether time is extended infinitely or finitely, whether 2 days have passed or 5 years have passed, etc. It is an arbitrarily-fixed yardstick of time.
2. Assumes that we can divide a period of time into two halves (measured at the arbitrarily-fixed standard, per premise
(1)), one subsequent to the other.
3. Defines what a "totally-ordered set" is, at least for this argument.
4. Assumes that we can designate the Present moment or section with any number we like, implicitly accepting of course that this determines the relative position of every other section. It also assumes that the Present exists, since the Present will only be the Present if it is factually the present.
5. Assumes that the Past contains as its elements the entire stretch of time previous to the Present (so it is designated with the negative integers) and that it is totally-ordered on the basis of subsequence, i.e. each element is at least in some place of the 2-place predicate "...is subsequent to...".
6. Assumes that Time has both magnitude and direction and that the magnitude is, per premise (1), arbitrarily-fixed at "1 section" for measurement. It assumes that Time moves along the interval of 1 section, thereby ending a section and starting another. It assumes that Time carries out this function constantly, adding to a section, thereby creating a new section, then adding to
that section, thereby creating a new section, so on and so forth.
7. Assumes that if a section has been added to by the Time-vector, then it is automatically included in the Past set and if an element is included in the Past set, then it has been added to already by the Time-vector.
8. Assumes -∞ + 1 = -∞ and that it is impossible for a set which has infinite members to have been "counted" by Time one-by-one until it is exhausted and there are 0 elements to count.
(Assumption)
The Past contains
infinite totally-ordered elements (i.e.
n = -∞).
Per
(7) the Time-vector has already constantly added to the Past set. Per
(Assumption) the Past set is an infinite totally-ordered set. Therefore, the Time vector has already constantly added to an infinite totally-ordered set.
Per
(4) the Time-vector has reached the present, i.e. 0.
Yet, per
(8) the constant addition to an infinite totally-ordered set does not yield 0.
Contradiction.
(Conclusion)
Given the premises, the past could not contain infinite moments. Our assumption is false.
[which is equivalent to saying]
Given the premises, the past contains finite moments.
QED
-------
(Corollaries)
Creation has a temporal beginning.
[which is equivalent to saying]
The Universe has a temporal beginning.
A Graphic Depiction of the Argument 2
+1+1+1+1+1+1+1+1+1+1=0
Time-vector-------------------->
-∞ <------------------------------|-------------
Yet -∞+1=-∞
ad infinitum.
Therefore, -∞+1+1+1+1+1+1+1+1... at best
tends to 0 but never
equals 0. I personally don't think it even tends. So: -∞+1+1...+1≠0
Yet the graph clearly shows that we have reached the present (=0).
Contradiction
Therefore, the past does not extend to -∞.
QED
Another Argument 3
(1) Time is a counting of the succession of events.
(2) I assume an infinite number of events have been counted in time.
Therefore An infinite number of events can be counted in time.
Therefore, if I were immortal, I could count in time the infinite number of events prior to the present.
(3) Even if I were immortal, I could not count in time the infinite number of events prior to the present because any amount I count, there is still infinitely more to count and so all the number of events will never be counted.
Therefore, an infinite number of events cannot be counted in time.
Contradiction
(conclusion)
Therefore, an infinite number of events have not been counted in time.
[which is equivalent to saying]
Therefore, a finite number of events have been counted in time.
QED
Edited by Jebreil, 12 July 2012 - 10:12 PM.