Russell on Existence in TPLA III: The Argument from Transferability

In the last post we explained what Russell's views on existence are and how they entail a "higher-order" theory of existence according to which existence is not a feature of individuals but of some "higher-order" things, viz. propositional functions. Since this is, initially, a very counter-intuitive proposal ("Socrates exists" is meaningless on Russell's view!), Russell ought to have some arguments to defend his view. This is going to be a long series of posts, so we'll discuss several of Russell's arguments from The Philosophy of Logical Atomism, but in the next two posts we'll discuss one of his arguments in particular: What I will call the "Transferability Argument." But before that I'll briefly mention Russell's motivation for having a theory of existence like his in the first place.

In the first place, the whole notion of existence comes up in connection with what we might call “negative existential” statements. A negative existential statement is a statement saying that something does not exist: For instance, that Socrates does not exist, or that dogs do not exist. These present an initial puzzle. On the one hand, if they are true, then it seems “Socrates” and “dogs” do not refer to anything, and so it’s not clear what could make the sentences true. On the other hand, they seem to be saying that something, “Socrates” or “dogs,” has the feature of “not existing.”

Now, this doesn’t immediately support Russell’s view on existence, but it does give one impetus to develop some sort of view that would address the question of negative existentials. It is interesting to see how Russell’s view deals with the problem. In the first place, ‘Socrates does not exist’ is simply meaningless according to Russell, since it doesn’t make sense to attribute existence to an individual, and so neither does it make sense to deny existence of an individual. On the other hand, since existence is a property of propositional functions, “dogs do not exist,” is easy to deal with: it is the same as saying ‘x is a dog’ is impossible. This involves no shady references to non-existent dogs or anything of that sort. One need only say that ‘x is a dog’ is never true.

With that said, it is not enough to point out that Russell’s view gives an answer to this question. Russell’s view is still prima facie implausible, and there might also be other positions available. Hence, Russell needs to give some direct arguments specifically for his view and arguments against alternatives. We will discuss just one of the arguments that Russell gives, which I call “the Transferability Argument.” The argument is quite subtle in fact, and it is rather complicated. But I think it is worth thinking through because it incorporates several interesting assumptions from logic and the philosophy of language.

Before delving into it, I want to define what we will call a ‘transferable predicate’. Russell does not use this terminology himself, but he uses the concept, and his argument is easier to state with this terminology. Now, a predicate F is transferable in my sense just in case (i) F can  be meaningfully applied to some kind G, and (ii) for any kind G that F applies to, ‘G’s are F’ is true only if every individual x that is a G is also F. For instance, the predicate ‘green’ is transferable: It applies to a generic kind term like ‘men’, since we can say ‘men are green’, and ‘men are green’ is true only if each man is himself green. The predicate ‘green’ “transfers” to the individual men. The predicate ‘numerous’ on the other hand is non-transferable: While we can say ‘men are numerous’, it does not imply any particular man is himself numerous. Indeed, this last statement is meaningless.

With that said, Russell’s Argument from Transferability can be reconstructed as follows:

• (1’) ‘Unicorns exist’ is false, but meaningful. [Premise]
• (2’) If there is an individual sense of ‘exists’, then ‘exists’ is transferable. [Premise]
• (3’) If ‘exists’ is transferable, then ‘Unicorns exist’ implies ‘a exists’, for some proper name ‘a’ of some particular unicorn. [Premise]
• (4’) So, if there is an individual sense of ‘exists’, then ‘Unicorns exist’ implies ‘a exists’, for some proper name ‘a’ of some particular unicorn. [By 2’ and 3’]
• (5’) If ‘a’ is a proper name then ‘a is F’ is meaningful only if ‘a’ refers. [Premise]
• (6’) So ‘a exists’ is meaningful only if ‘a’ refers. [5’, Universal Instantiation]
• (7’) Suppose there is an individual sense of ‘exists’. [Supposition for Reductio]
• (8’) Then ‘Unicorns exist’ implies ‘a exists’ for some proper name ‘a’ of some particular unicorn. [By 4’ and 7’]
• (9’) If ‘unicorns exist’ is false, then ‘a’ does not refer. [Premise]
• (10’) So ‘a’ does not refer. [By 1’ and 9’]
• (11’) So ‘a exists’ is meaningless. [By 10’ and 6’]
• (12’) No meaningful statement can imply a meaningless statement. [Premise]
• (13’) So, ‘unicorns exist’ is meaningless. [By 8’, 11’, and 12’]

But this contradicts our assumption in (1’). Hence, we must reject our assumption in 7’:

• (14’) There is no individual sense of ‘exists’. [By 7’ – 13’ and Reductio ad Absurdum]

This is an extremely interesting and rich argument. It is the best reconstruction I can give of Russell’s argument. The argument is clearly valid. It has a total of six premises: 1’, 2’, 3’ 5’, 9’, and 12’. I think it is useful to isolate the premises so that we can see precisely the principles at work here:

• (1’) ‘Unicorns exist’ is false, but meaningful.
• (2’) If there is an individual sense of ‘exists’, then ‘exists’ is transferable.
• (3’) If ‘exists’ is transferable, then ‘Unicorns exist’ implies ‘a exists’, for some proper name ‘a’ of some particular unicorn.
• (5’) If ‘a’ is a proper name then ‘a is F’ is meaningful only if ‘a’ refers.
• (9’) If ‘unicorns exist’ is false, then ‘a’ does not refer.
• (12’) No meaningful statement can imply a meaningless statement.

The first premise is uncontroversial I assume. The third premise seems to follow from the definition of ‘transferable’.  12’ also seems straightforward: If, by hypothesis, p is meaningful, then it does not imply anything meaningless, and this is just what 12’ says. That leaves 2’, 5’, and 9’ as the crucial premises.

I take it that the motivation behind 2’ is that if ‘existence’ is just another predicate of individuals, like ‘green’, say, then it should be transferable in precisely the way they are. After all, how could it be that ‘frogs are green’ is true but that ‘green’ does not transfer to all of the individual frogs? But if ‘exists’ is just like ‘green’ then it should behave in the same way.

5’ seems to be motivated by the fact that we are supposing ‘a’ to be a proper name in Russell’s sense. Recall that, according to Russell, a logically proper name is a word whose meaning just is a particular object; in other words, the proper name ‘a’ is meaningful only if, and because, ‘a’ refers. So if ‘a’ is meaningless, then the whole sentence ‘a is F’ will be meaningless too.

Finally, 9’ is motivated by the fact that if ‘unicorns exist’ is false then there simply aren’t any unicorns for ‘a’ to refer to, and so ‘a’ cannot have a reference.

On the face of it, there is some reasonableness about all of these premises. However, I think there are worries for all of them. In the next post I will try to raise some of those worries.

Russell on Existence in TPLA II: Russell's Second-Order View of Existence

In my last post I introduced the topic of Russell on existence. Now I'll deliver. Let’s see what Russell thinks.

First, it is helpful to understand some of Russell’s technical vocabulary. In particular, for our purposes, we should consider his notion of a name, of a definite description, of a proposition, and of a propositional function.

For Russell, a logically proper name (or, for short, just a name) is a word whose meaning is a particular, i.e., an individual object or entity. For instance, intuitively, the name “Socrates” directly denotes the particular object, Socrates. Or the name “Paco” directly denotes my Chihuahua, Paco. Now, this is simplifying a little bit, since Russell has a whole theory of what a particular is and which words actually are proper names, but this isn’t really essential to his account of existence. One could hold to views about existence that are basically the same as Russell’s even if one modified his account of particulars and the extent of the proper names.

What is important, however, is that proper names be contrasted with definite descriptions. A definite description is some phrase that is meant to describe a particular, unique individual. For instance “the Chihuahua that I have had since 6th grade” is a definite description. (As it turns out, it does successfully denote something: my dog Paco.) “The dragon flying above my head” is a definite description too, though to my knowledge it is one that does not refer to anything.

Note: Names are not definite descriptions and definite descriptions are not names. The meaning of a name is just the object it refers to; the meaning of a definite description includes all of the predicates mentioned in the description (for instance, in the last example, "dragon," "flying", and "above my head" are all part of the meaning of the description).

It is important to bring up this contrast between definite descriptions and proper names because Russell gives a separate account of existence statements for each. What we are interested in when talking about “individual existence” statements is existence statements whose subject term is a proper name. This is the type of existence statement Russell will say is meaningless.

A proposition for Russell is, in essence, something that can be asserted, or something that can be true or false. For instance, that it is raining is a proposition, or that Paco is black is a proposition. Once again, this is simplifying a bit, but the particular details of Russell’s views on propositions are not essential here.

Finally, there is the notion of a propositional function. Russell says that a propositional function is “any expression containing an undetermined constituent, or several undetermined constituents, and becoming a proposition as soon as the undetermined constituents are determined.” Examples include ‘x is a man’ or ‘n is a number’ or ‘(x+y)(x-y)=x2-y2’. So, if we were to “fill in the blanks” so to speak we would have a full proposition. For instance, replacing ‘x’ with ‘Paco’ gives the proposition that Paco is a man. Replacing 'n' with '2' gives the proposition that 2 is a number.

Russell's propositional functions can be necessary, possible, or impossible. Russell defines this as follows. A propositional function is:

• Necessary, when it is always true;
• Possible, when it is sometimes true;
• Impossible, when it is never true.

Russell technically says that we have to take at least one of these locutions – “always true,” “sometimes true,” etc. – as undefined. But intuitively, “always true” means that every instance of the propositional function is true. For example, ‘x is x’ is a propositional function that is “necessary’ in Russell’s sense, since it is “always true,” whereas ‘x is a man’ is a propositional function that is possible but not necessary. These locutions are clearly not meant in a temporal sense.

(Interesting side-note: Obviously Russell's definition of "possible" and the like is not at all the definition we would immediately think of when we hear these words. What's interesting is that it's not clear whether he even meant to capture what we do with possible worlds semantics. He makes it explicit that he thinks previous thinking about modality is confused and problematic in some way, but it's not clear whether his discussion of modality is trying to capture some sort of traditional modal phenomenon as opposed to just making stipulations, nor whether his attitude toward traditional notions of modality is one of revision or rejection. Another interesting question: Is there any way to modernize Russell here? Is he on to anything at all? Anyway, enough of this digression...)

That brings us finally to Russell’s theory of existence. Russell’s official view is that “existence is a predicate of a propositional function.” In particular, if F is a type or kind of entity, then to say that F’s exist is just a shorthand way of saying that the propositional function ‘x is F’ is possible:

• (EXIST): F’s exist iff ‘x is F’ is possible (in Russell’s sense above).

For instance, dogs exist iff ‘x is a dog’ is possible. Or men exist iff ‘x is a man’ is possible.

This makes Russell's view a "second-order" or "second-level" view of existence. If we think of individual objects or entities as the "first level" and we think of things that apply to individuals -- propositional functions -- as the second level, then existence is a property of things at the second level, since it is a property of propositional functions. Hence Russell's view has been variously described as a "second-order", "higher-order", or "higher-level" view of existence.

So, according to Russell, “It is of propositional functions that you can assert or deny existence.” On the other hand, to say of a particular thing in the world that it is exists or not is “strictly nonsense.” After all, it doesn’t make sense to say of a particular object a that it is “possible” or “sometimes true.” Hence, individual existence statements are meaningless.

This is of course rather shocking on the face of it. We seem to make true individual existence claims all the time. But on Russell’s view, “John exists” isn’t simply false. It isn’t even a loose way of speaking. It’s simply nonsense. Moreover, the seemingly indubitable inference from “I think” to “I exist” is not invalid on this view; it isn’t even an argument, since arguments have to have propositions as their conclusions, and “I exist” isn’t even a comprehensible thought. What one might have thought incorrigible turns out to be unintelligible.

Nonetheless, as repugnant to common sense as this might seem at first, common sense is not infallible. And to be fair, we have only laid out Russell’s views and have not presented his arguments for them. In the next post I'll consider some of the reasons why, exactly, Russell might have come to this conclusion.

[Part III is here!]

Russell on Existence in TPLA I: Why Care?

In the next few posts I'm going to talk about Bertrand Russell's views on existence as one finds them in his The Philosophy of Logical Atomism (TPLA for short). (Note: I have already written the posts, so I will actually deliver!)

In TPLA Bertrand Russell offers a brief but intriguing account of the notion of existence. Russell holds forcefully to the view that existence cannot be said to apply to individual objects – at least, not without descending into nonsense. According to Russell we cannot meaningfully say this or that particular thing exists; instead, only types or kinds of things can be said to exist.

I will first try to make clear what, exactly, Russell’s views on the matter of existence are, at least insofar as he talks about it in TPLA, and I will clarify his technical terminology along the way. I will then attempt to lay out what are, so far as I can tell, Russell’s arguments for his views, as well as some of the problems concerning existence that motivate him to have a view in the first place. After questioning the soundness of Russell’s arguments I will lay out an alternative view that deals with some of the problems of existence he has identified. This alternative view of existence is more similar to that held by the majority of people before him, including the medieval Scholastics. Ironically, it turns out that this view is actually similar to some of what Russell says about propositions and propositional functions (as well as his own earlier view before TPLA).

Before I begin, however, I’d like to explain why I think it is worthwhile to think about Russell’s views on existence and to bother to critique them. After all, Russell gave the Lectures for TPLA nearly a hundred years ago, and hardly anyone would agree with the precise details of his account of existence (let alone his general metaphysic).

It is probably true that Russell’s precise views are not generally accepted, and arguably parts of his technical “machinery” are archaic. Nevertheless, Russell’s spirit lives on. Russell’s claim that existence is not a predicate of individuals and that existence should ultimately be defined in a “higher-order” way, in terms of quantification, has been widely accepted by many prominent philosophers.  Indeed, the slogan that “existence is what is expressed by ‘existential quantification’” is standard orthodoxy nowadays. (See, for instance, Frege’s  Foundations of Arithmetic sec. 53, Quine’s “On What There Is,” C.J.F. Williams’ What is Existence?, and Peter van Inwagen’s “Being, Existence and Ontological Commitment,” just for a few examples.)

So, aside from the fact that Russell was a great thinker, and the general guideline that it is worthwhile to interact with great thinkers, we should think about his views on existence because views like his are held in one form or another even today.

[Part II is here.]

An Issue With Metaphysical Reduction

Take a fact F. In general, what does it mean to say that fact F metaphysically reduces to fact F'? Note I am speaking of metaphysical reduction as opposed to conceptual reduction. First of all, the latter has to do with concepts and propositions rather than facts. For example, when we say that being a bachelor just means being an unmarried male, or when we say the proposition that Alfredo is a grandfather just means that Alfredo is the father of a parent, these count as examples of conceptual reduction. These explications of meanings are just the result of fully specifying the nature of our concepts as they stand. These are very simple examples, but the more complex instances of conceptual reduction in philosophy follow the same general idea as these ones.

Metaphysical reduction on the other hand has to do with facts in the world and how they stand in relation to each other. I take it that the following necessary condition imposes a restriction on the relation of metaphysical reduction:

• (R) If fact F metaphysically reduces to fact F' then (i) fact F holds in virtue of fact F' holding and (ii) the holding of fact F is nothing over and above the holding of fact F'.

As an example, physicalists often say that all mental facts are reducible to physical facts. I take it that this at least means that the mental facts hold in virtue of the physical facts and that they are nothing over and above the physical facts.

Now, (i) and (ii) seem to me to be in tension with each other. In fact, on the most straightforward reading of (ii) their simultaneously holding leads to a contradiction. Hence, we must find some other way to explain (ii), since it does not seem like a primitive relation. This is rather difficult. Let me explain.

By (i), reducibility must be an asymmetrical relation. This means that if F reduces to F' then F' does not reduce to F. For suppose F reduces to F'. Then F holds in virtue of F'. But the 'holding in virtue of' relation is asymmetrical, since otherwise there would be circular chains of ontological dependence. So if F holds in virtue of F', then F' does not hold in virtue of F, and thus by (R), F' is not reducible to F.

The problem is that the most straightforward reading of (ii) is that the holding of fact F is identical with the holding of fact F'. After all, suppose F and F' are not identical and we are dealing with a world of just F and F' (here I'm abbreviating, and I should really be saying the holding of F and the holding of F'). Then there is a perfectly clear sense in which F is something over and above F', viz. there are more things in the world than F! For if F =/= F', then for some x, x =/= F'. So there is something out there in the world which is extra-mentally distinct from F'. That seems to be a legitimate sense in which F is something over and above F'. So if F is not something over and above F' then F = F'.

But of course, if that were the case, then the 'in virtue of' relation here would not be asymmetrical, since if F = F' and F holds in virtue of the holding of F', then by substitution of equals F' holds in virtue of the holding of F. So reducibility would not, in fact, be asymmetrical. And that is a contradiction, since we earlier established it was.

One option is to say that the 'in virtue of' relation is not asymmetrical. But that seems deeply problematic insofar as it doesn't allow us to capture the reducibility we want to pick out. After all, every materialist will accept that all mental facts reduce to physical facts, but no materialist would ever dare say the physical facts reduce to the mental facts! (Personally I find the latter suggestion more plausible than the former, but regardless it is not something the materialist would ever claim.)

Instead, we have to find a sense in which one could say fact F is nothing over and above F' even though F is not identical to F'. And I'm not sure how to explain this. No idea if this works or not, or whether it is at all helpful, but here's a thought: Let us denote by 'a full truthmaker of P' a truthmaker of P which is not a constituent or part of some other truthmaker of P. Let Q be the proposition expressing the holding of F. Maybe we can say F is nothing over and above F' if the set of all full truthmakers of the proposition Q contains only F'. That would make (i) superfluous it seems. Or at least from pretty uncontentious premises (i) would follow as a consequence. This theory is a little weird though, since the question arises as to what, metaphysically speaking, explains why Q would be distinct from the proposition expressing the holding of F'.

With that said, I don't know if that's on the right track. And even if it gets the extension of the relation right it might not even produce a deeper understanding. The point being, I don't myself know how to explain (ii). Like I said though, it doesn't seem like this is a primitive or undefinable relation. I wonder then what we can say about it.

Quantifier Variance and the Semantics of Quantifiers

In my previous post I explained the basic idea behind quantifier variance. Now I want to criticize it. In particular, I said I want to point out some problems with the quantifier variantist's simultaneously affirming the following two statements:

(i) the different quantifiers behave the same logically; and

(ii) the different quantifiers have different meanings.

Let's do a little basic semantics. Let's define the truth function τ[ψ]^U,g relative to models U and g for the cases of quantified formulas ψ as follows. The following definitions are true for all models M, all variable assignments s, all variables x, and all formulas φ. If a formula is not assigned to T it is assigned to F:


τ : {<ψ,U,g>|ψ is a formula, U a model, g a var. assign.} → {T,F}

• (τ-∀): τ[∀xφ]^M,s = T ⇔ for all variable assignments s′, if for all variables v, s(v) ≠ s′(v) ⇒ v = x, then τ[φ]^M,s′ = T 
• (τ-∃): τ[∃xφ]^M,s = T ⇔ for some variable assignment s′, for all variables v, s(v) ≠ s′(v) ⇒ v = x, and τ[φ]^M,s′ = T 

Basics of Quantifier Variance

When I say that there are tables is it unambiguous what I'm saying? Quantifier variantists say no. Or at least they would say that in certain contexts it is not. In particular, the sentence is ambiguous when we are engaging in metaphysical debate about the existence of the table, as in the following case.

Consider the debate between what I will call compositionalism and anti-compositionalism. Compositionalism is the thesis that there are composite material objects, while anti-compositionalism is the thesis that there are not. Take the case of a world with just a table and its parts, and suppose we are considering a form of compositionalism which says there are tables. Assume further that there are exactly n atoms which, according to this form of compositionalism, are proper parts of the table. Note that we are using a philosophical definition of 'atom', according to which an atom is a material object which has no proper parts. Anti-compositionalism says there is no table; there are just the n atoms. 

In essence, compositionalism says (A) there are n+1 distinct things (viz. the n atoms, plus the table), while anti-compositionalism says (B) there are n things and there are no more than n things. Note that (A) and (B) can be adequately translated into a quantified language which only contains variables, quantifiers, sentential connectives, and the identity sign with the usual interpretation. For example, (A) would be translated as follows:

∃x₁∃x₂...∃x_n((x₁≠x₂ ∧ ... ∧ x₁≠x_n+1) ∧ (x₂≠x₃ ∧ ... ∧ x₂≠x_n+1) ∧ ... ∧ (x_n≠x_n+1))

Reply to William Lane Craig on Divine Simplicity

Dr. William Lane Craig has made a response to my previous post where I argued that his own view of divine sovereignty entails the truth of divine simplicity. Now, Craig is actually correct about one thing: My argument does not by itself entail that God is identical to all his parts. This only follows from the conclusion of my argument if you grant that God really has a will, intellect, etc. Craig does not grant this, since he doesn't think talk about things having parts is metaphysically substantive.

There are a lot of things to say about Craig's response here. Maybe the first is to simply note that he is denying that anything really, in the metaphysically deepest sense, has any parts. This is surely an unacceptable conclusion. Personally I would think it's better to simply deny God has any parts rather than to deny anything has parts. Absent this option, if I didn't believe in divine simplicity I would even modify my account of divine sovereignty just to save parthood. For otherwise I honestly don't know how Craig explains kidneys, brains, legs and their relations to the people who have them. This is just a datum of experience, that there are at least some parts.

Craig tries to use an argument by Peter van Inwagen to back up his thesis. However, the problem is that Van Inwagen's argument only demonstrates the falsity of the doctrine of arbitrary undetached parts, which is the idea that any region of a body can be taken to be a proper part. His argument can only go through if we are dealing with 'parts' like Dottie* which are constituted by enough matter in such a form that a person can survive by becoming identical to them. It's not obvious though that I could ever become identical to, say, my heart. So his argument would not go through with those sorts of proper parts.

Now, I'm inclined to reject the doctrine of arbitrary undetached parts anyway so I'm happy to accept the soundness of the argument. But it just doesn't demonstrate that there are no proper parts. And if it did entail that, then--like Peter Geach did with Tibbles the Cat--I would just take the argument to establish the relativity of identity rather than the complete lack of proper parthood. More importantly, it's not even obviously sound. We might just deny the premise that Dottie becomes identical to Dottie*, since Dottie seems to be an animal (or a soul) and Dottie* seems to be a 'lump'. In virtue of their falling under different sortals these two objects have different identity conditions associated with them, and thus by Leibniz's law they are non-identical. They are merely constituted by the same matter.

There's also something to be said about Craig's underlying Carnapian sympathies. There is intense debate about taking this sort of view about language and metaphysical methodology (cf. the Chalmers volume on metametaphysics), and suffice it to say for now that I'm not too sympathetic. I will criticize this neo-Carnapian line of thought later, but this post should be enough to see why Craig's response is inadequate.

Is 'Existence' Univocal Because 'All' Is Univocal?

In this post, Bill Vallicella presents another argument by Peter van Inwagen for the univocity of existence and questions it (he posted and refuted the first argument here). I think Vallicella has a point. Still, I might grant that the Quinean like Van Inwagen can translate a singular existential statement so as to have the same form as a general existential statement and argue the conclusion still does not follow. Quine, in his famous paper "On What There Is," proposes that we treat for instance the relation '__ = Pegasus' as a single-place predicate '=Pegasus'; one can call this 'pegasizing' or formally 'P'. Then 'Pegasus exists' will just be 'something pegasizes', which will just be translated to, '(Ex)(Px)'. Even ignoring the problematic aspects here I would pose a different objection. I would accuse Van Inwagen's argument of being a 'non sequitur'. Vallicella states the argument thus:

(1) 'Every' is univocal.

(2) 'Exist(s)' and 'every' are interdefinable: 'Fs exist' is equivalent to 'It is not the case that everything is not an F.'

Therefore

(3) 'Exist(s)' is univocal.

Clearly, as is, this argument is not valid. To make it valid we need some further premise. I'm not sure what sort of plausible premise Van Inwagen is using to get to his conclusion, but maybe it is something like

(2.5) If two terms are interdefinable then each of the terms' uses share the same sense relation.

(Just a clarificatory point: Sense relations are things like 'univocity' or 'equivocity', and Van Inwagen thinks that all the uses of 'exists' are univocal.) How are we to understand 'interdefinable' here? Surely not as meaning that for each 'exists' statement there is a semantically identical 'every' statement, i.e. one with the exact same meaning, for that would be utterly question-begging. We must construe it then as something like 'for each 'exists' statement there is a logically equivalent 'every' statement'. The problem is that (2.5) is not obviously true on this interpretation. I'll explain.

I think we can admit that 'some' and 'every' are univocal, that these two are interdefinable in the sense that logically equivalent statements can be expressed in terms of each, but still say that 'some' doesn't fully capture the meaning of 'exists', and thus neither does 'every'. Of course, every 'some' statement is logically equivalent to another 'there exists' statement, but that does not imply they are semantically identical.

On the idea that 'exists' is analogical, the natural language quantifier 'there exists' has many senses, but all beings can be said to exist in one of those senses; thus the range of this quantifier includes all beings (regardless as to which sense of 'being' can be said of them). And since there are no non-existent beings, the range of the quantifier 'some' is over all beings. So the two quantifiers range over the same domain of discourse; and since for any 'some' statement there is a logically equivalent 'there exists' statement, it follows that we can translate logically equivalent statements involving either of them with the same symbol in predicate-logic, '(Ex)'. This is also why they are each logically equivalent to at least one 'all' statement. But it simply doesn't follow that they all share the same sense relation (univocal, equivocal, etc.). It is true that our 'some' quantifier ranges over only and all beings, but it ranges over them regardless as to which of the many analogous senses of 'being' can be said of them. So it's consistent with both 'some' and 'all' being univocal that 'being' or 'exists' are not.

Naturalness in the World

I'm currently taking a course on a newly concocted discipline in analytic philosophy called metametaphysics. For Aristotle or Aquinas the topics grouped under this heading would probably just fall under the science of metaphysics. We are primarily reading from the recent Chalmers volume and Ted Sider's new book Writing the Book of the World. In the latter book quite a bit turns on a distinction which Sider calls variously 'naturalness', 'fundamentality', 'structure', and 'carving at the joints'. My professors claim to not understand what Sider is talking about. Admittedly, Sider could be quite a bit more clear. However, I think that an Aristotelian would want to agree at least in some respects with his general point insofar as we'd admit some boundaries in reality to be privileged over others.

Consider an example Sider gives which is represented in the figure above (I'll paraphrase these examples a little bit). Suppose there is a world filled with red and blue liquid. There are many true ways that we can divide this world up when we describe it. We can divide it into those parts satisfying the normal understanding of our predicates 'red' and 'blue' as in the first figure. We could also divide it into those parts satisfying different predicates, call them 'bled' and 'rue', which correspond respectively to the portions left and right of the diagonal in the second figure. Both of these ways of describing the world are true. There are indeed bled and rue portions of the world just as much as there are red and blue ones; or, to put it another way, there are divisions of the world along the lines of both the first and the second figure. Yet the first way of speaking seems in some way to be natural while the second seems bizarre. Sider wants to assert that the first way of dividing up the world, i.e. dividing it up along the lines of our 'red' and 'blue' predicates, is better because it describes those features of reality which are in some way privileged; to put it in his terms, it describes those features which are natural/ fundamental/carve at the joints/are part of the structure of reality.

It seems like Sider gets a lot of his account from David Lewis's work. It is at least similar to the natural vs. non-natural distinction Lewis makes in his paper "New Work for a Theory of Universals." Consider two properties: being green and being grue, where grue is defined here as the property of being green and observed before 3000 A.D. or blue and not examined before 3000 A.D. This property which we have called grue appears "gerrymandered" in a way the property green is not. In Lewis's term grue is a "less natural" property than green is. Sider agrees on this point with Lewis. It should be noted that what makes grue a less natural property is not the syntactic complexity of its definition--after all, we can just give it a simple name like grue--but rather that it is in some way privileged over these other properties as being a more fundamental feature of reality. (Lewis may actually disagree here but I think his view is highly implausible and Sider does not seem to endorse it.)

Take a final example. Consider two classes of things: the electrons, and the electron-or-cows (EoC's), the latter class consisting of everything which has the property of being an electron or a cow. The things in the first group seem to go together quite well in a way which the objects in the latter group do not. The electrons do not go together better simply because they share many properties. For one, the EoC's share many properties. In fact, the EoC's share infinitely many properties: they each have the property of being an EoC or four feet long, the property of being an EoC or five feet long, the property of being an EoC or six feet long...and so on.  So it's not simply the number of properties shared which distinguishes the two. It's the fact that a grouping of things into electrons and cows gets the way reality fundamentally is, whereas a grouping of things into electron-or-cows does not.

So these are just a few examples where we can contrast fundamental/natural features of reality in opposition to gerrymandered or non-natural ones. It is necessary to use such illustrations since fundamentality is taken to be a primitive distinction which is likely not definable in more basic terms. There are a lot of questions that can be asked here: is fundamentality/naturalness/carving at the joints/structure of reality/etc. itself fundamental? Is fundamentality supposed to be a property? Is fundamentality a feature of our thoughts and concepts, of entities, or both? What is fundamental? How can we know? Is the same notion at work in each case? These are all good questions, some of which are discussed in the book.

However my primary concern is this: Is Sider really getting at some objective distinction or not? What I mean by 'objective' is whether his distinction between the fundamental/non-fundamental really corresponds to something in the external world. Personally I think he is onto something and makes an interesting case regardless as to the connections with Aristotelianism. However, I think an Aristotelian would want to admit the distinction even if he might disagree about what the fundamental things are. I will try to explain why in later posts.

If anyone is reading, I'd especially like to hear your thoughts on (1) whether you think Sider's distinction makes any sense and (2) whether the examples illustrate the point.

Aristotelian-Thomism vs. Quineanism on Ontological Commitment

I recently got the Chalmers volume dealing with the foundations of ontology. I've been interested in this question for the last few months, and here are some of my thoughts on the matter.

Most philosophers these days accept the Quinean view that one is committed to whatever one quantifies over. If I say there are colors, i.e. (Ex)(x is a color),  and I think my saying is true, then I am committed to the existence of colors, end of story. Most contemporary debates as in the Chalmers volume are between those who hold to this Quinean view and a few people who want to revive some of the distinctions of Carnap.

From an Aristotelian-Thomistic perspective, the dominant Quinean view is incorrect for a few reasons. First of all it is wrong to say that metaphysics is just about finding what there is or listing an ontology. As this volume shows, many if not most philosophers these days accept this definition. Rather, ontology is just one part of metaphysics, the ultimate purpose of metaphysics being, in the spirit of Aristotle, the study of being qua being, i.e. the study of the fundamental nature of reality. This involves not only ontology, but also finding the essences of things and finding the various relations of ontological dependence these things stand in to each other.

Also, I think there is some confusion in the modern Quinean conception of existence, where being quantified over is taken to be being simpliciter (in Thomistic terms). On the contrary, there is being simpliciter, then the various diminished senses of being (being secundum quid, in Thomistic terms), as for example the being privations have or being in potentiality. Many of the things we quantify over might have being in one of these imperfect and diminished senses, but just because we quantify over them doesn't mean we have to conclude they have being simpliciter. This makes ontological questions quite trivial. For instance, of course there are numbers and numbers have being; one need only observe the fact that 2 is a number. The real question is finding out whether they have being simpliciter or being secundum quid, what categories of being they fall under, and in what relations of ontological dependence do they stand? Interestingly, in this volume, Kit Fine and Jonathan Schaffer seem to come to similar conclusions, though I don't think Fine is rigorous enough to be convincing to other philosophers already steeped in Quineanism. I'd like to write a paper on this at some point so as to make the Aristotelian position a bit more clear than Fine does.