Divine Creation and Haecceity Properties

Having somewhat churlishly accused Daniel M. of failing to understand my post Does Classical Theism Logically Require Haecceitism, he wrote back in detail demonstrating that he did understand me quite well. I will now post his e-mail with some responses in blue.

I'm sorry. I've re-read your post, and it strikes me as quite clear, and I think I understand it. So perhaps the problem lies in my rather compressed e-mail, and not in my understanding of your post. Any rate, if this is wrong then this message should reinforce that. I elaborate a bit below on my earlier email, but this isn't meant to stop you from writing another post about the matter if that was your intent.

1. I agreed with your claim that classical theism does not entail haecceitism. I did not mean to imply, in saying this, that I agree either with the specific view of pre-creation divine knowledge you articulated, or with Mason's view. I agree that classical theism doesn't entail haecceitism because I don't think that the nature of classical theism forces a particular choice on this issue, either between your view or Mason's view or another.

BV: Good. I agree that a particular choice is not forced by the nature of classical theism.

2. I agreed (or rather said I'm inclined to agree) that there are no *non*-qualitative individual essences / haecceities prior to creation.

BV: I missed this; thanks for the clarification. It now seems we are on the same page. To spell it out: prior to God's creation of Socrates, and thus prior to the latter's coming into existence (actuality), there was no such non-qualitative property as identity-with-Socrates, or any other property involving Socrates himself as part of its very content. The modal analog holds as well: in those metaphysically possible worlds in which Socrates does not exist, there is no such property as identity-with-Socrates.

Of course, I am not saying that when Socrates does exist, then there is the haecceity property identity-with-Socrates instantiated by Socrates; I am saying that there are no haecceity properties at all, where an haecceity property is an abstract object that exists in every metaphysically possible world but is instantiated in only some such worlds, and furthermore satisfies this definition:

A haecceity property is a property H of x such that: (i) H is essential to x; (ii) nothing distinct from x instantiates H in the actual world; (iii) nothing distinct from x instantiates H in any metaphysically possible world.

An item is abstract iff it does not exist in space or time. An item is concrete iff it is not abstract.

Please note that when I say that there are no haecceity properties in the sense defined, that does not exclude there being haecceity properties in some other (non-Plantingian) sense. Note also that there might be haecceities that are in no sense properties. The materia signata of Socrates is not a property of him; so if someone holds that the haecceity (thisness) of Socrates either is or is grounded in his materia signata, then he would be holding that there are haecceities which are not properties. Similarly if spatiotemporal location is the principium individuationis, and if a thing's thisness = its principium individuationis.

Thus, if I am right, there is no sense in which the identity and individuality of Socrates somehow pre-exist his actual existence as they would pre-exist him if there were such a property as his nonqualitative haecceity property identity-with-Socrates. If so, then divine creation cannot be understood as God's bringing it about that the haecceity property identity-with-Socrates is instantiated. We would then need a different model of creation.

3. I then said that, notwithstanding (1) and (2), I defend a view that is close to haecceitism. I'll just elaborate a bit more here on where I'm coming from.

It seems to me you articulate a view like Robert Adams in his 1981 "Actualism and Thisness", and Christopher Menzel in his 1991 "Temporal Actualism and Singular Foreknowledge", with two key components.

First component: (A) Prior to creation, God's knowledge of what he might create is exclusively qualitative or pure in content (no reference to particular individuals). In light of my (2) above, I'm inclined to agree with this. Now let's say (this is admittedly imprecise, but I'm trying to be concise) that an item Q of qualitative knowledge *individuates* a particular possible creature C just in case Q's instantiation would be sufficient for C's existence and exemplification of Q.

Second component: (B) None of the aforementioned qualitative knowledge individuates a particular possible creature (such as Socrates). The reason for this is that for any relevant item of knowledge Q, there are multiple possible creatures that might exemplify Q (e.g., Socrates and Schmocrates), and so Q's instantiation is not *sufficient* for a *particular* possible creature to exist and exemplify Q.

The view I'm attracted to accepts (A) but denies (B). I think that purely qualitative knowledge could individuate possible creatures. (Thus far this view looks like Leibniz's, as I understand it.) So, were I arguing against you, your paragraph on Socrates/Schmocrates and the next paragraph on the Biblical / Platonic contrast would be areas of focus.

BV: Now I think I understand what your project is. You are right to mention Leibniz. I was all along assuming that the Identity of Indiscernibles is false: it is broadly logically possible that there be two individuals that share all qualitative or pure properties, whether essential or accidental, monadic or relational. I believe my view is committed to the rejection of the Identity of Indiscernibles. Could there not have been exactly two iron spheres alike in every respect and nothing else? This is at least thinkable if not really possible. You on the other had seem committed to the Identity of Indiscernibles: it is not broadly logically possible that there be two individuals sharing all the same qualitative or pure properties.

Suppose the Identity of Indiscernibles is true. And suppose God has before his mind a wholly determinate, but merely possible, concrete individual. Let it be an iron sphere. Equivalently, he has before his mind a conjunctive property the conjuncts of which are the properties of the sphere he is contemplating creating. Call this conjunctive property a qualitative individual essence (QIE). It is qualitative in that it makes no reference to any actual individual in the way identity-with-Socrates does. It is an individual essence in that only one thing in the actual world has it, and this thing that has it must have it. If creation is actualization, all God has to do to create the wholly determinate mere possible iron sphere is add existence to it, or else bring it about that the qualitative individual essence is instantiated.

But then how could God create Max Black's world in which there are exactly two indiscernible iron spheres? He couldn't. There would be nothing to make the spheres numerically distinct. If x and y are instances of a QIE, then x = y. For there is nothing that could distinguish them. Contrapositively, if x is not identical to y, then it is not the case that x and y are instances of the same QIE. That is what you are committed to if you uphold the Identity of Indiscernibles.

On my view of creation, divine creation is not the bestowal of actuality upon pre-existent individuals; God creates the very individuality of individuals in creating them. In doing so he creates their numerical difference from one another. This is equivalent to the view that existence is a principle of numerical diversification, a thesis Aquinas held, as it would not be if existence were merely the being instantiated of a property. Thus individuals differ in their very existence: existence and individuality are bound up with each other. This view of creation involves God more intimately in what he creates: he creates both the existence and the identity of the things he creates. Thus he does not create out of mere possibles, or out of haecceity properties, whether qualitative or nonqualitative: he creates out of nothing!

On Plantinga's scheme, as it seems to me, creation is not ex nihilo but out of a certain 'matter,' the 'matter' of haecceity properties. Since they are necessary beings, there are all the haecceity properties there might have been, and what God does is cause some of them to be instantiated.

The view I've described might seem to commit me to this: (C) prior to creation, there exist *qualitative* haecceities (again, using your definition of 'haecceity') or individual essences for *every* possible creature. And the (compressed) part of my email about a "new kind of essence" is meant to challenge the implication of (C). (Here is where my view departs from Leibniz's.) I think that God can know precisely which individuals he will get (not just which pure descriptions would be satisfied), even if *some* possible creatures lack qualitative haecceities. However, I was imprecise at best in telling you that my view is "close to" haecceitism. Given that you define haecceitism as the view that there are haecceities, I think the view I've described is committed to haecceitism – it just isn't committed to the view that *every* possible creature has a haecceity. I don't claim to have adequately explained or motivated, either in this email or the last, this particular view of pre-creation knowledge. I was only trying to quickly sketch the view I defend in the paper I mentioned.

BV. Very interesting. Perhaps you could explain this more fully in the ComBox. I don't understand how any possible creature could lack a qualitative haecceity. Only wholly determinate (complete) mere possibles are fit to become actual. This is because it is a law of (my) metaphysics that existence entails completeness, though not conversely. Completeness is thus a necessary condition of (real) existence. But if x is complete, then has a qualitative thisness which can be understood to be a conjunctive property the conjuncts of which are all of x's qualitative properties.

So why do you think that some possible creatures lack qualitative haecceities?

Does Classical Theism Logically Require Haecceitism?

Haecceitism is the doctrine that there are haecceities. But what is an haecceity?

Suppose we take on board for the space of this post the assumptions that (i) properties are abstract objects, that (ii) they can exist unexemplified, and that (iii) they are necessary beings. We may then define the subclass of haecceity properties as follows.

A haecceity is a property H of x such that: (i) H is essential to x; (ii) nothing distinct from x exemplifies H in the actual world; (iii) nothing distinct from x exemplifies H in any metaphysically possible world.

So if there is a property of Socrates that is his haecceity, then there is a property that individuates him, and indeed individuates him across all times and worlds at which he exists: it is a property that he must have, that nothing distinct from him has, and that nothing distinct from him could have. Call this property Socrateity. Being abstract and necessary, Socrateity is obviously distinct from Socrates, who is concrete and contingent. Socrateity exists in every world, but is exemplified (instantiated) in only some worlds. What's more, Socrateity exists at every time in every world that is temporally qualified, whereas Socrates exist in only some worlds and only at some times in the worlds in which he exists.

Now suppose you are a classical theist. Must you accept haecceitism (as defined above) in virtue of being a classical theist? I answer in the negative. Franklin Mason answers in the affirmative. In a comment on an earlier post, Mason gives this intriguing argument into which I have interpolated numerals for ease of reference.

[1] When God created the world, he knew precisely which individuals he would get. Thus [2] he didn't need to have those very individuals in front of him to know which ones they were. Thus [3] there must be a way to individuate all possible individuals that in no way depends upon their actual existence. [4] Such a thing is by definition a haecceity. Thus [5] there are haecceities.

I don't anticipate any disagreement with Mason as to what an haecceity is. We are both operating with the Plantingian notion. We disagree, however, on (i) whether there are any haecceities and (ii) whether classical theism is committed to them. I deny both (i) and (ii). In this post I focus on (ii). In particular, I will explain why I do not find Mason's argument compelling.

My reservations concern premise [1]. There is a sense in which it is true that when God created Socrates, he knew which individual he would get. But there is also a sense in which it is not true. So we need to make a distinction. We may suppose, given the divine omniscience, that before God created Socrates he had before his mind a completely determinate description, down to the very last detail, of the individual he was about to bring into existence. In this sense, God knew precisely which individual he would get before bringing said individual into existence. Now either this description is pure or it is impure.

A pure description is one that includes no proper names, demonstratives or other indexicals, or references to singular properties. Otherwise the description is impure. Thus 'snub-nosed, rationalist philosopher married to Xanthippe' is an impure description because it includes the proper name 'Xanthippe.' 'Snubnosed, rationalist, married philosopher,' by contrast, is pure. (And this despite the fact that 'married' is a relational predicate: necessarily, to be married is to be married to someone or other.) Pure descriptions are qualitative in that they include no references to specific individuals. Impure descriptions are nonqualitative in that they do include references to specific individuals. Thus 'person identical to Socrates' is a nonqualitative description.

Now if God has before his mind a complete pure description of the individual he wills to create then that description could apply to precisely one individual after creation without being restricted to any precise one. (Cf. Barry Miller, "Future Individuals and Haecceitism," Review of Metaphysics 45, September 1991, p. 14) This is a subtle distinction but an important one. It is possible that Socrates have an indiscernible twin. Call his 'Schmocrates.' So the complete description 'snub-nosed, rationalist philosopher, etc.' could apply to precisely one individual without applying to Socrates, the man in the actual world that we know and love as Socrates. This is because his indiscernible twin Schmocrates would satisfy it just as well as he does. The description would then apply to precisely one individual without being restricted to any precise one. So there is a clear sense, pace Mason, in which God, prior to creation, would not know which individual he would get. Prior to creation, God knows that there will be an individual satisfying a complete description. But until the individual comes into existence, he won't know which individual this will be.

As I see it, creation understood Biblically as opposed to Platonically is not the bestowal of existence upon a pre-existent, fully-formed, wholly determinate essence. It is not the actualization of a wholly determinate mere possible. There is no individual essence or haecceity prior to creation. Creation is the creation ex nihilo of a new individual. God creates out of nothing, not out of pre-existent individual essences or pre-existent mere possibles. Thus the very individuality of the individual first comes into being in the creative act. Socrates' individuality and haecceity and ipsiety do not antedate (whether temporally or logically) his actual existence.

Mason would have to be able rationally to exclude this view of creation, and this view of the relation of existence and individuality, for his argument to be compelling. As it is, he seems merely to assume that they are false.

Could God, before creation, have before his mind a complete impure description, one that made reference to the specific individual that was to result from the creative act? No, and this for the simple reason that before the creative act that individual would not exist. And therein lies the absurdity of Plantingian haecceities. The property of identity-with-Socrates is a nonqualitative haecceity that makes essential reference to Socrates. Surely it is absurd to suppose that that this 'property' exists at times and in possible worlds at which Socrates does not exist. To put it another way, it is absurd to suppose that this 'property' could antedate (whether temporally or logically) the existence of Socrates.

We are now in a position to see why Mason's argument is not compelling. If [1] is true, then [2] doesn't follow from it. And if [2] follows from [1], then [1] is false. Thus [1] conflates two distinct propositions:

1a. When God created the world, he knew precisely which pure complete descriptions would be satisfied.

1b. When God created the world, he knew precisely which individuals would exist.

(1a) is true, but it does not entail

2. God didn't need to have those very individuals in front of him to know which ones they were.

(1b) entails (2), but (1b) is false.

I conclude that classical theism does not entail haecceitism. One can be such a theist without accepting haecceities. This is a good thing since there are no haecceity properties!

William Lane Craig on the ‘Same God?’ Question

A tip of the hat to Karl White for pointing us to this article which includes a critique of Francis Beckwith's contribution to the debate. Craig concludes:

So whether Muslims and Christians can be said to worship the same God is not the truly germane question. The question is which conception of God is true.

I would allow that the latter question is the more important of the two questions, but it is not the question most of us were discussing. In my various posts, I endeavored to remain neutral on the question of the truth of Christianity while pursuing the former question. See the first two related articles infra.

Do Muslims Worship the True God?

It depends.

Suppose the true God is the triune God. Then two possibilities. One is that Muslims worship the true God, but not as triune, indeed as non-triune; they worship the true God all right, the same one the Christians worship; it is just that the Muslims have one or more false beliefs about the true God. The other possibility is that Muslims do not worship the true God; they worship a nonexistent God, an idol. We are assuming the truth of monotheism: there is a God, but only one.

Now worship entails reference in the following sense: Necessarily, if I worship the true God, then I successfully refer to the true God. (The converse does not hold). So either (A) the (normative) Muslim successfully refers to the true God under one or more false descriptions, or else (B) he does not successfully refer to the true God at all.

Now which is it, (A) or (B)?

The answer depends on your theory of reference.

Consider this 'Kripkean' scenario. God presents himself to Abraham in person. All of Abraham's experiences on this marvellous occasion are veridical. Abraham 'baptizes God' with the name Yahweh or YHWH. The same name (though in different transliterations and translations) is passed on to people who use it with the intention of preserving the direct reference the name got when Abraham first baptized God with it. The name passes down eventually to Christians and Muslims. Of course the conceptions of God are different for Abraham, St. Paul, and Muhammad. To mention one striking difference: for Paul God became man in Jesus of Nazareth; not so for Muhammad, for whom such a thing is impossible.

If you accept a broadly Millian-Kripkean theory of reference, then it is reasonable to hold that (A) is true. For if the reference of 'God' is determined by an initial baptism or tagging and a causal chain of name transmission, then the reference of 'God' will remain the same even under rather wild variation in the concept of God. The Christian concept includes triunity; the Muslim conception excludes it. That is a radical difference in the conceptions. And yet this radical difference is consistent with sameness of referent. This is because the reference is not routed though the conception: it is not determined by the conception. The reference is determined by the initial tagging and the subsequent name transmission.

Now consider a 'Fressellian' scenario. The meaning of a proper name is not exhausted by its reference. Names are more than Millian tags. It is not just that proper names have senses: they have reference-determining senses. On a descriptivist or 'Fressellian' semantics, a thoughtful tokening by a person P of a proper name N successfully refers to an individual x just in case there exists an x such that x uniquely satisfies the definite descriptions associated with N by P and the members of his linguistic community.

So when a Christian assertively utters a token of 'God is almighty,' his use of 'God' successfully refers to God only if there is something that satisfies the sense the Christian qua Christian associates with 'God.' Now that sense must include being triune. The same goes for the Muslim except that the sense that must be satisfied for the Muslim reference to be successful must include being non-triune.

It should now be clear that, despite the considerable overlap in the Christian and Muslim conceptions of God, they cannot be referring to the same being on the 'Fressellian' theory of reference. For on this theory, sense determines reference, and no one thing can satisfy two senses one of which includes while the other excludes being triune. So we have to conclude, given the assumption of monotheism, that the Christian and Muslim do not refer to one and the same God. Given that the true God is triune, the Christian succeeds in referring to the true God while the Muslim fails. The Muslim does not succeed in referring to anything.

So I continue to maintain that whether Christians and Muslims worship the same God depends on one's theory of reference. This is why the question has no easy answer.

Those who simple-mindedly insist that Christians and Muslims worship numerically the same God are uncritically presupposing a dubious Millian-Kripkean theory of reference.

Exercise for the reader: explain what is wrong with Juan Cole's article below.

Lydia McGrew on the ‘Same God’ Debate

She says that it is too important to be left to philosophers. She is right that the debate is important and has practical consequences, although I don't think any of the philosophers who have 'piped up' recently (Beckwith, Tuggy, Feser, Rea, Vallicella, et al.) want to take the debate merely as a point of entry into technical questions about reference and identity.

One of the points McGrew makes is one I have repeatedly made as well, namely, that the sorts of examples proffered by Francis Beckwith, Dale Tuggy, and Edward Feser beg the question. If the question is whether Christians and Muslims worship and refer to the same God, one cannot just assume that they do and then take one's task to be one of explaining how it is possible. Of course it is possible to refer to one and the same thing under different descriptions. But how does that show that in the case before us there is one and the same thing?

Another point that McGrew makes that I have also made is that one cannot show that the Christian and Muslim God are the same because their respective conceptions significantly overlap. No doubt they do: for both religions there is exactly one God, transcendent of his creation, who is himself uncreated, etc. But the overlap is insufficient to show numerical identity because of the highly important differences. Could one reasonably claim that classical theists and Spinozists worship the same God? I don't think so. The difference in attributes is too great. The reasonable thing to say is that if classical theism is true, then Spinozists worship a nonexistent God. Similarly, the difference between a triune God who entered the material realm to share our life and misery for our salvation and a non-triune God whose radical transcendence renders Incarnation impossible is such a huge difference that it is reasonable to take it as showing that the Christian and Muslim Gods cannot be the same.

McGrew and I also agree in rejecting what I will call the 'symmetry argument': since Jews and Christian worship the same God, the Christians and Muslims also worship the same God. It doesn't follow. Roughly, the Christian revelation does not contradict the Jewish revelation on the matter of the Trinity, since the Jews took no stand on this question before the time of Jesus. The Christian revelation supplements the Jewish revelation. The Islamic 'revelation,' however, contradicts the Christian one by explicitly specifying that God cannot be triune and must be disincarnate.

McGrew is certainly right that the 'same God' question ". . . can’t be decided by a flick of the philosophical wrist." And this needed to be said. Where I may be differing from her, though, is that on my view a really satisfactory resolution of the questions cannot be achieved unless and until we achieve real clarity about the underlying questions about reference, identity, existence, property-possession, and so on. It is highly unlikely, however, that these questions will ever be answered to the satisfaction of all competent practioners.

Where does this leave the ordinary Christian believer? Should he accept the same God thesis? It is not clear to me that he needs to take any position on it at all. But if he feels the need to take a stand, I say to him that he can rest assured that his non-acceptance of it is rationally justifiable.

Same Cause, Same Referent? More on the ‘Same God’ Problem

Tree and Scarecrow

Suppose I point out a certain tree in the distance to Dale and remark upon its strange shape. I say, "That tree has a strange shape." Dale responds, "That's not a tree; that's a scarecrow!" Suppose we are looking at the same thing, a physical thing that exists in the external world independently of us. But what I take to be a tree, Dale takes to be a scarecrow. Suppose further that the thing in the external world, whatever it is, is the salient cause of our having our respective visual experiences. Are we referring to the same thing? The cause of the visual experiences is the same, but are the referents of our demonstrative phrases the same? Could we say that the referents are the same because the cause is the same?

If this makes sense, then perhaps we can apply it to the 'same God?' problem.

'Same cause, same referent' implies that the cause of my tokening of 'That tree' is its referent. It implies that we can account for successful reference in terms of physical causation. The idea is that what makes my use of 'that tree' successfully refer to an existing tree, this particular tree, and not to anything else is the tree's causing of my use of the phrase, and if not the tree itself, then some physical events involving the tree.

But the notion of salience causes trouble for this causal account of reference. What make a causal factor salient? What makes it jump out from all the other causal factors to assume the status of 'the cause'? (Salire, Latin, to jump.) After all, there are many causal factors involved in any instance of causation. Can we account for reference causally without surreptitiously presupposing irreducibly intentional and referential notions? Successful reference picks out its object from others. It gets to an existing object, and to the right object. Causation might not be up to this task. I shall argue that it is not.

We often in ordinary English speak of 'the cause' of some event, a myocardial infarction say, even though there are many contributing factors: bad diet, lack of exercise, hypertension, cigarette smoking, high stress job, an episode of snow-shoveling. Which of these will be adjudged 'the cause' is context- and interest-relative. A physician who gets a kick-back from a pharmaceutical concern will point to hypertension, perhaps, so that he can prescribe anangiotensin-converting enzyme inhibitor, while the man's wife might say that it was the snow shoveling that did him in. A liberal might say that the heart attack was caused by smoking.

Or suppose a short-circuit is cited as 'the cause' of a fire. In terms of fundamental physics, the whole state of the world at time determines its state at subsequent times. At this level, a short-circuit and the power's being on are equally causal in respect of a fire. Our saying that the short-circuit caused the fire, not the power's being on, simply advertises the fact that for us the latter is the normal and desired state of things, the state we have an interest in maintaining, and that the former is the opposite. Desire and interest are of course intentional notions: to desire is to desire something; to be interested is to be interested in something.

What these examples show is that there is an ordinary-language use of 'cause' which is context-sensitive and interest-relative. The ordinary notion of cause, then, resting as it does on our interests and desires, presupposes intentional notions. I cannot be interested in or desire something unless I am conscious of it. And I cannot adjudge one state of affairs as normal and the other as abnormal unless I have interests and desires.

In the case of my tokening of 'that tree,' what justifies us in saying that it is the tree that causes the tokening as opposed the total set of causal conditions including sunlight, my corrective lenses, my not having ingested LSD, the absence of smoke and fog, the proper functioning of my visual cortex, etc.? How is it that we select the tree as 'the cause'? And what about this selecting? It cannot be accounted for in terms of physical causation. The tree does not select itself as salient cause. We select it. But then selecting is an intentional performance. So intentionality, which underpins both mental and linguistic reference, comes back in through the back door.

The upshot is that an account of successful reference in terms of causation is viciously circular. What makes 'that tree' as tokened by me here and now refer to the tree in front of me? It cannot be the total cause of the tokening which includes all sorts of causal factors other than tree such as light and the absence of fog. It must be the salient cause. To select this salient cause from the among the various casual factors is to engage in an intentional performance. So reference presupposes intentionality and cannot be accounted for in non-intentional, purely causal, terms. Otherwise you move in an explanatory cricle of embarrassingly short diameter.

The point could be put as follows: I must already (logically speaking) have achieved reference to the tree in a noncausal way if I am then to single out the tree as the physical cause of my successful mental and linguistic reference.

Of course, I am not denying that various material and causal factors underpin mental and linguistic reference. What I am maintaining is that these factors are useless when it comes to providing a noncircular account of reference.

Now if causation cannot account for reference, then it cannot account for sameness of reference.

Dale and I are both in perceptual states. These two perceptual states have a common cause. But this common cause cannot be what makes one of our references successful and the other unsuccessful.

Christ and Allah

The above questions are analogs of the 'Same God?' question. Suppose a Christian and a Muslim each has a mystical or religious experience of the same type, that of the Inner Locution. Each cries out in prayer and each 'hears' the inner locution, "I am with you," and a deep peace descends upon him. Each is thankful and expresses his thanks. Suppose God exists and is the source of both of these locutions. But while the Christian may interpret the source of his experience in Trinitarian terms, the Muslim will not. Suppose the Christian takes the One who is answering to be a Person of the Trinity, Christ, while the Muslim takes it to be Allah who is answering. In expressing his thankfulness, the Christian prayerfully addresses Christ while the Muslim prayerfully addresses Allah.

Are Christian and Muslim referring to one and the same divine being? Yes, if the referent is the source/cause of the inner locutions. But this common cause does not select as between Christ and Allah, and so the common cause does not suffice to establish that Christian and Muslim are referring to one and the same divine being.

God and Mind: Indiscernibility Arguments

Are the Christian and Muslim Gods the same? Why not settle this in short order with a nice, crisp, Indiscernibility argument? To wit,

a. If x = y, then x, y share all intrinsic properties. (A version of the Indiscernibility of Identicals)
b. The God of the Christians and that of the Muslims do not share all intrinsic properties: the former is triune while the latter is not.
Therefore
c. The God of the Christians is not identical to that of the Muslims.

Not so fast!

With no breach of formal-logical propriety one could just as easily run the argument in reverse, arguing from the negation of (c) to the negation of (b). They are the same God, so they do share all intrinsic properties!

But then what about triunity? One could claim that triunity is not an intrinsic property. A Muslim might claim that triunity is a relational property, a property that involves a relation to the false beliefs of Christians. In other words, triunity is the relational property of being believed falsely by Christians to be a Trinity.

Clearly, a relational property of this sort cannot be used to show numerical diversity. Otherwise, one could 'show' that the morning and evening 'stars' are not the same because Shlomo of Brooklyn believes of one that it is a planet but of the other than it is a star.

Now consider a 'mind' argument.

a. If x = y, then x, y share all intrinsic properties. (A version of the Indiscernibility of Identicals)
b*. This occurrent thinking of Venus and its associated brain state do not share all intrinsic properties: my mental state is intentional (object-directed) whereas my brain state is not.
Therefore
c*. This occurrent thinking of Venus is not identical to its associated brain state.

Not so fast! A resolute token-token mind-brain identity theorist will run the argument in reverse, arguing from the negation of (c*) to the negation of (b*).

But then what about intentionality? The materialist could claim that intentionality is not an intrinsic property, but a relational one. Taking a page from Daniel Dennett, he might argue that intentionality is a matter of ascription: nothing is intrinsically intentional. We ascribe intentionality to what, in itself, is non-intentional. So in reality all there is is the brain state. The intentionality is our addition.

Now Dennett's ascriptivist theory of intentionality strikes me as absurd: it is either viciously infinitely regressive, or else viciously circular. But maybe I'm wrong. Maybe the infinite regress is benign. Can I show that it is not without begging the question?

Question for the distinguished MavPhil commentariat: Are there good grounds here for solubility-skepticism when it comes to philosophical problems?

Do Christians and Muslims Believe in the Same God? Francis Beckwith and the Kalam Cosmological Argument

Francis Beckwith mentions the Kalam Cosmological Argument in his latest The Catholic Thing article (7 January 2106):

1. Whatever begins to exist has a cause.
2. The universe began to exist.
3. Therefore, the universe has a cause of its existence.

Suppose that a Muslim and Christian come to believe that God exists on the basis of this Kalam argument and such ancillary philosophical arguments and considerations as are necessary to establish that the cause of the universe is uncreated, transcendent of the universe, unchanging, etc. The result is a conception of God achieved by reason without the aid of divine revelation. It is a conception common to the normative Muslim and the normative Christian. Crucial differences emerge when the core conception is fleshed out in competing ways by the competing (putative) revelations. But if we stick with the core philosophical conception, then all should agree that there is important overlap as between the Christian and Muslim God conceptions. The overlap is achieved by abstraction from the differences.

So far so good.

Beckwith then asks whether the Muslim and the Christian "believe in the same God" and he concludes that they do.

Permit me a quibble. 'Believe in' connotes 'trust in, have faith in, rely upon the utterances of,' and so on. I believe in my wife: I trust her, I am convinced of her fidelity. That goes well beyond believing that she exists. If I believe in a person, it follows that I believe that the person exists. But if I believe that a person exists, it does not follow that I believe in the person. Professor Beckwith is of course aware of this distinction.

At best, then, what the Christian and the Muslim are brought to by the Kalam argument and supplementary considerations is not belief in God, but belief that God exists. To be even more precise, the Kalam argument, at best, brings us to the belief that there exists a unique, transcendent, uncreated (etc.) cause of the beginning of the universe. In other words, both Christian and Muslim are brought to the belief and perhaps even the knowledge that a certain definite description is satisfied. The properties mentioned in this description are what constitute the shared philosophical understanding of 'God' by the Muslim and the Christian. At best, philosophy brings us to knowledge of God by description, not a knowledge by acquaintance. The common description is usefully thought of as a 'job description' inasmuch as God in brought in to do a certain explanatory job, that of explaining the beginning of the universe. As my teacher J. N. Findlay once said, "God has his uses."

But note that this common Christian-Muslim description leaves undetermined many properties an existent God must possess. (And it must be so given the finitude of our discursive, ectypal, intellects.) But in reality, outside the mind and outside language, God, like everything else, is completely determinate, or complete, for short. I am assuming the following existence entails completeness principle of general metaphysics (metaphysica generalis).

EX –>COMP: Necessarily, for any existent x, and for any non-intentional property P, either x instantiates P or x instantiates the complement of P.

What the principle states is that every real item, everything that exists, satisfies the property version of the Law of Excluded Middle. It rules out of reality incomplete objects. For example, God in reality is either triune or non-triune. He cannot be neither, any more than I can be neither a blogger nor not a blogger. The definite description(s) by means of which we have knowledge by description of God, however, are NECESSARILY (due to the finitude of our intellects) such that there are properties of God in reality that these descriptions do not mention. This is of course true of knowledge by description of everything. Everything is such that no description manageable by a finite mind makes mention of all of the thing's properties, intrinsic and relational.

Now suppose that Christianity is true and that God in reality is triune. Then the above common definite description is satisfied. The common Muslim-Christian conception is instantiated — but it is instantiated by the Christian God which of course must exist to instantiate it.

The Christian and the Muslim both believe that God (understood as the unique uncreated creator of the universe) exists. That is: they believe that the common conception of God is instantiated, that the common definite description is satisfied. They furthermore believe that the common conception is uniquely instantiated and that the common description is uniquely satisfied. But they differ as to whether the instantiator/satisfier is the triune God or the non-triune God.

So we can answer our question as follows. The question, recall, is: Do Christians and Muslims believe in the same God?

Muslims and Christians believe in the same God, as Beckwith claims, in the following precise sense: they believe that the same God exists, which is to say: they believe that the common philosophical God concept is uniquely instantiated, instantiated by exactly one being. Call this the anemic sense of believing in the same God.

But this is consistent with saying that Muslim and Christian do not believe in the same God in the following precise sense: they don't believe that the wholly determinate being in reality that instantiates the common philosophical God concept is the triune God who sent his only begotten Son, etc. Call this the robust sense of believing in the same God.

Now we robustos will naturally go with the robust sense. So, to give a plain answer: Christians and Muslims do not believe in the same God. If Christianity is true, the Muslim God simply does not exist, and Muslims believe in an idol.

The mistake that some are making here is to suppose that the shared Muslim-Christian philosophical understanding enscapsulated in the common concept suffices to show that in reality one and the same God is believed in, and successfully referred to, and non-idolatrously worshipped by both Muslims and Christians. Not so!

The real (extramental, extralinguistic) existence of God cannot be identified with or reduced to the being instantiated of a concept that includes only some of the divine determinations (properties). 'Is instantiated' is a second-level predicate, but God exists in the first-level way. Equivalently, God is not identical to an instance of one of our concepts. God is transcendent of all our concepts. So if we know by revelation that God is a Trinity, then we know that the Muslim God, the non-triune God, does not exist.

Alles klar?

Why Muslims and Christians Worship the Same God

Do Christians and Muslims Worship the Same God?

Francis Beckwith and Dale Tuggy, two philosophers I respect, answer in the affirmative in recent articles. While neither are obviously wrong, neither are obviously right either, and neither seem to appreciate the depth and difficulty of the question. In all fairness, though, the two articles in question were written for popular consumption.

Beckwith begins with an obvious point: from a difference in names one cannot validly infer a difference in nominata. 'Muhammad Ali' and 'Cassius Clay,' though different names, refer to the same person. The same goes for 'George Orwell' and 'Eric Blair.' They refer to the same writer. So from the difference of 'Yahweh' and 'Allah' one cannot infer that Yahweh and Allah are numerically different Gods. Similarly, with 'God' and 'Allah.' Difference in names is consistent with sameness of referent. But difference in names is also consistent with difference of referents, a point that Beckwith does not make. 'Trump' and 'Obama' are different names and they refer to different people. 'Trump' and 'Zeus' are different names but only one of them refers, which implies that they do not have the same referent. It may be that 'God' and 'Allah' are like 'Trump' and 'Zeus' or like 'Trump' and 'Pegasus.'

Another obvious point Beckwith makes is that if some people have true beliefs about x, and other people have false beliefs about x, it does not follow that there is no one x that these people have true and false beliefs about. Suppose Sam believes (falsely) that Karl Marx is a Russian while Dave believes (truly) that he is a German. That is consistent with there being one and same philosopher that they have beliefs about and are referring to. Now suppose God is triune. Then (normative) Christians have the true belief that God is triune while (normative) Muslims have the false belief that God is not triune. This seems consistent with there being one God about whom they have different beliefs but to whom they both refer and worship. But it is also consistent with a difference in referent. It could be that when a Christian uses 'God' he refers to something while a Muslim refers to nothing when he uses 'Allah.'

Of course, both Christian and Muslim intend to refer to something real with their uses of 'God' and 'Allah.' But the question is whether they both succeed in referring to something real and whether that thing is the same thing. It could be that one succeeds while the other fails. And it could be that both succeed but succeed in referring to different items.

Consider God and Zeus. Will you say that the Christian and the ancient Greek polytheist worship the same God except that the Greek has false beliefs about their common object of worship, believing as he does that Zeus is a superman who lives on a mountain top, literally hurls thunderbolts, etc.? Or will you say that there is no one God that they worship, that the Christian worships a being that exists while the Greek worships a nonexistent object? And if you say the latter, why not also say the same about God and Allah, namely, that there is no one being that they both worship, that the Christian worships the true God, the God that really exists, whereas Muslims worship a God that does not exist?

And then there is the God of the orthodox Christian and the Deus sive Natura of Spinoza. Would it make sense to say that the orthodox Christian and the Spinozist worship the same God? Would it make sense for the orthodox Christian to give this little speech:

We and the Spinozists worship the same God, the one and only God, but we have different beliefs about this same God. We Christians believe (truly) that God is a transcendent being who could exist without having created anything, whereas Spinozists believe (falsely) that God is immanent and could not have existed without having created anything. Still and all, we and the Spinozists are referring to and worshiping exactly the same God.

Are the Christians and the Spinozists referring to one and the same being and differing merely about its attributes? I say No! The conceptions of deity are so radically different that there cannot be one and the same item to which they both refer when they say 'God' or Deus. (Deus is Latin for 'God.')

This is blindingly obvious in the case of the orthodox Christian versus the Feuerbachian. They both talk and write about God. Do they refer to one and same being with 'God' or 'Gott' and differ merely on his attributes? This is impossible. For the Feuerbachian, God is an unconsciously projected anthropomorphic projection. For the orthodox Christian, God is no such thing: he exists in reality beyond all human thoughts, desires, projections. It's the other way around: Man is a theomorphic projection. The characteristic Feuerbachian thesis, although it appears by its surface structure to be a predication ascribing a property to God, namely, the property of being an unconsciously projected anthropomorphic projection, is really a negative existential proposition equivalent to 'God does not exist.' Compare: 'Sherlock Holmes is a purely fictional item.' Is this at logical bottom a predication? Pace Meinong, it is not: in its depth structure it is a negative existential equivalent to 'Sherlock Holmes does not exist.' To be precise, it entails the latter. For it also conveys that the character Holmes figures in an extant piece of fiction which of course does exist.

To sum up the main point: there are concepts so radically different that they cannot be concepts of one and the same thing. Some people say that thoughts, i.e., acts or episodes of thinking, are brain states. Others object: "Thoughts are intentional or object-directed, whereas no physical state is object-directed; hence, no thought is a brain state." This is equivalent to maintaining that the concept intentional state and the concept physical state cannot be instantiated by one and the same item. So it cannot be the case that the mind-brain identity theorist and I are referring to the same item when I refer to my occurrent desiring of a double espresso.

Dale Tuggy writes,

Christians and Muslims disagree about whether God has a Son, right? Then, they’re talking about the same (alleged) being. They may disagree about “who God is” in the sense of what he’s done, what attributes he has, how many “Persons” are in him, and whether Muhammad was really his Messenger, etc. But disagreement assumes one subject-matter – here, one god.

I think Tuggy is making a mistake here. Surely disagreement about the properties of a putatively self-same x does not entail that there is in reality one and the same x under discussion, although it is logically consistent with it.

A dispute between me and Ed Feser, say, about whether our mutual acquaintance Tuggy has a son no doubt presupposes, and thus entails, that there is one and the same man whom we are talking about. It would be absurd to maintain that there are two Tuggys, my Tuggy and Ed's where mine has a son and Ed's does not. It would be absurd for me to say, "I'm talking about the true Tuggy while you, Ed, are talking about a different Tuggy, one that doesn't exist. You are referencing, if not worshipping, a false Tuggy." Why is this absurd? Because we are both acquainted with the man ('in the flesh,' by sense-perception) and we are arguing merely over the properties of the one and the same man with whom we are both acquainted. There is simply no question but that he exists and that we are both referring to him. The dispute concerns his attributes.

But of course the situation is different with God. We are not acquainted with God: God, unlike Tuggy, is not given to the senses. Mystical intuition and revelation aside, we are thrown back upon our concepts of God. And so it may be that the dispute over whether God is triune or not is not a dispute that presupposes that there is one subject-matter, but rather a dispute over whether the Christian concept of God (which includes the sub-concept triune) is instantiated or whether the Muslim concept (which does not include the subconcept triune) is instantiated. Note that they cannot both be instantiated by the same item similarly as the concept object-directed state and the concept physical state cannot be instantiated by one and the same item such as my desiring an espresso.

The point I am making against both Beckwith and Tuggy is that it is not at all obvious which of the following views is correct:

V1: Christian and Muslim can worship the same God, even though one of them must have a false belief about God, whether it be the belief that God is unitarian or the belief that God is trinitarian.

V2: Christian and Muslim must worship different Gods precisely because they have mutually exclusive conceptions of God. So it is not that one of them has a false belief about the one God they both worship; it is rather that one of them does not worship the true God at all.

There is no easy way to decide rationally between these two views. We have to delve into the philosophy of language and ask how reference is achieved. How do linguistic expressions attach or apply to extralinguistic entities? How do words grab onto the (extralinguistic) world? In particular, how do nominal expressions work? What makes my utterance of 'Socrates' denote Socrates rather than someone or something else? What makes my use of 'God' (i) have a referent at all and (ii) have the precise referent it has?

It is reasonable to hold, with Frege, Russell, Searle, and many others, that reference is routed through, and determined by, sense: an expression picks out its object in virtue of the latter's unique satisfaction of a description associated with the referring expression, a description that unpacks the expression's sense. If we think of reference in this way, then 'God' refers to whatever entity, if any, that satisfies the definite description encapsulated in 'God' as this term is used in a given linguistic community.

Given that God is not an actual or possible object of (sense) experience, this seems like a reasonable approach to take. The idea is that 'God' is a definite description in disguise so that 'God' refers to whichever entity satisfies the description associated with 'God.' The reference relation is then one of satisfaction. A grammatically singular term t refers to x if and only if x exists and x satisfies the description associated with t. Now consider two candidate definite descriptions, the first corresponding to the Muslim conception, the second corresponding to the Christian.

D1: 'the unique x such that x is omnipotent, omniscient, omnibenevolent, created the world ex nihilo and is unitarian'

D2: 'the unique x such that x is omnipotent, omniscient, omnibenevolent, created the world ex nihilo, and is triune.'

Suppose that reference is not direct, but routed through sense, or mediated by a description, in the manner explained above. It is easy to see that no one entity can satisfy both (D1) and (D2). For while the descriptions overlap, nothing can be both unitarian and triune. So if reference is routed through sense, then Christian and Muslim cannot be referring to the same being. Indeed, one of them is not succeeding in referring at all. For if God is triune, nothing in reality answers to the Muslim's conception of God. And if God is unitarian, then nothing in reality answers to the Christian conception.

And so, contrary to what Miroslav Volf maintains, the four points of commonality in the Christian and Muslim conceptions do NOT "establish the claim that in their worship of God, Muslims and Christians refer to the same object." (Allah: A Christian Response, HarperCollins 2011, p. 110.) The four points are:

a. There is exactly one God.
b. God is the creator of everything distinct from himself.
c. God is transcendent: he is radically different from everything distinct from himself.
d. God is good.

For if reference to God is mediated by a conception which includes the subconcept triune or else the subconcept unitarian, then the reference cannot be to the same entity. And this despite the conceptual overlap represented by (a)-(d).

A mundane example (adapted from Saul Kripke) will make this more clear. Sally sees a handsome man at a party standing in the corner drinking a clear bubbly liquid from a cocktail glass. She turns to her companion Nancy and says, "The man standing in the corner drinking champagne is handsome!" Suppose the man is not drinking champagne, but mineral water instead. Has Sally succeeded in referring to the man or not?

Argumentative Nancy, who knows that no alcohol is being served at the party, and who also finds the man handsome, says, "You are not referring to anything: there is no man in the corner drinking champagne. The man is drinking mineral water or some other bubbly clear beverage. Nothing satisfies your definite description. There is no one man we both admire. Your handsome man does not exist, but mine does."

Now in this example what we would intuitively say is that Sally did succeed in referring to someone using a definite description even though the object she succeeded in referring to does not satisfy the description. Intuitively, we would say that Sally simply has a false belief about the object to which she is successfully referring, and that Sally and Nancy are referring to and admiring the very same man.

But note how this case differs from the God case. Both women see the man in the corner. But God is not an object of possible (sense) experience. We don't see God in this life. Hence the reference of 'God' cannot be nailed down perceptually. A burning bush is an object of possible sense experience, and God may manifest himself in a burning bush; but God is not a burning bush, and the referent of 'God' cannot be a burning bush. The man in the corner that the women sees and admire is not a manifestation of a man, but a man himself.

Given that God is not literally seen or otherwise sense-perceived in this life, then, apart from mystical experience and revelation, the only way to get at God is via concepts and descriptions. And so it seems that in the God case what we succeed in referring to is whatever satisfies the definite description that unpacks our conception of God.

My tentative conclusion, then, is that (i) if we accept a description theory of names, the Christian and Muslim do not refer to the same being when they use 'God' or 'Allah' and (ii) that a description theory of names is what we must invoke given the non-perceivability of God. Christian and Muslim do not refer to the same being because no one being can satisfy both (D1) and (D2) above: nothing can be both triune and not triune any more than one man can both be drinking champagne and not drinking champagne at the same time.

If, on the other hand, 'God' is a logically proper name whose reference is direct and not routed through sense or mediated by a definite description, then what would make 'God' or a particular use of 'God' refer to God? If names are Millian tags, we surely cannot 'tag' God in the way I could tag a stray cat with the name 'Mungo.'

One might propose a causal theory of names.

The causal theory of names of Saul Kripke et al. requires that there be an initial baptism of the target of reference, a baptism at which the name is first introduced. This can come about by ostension: Pointing to a newly acquired kitten, I bestow upon it the moniker, 'Mungojerrie.' Or it can come about by the use of a reference-fixing definite description: Let 'Neptune' denote the celestial object responsible for the perturbation of the orbit of Uranus. In the second case, it may be that the object whose name is being introduced is not itself present at the baptismal ceremony. What is present, or observable, are certain effects of the object hypothesized. (See Saul Kripke Naming and Necessity, Harvard 1980 p. 79, n. 33 and p. 96, n. 42.)

As I understand it, a necessary condition for successful reference on the causal theory is that a speaker's use of a name be causally connected (either directly or indirectly via a causal chain) with the object referred to. We can refer to objects only if we stand in some causal relation to them (direct or indirect). So my use of 'God' refers to God not because there is something that satisfies the definite description or Searlean disjunction of definite descriptions that unpack the sense of 'God' as I use the term, but because my use of 'God' can be traced back though a long causal chain to an initial baptism, as it were, of God by, say, Moses on Mt. Sinai.

A particular use of a name is presumably caused by an earlier use. But eventually there must be an initial use. Imagine Moses on Mt. Sinai. He has a profound mystical experience of a being who conveys to his mind such exogenic locutions as "I am the Lord thy God; thou shalt not have false gods before me." Moses applies 'God' or 'YHWH' to the being he believes is addressing him in the experience. But what makes the name the name of the being? One may say: the being or an effect of the being is simply labelled or tagged with the name in an initial 'baptism.'

But a certain indeterminacy seems to creep in if we think of the semantic relation of referring as explicable in terms of tagging and causation (as opposed to in terms of the non-causal relation of satisfaction of a definite description encapsulated in a grammatically proper name). For is it the (mystical) experience of God that causes the use of 'God'? Or is it God himself who causes the use of 'God'? If the former, then 'God' refers to an experience had by Moses and not to God. Surely God is not an experience. But if God is the cause of Moses' use of 'God,' then the mystical experience must be veridical. (Cf. Richard M. Gale, On the Nature and Existence of God, Cambridge UP, 1991, p. 11.)

So if we set aside mystical experience and the question of its veridicality, it seems we ought to adopt a description theory of the divine names with the consequences mentioned in (i) above. If, on the other hand, a causal theory of divine names names is tenable, and if the causal chain extends from Moses down to Christians and (later) to Muslims, then a case could be made that Jews, Christians, and Muslims are all referring to the same God when they use 'God' and such equivalents as 'Yahweh' and 'Allah.'

So it looks like there is no easy answer to the title question. It depends on the resolution of intricate questions in the philosophy of language.

Galen Strawson: It is Certain that the Christian God does not Exist!

Here, in The New York Review of Books:

To the Editors:

Thomas Nagel writes that “whether atheists or theists are right depends on facts about reality that neither of them can prove” [“A Philosopher Defends Religion,” Letters, NYR, November 8]. This is not quite right: it depends on what kind of theists we have to do with. We can, for example, know with certainty that the Christian God does not exist as standardly defined: a being who is omniscient, omnipotent, and wholly benevolent. The proof lies in the world, which is full of extraordinary suffering. If someone claims to have a sensus divinitatis that picks up a Christian God, they are deluded. It may be added that genuine belief in such a God, however rare, is profoundly immoral: it shows contempt for the reality of human suffering, or indeed any intense suffering.

Galen Strawson

Strawson is telling us that it is certain that the God of Christianity does not exist because of the suffering in the world.

How's that for pure bluster?

What we know is true, and what we know with certainty we know without the possibility of mistake. When Strawson claims that it is certain that the Christian God does not exist, he is not offering an autobiographical comment: he is not telling us that it is subjectively certain, certain for him, that the Christian God does not exist. He is maintaining that it is objectively certain, certain in itself, and thus certain for anyone. From here on out 'certain' by itself is elliptical for 'objectively certain.'

And why is it certain that the Christian God does not exist? Because of the "extraordinary suffering" in the world. Strawson appears to be endorsing a version of the argument from evil that dates back to Epicurus and in modern times was endorsed by David Hume. The argument is often called 'logical' to distinguish it from 'evidential' arguments from evil. Since evidential or inductive or probabilistic arguments cannot render their conclusions objectively certain even if all of their premises are certain, Strawson must have the 'logical' argument in mind. Here is a version:

If God exists, then God is omnipotent, omniscient, and morally perfect.
If God is omnipotent, then God has the power to eliminate all evil.
If God is omniscient, then God knows when evil exists.
If God is morally perfect, then God has the desire to eliminate all evil.
Evil exists.
If evil exists and God exists, then either God doesn’t have the power to eliminate all evil, or doesn’t know when evil exists, or doesn’t have the desire to eliminate all evil.
Therefore, God doesn’t exist.

It is a clever little argument, endlessly repeated, and valid in point of logical form. But are its premises objectively certain? This is not the question whether the argument is sound. It is sound if and only if all its premises are true. But a proposition can be true without being known, and a fortiori, without being known with certainty, i.e., certain. The question, then, is whether each premise in the above argument is objectively certain. If even one of the premises is not, then neither is the conclusion.

Consider (5). It it certain that evil exists? Is it even true? Are there any evils? No doubt there is suffering. But is suffering evil? I would say that it is, and I won't protest if you say that it is obvious that it is. But the obvious needn't be certain. It is certainly not the case that it is certain that suffering is evil, objectively evil. It could be like this. There are states of humans and other animals that these animals do not like and seek to avoid. They suffer in these states in a two-fold sense: they are passive with respect to them, and they find the qualitative nature of these states not to their liking, to put it in the form of an understatement. But it could be that these qualitatively awful states are axiologically neutral in that there are no objective values relative to which one could sensibly say something like, "It would have been objectively better has these animals not suffered a slow death."

The point I am making is that only if suffering is objectively evil could it tell against the objective existence of God. But suffering is objectively evil only if suffering is objectively a disvalue. So suffering is objectively evil and tells against the existence of God only if there are objective values and disvalues.

Perhaps all values and preferences are merely subjective along with all judgments about right and wrong. Perhaps all your axiological and moral judgments reduce to mere facts about what you like and dislike, what satisfies your desires and what does not. Perhaps there are no objective values and disvalues among the furniture of the world. I don't believe this myself. But do you have a compelling argument that it isn't so? No you don't. So you are not certain that it isn't so.

And so you are not certain that evil exists. Evil ought not be and ought not be done, by definition. But it could be that there are no objective oughts and ought-nots, whether axiologically or agentially. There is just the physical world. This world includes animals with their different needs, desires, and preferences. There is suffering, but there is no evil. Since (5) is not certain, the conclusion is not certain either.

Now consider (2): If God is omnipotent, then God has the power to eliminate all evil. Is that certain? Is it even true? Does God have the power to eliminate the evil that comes into the world through finite agents such as you and me? Arguably he does not. For if he did he would be violating our free will. By creating free agents, God limits his own power and allows evils that he cannot eliminate. Therefore, it is certainly not certain that (2) is true even if it is true. Reject the Free Will Defense if you like, but I will no trouble showing that the premises you invoke in your rejection are not certain.

Pure ideologically-driven bluster, then, from an otherwise brilliant and creative philosopher.

The Problem of Evil and the Argument from Evil

It is important to distinguish between the problem of evil and the argument from evil. The first is the problem of reconciling the existence of God, as traditionally understood, with the existence of natural and moral evils. As J. L. Mackie points out, this "is essentially a logical problem: it sets the theist the task of clarifying and if possible reconciling the several beliefs which he holds." (The Miracle of Theism, Oxford 1982, p. 150) Mackie goes on to point out that "the problem in this sense signally does not arise for those whose views of the world are markedly different from traditional theism." Thus the theist's problem of evil does not arise for an atheist. It might, however, be the case that some other problem of evil arises for the atheist, say, the problem of reconciling the existence of evil with life's being worth living. But that is a separate matter. I discuss it in A Problem of Evil for Atheists.

The argument from evil, on the other hand, is an attempt to show the nonexistence of God from the fact of evil, where 'fact of evil' is elliptical for 'the existence of natural and moral evils.'

THE DIFFERENCE BETWEEN THE PROBLEM OF EVIL AND THE ARGUMENT FROM EVIL

The main difference between the problem of evil and the argument from evil is that the former is an ad hominem argument whereas the second is not. I am using ad hominem in the way Peter Geach uses it on pp. 26-27 of his Reason and Argument (Basil Blackwell 1976):

This Latin term indicates that these are arguments addressed to a particular man — in fact, the other fellow you are disputing with. You start from something he believes as a premise, and infer a conclusion he won't admit to be true. If you have not been cheating in your reasoning, you will have shown that your opponent's present body of beliefs is inconsistent and it's up to him to modify it somewhere.

As Geach points out, there is nothing fallacious about such an argumentative procedure. If A succeeds in showing B that his doxastic system harbors a contradiction, then not everything that B believes can be true. Now can an atheist prove the nonexistence of God in this way? No he cannot: at the very most he can prove (with the aid of various auxiliary premises that he and his interlocutor both accept) that God exists and Evil exists cannot both be true. But it does not follow therefrom that God exists is not true. For the atheist to transform the ad hominem problem of evil into a non-ad hominem argument from evil, he would have to establish, or at least assert, that evil exists, and not merely that the theist believes that evil exists. To see my point consider the following conditional, where P is the conjunction of auxiliary premises:

C. If evil exists & P, then God does not exist.

The atheist who raises the problem of evil for the theist asserts (C), or rather a proposition of that form. But to assert a conditional is not to assert its antecedent, or its consequent for that matter; it is to assert an entailment connection between the two. Now although it is the case that for each argument there is a corresponding conditional, and vice versa, arguments must not be confused with conditionals.

Transforming (C) into an argument from evil yields:

Evil Exists

P

Therefore

God does not exist.

Clearly, an atheist who gives this argument, or rather an argument of this form, must assert both premises. Doing so, he ceases his ad hominem examination of the consistency of another person's beliefs, beliefs he either rejects or takes no stand on, and 'comes clean' with his own beliefs.

THE ARGUER FROM EVIL NEEDS TO AFFIRM OBJECTIVE EVIL

If the atheist's aim is merely to poke holes in the logical consistency of the theist's belief set, then it doesn't matter whether he thinks of evil as objective or subjective. Indeed, he needn't believe in evil in any sense. He could hold that it is an illusion. But if the atheist's goal is to support his own belief that God does not exist with an argument from evil, then he needs to maintain that evil is objective or objectively real.

Consider all the enslavement of humans by humans that has taken place in the history of the world. Suppose it is agreed that slavery is morally wrong. What makes this true? Define a moral subjectivist as one who agrees that the claim in question is true, but holds that the truth-maker of this moral truth, and of others like it, is an individual's being in a psychological state, say, the state of being repulsed by slavery. For the moral subjectivist, then, sentences like 'Slavery is wrong' are elliptical for sentences like 'Slavery is wrong-for-X,' where X is a person or any being capable of being in psychological states. Furthermore, the moral subjectivist grants that moral claims have truth-makers, indeed objective truth-makers; it is just that these truth-makers involve psychological states that vary from person to person.

Now if our atheist subscribes to a theory of evil along those lines, then, although there will be objective facts of the matter regarding what various individuals feel about the practice or the institution of slavery, there will be no objective fact of the matter regarding the wrongness or moral evil of slavery.

If so, the fact of evil subjectively construed will have no bearing on the existence of God, a fact, if it a fact, that is objective.

Suppose a torturer tortures his victim to death solely for the satisfaction it gives him. And suppose that moral subjectivism is true. Then the torturing, though evil for the tortured, is good for the torturer, with the upshot that the torturing is neither good nor evil objectively. Now if I were on the scene and had the power to stop the torturing, but did not, would my noninterference detract from my moral goodness? Not at all. (The same goes a fortiori for God.) For nothing objectively evil is transpiring: all that is going on is that one person is securing his pleasure at the expense of another's pain. If you insist that something evil is going on, then that shows that you reject moral subjectivism. But if you accept moral subjectivism, then nothing evil is going on; the torturing is evil only in the mind of the victim and in the minds of any others who sympathize with him. If you accept moral subjectivism and continue to insist that the torturing is evil, then you would also have to insist that it is good, since it is good from the perspective of the torturer. But if it is both good and evil, then it is (objectively) neither.

What I am claiming, then, is that the atheist arguer from evil must construe evil objectively. This will result in trouble for the atheist if it can be shown that objective evil cannot exist unless God exists. For then the atheist arguer from evil will end up presupposing the very being whose existence he is out to deny. No doubt this is a big 'if.' But it is worth exploring. The problem for the atheist is to explain how there can be objective good and evil in a Godless universe. I wish him the best of luck with that.

And another line worth exploring is a theistic argument to God from the fact of objective good and evil. No such argument could PROVE the existence of God, but it could very well have the power of cancelling out the argument from evil.

Knowing God Through Experience

A mercifully short (9:17) but very good YouTube video featuring commentary by name figures in the philosophy of religion including Marilyn Adams, William Alston, William Wainwright, and William Lane Craig. Craig recounts the experience that made a theist of him. (HT: Keith Burgess-Jackson)

As Marilyn Adams correctly points out at the start of the presentation, the belief of many theists is not a result of religious experience. It comes from upbringing, tradition, and participation in what Wittgenstein called a "form of life" with its associated "language game." I myself, however, could not take religion seriously if it were not for the variety of religious, mystical, and paranormal experiences I have had, bolstered by philosophical reasoning both negative and positive. Negative, as critique of the usual suspects: materialism, naturalism, scientism, secular humanism, and so on. Positive, the impressive array of theistic arguments and considerations which, while they cannot establish theism as true, make a powerful case for it.

But my need for direct experience reflects my personality and, perhaps, limitations. I am an introvert who looks askance at communal practices such as corporate prayer and church-going and much, if not all, of the externalities that go with it. I am not a social animal. I see socializing as too often levelling and inimical to our ultimate purpose here below: to become individuals. Socializing superficializes. Man in the mass is man degraded. We need to be socialized out of the animal level, of course, but then we need solitude to achieve the truly human goal of individuation. Individuation is not a given, but a task. The social animal is still too much of an animal for my taste.

It is only recently that I have forced myself myself to engage in communal religious activities, but more as a form of self-denial than of anything else. My recent five weeks at a remote monastery were more eremitic than cenobitic, but I did take part in the services. And upon return I began attending mass with my wife. Last Sunday a man sat down next to me, a friendly guy who extended to me his hand, but his breath stank to high heaven. Behind me some guy was coughing his head off. And then there are those who show up for mass in shorts, and I am not talking about kids. The priest is a disaster at public speaking and his sermon is devoid of content. Does he even understand the doctrine he is supposed to teach? And then there are all the lousy liberals who want to reduce religion to a crapload of namby-pamby humanist nonsense. And let's not forget the current clown of a pope who, ignorant of economics and climatology, speaks to us of the evils of capitalism and 'global warming' when he should be speaking of the Last Things. (Could he name them off the top of his head?)

But then I reason with myself as follows. "Look, man, you are always going on about how man is a fallen being in a fallen world. Well, the church and its hierarchy and its members are part of the world and therefore fallen too. So what did you expect? And you know that the greatest sin of the intellectual is pride and that pride blinds the spiritual sight like nothing else. So suck it up, be a man among men, humble yourself. It may do you some good."

On Socializing

William James on Self-Denial

Addendum (31 October): Joshua Orsak writes,

I read about your recent experiences with communal
religion. Your self-reflection reminded me of something Rabbi Harold Kushner
writes about in his book WHO NEEDS GOD. He talks about visiting with a young man
who told him, "I hate churches and synagogues, they're full of nothing but
hypocrites and jerks"...Kushner says he had to fight the urge to say, 'yep, and
there is always room for one more'.

God and Man

Is God an anthropomorphic projection or is man a theomorphic creation?

Review of Barry Miller, A Most Unlikely God

I reviewed A Most Unlikely God in Dialogue: Canadian Philosophical Review (vol. XXXVIII, no. 3, Summer 1999, pp. 614-617). Prof. N.M.L Nathan expressed an interest in reading it, so here it is.

A Most Unlikely God: A Philosophical Enquiry into the Nature of God. By Barry Miller. Notre Dame, Indiana: University of Notre Dame Press, 1996, viii + 175 pp. $27.00.

This is the sequel to Professor Miller's From Existence to God: A Contemporary Philosophical Argument (Routledge, 1992). (See my review in American Catholic Philosophical Quarterly, vol. LXVII, no. 3, Summer 1993, pp. 390-394.) In that book he presents a version of the cosmological argument for the existence of God that does not rely on the principle of sufficient reason in any of its forms. A central upshot of that argument is that God as uncaused cause of the universe must be Subsistent Existence, i.e., a being not distinct from its existence. The notion that anything whatever could be non-distinct from its existence is of course an exasperatingly difficult one, and is rejected as incoherent by many, along with the doctrine of divine simplicity of which it is an integral part. An ontologically simple God is a most unlikely God since he is one in whom there is no real distinction between form and matter, act and potency, essence and existence, or individual and attribute. Since Miller's theistic argument terminates in the affirmation of a simple God, it is essential to his overall project to show the coherence of the very idea of a simple God and to rebut the numerous objections that have been brought against it. That is the task of the book under review.

Chapter 1 contrasts Miller's approach with the 'perfect-being theology' of the Anselmians. For the latter, God's perfection is construed as his possession of a maximally consistent set of great-making properties or perfections. Omnipotence is an example of a great-making property, and is taken by Anselmians as the logical maximum of a property that can be had by creatures. Thus Socrates is powerful, but God is maximally powerful. Miller rejects this approach to divine perfection in that it implies that such terms as 'powerful,' 'knowing,' 'loving,' etc., can be used univocally of God and creatures. (p. 2) On the Anselmian approach, the gulf between God and creatures is not an absolute divide, and thus God on this approach fails to be absolutely transcendent. The God of the Anselmians is thus "discomfitingly anthropomorphic." (p. 3)

Miller's alternative is to think of the greatest F not as a maximum or limit simpliciter in an ordered series of Fs, but as the limit case of such a series. (p. 4) Whereas the limit simpliciter of an F is an F, the limit case of an F is not an F. Consider, for example, the series: 3-place predicable, 2-place predicable, 1-place predicable. Since a predicable (e.g.,'___is wise') must have at least one place if it is to be a predicable, a 1-place predicable is a limit simpliciter of the ordered series of predicables. Although talk of zero-place predicables comes naturally, as when we speak of a proposition as a zero-place predicable, a zero-place predicable is no more a predicable than negative growth is growth. 'Zero-place' is thus an alienans adjective like 'negative' in 'negative growth' and 'decoy' in 'decoy duck.' Zero-place predicable is thus not a limit simpliciter of the series in question, but a limit case of this series: it is not a member of the series of which it is the limit case. It nevertheless stands in some relation to the members of the series inasmuch as they and the way they are ordered point to this limit case. (p. 8)

The idea, then, is that God's power is not the maximum or limit simpliciter of an ordered series of instances of power, but the limit case instance of power. This implies that God's power is not an instance of power any more than a zero-place predicable is a predicable. No doubt this will shock the Anselmians, but in mitigation it can be said that God's power, though not an instance of power, is that to which the ordered series of power-instances points, and is therefore something to which the members of that series stand in a definite relation.

Chapters 2, 3 and 4 engage the problem of how it could be that God is his existence. If sense can be made of this identity, the problem of how God can be identical with his non- existential properties should present no special difficulty. The story begins with Socrates who is spectacularly distinct from his existence. Of course, Socrates can be distinct from his existence only if there is some sense in which existence is a property of him. Since Frege, Russell and their epigones deny this, holding instead that existence is always a property of concepts or propositional functions, Miller devotes Chapter 2 to showing that there are first-level uses of '___exists' and thus that existence is a first-level property of contingent individuals. Miller makes a strong, and to this reviewer's mind convincing, case for this view.

But given that existence is a first-level property, it does not follow straightaway that it is a real (non-Cambridge) property. One is tempted to wonder what existence could 'add' to Socrates, and tempted to conclude that it could 'add' nothing and thus that existence is a Cambridge property. But so to conclude would be to labor under a false assumption as to how an individual is related to its existence. Chapter 3 argues that Socrates is not related to his existence in the way he is related to his wisdom. His wisdom inheres in him as subject; but it makes no sense to think of his existence as inhering in him as subject: "Socrates' existence could not inhere in him unless there was a sense in which he himself was real logically prior to his existence." (p. 30) And there is no such sense, as Miller goes on to argue. Plantinga's haecceities come in for a drubbing (pp. 31-32), and in general it is plausibly argued that individuals are inconceivable before they exist. That is, before Socrates came to exist, there were no de re possibilities involving him.

So although Socrates individuates his existence, i.e., makes his instance of existence distinct from every other such instance, Socrates cannot actualize his existence in the way he actualizes his wisdom: Socrates is logically posterior to his existence in respect of actuality. (p. 33) This seems right: Socrates' existence is what 'makes' him exist. But how can Socrates be logically posterior to his existence in respect of actuality and also logically prior to his existence in respect of individuation?

This question has an answer if Socrates is related to his existence, not as subject to what inheres in it, but as bound to what it bounds. A bound is logically posterior to what it bounds in respect of actuality, but logically prior in respect of individuation. Consider two blocks of ice cut from the same larger block. The two blocks are individuated by their bounding surfaces, which are logically posterior in respect of actuality to the blocks they bound. Bounds are parasitic on what they bound. But the bounding surfaces are logically prior in respect of individuation to the blocks they bound. This is a creative, if not wholly unproblematic, solution to what I am convinced is a genuine problem, namely, the problem of how existence can belong to an individual without being related to it as to a subject.

We are now in a position to understand the notion of Subsistent Existence as an identity of limit cases (Ch 4). Having seen that Socrates is the bound rather than the subject of his instance of existence, we form the notions of the limit case instance of existence and of the limit case bound of existence. "The notion of Subsistent Existence, then, is the notion of the entity which is jointly and identically the limit case instance of existence and the limit case bound of existence." (67) But doesn't this amount to the self-contradictory claim that some bound of existence is identical with the instance of existence which it bounds? No, because 'limit case' is an alienans adjective; a limit case bound of existence is not a bound at all, nor is a limit case instance of existence an instance of existence.

The rest of the book is an elaboration of this basic idea. Chapter 5 shows how God can be identical with his non-existential properties. Chapters 6 and 7 discuss the bearing of the simplicity doctrine on divine cognition, willing, and causation. Chapter 8 addresses the possibility of literal talk about a simple God. Miller attempts to show that on the limit case account of God's simplicity, "…absolute transcendence does not entail total ineffability…" (p. 154) Chapter 9 concludes the work.

There are some minor errors in the book, one of which should be mentioned. On p. 1, n. 1, Miller ascribes to Alvin Plantinga the view that God has no nature. This is a mistake, as Miller readily conceded when I pointed it out to him in correspondence. Plantinga of course holds that God has a nature; what he denies is that God is identical with his nature.

Minor errors aside, this work is the best defense of the divine simplicity to date. Anyone who thinks that this doctrine is obviously incoherent or easily dismissed should read this book — and think again.

God, Proof, and Desire

From a reader:

. . . I’m confused by some of your epistemic terms. You reject [in the first article referenced below] the view that we can “rigorously prove” the existence of God, and several times say that theistic arguments are not rationally compelling, by which you mean that there are no arguments “that will force every competent philosophical practitioner to accept their conclusions on pain of being irrational if he does not.“

Okay, so far I’m tracking with you. But then you go on to say that “[t]here are all kinds of evidence” for theism (not just non-naturalism), while the atheist “fails to account for obvious facts (consciousness, self-consciousness, conscience, intentionality, purposiveness, etc.) if he assumes that all that exists is in the space-time world. I will expose and question all his assumptions. I will vigorously and rigorously drive him to dogmatism. Having had all his arguments neutralized, if not refuted, he will be left with nothing better than the dogmatic assertion of his position."

So how is the atheist not irrational on your view, assuming he is apprised of your arguments? Perhaps the positive case for theism and the negative case against naturalism don’t count as demonstrations in a mathematical sense, but I’m not sure why they’re not supposed to be compelling according to your gloss on the term.

The term 'mathematical' muddies the waters since it could lead to a side-wrangle over what mathematicians are doing when they construct proofs. Let's not muddy the waters. My claim is that we have no demonstrative knowledge of the truth of theism or of the falsity of naturalism. Demonstrative knowledge is knowledge produced by a demonstration. A demonstration in this context is an argument that satisfies all of the following conditions:

1. It is deductive
2. It is valid in point of logical form
3. It is free of such informal fallacies as petitio principii
4. It is such that all its premises are true
5. It is such that all its premises are known to be true
6. It is such that its conclusion is relevant to its premises.

To illustrate (6). The following argument satisfies all of the conditions except the last and is therefore probatively worthless:

Snow is white
ergo
Either Obama is president or he is not.

On my use of terms, a demonstrative argument = a probative argument = a proof = a rationally compelling argument. Now clearly there are good arguments (of different sorts) that are not demonstrative, probative, rationally compelling. One type is the strong inductive argument. By definition, no such argument satisfies (1) or (2). A second type is the argument that satisfies all the conditions except (5).

Can one prove the existence of God? That is, can one produce a proof (as above defined) of the existence of God? I don't think so. For how will you satisfy condition (5)? Suppose you give argument A for the existence of God. How do you know that the premises of A are true? By argument? Suppose A has premises P1, P2, P3. Will you give arguments for these premises? Then you need three more arguments, one for each of P1, P2, P3, each of which has its own premises. A vicious infinite regress is in the offing. Needless to say, moving in an argumentative circle is no better.

At some point you will have to invoke self-evidence. You will have to say that, e.g., it is just self-evident that every event has a cause. And you will have to mean objectively self-evident, not just subjectively self-evident. But how can you prove, to yourself or anyone else, that what is subjectively self-evident is objectively self-evident? You can't, at least not with respect to states of affairs transcending your consciousness.

I conclude that no one can prove the existence of God. But one can reasonably believe that God exists. The same holds for the nonexistence of God. No one can prove the nonexistence of God. But one can reasonably believe that there is no God.

The same goes for naturalism. I cannot prove that there is more to reality than the space-time system and its contents. But I can reasonably believe it. For I have a battery of arguments each of which satisfies conditions (1), (2), (3) and (6) and may even, as far as far as I know, satisfy (4).

"So how is the atheist not irrational on your view, assuming he is apprised of your arguments?"

He is not irrational because none of my arguments are rationally compelling in the sense I supplied, namely, they are not such as to force every competent philosophical practitioner to accept their conclusions on pain of being irrational if he does not. To illustrate, consider the following argument from Peter Kreeft (based on C. S. Lewis), an argument I consider good, but not rationally compelling. I will argue (though I will not prove!) that one who rejects this argument is not irrational.

The Argument From Desire

Ecstasy of St. Teresa by Gianlorenzo Bernini (Permission by Mark Harden; http://www.artchive.com)

Premise 1: Every natural, innate desire in us corresponds to some real object that can satisfy that desire.
Premise 2: But there exists in us a desire which nothing in time, nothing on earth, no creature can satisfy.
Conclusion: Therefore there must exist something more than time, earth and creatures, which can satisfy this desire.

This something is what people call "God" and "life with God forever."

This is surely not a compelling argument. In fact, as it stands, it is not even valid. But it is easily repaired. There is need of an additional premise, one to the effect that the desire that nothing in time can satisfy is a natural desire. This supplementary premise is needed for validity, but it is not obviously true. For it might be — it is epistemically possible that — this desire that nothing in time can satisfy is artificially induced by one's religious upbringing or some other factor or factors.

Furthermore, is premise (1) true? Not as it stands. Suppose I am dying of thirst in the desert. Does that desire in me correspond to some real object that can satisfy it? Does the existence of my token desire entail the existence of a token satisfier? No! For it may be that there is no potable water in the vicinity, when only potable water in the immediate vicinity can satisfy my particular thirst. At most, what the natural desire for water shows is that water had to have existed at some time. It doesn't even show that water exists now. Suppose all the water on earth is suddenly rendered undrinkable. That is consistent with the continuing existence of the natural desire/need for water.

But this is not a decisive objection since repairs can be made. One could reformulate:

1* Every type of natural, innate desire in us corresponds to some real object that can satisfy some tokens of that type of desire.

But is (1*) obviously true? It could be that our spiritual desires are not artificial, like the desire to play chess, but lacking in real objects nonetheless. It could be that their objects are merely intentional. Suppose our mental life (sentience, intentionality, self-awareness, the spiritual desires for meaning, for love, for lasting happiness, for an end to ignorance and delusion and enslavement to base desires) is just an evolutionary fluke. Our spiritual desires would then be natural as opposed to artificial, but lacking in real objects.

Why do we naturally desire, water, air, sunlight? Because without them we wouldn't have come into material existence in the first place. Speaking loosely, Nature implanted these desires in us. This is what allows us to infer the reality of the object of the desire from the desire. Now if God created us and implanted in us a desire for fellowship with him, then we could reliably infer the reality of God from the desire. But we don't know whether God exists; so it may be that the natural desire for God lacks a real object.

Obviously, one cannot define 'natural desire' as a desire that has a real and not merely intentional object, and then take the non-artificiality of a desire as proof that it is natural. That would be question-begging.

My point is that (1) or (1*) is not known to be true and is therefore rationally rejectable. The argument from desire, then, is not rationally compelling.

As for premise (2), how do we know that it is true? Granting that it is true hitherto, how do we know that it will be true in the future? The utopian dream of the progressives is precisely that we can achieve here on earth final satisfaction of our deepest desires. Now I don't believe this for a second. But I don't think one can reasonably claim to know that (2) is false. What supports it is a very reasonable induction. But inductive arguments don't prove anything.

In sum, the argument from desire, suitably deployed and rigorously articulated, helps render theistic belief rationally acceptable. But it is not a rationally compelling argument.