Thomistic Moderate Realism Reduces to Armstrongianism or Platonism

I've always had difficulty understanding Aquinas's "moderate realist" view on universals, at least as that view is expounded by his interpreters. It seems that they want to have their cake and eat it too: Thomists both believes that universals are "objective" and "extramental" in some sense. But they also are not extreme realists, i.e., (modern) Platonists. They also seem to say things that make it sound as if universals are merely conceptions; if taken at face value, that reduces to conceptualism or nominalism of some sort.

Here's one way of bringing out the problem.

Assuming there are universals, then:

• 1. Either (a) universals exist extramentally or (b) they do not exist extramentally.
• 2. If (b), then nominalism or conceptualism, QED.
• 3. If (a), then either (i) they only exist in the objects that have them, or (ii) they sometimes exist outside of the objects that have them.
• 4. If (i), then that is Armstrong's view.
• 5. If (ii) then that is Platonism.
• 6. So if (a) is true, then either Armstrong's view or Platonism is true, and so moderate realism either reduces to Armstrong's view or Platonism.

6 already seems to disambiguate the Thomistic view in a way that makes it unacceptable, and does not let it have all of the desirable qualities it is supposed to have.

• 7. If Armstrong's view holds, then universals depend on the objects that have them, and therefore cease to exist if the objects do.
• 8. But if the universals cease to exist, then statements about non-existent things, like "dinosaurs are big creatures", do not require universals to be true, and so universals are superfluous.
• 9. So if Armstrong's view holds, then universals are superfluous.

That only leaves Platonism, and there are huge problems with Platonism.

To be fair, I am leaving much unsaid here, and I am not making any distinctions within "Platonism." But ultimately I think this is basically correct; the way Platonism is construed in modern times basically just is the view that there are non-mental, objective, necessarily existent, universals.

"Whatever is Moved is Moved by Another"

In this post I am going to try to defend Aquinas's First Way, specifically against the attacks brought against it by my friend Alex. Alex has written a fine explanation and critique of Aquinas's first and most famous Way, the argument from motion. The paper can be found here. Unlike many attacks on Aquinas's argument, Alex's reading of Aquinas is sympathetic and charitable, and thus at the same time his criticisms are incisive and well-taken. Anyone who wants to fully understand my post should read Alex's paper first; nevertheless, I will summarize some of his most important results.

To be specific, I'm going to defend Aquinas's premise that whatever is moved is moved by another, which we shall call (MOV). I do not claim that Aquinas ever made the defense I am making. In fact, I think the argument I give is in some respects new. But when all is said and done what I am concerned with is whether Aquinas's premise is defensible and true.

First of all, Alex points out that the term 'motion' in scholastic philosophy really means change. And to say that an object is changing with respect to some feature P is to say that it is going from being potentially P to actually P (more on this terminology here). I will take this for granted in everything I say about change. Now, in summary, Alex's main objection to Aquinas's defense of (MOV) is that either it is (a) valid but palpably unsound or (b) all its premises are true yet it is invalid, i.e. does not prove the premise (cf. his paper for details). However, Alex does think that Aquinas can defend the following more modest premise, which David Oderberg attributes to Aquinas:

(ACT) If something changes from being potentially F to being actually F then there must be some actual being that initiates this change.

The problem is that the more modest and highly defensible premise (ACT) is not equivalent to (MOV), leaving (MOV) undefended and the First Way ultimately uncompelling.

Before I present my argument in favor of Aquinas's (MOV), we need some definitions. First, the definition of an external object, (EXT):

(EXT) x is an object external to y just in case x is not y and x is not a part of y. [def.]

Let's also define what I will call the notion of change per se. (This is my own terminology.) Intuitively, something changes something else per se if it is the most immediate and fundamental efficacious cause of the change, [or the only sufficient cause such that you can't get any 'closer' to the change]. For instance, my hand pushes a stick which pushes a rock; the idea is that the stick, specifically its tip, is what changes the location of the ball per se. Here is a somewhat more formal definition of changing per se, which we will call (CPS):

(CPS) x is a cause per se of a change in something y with respect to feature P by action E just in case (i) x changes y with respect to feature P by action E, (ii) if at the same time as action E there is an action F of some parts of x, and these parts also change y with respect to feature P by action F, then the action F taken alone is not sufficient for changing y with respect to P, and (iii) x's action E taken alone is causally sufficient for changing y with respect to P [def.]

This definition can be made more precise, but the concept should be somewhat clear. The idea behind what I've called change per se is that whatever changes something else per se is the thing that changes y in the most immediate sense and a sense more proper than other things. So, for instance, take the following objects: Me, my arm, my arm's atoms, and a stick. When my arm changes the location of the stick, I can be said to change the location of the stick; however, I cannot be said to change its location per se, since, arguably, if somehow my arm persisted in its motion without the rest of my body (maybe by a miracle it was detached and could float, pushing things around), it would still be sufficient for the stick's changing with respect to its location (contra (ii)). On the other hand, arguably, my arm, or at least some part of it, changes the stick's location per se by its motion, since clearly it can be said to be changing the stick's location, thus satisfying (i). It arguably satisfies (iii) for the reasons stated, and it arguably satisfies (ii) since intuitively if you removed most of the arm but left a chunk of it or a few of its atoms, and they did the same thing as they did when my whole arm's motion occurred, then they would not be able to bring about the stick's change of location.

Now maybe you will disagree with my example and say that given my definition the arm does not change the stick's location per se. But the example is simply to illustrate what I'm trying to get at. If you deny the example is an example of change per se then you should understand what I mean. Also, I would not be surprised if my definition requires chisholming; nevertheless, I think it is on the right track, and helps get my point across. What is most important is just that we have some intuitive understanding of what I mean by something's changing something else per se.

Now we need the following premises. I will translate them into predicate logic, and from my translations it should be clear which formulas correspond to which English phrases.

(1) For all x, if x is changed with respect to P by something y then there is some actual thing z which changes x with respect to P.

Translation 1: ∀x[∃yCxy→∃z(Az∧Cxz)]

(2) For all x and y, if y is actual and x is changed per se with respect to P by y, then y is either an object external to x or y is a proper part of x.

Translation 2: ∀x∀y[(Ay∧Dxy)→(Eyx∨Pyx)]

(3) For all x, if x is changed with respect to P by something actual y, then there is a z which is actual and changing x per se with respect to P.

Translation 3: ∀x[∃y(Ay∧Cxy)→∃z(Az∧Dxz)]

(4) For all x and y, if y is changing x per se with respect to P, then y is changing x with respect to P

Translation 4: ∀x∀y(Dxy→Cxy)

(5) For all x and y, if x is external to y, then x is not identical to y.

Translation 5: ∀x∀y(Exy→x≠y)

(6) For all x and y, if x is a proper part of y, then x is not identical to y.

Translation 6: ∀x∀y(Pxy→x≠y)

Let's examine whether these premises are plausible or not. 4, 5 and 6 can easily be shown to follow from the definitions of 'change per se', 'external object', and 'proper part' respectively, so I will not talk about them any more. 1 is basically just a more precise statement of (ACT), so I won't say too much in its defense, but the premise is eminently plausible: Upon a small amount of reflection it is simply obvious that what is merely potential cannot have any power to bring about something actual. Merely potential chemical reactions do not bring about any actual chemical reactions. So the only thing which can bring about something is something which actually exists, and doesn't merely potentially exist. 

The crucial premises then are 2 and 3. 3 is quite plausible on the face of it. For surely if something is changed at all, then there is something which changes it in the most immediate sense i.e. changes it per se. There must be some most immediate explanation or cause of a change right? If there isn't, then the change can never come about. This seems intuitive enough.

(The intuition is this: There seems to be some sort of infinity problem here, though the problem isn't with an infinite regress but rather with what we can call an infinite "progress" of causes. If there is no immediate cause, there has to always be another cause that's "closer" to the effect, but never one that actually "gets" to the effect. If it isn't clear what I mean I can elaborate.)

What about 2? The idea behind 2 is that some things can truly be said to bring about changes in themselves in some sense, but they can't be said to bring about per se changes in themselves; properly speaking, it is the parts which are bringing about the change in the whole. For instance, dogs can move themselves only because their legs do. So, the only thing which can bring about a per se change in something is either something external to it or else one of its parts.

Suppose to the contrary that the cause x of the per se change in y with respect to P is not one of y's parts and is not something external to y. Then since clearly whatever is not a proper part of y and is not external to y is identical to y, it follows  x = y. So y brings about a per se change in y. Now either (a) some of the parts of y bring about the change in y or (b) none do (either way, definitely no parts bring it about per se, as per our assumption).

Assume (a). If none do, then y's parts remain completely the same, yet there is a change in y. But surely y taken alone is not sufficient for explaining the change in y, and thus y does not cause a per se change in itself! After all, how could y change itself with no external influence and no action of any of its parts at all? It would have to be a spontaneous causa sui! So on the supposition that the parts do not act in any way so as to bring about the change in y, it follows y cannot be a per se cause of a change in itself. Since we assumed however that y does cause a per se change in itself, it follows we must reject this supposition and conclude that some of the parts do in fact bring about a change in y. In other words, we must reject (a) and assume (b).

Assume (b). Suppose on the other hand that some of the parts do help cause the change in y. By the definition of per se change, the action of these proper parts of y is not sufficient for explaining the change in y; but nevertheless the action of y taken apart from any external cause is. This seems to make little sense; y still appears to be acting as a causa-sui, since it is still causing a change in itself at least in part independently of the action of its parts. Since this is impossible--nothing can be a self-cause except by the action of its parts--we must conclude that the parts do not help cause the change in y. Thus (b) is false.

Since both (a) and (b) are false, and either (a) or (b) must be true given our assumption that y causes a per se change in itself, we must reject our assumption that y caused a per se change in itself. But if that is the case, then given that there is no external cause of y then x (the cause of the change in y) must be a proper part of y, as we set out to prove.

So much for premises 1 and 2 then. Now, given that all the above premises 1-6 are true we can prove:

(7) For all x, if x is changed with respect to P by some y, then x is changed by some z non-identical to itself.

Translation 7: ∀x[∃yCxy→∃z(Dxz∧x≠z)]

I won't explain the proof here; instead, for anyone who doubts me, I have attached a formal proof below. From 7 and 4 of course it can be shown quite easily that whatever is changed with respect to P is changed with respect to P by some non-identical z: That is to say, whatever is changed is changed by another. Hence, given my 1-6, Aquinas's premise is secure.

Proof of 7:

[Note: If you can't see the proof, right click and either open in a new tab or else save the image and zoom in with some image viewer. I did the proof rather quickly so it is not the most elegant and could be done in fewer steps, but it gets the job done.]

Pure Actuality

Many scholastic theologians, most notably Aquinas, make the claim that God is "pure actuality." This is supposed to do a lot of philosophical and theological "work"; it is by showing that there exists a being which is pure actuality that Aquinas is able to deduce many of the divine attributes. However, it is not immediately clear what this even means if one is not familiar with the metaphysical context of medieval philosophy.

A charitable interpreter who has read some medieval philosophy may be able to see how scholastics use this claim and identify certain inferences from this claim as being valid and others not. But it'd be nice if we had a more precise characterization of what it means to say God is 'pure actuality', so that we can see if all that Aquinas says follows actually does follow from this claim. Moreover, once we have a precise characterization of what Aquinas is even asserting, we can begin to more clearly assess the plausibility of the claim itself and whether Aquinas has established it. I propose the following definition:

• x is pure actuality if and only if for all (intrinsic) P, if x is P then x is actually P.

For completeness and wider scope of application, I also propose the following definitions of a thing's being 'composed of' or 'having' actuality and potentiality:

• x is composed of potentiality if and only if for some (intrinsic) P, x is P and x is potentially P
• x is composed of actuality if and only if for some (intrinsic) P, x is P and x is actually P.

Minimal Divine Simplicity and the Trinity

Just a note: I will probably be laying kind of low for a while, since I am now moved in at my new school and taking summer courses. I will be kind of busy for the next two months, so please do not be offended if I don't reply to comments quickly on this blog. I will get back to you eventually. Anyway, enjoy the post!

For Catholics, belief in the doctrine of God's simplicity is dogmatically defined to be held by all the faithful just as much as the doctrine of the Trinity (see the Fourth Lateran Council as well as Vatican I). Does the official dogma of divine simplicity contradict the revealed truth about the Holy Trinity? Not necessarily, at least on a certain construal of divine simplicity. Call this the "minimal doctrine of divine simplicity":

(MDS) God has no proper parts, either metaphysical or physical.

This means that God possesses of course no physical parts, but also no properties, ontological constituents, tropes, accidents, immanent universals, distinct intellectual parts (e.g. distinct will and intellect), etc.

Is this what the Church intends to define when it says God is simple? Arguably so. The definition of simplicity must be strong enough to rule out theistic personalist views of God, for this is not found in the teaching of the Fathers and is arguably inconsistent with the other divine attributes which are mentioned in connection with simplicity in these Councils (e.g. God's being immutable, incomprehensible, infinite in will). Hence, it must mean more than that God is simply non-physical; God isn't just simple in the sense that an angel is. On the other hand it must be weaker than simply identifying God's essence with his existence. For if the Church meant to endorse dogmatically the Thomistic teaching on simplicity, this would make anyone who did not hold to this view in substance to be heretical; hence, the teachings of the Cappadocian Fathers as well as St. Maximus the Confessor, and likely even Bl. Duns Scotus, would be heresy. This is why MDS seems to be a likely candidate for the minimal required belief in divine simplicity for orthodoxy.

But given MDS, this is a truth about the Trinity:

(TR) It is not the case that the persons of the Trinity are proper parts, either metaphysical or physical.

For the persons of the Trinity all share fully in the divine essence; the Father is fully God, just as the Son is fully God, just as the Holy Spirit is fully God. To suppose the persons are proper parts of God would mean there is something G which is fully God, and that each person of the Trinity does not fully share in the essence of G (since, after all, G essentially has as proper parts each of the persons of the Trinity, whereas the same does not hold for each of the individual persons). Hence, the persons of the Trinity cannot be understood to be proper parts of God in any sense; hence, the doctrine of the Holy Trinity cannot contradict the minimal doctrine of divine simplicity.

This seems to show that the Church's teaching here is consistent; it is a separate matter whether Aquinas's teaching which includes the doctrine that God's essence = his existence, as well as that God is pure actuality, can be made consistent with the Trinity.

Thomistic vs. Molinist Predestination Part III

In the last post I discussed whether a Thomist could preserve both the efficacy of God's will and the libertarian freedom of our actions, and it seems to me that he can. Hence, the Molinist objection that God's causing a free action is impossible doesn't work, so we are left with the Thomist view which better preserves God's sovereignty.

The problem then, as brought up in the original post, is in how we can reconcile God's ability to cause anyone to freely choose him with the fact that God doesn't do so. For the teaching of Scripture is that God wills that all men be saved. Now, Aquinas distinguishes between God's antecedently willing that all be saved and his consequently willing that only some be saved, which I explained in the original post. The problem with Thomas' example is that God's will, unlike that of the judge example he uses, is intrinsically efficacious, even in the case of free action.

We can state the problem equivalently as follows. God wills that all men be saved, as we know from Scripture and the teaching of the Church. Since God's will is efficacious, it follows that all men are in fact saved. But it is false that all men are saved. So it seems we have a straight contradiction. Hence, we must understand the 'antecedent' will as willing in some other sense--according to Aquinas this would be a willingness rather than a simple willing--since it is clearly God's consequent will which is actually satisfied (some people are not saved and are damned). The problem is that I have difficulty understanding how God could have a "willingness" distinct from a simple willing if he is absolutely and most simple. Let me explain:

God should be construed as lacking any potentiality to be fulfilled. Now, the way I understand this consequent will, being a willingness, is as a sort of "background desire" to have everyone be saved. But a desire is something that can be fulfilled. So God has a potentiality to be fulfilled, which is false. Hence there is no such willingness.

Maybe the problem here is that we should reject this understanding of "willingness." I may simply be misunderstanding Thomas' notion here. This interpretation may be somewhat uncharitable anyway, since Aquinas explicitly argues that the order between antecedent and consequent is in God's effects and not in his absolutely simple will itself. So my question then is how this can be. One way I'm thinking of construing this willingness is as follows: God absolutely wills the existence of human beings; the natural end of each human being is union with God; so in some sense God wills their salvation just by willing their existence. So God wills their salvation in one respect, though by not willing their predestination does not will it in another respect. Hence, no contradiction. Another way might be to say that God gives men sufficient grace to choose him; (sufficient grace on the Thomistic view is grace which gives one the ability to choose God, but which does not entail one actually does); hence God wills that all men have the means to salvation; so in some sense God wills that all are saved. I am not so sure about either of these options, either as to whether they are what Thomas intended or whether they work.

The key then is to find some notion of 'antecedent will', distinct from God's simple and absolute willing. And this is where I'm stuck at. It appears that the Molinist view doesn't work since Thomism can preserve freedom and perfect sovereignty (not even mentioning the other problems with Molinism); the Thomist view seems inadequate insofar as it is not clear what God's antecedent will is, this being a willing apart from God's efficacious, absolute, and simple will. Is there some third way that I'm missing? I don't think Congruism can help here, since there is still the question of why God doesn't elect all people he creates, and from my reading Scotus's doctrine here is not much different from Thomas' or Augustine's. Maybe this is a good theological reason to accept a weaker version of God's sovereignty in favor of Molinism? Any thoughts?

Thomistic vs. Molinist Predestination Part II

In my last post I explained that God does not cause1 our free actions, but only cause2's them; hence, there can be no conflict between God's efficaciously willing that one do an action and our doing it libertarianly freely. I'd argue that one's free actions being caused is only inconsistent if we are using 'caused' in the sense of cause1. This is how I understand physical determinism:

(PD) The past state of the world, together with the laws of nature are sufficient to render necessary one unique future.

Clearly then God doesn't determine my next action A in this sense in cause2ing it, since God could have just as well created everything with the laws of nature and the past state up to my current time and yet cause2ed me to do ~A. It's only the case that I must do A under the supposition that God wills I do A, but it's not absolutely speaking necessary that I do A, since God could have willed otherwise.  In other words, libertarian freedom is possible, since even given the laws of nature + the past state of the world I could have done otherwise if God had so willed.

But maybe God's cause2ing me determines me in some morally relevant sense (where a form of determinism is morally relevant just in case if it were true it would preclude moral responsibility and freedom) since his causing is 'logically prior' to my acting. So we can generalize determinism from physical determinism to 'logical determinism' as follows:

(LD) An event E is logically determined by some state S just in case (a) necessarily the proposition expressing E (i.e. the proposition that E is the case) is true if the proposition p expressing S is true and (b) p is true.

Since necessarily if God wills that I do A then I do A, and God wills I do A, by this definition I'm logically determined to do A. So if this is a genuine morally relevant form of determinism, then God's cause2ing determines our actions and removes freedom. The problem with LD however is that it's not clear that it is a morally relevant form of determinism. After all, necessarily, if I do A then God wills I do A, and I in fact do A, but I don't determine God in any relevant sense to will that I do A. But if LD was a morally relevant form of determinism then I would.

I would simply hold to this: necessarily, God wills I do A if and only f I do A. This is true, but this is only meant to secure the efficacy and dependence of everything else for its existence on God's will.  This is similar to supervenience relations, and just like supervenience relations it only implies a necessary covariance; it does not necessarily imply any causal priority either of God's willing or my acting. To come back to the original point, we are working on different "causal plains" so to speak; I cause only in the sense of cause1, and God causes only in the sense of cause2. There is no causal priority of either of God's willing or my acting to the other.

Hence, I'm not sure this form of determinism, viz. logical "determinism", is a genuine form of determinism. I mean we can call it determinism (nomina significat ad placitum) but the question is whether it is a morally relevant kind, i.e. one which removes free will and moral responsibility. In the next and final post I'll come to the point about whether Aquinas's picture of predestination works.

Thomistic vs. Molinist Predestination Part I

This post comes out of a very large and high-quality discussion on predestination on Facebook. If you don't have Facebook you should really get it, if only because (among other things) we have a thriving Thomism group on there. I will be posting in three parts.

So, I'm kind of agnostic between Thomistic and Molinist views of predestination at the moment (though sympathetic to the Thomistic view). I'm worried about the Thomistic view since if God's will is efficacious then he should be able to bring about the salvation of all, and so the only explanation for why not all are saved is that God does not will it, which is contrary to Scripture. Aquinas replies by distinguishing between God's consequent and antecedent will. So God in general ('antecedently') wills that all men be saved, but taking all things into consideration ('consequently') wills that only some are saved; just as a judge wills that all men should live but taking into consideration particular cases wills that some should die. However, the difference between the two cases is that God's will can never be thwarted or perverted.

The problem with the Molinist view in my book is that I don't think it fits well with God's providence/omnipotence. The Molinist will reply that there's no problem, since it's not contrary to God's omnipotence if God can't bring about something that's impossible, and God's causing someone to freely choose him is impossible, since a free action can't be determined. But here I see no reason why God cannot bring about either of two contraries of a person's choice (i.e. either action A or not-A) and the action still be free--for God and creatures are working on different causal plains so to speak; God creates 'ex nihilo' by giving the whole of existence to particular states of affairs, whereas creatures cause in the sense of interacting with each other. It is only causing in the latter sense of interacting with by coercing or forcing that is incompatible with free will, and this is not the sense in which God is a cause.

To elaborate on the Thomistic point about how God can cause free actions we must distinguish different senses of the word 'cause.' First there is the sense of 'cause' in terms of interacting. Let's call this 'cause1'. So, for instance, this is what it means when I push you and 'cause' you to fall down, or when neurons cause arms to move, or if Cartesianism is true what happens when the soul causes the body to move. God does not cause in this sense; God does not cause1.

There is another sense of cause which means to create ex nihilo at evey moment, to 'sustain' or give being to things (although I have some reservations about the word 'sustain' since I think it can be misleading, since God isn't in time). We can call this cause2. God causes in this sense by being the cause of all being other than himself. He gives existence or 'esse' to everything. This is a very central doctrine to Thomism. God is the only person who causes in this sense; God is the only person who can cause2. God can cause2 anything that is possible. And on libertarian free will either of two contraries--i.e. either of action A or ~A--is possible, so God can cause2 either. Though I would agree he can't cause1 them, since that would entail determinism.

Now, maybe one can argue that even in the sense of cause2, this counts as a form of determinism which limits moral responsibility, and hence we should revert to the Molinist response. In Part II I'll respond to this point.

The Critique of 'The Critique of Pure Reason' II: Preface to the Second Edition

In this post I'll note some areas of concern I have from an Aristotelian-Thomistic (henceforth just 'Aristotelian') point of view with Kant's B-edition preface. Again, as I said in my first post, this isn't really meant to be a summary of Kant's views, but more along the lines of a set of notes.

One thing which already indicates Kant has a different conception of reality than an Aristotelian realist view is his description of logic toward the beginning. Kant says that logic is "the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking." But a realist will want to ask why logic is defined in terms of its applicability to our thoughts rather than to mind-independent propositions or even objects. After all, since Kant's time, many different logics have been developed, and we can think in terms of any of these if we want to. But this says nothing about which one more correctly describes reality. Of course, what Kant will want to argue is that what I am calling "reality" is actually a product of human cognitive capacities. So the difference to note here between the two views is not so much of whether logic is to be applied to reality, but rather, what reality refers to.

A second point of interest is Kant's discussion of mathematical knowledge at Bxii, where he takes as his example that of a Euclidean triangle. Kant uses this point to illustrate how he thinks it is that we acquire mathematical knowledge. What I would focus on though is his view that, more generally, Euclidean geometry is necessary. For Kant, a judgment is necessary if and only if it is a priori. The problem is that we now know that Euclidean geometry is not, in fact, necessary, since it doesn't even accurately describe the physical universe. So either euclidean geometry is not a priori or Kant was wrong to include necessity as part of something's being a priori. But it seems rather clear euclidean geometry was formulated a priori if anything was. So it must follow that not all a priori cognitions are necessary. But this is okay for the Aristotelian. The Aristotelian method of doing metaphysics or science has never been equivalent to discovering necessary truths which are wholly a priori; rather, it is empirical. We can delineate what is metaphysically possible and impossible through a priori reasoning and we see whether our theories correspond to empirical reality.

Kant's view of the a priori goes with his view of metaphysics. He defines metaphysics as "a wholly isolated speculative cognition of reason that elevates itself entirely above all instruction from experience." Not according to an Aristotelian view however. As Aquinas states in 'De Veritate', "Whatever is in the intellect was first in the senses." Of course, the reason Kant wants to make metaphysics a wholly a priori discipline is because he wants the certainty which he thinks the method of previous thinkers cannot provide. In his own words Kant thinks that "up to now [i.e. up until Kant] the procedure of metaphysics has been a mere groping, and what is the worst, a groping among mere concepts." But the Aristotelian wants to ask why it has only been a "mere groping among concepts"? For one, the metaphysician does not need to limit the scope of his inquiry to concepts, at least if we don't hold to the view that metaphysics must be a priori. As regards "mere groping," admittedly, we cannot be absolutely certain our metaphysical theories are true; but this is a far too strict condition upon knowledge which, were it not for Descartes, we would not think was necessary.

In the next post I will focus on the second half of the preface, examining Kant's solution to the problem of metaphysical knowledge as he sees it.

The Critique of 'The Critique of Pure Reason' I: Preface to the First Edition

As I study Kant's Critique of Pure Reason I am taking notes and trying to identify the points where someone sympathetic to a generally Aristotelian (particularly Thomist) view of metaphysics and knowledge would have reservations. So I will be essentially transferring my notes and other thoughts here as an ongoing commentary on Kant's great work. I will not be going line for line and explaining all his ideas. Rather, I will be picking out parts that I think are particularly pertinent to distinguishing him from, and criticizing him from the perspective of, a view which an Aristotelian is likely to take. I should note that, though I am coming from a decidedly realist picture and hence not particularly sympathetic with all aspects of Kant's thought, I certainly consider it a huge step up from Hume and a work of ingenious creativity. Kant definitely has my respect as one of the greatest thinkers to have lived, and I think he needs to be taken much more seriously than he is today.

With that said, let's look at the preface to the first edition of Kant's treatise. Though it does contain important information, since it is relatively short I will say more about the preface to the second edition. As a general remark, Kant seems to be primarily concerned here with the problem of metaphysical knowledge, whereas in the second edition preface he focuses in more on his own "Copernican revolution". Kant wants to know how it is possible for metaphysics to be justified. After all, in the very first paragraph Kant admits that metaphysics certainly deals in perennial problems which reason is always tempted to come back to.

One might wonder why we need any justification for thinking that we can have metaphysical beliefs. But Kant lays out a story as to what has happened to metaphysics up to the time of his writing:

"In the beginning, under the administration of the dogmatists, her rule was despotic. Yet because her legislation still retained traces of ancient barbarism, this rule gradually degenerated through internal wars into complete anarchy..."

Here the dogmatists represent the continental rationalists, especially people like Descartes, Leibniz, and Wolff. The anarchy was brought about by skeptical empiricists, Hume in particular. Kant considers the skeptical criticisms of rationalist philosophy to have been something of a deathblow, at least given rationalist assumptions about knowledge (such as a correspondence theory of truth or the doctrine of innate ideas). This is the background within which Kant hopes to provide a new, certain and complete theory which will solve the empiricist objections and provide a basis for metaphysics. Of course, right off the bat it is clear that no room between the rationalists and empiricists has been made for something like a more Aristotelian view of the matter, so it appears that Kant's argument will be a non-starter at least in terms of disproving the Aristotelian type of metaphysics and knowledge. This is a theme which will come up often, viz. that Kant, working within a certain philosophical movement, will fail to consider the Aristoteliean view which could solve the same problems he wants to without the seismic shift in our analyses of knowledge, objectivitiy, necessity, truth, etc.

In part II I'll examine the preface to the second edition of Kant's Critique and bring up some more specific points and objections.