Saturday, July 31, 2004

Toward a Possible Scholastic Answer to Malebranche's Infinity Challenge

I recently posted on Malebranche's infinity challenge. In essence this challenge is this: Find an account of our idea of infinity that does not require that we perceive it in infinite being (i.e., God), and that does not illegitimately smuggle in the idea of infinity. It turns out to be very difficult to do; and, indeed, I think it is likely to be impossible for a number of very popular views of the mind today.

Now, Malebranche's vision-in-God thesis, the idea that all our ideas are divine ideas seen in God, was rejected, under the name 'ontologism' by the Catholic Church. Or, to be more exact, it was determined by Rome that Malebranche's thesis came dangerously close to a thesis that had already been condemned at the Council of Vienne (1311-1312), and this led to more specific condemnations in 1862. (Rather interestingly, the Council of Vienne gave Cartesians a great deal of trouble on other grounds as well; e.g., it asserts that the rational soul is the form of the body, and this was difficult to accommodate under a Cartesian view -- although not for lack of trying.) I haven't been able to find a text of the 1862 condemnations on-line, but John Paul II briefly mentions them, in a clear and lucid way, in section 52 of Fides et Ratio (although the note to that section gives the date as 1861; this is the only place I've seen that lists 1861 rather than 1862 - is this a typo in the encyclical, or is it the right date?).

So this brings up the interesting question: is there a way a Catholic (or anyone who agrees with the Catholic rejection of ontologism) could meet Malebranche's infinity challenge without accepting Malebranche's own solution?

I think there might be. A key premise in the argument is that we are finite substances. Now, this seems undeniable; but it would be possible to argue, I think, and on a scholastic view there would be good sense in arguing, that human beings are not finite in the relevant way, i.e., in the way required by the argument. Here is my thought. Most of the strength of Malebranche's argument comes from the fact that we can recognize mathematical infinites. Now, if, as scholastics hold, the rational soul is in itself immaterial, although fitted for a body, then it would follow that the soul is not finite relative to extension, i.e., not quantitatively finite. If the soul, however, is infinite in one aspect (it is not bounded by quantitative limits in some way), then this would seem to get around a great deal of Malebranche's argument. It still leaves some things unanswered, e.g., how we know the infinity of God - but there are scholastic answers to this. So there may be a scholastic answer to Malebranche. I can't think of any other account of the mind that would be able to provide such an answer: given that we can recognize potentially infinite things as infinite, either the intellect must in some sense be infinite or it must perceive something actually infinite - otherwise we have no explanation available to us of our situation.

Friday, July 30, 2004

Endeavor and Power

It may be pretended, that the resistance which we meet with in bodies, obliging us frequently to exert our force, and call up all our power, this gives us the idea of roce nd power. It is this nisus, or strong endeavour, of which we are conscious, that is the original impression from which this idea is copied. But, first, we attribute power to a vast number of objects, where we never can suppose this resistance or exertion of force to take place, to the Supreme Being, who never meets with any resistance; to the mind in its command over its ideas and limbs, in common thinking and motion, where the effect follows immediately upon th will, without any exertion or summoning up of force, to inanimate matter, which is not capable of this sentiment. Secondly, This sentiment of an endeavour to overcome resistance has no known connexion with any event: What follows it we know by experience; but could not know it a priori. It must, however, be confessed that the animal nisus, which we experience though it can afford no accurate precise idea of power, enters very much into that vulgar, inaccurate idea, which is formed of it.

This is from Hume, An Enquiry Concerning Human Understanding, Chapter VII.

It seems to me that Hume has underestimated the real challenge provided to his theory by the sentiment of nisus or endeavor. Some of my thoughts on why:

1) Can we actually make any sense of our feeling this overcoming-of-resistance without thinking of it in terms of exercise of power (both of endeavor and of resistance to it)? To be sure, we can't, a priori, determine whether this endeavor will have an effect - but it seems that any sentiment of endeavor is very plausibly characterized as the sentiment of one's own exercise of power resisted by something else's exercise of power. Hume always thinks of 'power' or 'agency' as something that has an effect; but isn't this a bit odd? Isn't it a part of our idea of power or agency that usually it can be exercised but fail (if certain conditions are met).

2) It is true that we attribute power to things to which our sentiment of endeavor can't be attributed. But (a) this doesn't prevent the sentiment of endeavor from really being a sentiment of (one kind of) power; (b) the reason we don't attribute to endeavor to God is that there is no adequate resisting power - but our sentiment of endeavor seems to be an impression of exercising-power-against-a-resisting-exercise-of-power. This resistance can be greater or less; we can take endeavor as an idea of the exercise of power, and let the power of resistance approach to zero, and we have an effortless exercise of power. Hume might consider this effortless endeavor to be a fiction or even a straightforward error; but in the Treatise he does similar sorts of things (e.g., with regard to geometry or to the coherence of our perceptions), so it's hard to say why it would be completely ruled out; (c) we don't attribute our sentiment of endeavor to inanimate matter, but we don't attribute our sentiment of extension to inanimate matter, either. We still can say that inanimate matter is extended; the only reasons that could be proposed for denying parallel treatment to endeavor are that endeavor isn't something really sensed in the sensation of endeavor, or that it is essentially conscious in nature. These would need to be argued.

3. Hume needs to say _why_ it enters into the vulgar idea of power, if it has nothing to do with power. Why would such a confusion be possible?

I suspect Hume could present a coherent response to the endeavor theory; but his dismissing it in a footnote doesn't really do justice to it.

Thursday, July 29, 2004

Malebranche's Infinity Challenge

The following is the section of my thesis I previously said I would put up. Let me know what you think. Is there anything that could be made clear? Any philosophical response I haven't considered properly?

Abbreviations: "LO" indicates the Lennon-Olscamp translation of The Search after Truth; "JS" indicates the Jolley-Scott edition of Dialogues on Metaphysics and on Religion; "OC" indicates not a county in California but the Oeuvres Completes. Footnotes are indicated by bracketed numbers.

Digression on Infinity and Ideas

At this point we are only halfway through the eliminative argument. However, given that our primary interest is not the argument itself but showing that Malebranche’s theory of ideas is part of an attempt to build a theory of Reason, it is worth our time to stop a moment to consider the issue of infinity more closely. As we shall see, Malebranche’s thoughts on the infinite show quite clearly that theory of ideas subserves this greater project of formulating a theory of Reason.

A good place to start, when considering Malebranche’s view of the infinite, is geometry. We have, one could say, an idea of extension, which has no limits; it is an infinite idea. Our minds cannot exhaust it. It cannot be a modification of our minds, since we are finite substances and therefore incapable of having the infinite as a modification of our substances. Our thought cannot, as it were, ‘stretch’ to measure out this infinite idea. Should we then say that we cannot really have such an idea? It might well seem tempting at this point to deny that we, as finite substances, conceive the infinite at all. [1] There is reason to think this too easy, however, and Malebranche provides a powerful little argument along these lines, which we can call the world traveler argument.

Suppose a man falls from the clouds to the earth. He has no prior experience of the earth, so he brings with him no preconceptions about it. He begins to walk in a straight line along one of the earth’s great circles. We will suppose as well that no features of the earth, e.g., mountain ranges or oceans, impede him. After he has been doing this for several days, he still has not found the end of his journey. If he is wise, he will not thereby assume the surface of the earth to be infinite; and, in fact, he is right, for if he walks long enough, he will eventually return to his starting point. The earth is finite. The idea of extension, however, is different; this idea is inexhaustible, and, says Malebranche, this is “because [the mind] sees it as actually infinite, because it knows very well it will never exhaust it” (JS 15).

The force of this argument can easily be missed, so it may perhaps be useful to look at it more closely. [2] Suppose our world traveler moves successively through points A, B, C, D, and E on the earth’s surface. In describing the whole journey he expects to make, he might write in his journal:

<A, B, C, D, E, …> ,

that is, “First A, then B, then C, then D, then E, and so on.” Let us then contrast this with movement along the x-axis of a Cartesian grid. We might describe this as:

<0, 1, 2, 3, 4, …>,

that is, “First 0, then 1, then 2, then 3, then 4, and so on.” Now we have an interesting contrast. In both descriptions we have used the ellipsis or “and so on” to gesture to a continuation of the series. The two gestures however, are almost palpably different. The “and so on” of the first series is not the same as the “and so on” of the second series. We might put the difference by describing the former as ‘indefinite’ and the latter as ‘infinite’. The infinite is not merely a group of finite things combined with a gesture toward their continuation; it is something that can be recognized on its own without running through the series. We do not need to journey the entire x-axis to see that it has no end. We cannot adequately explain the infinite by taking a series of finite things and recognizing that it continues; it must continue in a particular way, namely, an infinite way. The infinite series does not just continue; it continues infinitely. This argument serves to show us that, finite though we may be, we do in some way perceive the infinite. Malebranche supports this claim with a further consideration. Geometry clearly deals with infinites (infinite lines, infinite divisibility, and so forth). The claims made by geometers, however, are not tentative judgments based on trial and error or analogy. Once you understand the mathematics, it is not necessary to test it out against the finite things we find in the world around us. In mathematics there seems to be some sense in which we simply ‘see’ that something is infinite. [3] The claim that we, though finite, really do in some way perceive the infinite, is a well-founded one.

Infinity is not a solitary case. Our conclusions about infinity imply conclusions about the universality or generality of our ideas. Malebranche, in fact, barely separates the two. If we take, for instance, the idea of a circle in general, “the idea of the general circle represents infinite circles and applies to them all” (JS 27). Such an idea has to apply not merely to the circles we have actually experienced, but to every possible circle. If you claim to have an idea of a circle insofar as it is a circle, but cannot apply it to every possible circle, then, properly speaking, you do not have the idea you claim to have. Malebranche uses this to develop an argument about universality parallel to that about infinity. Someone might hold that general ideas like that of a circle are either a confused assemblage of particular ideas or something formed out of such an assemblage. Let us suppose we have encountered five circles, one, two, three, four and five units in diameter, respectively. The fact that we need to it to be applicable to infinite possible circles means that, for the reasons given above, this assemblage of circles cannot be our idea of circle in general. Any such assemblage will be finite, no matter how confused we made it, applying only to the region of all possible circles from which we have gathered our particular circles. Such an assemblage, intended to indicate circles universally, could not be distinguished from the same assemblage intended to refer only to this region of possible circles, without already having a universal idea.

The view that we form the idea of circle in general from the circles we have actually experienced fares somewhat better, although it, too, is rejected:

It is false in the sense that there is sufficient reality in the idea of five or six circles to form the idea of a circle in general from them. But it is true in the sense that, having recognized that the size of circles does not change their properties, you have perhaps stopped considering them one after the other according to their determinate size., in order to consider them in general according to an indeterminate size. Thus, you have, as it were, formed the idea of circle in general, by spreading the idea of generality over the confused ideas of circles you imagined. (JS 27)

In other words, the cardinal difficulty with this attempt is one of explanation. While this view purports to explain how we get our idea of circle in general, the explanans is not adequate to the explanandum. In a more subtle way it runs into exactly the same problem the previous view did, since the assemblage of circles in itself does not provide what is needed in order to have an idea of circle in general rather than just of some circles. This is a problem analogous to the one we saw with infinity. Just as we cannot shift from indefinite continuation to infinite continuation without already appealing to the infinite, so we cannot shift from a confused composite to a general idea without appealing to generality itself; and, as Malebranche has Theodore say, “I maintain you could form general ideas only because you find enough reality in the idea of the infinite to give the idea of generality to your ideas” (JS 27). We cannot explain our having ideas of infinite possible application without allowing something recognizably infinite from the very beginning, and the same is true of universality. Nor are these two properties the only problematic ones. Considerations like these will continue to cascade into cases, like necessity, that are closely connected to issues of infinity and generality. If naturalizing something means reducing it to, or explaining it in terms of, something more manageably finite, our ideas cannot be naturalized.

I wish to insist on the strength of the position just discussed. Malebranche’s arguments do not, I think, admit of any easy evasion. One cannot evade the argument, for instance, by making a distinction in ideas between perceptions and objects and arguing that our ideas are formally finite while objectively infinite. If the ‘objectively infinite’ aspect of the idea is part of the ‘formally finite’ aspect, i.e., if the object is in any sense part of the perception, then it is not clear that the distinction has evaded the problem at all. If the ‘objectively infinite’ is completely different from the ‘formally finite,’ then it is unclear why this is not conceding the whole argument. In fact, it is unclear what would distinguish this from Malebranche’s own solution; while it is not Malebranche’s preferred way of describing his position, it is a fairly accurate characterization of it. [4]

This returns us to our original puzzle about the origin of these infinite (general, necessary, etc.) ideas. Since we cannot resolve the matter by explaining it away as any sort of illusion, confusion, or extrapolation, given that we clearly do perceive the infinite in some way, we need another solution. Malebranche provides one in his thesis about the vision in God. The basic elements of the argument for this solution are the following:

1. We perceive ideas that are infinite.
2. We are finite.
3. Nothing that is finite can represent the infinite.
4. Therefore there is an infinite something other than ourselves in which we perceive ideas, i.e., God. [5]

At this point it is a good idea to stop and ask ourselves where Malebranche intends to go with this line of thought, which is often called the ‘argument from properties’. [6] It is easy to think that the point of this is just to establish a particular theory of ideas, namely, the vision in God thesis. There is good reason, however, to think that Malebranche has more in view. In all the cases in which Malebranche gives or alludes to his infinite ideas argument, he makes or has made some link between it and universal Reason. This is least obvious in the discussion of Descartes’s argument in Search 4.11, where the mentions are brief and oblique: one reference to divine self-knowledge and another to the eternal model in God’s essence. On their own they could easily be interpreted in ways having nothing to do with Malebranche’s frequent mentions of sovereign Reason, the interior Teacher, and the like. The thing we need to keep in mind, however, is that The Search after Truth is an unwise place to make an argument from silence, or even simplicity of interpretation. The Search, although it is a rich lode of Malebranche’s thought, is not devoted to expounding that thought in a systematic form. Instead, it is concerned with teaching how to avoid error in inquiry. Because of this, Malebranche’s substantial views are presented in a disjointed way, often as mere examples or asides to illustrate or qualify the more methodological concerns of the text. The discussion of Descartes’s argument is a good example of this; it occurs as an illustrative example in a discussion of how love of sensible pleasure can prejudice people against the truth. To see the proper context of Malebranche’s thought, we must look elsewhere; and what we seem to find is that the infinite ideas argument is generally used to contribute to a theory of Reason. The entire Dialogues, for instance, presents itself a discussion presupposing the centrality of universal Reason. The very first speech given to Theodore, Malebranche’s primary spokeseman in the Dialogues, shows this clearly:

Let us attempt to have nothing prevent us each from consulting our common master, universal Reason. For it is inner truth that must govern our discussion. This is what must dictate to me what I should tell you and what you are to learn through me. (JS 3)

The actual discussion of the infinite ideas argument we have just considered is for the express purpose of clarifying the nature of universal Reason. Thus Theodore asks Aristes, his interlocutor, “Do you now know what that Reason is, about which so much is said in this material and terrestrial world, but of which so little is known there?” and Aristes responds with a summary of the infinite ideas argument. The same theme occurs, somewhat less obviously, in the Tenth Elucidation to the Search, on the nature of ideas. The discussion of the nature of ideas there places ideas entirely within the context of universal Reason. The properties of ideas are not distinguished form those of universal Reason itself, because the argument that universal Reason is infinite, necessary, immutable, and therefore divine, is at the same time an argument that ideas are so. In other words, Malebranche considers the infinite ideas argument for God’s existence to be an argument that Reason itself, being infinite, is divine. The theory of ideas is one aspect of a theory of Reason. To one who knows what to look for, this is true even in the Search, since it is elsewhere quite clear that the eternal model in the divine substance, known through divine self-knowledge, is Reason. [7]

Footnotes

[1] There is another possible response, namely, to try to find a way around the argument by distinguishing formal from objective infinity. This will be considered more fully below.

[2] This account should be compared to Wittgenstein, Philosophical Investigations, I, § 208, on the ‘and so on’ that is, and the ‘and so on’ that is not, an abbreviated notation.

[3] Note that to reject this supplementary argument requires more than an appeal to the possibility of a finitistic mathematics; it requires the stronger and more controversial claim that mathematics can only be finitistic. All Malebranche needs for his argument is the conclusion that mathematical use of infinites can make sense; if this is so, then when we think of the infinite, we really are thinking of the infinite rather than something else (e.g., a confusion, or indefiniteness).

[4] For hints toward an argument like the one I am suggesting here, see Malebranche’s discussion of Arnauld and Descartes on the objective reality of ideas in Trois Lettres, I, Rem. III (OC 6:214-218). See also OC 6:58, to which he refers in this passage.

[5] Identifying this something other than ourselves in which we perceive ideas as God is not as much of a leap as it may seem. It does presuppose the Cartesian view that God is infinite being, but nothing more than that, and can largely be considered simply a verbal issue. Also, it should be kept in mind that, while I only list infinity here, there are other properties closely related to infinity that also are in play because they follow patterns similar to infinity: universality, necessity, and so forth.

[6] See Nadler, Malebranche and Ideas, 92-97; Pyle, Malebranche, 57-61.

[7] For an excellent summary of these aspects of Malebranche’s theory of Reason, with the relevant references, see Reid, “Malebranche on Intelligible Extension,” British Journal for the History of Philosophy (November 2003) 587-589.

Wednesday, July 28, 2004

The Amazing Race 5

For a bit of the entirely non-academic:

The only reality TV show I like is The Amazing Race, which this summer is my non-negotiable TV show - i.e., it automatically gets its place on my schedule, and everything else on Tuesday nights (when it shows on CTV here) has to work around it. In the past I've been a fairly good judge of teams: the teams I've rooted for (I always root for two) have always done fairly well: one always makes it into the top three (usually second place). This year my number one pick is Charla and Mirna, who are just plain amazing; followed by Brandon and Nicole, because I always root for Texans. (Colin and Christie are also Texan, and might very well win, since they consistently do well; but Brandon and Nicole work better together. C & C would be my third pick,if I had one.) Part of the reason I like Charla and Mirna is that the harder the other teams try to outmaneuver them, the more easily they beat them; they're also very funny - they have some acquaintance with a large selection of languages, but not fluency in most of them, so they've managed to get by so far with the most extraordinarily comical Franco-Italo-Spanglish.

Christian Carnival (July 28)

The Christian Carnival is up at Jeremiah Lewis's "Fringe" weblog. The organization of the posts by places in Lewis's The Voyage of the Dawn Treader was an excellent idea - it works wonderfully well. I have a small contribution (my first) here. It's nothing impressive; I didn't actually have much available to submit. Some of the posts I found especially interesting:

* charity at "Doc Rampage": on the moral dilemma we face when people beg for money on the streets

* Organized Religion and the Church at "Parableman"

* Legislating Morality at "Exultate Justi": on the intersection of faith and politics

* Razzle Dazzle at "Wanderings of a postModern Pilgrim": on the problems of flashy worship services

* Exercise in Clear Thinking at "The Dawn Treader"

* Reasons For Our Hope at "reasons why": on apologetics

As I said, these are the ones that struck me as most interesting; but there are lots of others worth reading.

Female-Friendliness in Ranking Departments

Julia C. Van Camp has an interesting article on the issue of women in philosophy, looking at some questions raised by Leiter's The Philosophical Gourmet Report. (Thanks to Ektopos for the link.) It is an important issue. It occurred to me recently that a great deal, and perhaps even a strong majority, of philosophical work being done at present that I find especially interesting and worthwhile is being done by women: Margaret Atherton, Anne Jaap Jacobsen, Martha Nussbaum, Onora O'Neill, Eleonore Stump, Marleen Rozemond, etc. And yet there does seem to be a tendency in which either the best departments are getting away for some reason with not hiring many women, or (this would be even worse, and, unfortunately, there is at least anecdotal evidence that this is so) departments are considered the best departments because they are more male. As with everything for which we have only anecdotal evidence one way or another, it's hard to know what's really going on. I didn't pick graduate schools on the basis of any sort of ranking - I mostly just applied to any schools I knew of that had large departments (because I wanted a bit of freedom of intellectual movement) and a decent reputation for good history-of-philosophy work. But students who do use rankings in picking grad schools should certainly follow Van Camp's proposal and look at female-friendliness as part of their assessment. I think in particular the following questions mentioned in the paper are important:

1. Does the department show an openness to hiring female faculty members for tenure-track positions?

2. Are female faculty hired mainly for temporary, visiting, or adjunct positions?

5. Does the department have an established policy on faculty-student dating, and is it enforced? (I think this is a very important issue, but it needs to be approached carefully. The University of Toronto, for instance, has an obscure and, if I may say so, weasely policy - it's hard to find and it doesn't say much. But the philosophy grad students here are exceptionally professional in their approach to students, so the practice is exactly what one could hope.)

7. Does the department include a reasonable proportion of women among its invited guest speakers at department events and conferences?

Van Camp is right that these sorts of questions are important for women who are looking for non-hostile departments. But they are also, I think, of interest to male students, because they are usually at least moderately good indications of the quality of thought in the air in the department.

Cartesian Meditations

I just came across this poem I had written some time ago and completely forgotten. It summarizes the philosophical argument of Rene Descartes's Meditations on First Philosophy. It's very uneven, but if I may say so myself, the first stanza is completely awesome.


Cartesian Meditations
A poetical summary of Descartes's Meditations on First Philosophy

Meditation One

Doubts beset on every side.
Nor all my effort nor my pride
Shall save me ere I err.
And if, and at what mighty cost,
In wanderlust I wander, lost--
How wretched am I there!

Meditation Two

I am, and in this am I caught
By, most certain of my thoughts,
My thinking I exist.
And this 'I' I know in knowing me
Is a thinking thing, as thought can see,
And so it does subsist.

Meditation Three

I am finite, and, being bound,
I know the boundless may be found.
Within my being I always feel
The imprint of my Maker's seal,
Latent, and however dim,
In the idea I have of Him.

Meditation Four

Try as I might, I cannot believe
That perfect being could deceive;
To lie, a defect will be found,
It pertaineth not to Heaven's Hound,
The God who chases every soul
To Truth alone that makes it whole.

Meditation Five

I look within; ideas I find
That pass within my thinking mind,
And quantities I see.
Their essence do I then explore;
Mathematics is then sure once more,
And God I see to be.

Meditation Six

My proper function God has made
Who never lies; and as He bade,
Thought I body then to be.
And now, I see it all so clear
That I can say sans doubt and fear
'Tis bodies that I see.

Now hear the moral of it all;
However doubt and worry fall,
There is recourse within our mind
That meditating thinkers find.
Knowledge of bodies is not more whole
Than that of God and of our soul.