Here is an important passage from Moses Maimonides (1138-1204), The Guide to the Perplexed, Dover, p. 80:
It is known that existence is an accident appertaining to all things, and therefore an element superadded to their essence. This must evidently be the case as regards everything the existence of which is due to some cause: its existence is an element superadded to its essence. But as regards a being whose existence is not due to any cause -- God alone is that being, for His existence, as we have said, is absolute -- existence and essence are perfectly identical; He is not a substance to which existence is joined as an accident, as an additional element. His existence is always absolute, and has never been a new element or an accident in Him. Consequently God exists without possessing the attribute of existence. Similarly He lives, without possessing the attribute of life; knows, without possessing the attribute of knowledge; is omnipotent without possessing the attribute of omnipotence; is wise, without possessing the attribute of wisdom: all this reduces itself to one and the same entity; there is no plurality in Him, as will be shown.
God is the Absolute. As such, he is radically other than creatures. God is not just another thing that exists and possesses properties in the way creatures possess properties. He differs from creatures in his mode of existence, his mode of property-possession, his mode of necessity, and his mode of uniqueness. See the following recent posts: God is Uniquely Unique and The Anthropomorphism of Perfect-Being Theology.
Existence accedes to creatures; it is accidental to them. As Maimonides says, existence is "superadded to their essence." This implies a real composition of essence and existence in creatures. But in God there can be no such composition. God does not have existence; he is his existence. As Maimonides puts it, "God exists without possessing the attribute of existence." And similarly for properties such as wisdom and omniscience, etc. God is wise without possessing the attribute of wisdom.
That is a hard saying. Does it make sense? And what sense does it make?
First we need to understand what is being maintained. There are those who will say that there are no properties/attributes but that nonetheless there are true predications. This is the position of the extreme nominalist. Accordingly, 'Socrates is wise' is true but there is nothing in reality picked out by the predicate 'wise' or '___wise' that grounds the correctness of the application of the predicate to the individual. There are predicates but no properties. That is to say: 'Wise' is correctly predicated of Socrates despite the fact that there is nothing in reality that Socrates instantiates or otherwise has in virtue of which Socrates is wise.
This is not what Maimonides is saying. He is not denying that there are properties/attributes. I take him to be saying two things. First, God does not have or possess his attributes. He does not have them by standing in a relation of instantiation to them, nor does he have them as ontological 'parts.' Second, none of the divine attributes is an attribute of creatures.
As for the first point, God does not have his attributes; he is (identically) them. God is radically One. His unity is so 'tight' as to disallow any internal composition or stucturation. And his absoluteness disallows his standing in relation to any properties or factors distinct from him on which he would be dependent for his nature or existence. Thus God does not have existence and wisdom; he is existence and wisdom. The second point, I think, follows from the first: the wisdom of Socrates cannot be the same attribute as the wisdom of God.
On the semantic plane, the two occurrences of the predicate 'wise' in 'Socrates is wise' and 'God is wise' cannot have the same sense. For if they have the same sense, then they pick out the same property; but there cannot be one and the same property of wisdom shared by God and Socrates given that God, but not Socrates, is identical to wisdom. Therefore there is no univocity across the two sentences with respect to the predicate. As I read Maimonides, he holds that 'wise' is equivocal in its human and divine uses.
Maimonides and his fellow travellers on the via negativa are radical foes of even the most sophisticated forms of anthropomorphism. Socrates is powerful. The anthropomorphizer says that God too is powerful and in the very same sense; it is just that whereas the philosopher's power is limited, God's power is maximal. Someone who thinks along these lines is placing God and Socrates on the same scale or order, when God, if absolute and truly transcendent, is "trans-ordinal" to borrow word from Henri Dumery. What the anthropomorphizer does is take some of the attributes of humans and think of God as having those very same attributes.
But if we go the Maimonides route, what do we do with a sentence such as 'God is powerful'? Must we say that it is nonsense? We know what it means to say that Socrates is powerful. But what could it mean to say that God is powerful if the predicate is equivocal across 'Socrates is powerful' and 'God is powerful'? Note also that the subject-predicate form of 'God is powerful' implies a distinction in its truth maker between God and one of his attributes -- in violation of the divine simplicity. How can we think or talk about the simple Absolute if all our thinking and talking must have subject-predicate form (or relational or other forms that require distinctions not applicable to the simple God)?
One response would be to bite the bullet and admit that sentences like 'God is powerful' are, and must remain, strictly nonsensical to the discursive intellect. But this nonsense is not mere gibberish, but a Higher Nonsense, an heuristic nonsense whose function is to point us beyond the limits of the discursive intellect while we are operating within it. From the SEP entry:
As severe as Maimonides' position is, even this is not enough. Although negation is preferable to affirmation, even negation is objectionable to the degree that it introduces complexity: God is neither this nor that. What then? Maimonides' reply (GP 1.58) is that ultimately any kind of verbal expression fails us. Rather than provide a precise metaphysical account of the nature of God, the purpose of theological discourse is heuristic: to “conduct the mind toward the utmost reach that man may attain in the apprehension of Him.” Theological language is important to the degree that it eliminates error and sets us along the path of recognizing God's transcendence. Unless one could speak about God, she could easily fall into the trap of thinking that God is corporeal. But in the end, the only thing it reveals is that God is beyond the reach of any subject/predicate proposition. Thus GP 1.59:
Know that when you make an affirmation ascribing another thing to Him, you become more remote from Him in two respects: one of them is that everything You affirm is a perfection only with reference to us, And the other is that He does not possess a thing other than His essence …Citing Psalm 65, Maimonides concludes that the highest form of praise we can give God is silence.
The difficulty I have here, as before, is the way logic is used to climb the ladder only to throw it away. Attempting to formalise Maimonides’ argument:
1. For all x, if the existence of x is not identical with the essence of x then x is caused.
2. God is not caused.
3. Therefore the existence of God is identical with the essence of God.
So we have a argument which follows the rules of logic, i.e. an argument within the DF. The rules in question are (i) modus tollens (deny the consequent, therefore deny the antecedent) and (ii) excluded middle (if it is not the case that a is non-identical with b, then a is identical with b).
But then, according to you, this leads to contradictions which you evade by saying they are only contradictions ‘within the DF’. But if that line of reasoning is valid, you destroy all logic entirely, as I pointed out in my other post about the reductio.
Posted by: Astute | Tuesday, October 25, 2016 at 04:12 AM
Well, you also need the rules governing quantifier negation and instantiation. The argument as stated is enthymematic and not valid. But that is just a quibble.
Maimonides argues validly to a being that is simple. Thus he argues to a being that is identical to its attributes. But nothing in the DF is identical to its attributes. (This is not so much a law of logic as a presupposition of logic: to think is to judge, and to judge in the simplest case is to combine a subject and a predicate which must be distinct.)
So Maimonides argues to a being that is self-contradictory.
You conclude that the simple God does not exist. I conclude that the simple God exists, but lies beyond the DF.
But how do I "destroy all logic entirely" if I merely restrict the validity of logic to beings (as opposed to Being itself which is what God is for Maimon and Thomas, et al.)?
I use logic within its proper sphere of applicability, and I use it correctly. (You will not be able to find logical mistakes in what I say when I am being careful.) I climb the ladder, but I don't destroy the ladder. I don't even kick it away. I leave it in place for when I descend from Mt Sinai so to speak. I will need it to get back down again.
You claim that I "destroy all logic entirely" but you haven't shown that.
Posted by: BV | Tuesday, October 25, 2016 at 05:53 AM
But (in a comment to an earlier post) you defined 'being' as whatever falls within the range of a quantifier. Or do you want to qualify that?
Posted by: Astute | Tuesday, October 25, 2016 at 10:41 AM
Specifically you said
Spelling this out. I argue:1. Not everything is an object among objects over which one can quantify
2. Then something, some object, is an object over which one cannot quantify.
3. But (by definition) everything is an object over which one can quantify.
4. Contradiction. Therefore (1) is false
But you object, against (4) ‘this is a contradiction only within the DF’. I reply, if you destroy the reductio, you destroy all logic.
So to be clear, do you accept the validity of my reductio 1-4 above, or not?
Posted by: Astute | Tuesday, October 25, 2016 at 10:47 AM
I accept your reductio ad absurdum within the DF. Again, you seem incapable of 'thinking outside the box.' The box of the DF.
The following logical equivalences are part of the DF:
Everything is F =df It is not the case that something is not F.
Not everything is F =df Something is not F.
Such equivalences pin down the meaning of 'every,' 'some,' 'not,' 'no.'
A sentence like 'There is the Inexpressible' (Wittgenstein) and other sentences in that mystical ball park are obviously attempts to use language in some sort of pointing or heuristic fashion (see quotation from SEP entry) that is nonsense by the strictures of the DF.
But again, how do I or the Tractarian Wittgenstein "destroy all logic" if we point toward the mystical?
What you are doing is assuming, uncritically, the unrestricted validity of DF. Justify your assumption! But without circularity.
Posted by: BV | Tuesday, October 25, 2016 at 11:49 AM
>>What you are doing is assuming, uncritically, the unrestricted validity of DF. Justify your assumption!
But I can only justify my assumption by logic. And as soon as I do that, you will accuse me of being unable to think outside the DF. I used to have this kind of argument with various stoners and potheads and New Age types, which I write about here.
Can’t go there. If you are saying that I cannot ‘prove’ PNC or PEM without circularity, of course I agree with you.
Posted by: Astute | Tuesday, October 25, 2016 at 12:37 PM
Oh and don’t forget this.
Posted by: Astute | Tuesday, October 25, 2016 at 12:42 PM
You simply don't get it, man. Read the mystics. I can't be sure, but I rather doubt that Plotinus and Aquinas were stoners and potheads. I am sure, however, that there was no LSD to be had in those days.
Posted by: BV | Tuesday, October 25, 2016 at 01:50 PM
OK another try. You say my argument is valid ‘within the DF’. The glorious Ockham makes a similar move, arguing that logical laws do not apply to an argument if it contravenes sacred scripture, or the determination of the church, although I suspect he had tongue firmly in cheek.
Now to say an argument is valid is to say that the conclusion cannot be false when the premisses are true. So you are saying that my conclusion cannot be false when the premisses are true ‘within the DF’, but not otherwise. But how do you define the DF, if not precisely that framework where valid arguments cannot have true premisses and false conclusions?
So essentially you are saying that my argument is valid when it is valid, otherwise not. This seems entirely circular. Perhaps you want to say, like Ockham, that our normal concept of validity does not apply to God. But why is that? You start with the assumption that God is simple, and you derive a contradiction. But instead of following the usual logic, namely to conclude that God is not simple, you conclude that ordinary logical laws do not apply here. Why? Why can’t I claim that Baal is simple, derive a contradiction, then conclude that the logical laws do not apply here? Why not do the same for any premiss that implies a contradiction. You are lacking a sufficient reason.
Furthermore, there is an oddity about ‘concluding’ that the DF does not apply. All conclusions imply the existence of an argument, which in this case is ‘the premisses of this argument are true with the conclusion false, this argument is valid, therefore this argument is outside the DF’ where ‘outside the DF’ means ‘is a valid argument with true premisses and false conclusion’. Circular.
Posted by: Astute | Wednesday, October 26, 2016 at 06:39 AM
The reference to Ockham is relevant. You say in your linked post that Ockham restricts logic to creatures. I am indeed making a similar move. My claim is not tautological, though, like your >>my argument is valid when it is valid, otherwise not.<<
I don't assume that God is simple; I argued for it. We are led by reason to the conclusion that God must be simple. But then we find that we cannot understand how a being could be simple. We can now say one of two things. Simplicity is not contradictory in itself; it is just that we cannot understand how it is free of contradiction. The other option is to say that it is contradictory, but that not everything real obeys the laws of logic.
We are exploring the second option.
You of course reject both of these options. For you, nothing is simple, so if God exists, then he is not simple; and everything is subject to the laws of logic. I.e., the laws of logic are also laws of all actual and possible Being.
You now object in effect: what is to stop me from saying of any putative entity that involves a contradiction that standard logic does not apply to it? Meinong held that some items are contradictory, e.g., the round square, and that others are incomplete and thus violate LEM, e.g., the golden mountain. Is it snow-capped or not? Neither. Father Christmas. Does he suffer from hemmorhoids or not? Neither.
Meinong has his reasons for positing these items. So he argues quite logically to items that violate different strictures of the DF.
More later.
Posted by: BV | Wednesday, October 26, 2016 at 03:02 PM
OK. I need to summarise this for the book. What is the simplest route to the via negativa? Clearly the assumption that God’s essence = God’s existence leads us into a contradiction, which gets us to the trailhead, as it were. But how do we get to that assumption? Maimonides derives it from the assumption that some being is uncaused. This has its own problems. First of all, why should there be an uncaused being? Scotus has a proof, as you know, involving dozens of nested syllogisms. Second, it requires treating existence as a predicate. Are there any other routes to the trailhead? (I am using that as a metaphor because I know you like to go hiking).
Posted by: Astute | Thursday, October 27, 2016 at 03:52 AM
A related point here is whether the logical system that gets us to the trailhead has the property of soundness, i.e. proves only formulas that are valid. Since we can only get to the trailhead by deriving a contradiction, this suggests your system is not sound.
However, I am still not sure whether the starting assumptions of your proof are self-evident, or whether they are accessible only to those who have reached the higher state of consciousness, via meditation etc.
Posted by: Astute | Thursday, October 27, 2016 at 05:55 AM
You need to study Aquinas's arguments for divine simplicity, if you haven't already.
There is also the question of the thin theory of existence which we have discussed ad nauseam for years. Since you accept it, there is your reason for not accepting simplicity.
If there is no essence-existence composition in creatures, then there is no existence-essence identity in God. Is that clear?
Posted by: BV | Thursday, October 27, 2016 at 06:04 AM
>>You need to study Aquinas's arguments for divine simplicity, if you haven't already.
I have indeed, but is that your own argument? The significant moving part of Aquinas's argument (Iª q. 3 a. 4 co), as with Maimonides, is the 'first efficient cause' assumption. But then you need to prove from first principles that there is a first efficient cause, or that there is an uncaused being, or something like that.
And then you have the problem of soundness. We have a logical system, expressed in ordinary language, from which we derive a contradiction. We then conclude from this, note the word 'conclude', that some things must lie outside the very logical system that yielded this conclusion.
Posted by: Astute | Thursday, October 27, 2016 at 06:59 AM
Aquinas gives various arguments why there can be no composition in God. See SCG Book I, ch. 18.
Posted by: BV | Thursday, October 27, 2016 at 12:49 PM