(1) It may well have been to the relief of some and not noticed by far more that some months ago postings to this blog ceased to appear. One primary reason for this was I had come to the realization that the theory of gnosis of Seyyed Hossein Nasr that had de facto been the blog’s primary focus has an absolutely unacceptable thesis as its basis. That thesis, which I dubbed theomonism, is the conjoint thesis that (a) there is ultimately but one reality and (b) that one reality is God.
True it is that that thesis has the virtue of making the oneness with God, that Nasr’s version of mysticism understands us, if we are well-advised, to be seeking, be an immediate and evident truth: if both there exists but God and we exist, then we are but God.
But it also has the vice of being false, for it is absolutely evident that there are many real and really distinct things, beings, or existents; you are real and I am real, but I am not you. And, equally obvious, neither are you one with or identical to God nor am I. Being then quite simply false, the theomonist thesis can in no way serve as the foundation for any rationally acceptable gnosticism.
(2) Still I am, with this post and the immediately previous one, resuming my quest for an answer to the question that gave rise to this blog, that of determining whether or not it is possible for a human being to attain, in this life, the immediate knowledge of the divine that “gnosis,” as I with Nasr use the term, refers to. Now, however, I am going to begin much closer to the beginning, with, that is, a question which is logically prior to that of whether gnosis is humanly possible, the question of whether or not God exists.
Most immediately, I am going to begin with a presentation and an analysis of the proof, or attempted proof, of the existence of God offered by Thomas Aquinas and known as the “First Way;” this is, as I’m sure you know, the first of the five ways in which, Thomas tells us in his Summa Theologiae, God can be shown to exist. There is a handy English translation of Thomas’s exposition of his First Way available to you online at (you may have to paste the following URL into your browser):
http://dhspriory.org/thomas/summa/FP/FP002.html#FPQ2A3THEP1.
In today’s post I want to make fully explicit the logic of the Summa’s version of the argument. In the next post I will make fully explicit a major problem in the argument, not only as it is presented by Thomas but also as it is presented by Edward Feser, one of today’s foremost and most publically visible followers of Aquinas, in his The Last Superstition. A Refutation of the New Atheism (South Bend, Indiana: St. Augustine’s Press, 2008).
Thomas begins his exposition of the argument by telling us that “[t]he first and more manifest way [in which the existence of God can be proven] is the argument from motion. It is certain, and evident to our senses, that in the world some things are in motion.”
Noting, with Feser (p. 91), that “‘motion’ is the traditional Aristotelian term for what nowadays we’d just call ‘change’,” let us, then, set down the following as a premise of Thomas’s argument:
Some things are in motion.
That absolutely unassailable premise in place, Thomas continues, telling us that “whatever is in motion is put in motion by another.” Let’s set that down as another premise of the argument:
Whatever is in motion is put in motion by another.
This premise is not quite so immune to being assailed as the previous one and Thomas spends the next ten or so sentences attempting to justify it. For our present purposes, however, we can leave consideration of that piece of argumentation to a later post and pick up the main argument where Thomas himself picks it up, when he says, “Therefore, whatever is in motion must be put in motion by another. If that by which it is put in motion be itself put in motion, then this also must needs be put in motion by another, and that by another again.”
We can observe that, in raising the possibility that “that by which it [the thing in motion] is put in motion [is] itself put in motion” as but the antecedent in a conditional statement, Thomas may well have had in mind the opposite possibility, that “that by which it [the thing in motion] is put in motion [is] not itself put in motion.” In so doing he may well also have had in mind the following disjunction:
Either that by which the thing in motion is put in motion is itself put in motion by another
or that by which the thing in motion is put in motion is not itself put in motion by another.
Either the former or the latter has to be the case, though not both. Now if the latter is the case, then it is also the case that there is an unmoved mover which, Thomas will eventually and no doubt too optimistically go on to say, “everyone understands to be God.” It seems plausible, that is, that Thomas had the inference from the latter possibility to the existence of an unmoved mover very much in mind and thought it to have been sufficiently obvious to not require an explicit exposition.
At any rate, Thomas went on to deal with the former, and remaining, possibility, that, again, “that by which it [the thing in motion] is put in motion [is] itself put in motion.” He states:
If that by which it is put in motion be itself put in motion, then this also must needs be put in motion by another, and that by another again.
This statement presents us with a mover/moved series that goes back, or regresses, from one mover that is moved by a previous one to that previous one and then to that previous one’s mover, etc. This obviously raises the question of whether or not this series goes back or regresses infinitely. Thomas tells us that it cannot, offering the following rather condensed sequence of arguments:
But this cannot go on to infinity, because then there would be no first mover, and, consequently, no other mover; seeing that subsequent movers move only inasmuch as they are put in motion by the first mover; as the staff moves only because it is put in motion by the hand. Therefore it is necessary to arrive at a first mover, put in motion by no other; and this everyone understands to be God.
Let’s start by noting that the argumentation falls into two, let us call them, movements. The first movement, concluding that the mover/moved series does not go back to infinity, is given expression in the first sentence, from “But this…” to “…by the first mover” and illustrated by the moving staff and hand. The second movement, concluding that there is an unmoved mover, is given expression in the second sentence, from “Therefore …” to “…to be God.”
Rendered more fully explicit, the first movement begins with the hypothetical syllogism:
If the mover/moved series goes back to infinity, then there is no first mover.
If there is no first mover, then there are no other, subsequent, movers.
Therefore, if the mover/moved series goes back to infinity, then there are no other, subsequent, movers.
He does not make explicit the next few arguments that are needed to reach the conclusion he has to reach. But what they have to be, or have at least to be equivalent to, to reach the conclusion he is after seems to me to be incontrovertible.
One of the needed arguments takes the form of another hypothetical syllogism:
If the mover/moved series goes back to infinity, then there are no other, subsequent, movers.
If there are no other, subsequent, movers, then no things are in motion.
Therefore, if the mover/moved series goes back to infinity, then no things are in motion.
The consequent of that conclusion, that “no things are in motion,” contradicts the first premise, introduced above, that “some things are in motion.” We have therein the sole premise of the second argument needed, an instance of the argument form known as “double negation”:
Some things are in motion.
Therefore, it is not the case that no things are in motion.
The third argument needed, a modus ponendo ponens argument, has the two conclusions most immediately arrived at as its premises:
If the mover/moved series goes back to infinity, then no things are in motion.
It is not the case that no things are in motion.
Therefore, it is not the case that the mover/moved series goes back to infinity.
Now, to the second movement: we introduced above and made use of the following premise:
If the mover/moved series goes back to infinity, then there is no first mover.
The converse is also true:
If there is no first mover, then the mover/moved series goes back to infinity.
The fourth argument needed, also a modus ponendo ponens argument, has as it first premise the latter statement and as its second the last of the conclusions arrived at.
If there is no first mover, then the mover/moved series goes back to infinity.
It is not the case that the mover/moved series goes back to infinity.
Therefore, it is not the case that there is no first mover.
The fifth argument is, quite obviously, another case of double negation:
It is not the case that there is no first mover.
Therefore, there is a first mover.
Note that the series of arguments thus far set forth have concluded only that there is a first mover, i.e., there is at least one. They have not ruled out there being many. In what follows, I will use the expression “the first mover under consideration” to refer to the one alone the existence of which the arguments have, if sound, demonstrated, with no assumption, at least not yet, that there is also at most one first mover.
That said, we’re not quite done yet, though the remaining steps are obvious. One is:
If the first mover under consideration is a moved mover, then it is posterior to a prior mover.
If the first mover under consideration is posterior to a prior mover, it is not a first mover.
Therefore, if the first mover under consideration is a moved mover, then it is not a first mover.
There is no need to prove that:
The first mover under consideration is a first mover.
The pertinent double negation argument is obvious:
The first mover under consideration is a first mover.
Therefore, it is not the case that the first mover under consideration is not a first mover.
Next, another modus ponendo ponens:
If the first mover under consideration is a moved mover, then it is not a first mover.
It is not the case that the first mover under consideration is not a first mover.
Therefore, the first mover under consideration is not a moved mover.
Finally:
If the first mover under consideration is not a moved mover, then it is an unmoved mover.
The first mover under consideration is not a moved mover.
Therefore, the first mover under consideration is an unmoved mover.
It is quite evident that all of the foregoing arguments are perfectly valid. That is, if their premises are true, then their conclusions must also be true. It is not, however, quite as evident that all of the foregoing arguments are perfectly sound. That is, it is not fully evident that all of the premises invoked are true and it is therefore not fully evident that all of the conclusions arrived at are true.
The next post will be devoted to the way in which the following critical premise is not evidently true.
If there is no first mover, then there are no other, subsequent, movers.
Please note, that in having said that the premise “is not evidently true,” I have not said that it “is evidently not true.”
In an earlier post, the Logic and the Argument from Evil: Logic of September 12th, 2009, I spelled out for those not familiar with the terminology of logic the basics needed to understand the foregoing. In the succeeding post, Logic and the Argument from Evil: The Argument, I used an obviously valid, but not so obviously sound, argument against the existence of God to illustrate the way I think logic should be put to work.