Arity-increase and heavy-weight Platonism

Here is a curious problem. To give a heavy-weight Platonist analysis of an n-ary predication requires an (n + 1)-ary predication:

1. Alice is green [unary]: Alice instantiates greenness [binary].

2. Alice and Bob are friends [binary]: Alice and Bob instantiate friendship [ternary].

But higher arity predication is more puzzling than lower arity predication. Hence, heavy-weight Platonism explains the obscure in terms of the more obscure.

What got me to thinking about this was exploring the idea that Platonists can curry higher arity relations into lower arity ones. But doing so requires a multigrade “instantiates” predicate, and the curried expression of an n-ary predication seems to require an n-ary use of “instantiates”.

On a function- rather than relation-based Platonism, the issue comes up as follows. To say that the value of an n-ary function f at x₁, ..., x_n is y is (n + 2)-ary predication which gets Platonically grounded by the application of the (n + 1)-ary function apply_n such that apply_n(f,x_1,…,x_n) = f(x₁, ..., x_n).

Multigrade relations

One strategy for avoiding ontological commitment to sets is to deal with pluralities and multigrade relations. Multigrade relations are relations that can be had by a variable number of things. Instead of, say, saying of the books on my shelf that there is a set of them whose total number of pages is exactly 800, one says that there are xs such that each of them is a book on my shelf and the xs stand in the multigrade relation of jointly having 800 pages. Let’s say these books are x₁, x₂ and x₃. Then we express their jointly having 800 pages as:

• Has800Pages(x₁, x₂, x₃).

We do not need a set of them to express this. And the Has800Pages(x₁, ...) predicate flexibly can take as many arguments as one wishes, corresponding to the multigradeness of the property it expresses.

But now consider a different statement: there are two pluralities of books on my shelf, having no books in common, where each plurality has the same total number of pages as the other. Can we make sense of this using multigrade relations instead of sets?

I don’t see how. Let’s say that the plurality x₁, x₂, x₃ and the plurality y₁, y₂ of my books each have the same total number of pages. So we introduce a predicate with variable arity and say:

• HasSameTotalNumberOfPages(x₁, x₂, x₃, y₁, y₂).

But that doesn’t work! For how can we tell if it is says that x₁, x₂, x₃ have the same number of pages as y₁, y₂ rather than saying that x₁, x₂ have the same number of pages as x₃, y₁, y₃?

We could multiply predicates with fixed arity and say:

• TheFirst3HaveTheSameTotalNumberOfPagesAsTheLast2(x₁, x₂, x₃, y₁, y₂).

But that won’t work with quantification, since we don’t know ahead of time how many xs and how many ys we are dealing with.

Maybe we should do this:

• Count(3,x₁, x₂, x₃) and Count(2,y₁, y₂) and SameNumberOfPages(3,x₁, x₂, x₃,2,y₁, y₂)

where the SameNumberOfPages variable arity predicate takes a number, then a plurality of that number of objects, then another number, and then another plurality of that number of objects.

But these kinds of solutions won’t work for infinite pluralities. For instance, suppose we want to say that the xs cause the ys, where there are ℵ₂ xs and ℵ₃ ys. Then I guess we say something like:

• Cause(ℵ₂, x₁, x₂, ..., ℵ₃, y₁, y₂, ...).

There are serious technical problems here, however. I will leave it to the reader to explore these.

Informative characterizations

It is hard to characterize an “informative characterization”. Here is an instructive illustration.

Ned Markosian in his famous brutal composition paper says that an informative, or non-trivial, characterization of when the xs compose something is one that is not synonymous with the statement that the xs compose something. But by that definition, here is a non-trivial characterization of when the xs compose something:

• water is H₂O and the xs compose something.

This statement is not synonymous with the statement that the xs compose something. Nor are the two statements provably equivalent. Nor are they a priori equivalent. But they are metaphysically necessarily equivalent.

Van Inwagen in Material Beings proceeds seemingly more restrictively. He wants a characterization of when the xs compose something that doesn’t use mereological vocabulary. But here is such a characterization:

• the xs have the property expressed by the actual world’s English phrase “compose something”.

This characterization mentions mereological vocabulary, but doesn’t use it. And if we want, we can avoid mentioning mereological vocabulary as well:

• the xs have the property referred to in the second bulleted item in this post in the actual world.

Obviously, none of these characterizations of “compose something” are informative.

Contrastive PSR

In my Principle of Sufficient Reason (PSR) book, I defend a PSR that holds that every contingent truth has an explanation, but I do not defend a contrastive PSR. Many think this is a cop-out.

But it makes sense to ask why it is that

1. The moon is round and I don’t have an odd number of fingers.

The answer is, presumably, that gravity pulled the matter of the moon into a ball and I was sufficiently careful around power tools. And yet it doesn’t make sense to ask why it is that

2. The moon is round rather than my having an odd number of fingers.

This point shows that it makes no sense to have a contrastive Principle of Sufficient Reason of the following form:

3. For all contingent truths p and contingent falsehoods q, there is an explanation of why p rather than q is true.

The only time it makes sense to ask why p rather than q is true is when q is some sort of a “relevant alternative” to p. So the contrastive Principle of Sufficient Reason would have to say something like:

4. For all contingent truths p and contingent falsehoods q, if q is a relevant alternative to p, there is an explanation of why p rather than q is true.

But now note that (4) is way messier than the standard PSR, and depends on an apparently contextual constraint in terms of a “relevant alternative” which feels ill-suited to a fundamental metaphysical principle. So, I do not think a contrastive PSR just is a plausible metaphysical principle.

Two jobs at Baylor

We have two full-time openings in the Baylor Philosophy Department. Both have open AOS and AOC.

One position is at the Associate (tenured) or Assistant Professor (tenure-track) level and the other is at the Assistant Professor (tenure-track) level.

Naturalism and property dualism

It is generally taken that a view on which there are mental properties that do not supervene on the properties of physics is a non-naturalistic view: it is a form of property dualism.

But now imagine that we find out that:

1. There are chemical properties that do not supervene on the properties physics speaks of.

That would be a really exciting discovery, but it wouldn’t be a discovery incompatible with naturalism. The new chemical properties would presumably be just as natural as the physical ones.

So, why would we call non-supervenient mental properties non-natural, if we wouldn’t call non-supervenient chemical properties non-natural? It can’t be just because chemical properties are the province of a science, namely chemistry. For mental properties are the province of a science, too, namely psychology.

While we’re exploring this corner of logical space, consider this view:

2. Chemical properties do not supervene on physical properties, and mental properties do not supervene on physical properties either, but mental properties do supervene on, and even reduce to, physical and chemical properties.

I’ve never met an advocate of (2). It would be a very strange view. But here is one that, I think, is not actually all that strange:

3. Biological properties do not supervene on physical properties, and mental properties do not supervene on physical properties either, but mental properties do supervene on, and even reduce to, biological properties.

I think view (3) is worth thinking about. Most of the people who have tried to reduce the mental have tried to reduce it to the physical, but perhaps a reduction to an irreducible biological level would be more promising.

Ordinary language and "exists"

In Material Beings, Peter van Inwagen argues that his view that there are no complex artifacts does not contradict (nearly?) universal human belief. The argument is based on his view that the propositions expressed by ordinary statements like “There are three valuable chairs in this room” do not entail the negation of the Radical Claim that there are no artifacts, for such a proposition does not entail that there exist chairs.

I think van Inwagen is right that such ordinary propositions do not entail the negation of the Radical Claim. But he is wrong in thinking that the Radical Claim does not contradict nearly universal human belief. Van Inwagen makes much of the analogy between his view and the Copernican view that the sun does not move. When ordinary people say things like “The sun moved behind the elms”, they don’t contradict Copernicus. Again, I think he is right about the ordinary claims, but nonetheless Copernicus contradicted nearly universal human belief. That was why Copernicus’ view was so surprising, so counterintuitive (cf. some remarks by Merricks on van Inwagen). One can both say that when people prior to Copernicus said “The sun moved behind the elms” they didn’t contradict Copernicanism and that they believed things that entailed that Copernicus is wrong.

People do not assert everything they believe. They typically assert what is salient. What is normally salient is not that the sun actually moved, but that there was a relative motion between the rays pointing to the elms and to the sun. Nonetheless, if ordinary pre-Copernicans said “The sun doesn’t stand still”, they might well have been contradicting the Copernican hypothesis. But rarely in ordinary life is there occasion to say “The sun doesn’t stand still.” Because of the way pragmatics affects semantics (something that van Inwagen apparently agrees on), we simply cannot assume that the proposition expressed by the English sentence “The sun moved behind the elms” entails the proposition expressed by the English sentence “The sun doesn’t stand still.”

Something similar, I suspect, is true for existential language. When an ordinary person says “There are three chairs in the room”, the proposition they express does not contradict the Radical Thesis. But if an ordinary person says things like “Chairs exist” or “Artifacts exist”, they likely would contradict the Radical Thesis, and moreover, these are statements that the ordinary person would be happy to make in denial of the Radical Thesis. But in the ordinary course of life, there is rarely an occasion for such statements.

This is all largely a function of pragmatics than the precise choice of words. Thus, one can say: “Drive slower. Speed limits exist.” The second sentence does not carry ontological commitment to speed limits.

So, how can we check whether an ordinary person believes that tables and chairs exist? I think the best way may be by ostension. We can bid the ordinary person to consider:

1. People, dogs, trees and electrons.

2. Holes, shadows and trends.

We remind the ordinary person that we say “There are three holes in this road” or “The shadow is growing”, but of course there are no holes or shadows, while there are people (we might remind them of the Cogito), dogs, trees and (as far as we can tell) electrons. I think any intelligent person will understand what we mean when we say there are no holes or shadows. And then we ask: “So, are tables and chairs in category 2 or in category 1? Do they exist like people, dogs, trees and electrons, or fail to exist like holes, shadows and trends?” This should work even if like Ray Sorensen they disagree that there are no shadows; they will still understand what we meant when we said that there are no shadows, and that’s enough for picking out what we meant by “exist”. To put in van Inwagen’s terms, this brief ostensive discussion will bring intelligent people into the “ontology room”.

And I suspect, though this is an empirical question and I could be wrong, once inducted into the discussion, most people will say that tables and chairs exist (and that they have believed this all along). But, van Inwagen should say, this nearly universal belief is mistaken.

This story neatly goes between van Inwagen’s view that ordinary people don’t believe things patently incompatible with the Radical Theory and Merricks’ view that ordinary poeple contradict the Radical Theory all the time. Ordinary people do believe things patently incompatible with the Radical Theory, but they rarely express these beliefs. Most ordinary “there exist” statements—whether concerning artifacts or people or particles—do not carry ontological commitment, and those of us who accept the Radical Theory normally aren’t lying when we say “There are three chairs in the room”. But the Radical Theory really is radical.

Creation and artifacts

Analytic metaphysics is widely thought a dry discipline. I want to show how it could be used to connect with some deeply devotional theological claims.

Here is a valid argument:

1. If artifacts exist, we created them.

2. Only God creates.

3. So, artifacts don’t exist.

This argument suggests that there can be a deeply devotional connection to the arguments of those metaphysicians, like Merricks and van Inwagen, who deny the existence of artifacts.

Here is another devotional line of thought towards this. Some radical theologians say that God doesn’t exist. They do this to emphasize the radical difference between God and creatures. But they do so wrong. The right way to emphasize this difference is to say that we don’t exist. (Recall how God is said to have told St. Catherine of Siena: “I am he who is and you are she who is not.”) Only God exists.

So, the things that God creates don’t exist—at least not in the same sense in which God exists. By analogy, it should be no surprise if the things we make don’t exist—at least not in the same sense that we exist.

Objection 1: We can create organisms in the lab, and organisms surely exist.

Response: Maybe we should say that their life comes from God.

Objection 2: The distinction between God’s creating and our making is sufficiently accounted for by noting that God creates ex nihilo and we make things out of preexistent stuff.

Response: God doesn’t always create ex nihilo. He made Adam out of the dust of the earth. And anyway the more differences we see between God and us, the more God’s transcendence is glorified.

Giant numerals stopwatch app

I do two activities where it is nice to have a stopwatch one can see from a distance: lap swimming and lap (indoor) rock climbing. I found one stopwatch app with large numerals, but they weren't large enough for my taste, so I ended up writing my own with the absolutely biggest digits I could (and lots of customizability and various extra features, like a start countdown).

For any Android users who want it, it's here. Source code is here. No ads, no in-app purchases. The app keeps track of the time even if it's navigated away from, and doesn't use any CPU time then. It should even continue keeping track of time if the device reboots or runs out of battery, though perhaps with some loss of precision. The lone permission in the app is to let it run on boot (to adjust the time in case it's running through a reboot).

For climbing, I leave my phone on the ground and easily read it from 50 feet up. For swimming, I put the phone in a freezer bag, and stand it up by the edge of the pool. In foggy dark goggles, I can read it from several yards away, which is good enough for pacing. (Our pool only has one analog wall clock which I can't read in foggy goggles.) Having time feedback as I swam encouraged me to improve two of my swim times (maybe it helped with pacing, too).

Curiously, in an early version I found that there is some bug in the font renderer on my phone: at maximum size, some digits were left blank on the screen (perhaps nobody anticipated drawing text so large that if it had descenders they wouldn't fit on the screen). So I wrote a python script that used a font library to convert digits, colons and minus signs to java code with the Android Path class.

The landscape screenshot shows it running in fullscreen mode with the classic German DIN 1451 highway sign font (and aspect ratio preservation turned off for even bigger digits). The second is with a standard Android Roboto font.

Anselm's ontological argument

Here is my favorite version of the “existence is not a property” objection to Anselm’s first ontological argument.

It makes no sense to talk of the greatness of a nonexistent being except hypothetically as the greatness it would have if it existed. When we compare the greatness of things, we compare what the things would be like if they existed. Thus, when we say that Thor is greater than Hermes, we mean something like this: if Thor existed, he would be greater than Hermes would be if Hermes existed. And to exist is to exist in reality.

But now take the crucial claim in Anselm’s argument that it is greater for x to exist in mind and in reality than just in mind. This claim is simply false when we understand it in the hypothetical way. For we need to compare the greatness of the x that exists in mind and reality to the greatness that the x that exists only in mind would have if it existed in reality. But that’s the same greatness!

Anselm’s second argument makes no such slip, for it is based on a comparison between contingent and necessary existence, and that comparison survives the criticism.

Ethics and complexity

Here is a picture of ethics. We are designed to operate with a specific algorithm A for generating imperatives from circumstances. Unfortunately, we are broken in two ways: we don’t always follow the generated imperatives and we don’t always operate by means of A. We thus need to reverse engineer algorithm A on the basis of our broken functioning.

In general, reverse-engineering has to be based on a presumption of relative simplicity of the algorithm. However, Kantian, utilitarian ethics and divine command ethics go beyond that and hold that A is at base very simple. But should we think that the algorithm describing the normative operation of a human being is very simple? The official USA Fencing rule book is over 200 pages long. Human life is more complex than a fencing competition. Why should we think that there are fundamental rules for human life that can be encompassed briefly, from which all other rules can be derived without further normative input? It would be nice to find such brief rules. Many have a hope of finding analogous brief rules in physics.

We haven’t done well in ethics in our attempts to find such brief rules: the Kantian and utilitarian projects make (I would argue) incorrect normative claims, while the divine command project seems to give the wrong grounds for moral obligations.

It seems not unlikely to me that the correct full set of norms for human behavior will actually be very complex.

But there is still a hope for a unification. While I am dubious whether one can find a simple and elegant set of rules such that all ethical truths can be derived from them with no further normative input, there may be elegant unifying ethical principles that nonetheless require further normative input to generate the complex rules governing human life. Here are two such options:

• Natural Law: Live in accordance with your nature! But to generate the rules governing human life requires the further information as to what your nature requires, and that is normative information.

• Agapic ethics: Love everyone! But one of the things that are a part of love is adapting the form of one’s love to fit the the persons and circumstances (fraternal love for siblings, collegial love for colleagues, etc.), and the rules of “fit” are extremely complex and require further normative input.

Eleven varieties of contrastive explanation

In connection with free will, quantum mechanics or divine creation it is useful to talk about contrastive explanation. But there is no single generally accepted concept of contrastive explanation, and what one says about these topics varies depending on the chosen concept.

To that end, here is a collection of definitions of contrastive explanation. They all have this form:

• r contrastively explains why p rather than q if and only if r explains why (p and not q) and [insert any additional conditions].

They vary depending on the additional conditions to be inserted. Here are some options for these:

1. No additional conditions.

2. r makes p more likely than q.

3. r cannot explain q.

4. r wouldn’t explain q if q were true instead of p.

5. r wouldn’t explain q as well as it now explains p if q were true instead of p.

6. q wouldn’t be explained by r or by any proposition with r’s actual grounds if q were true instead of p.

7. q wouldn’t be explained by r or by any proposition with r’s actual grounds as well as r now explains p if q were true instead of p.

8. the conjunction of everything explanatorily prior to p makes p more likely than q.

9. r entails (p and not q).

10. r entails the truth of p.

11. r entails the falsity of q.

It is not possible to normally have contrastive explanations of indeterministic free choices or quantum events in senses 9–11, and probably sense 8, but it is possible (with an appropriately metaphysical theory of free choice or quantum events) in senses 1-7. As for the case of contingent divine creative decision, things depend on divine simplicity. Without divine simplicity, contrastive explanations are possible in senses 1–7. Interestingly, if divine simplicity is true, then it is not possible to have contrastive explanations of contingent divine creative decisions in senses 6 or 7.

In what I said above, I assumed that the explanandum cannot be a part of the explanans. If following Peter Railton one drops this condition, then contrastive explanation of all three phenomena (with or without divine simplicity) becomes possible in all the senses.

Lesson: When one talks about contrastive explanation, one needs to define one’s terms.

Acknowledgments: I am grateful to Christopher Tomaszewski for in-depth discussion that led me to recognize the important difference between 4–5 and 6–7. And the Railton point is basically due to a remark by Yunus Prasetya.

Substances are not parts of substances

Here is a quick and simple argument for the Aristotelian axiom that substances are not parts of substances.

1. The parts of substances are at least partly grounded in the substances.

2. Substances are not even partly grounded in other things.

3. Therefore, substances are not proper parts of other substances.

I suppose (1) is probably just as controversial as (3).

Aristotelian metaphysics and global physics

Too much of the contemporary ontological imagination is guided by the idea that the fundamental physical stuff in the world is discrete particles. Yet this is clearly dubious, since quantum mechanics (on non-Bohmian interpretations) suggests that the world is full of superpositions of states with different numbers of particles, while if discrete particles really exist, there had better be a well-defined number of them. Quantum mechanics instead suggests an ontology of the physical world where there is exactly one entity, “the Global Wavefunction”, whose physical state can be aptly represented as a vector in an infinite-dimensional vector space. And even if we didn’t have quantum mechanics’ vector-based approach on the table, we still wouldn’t be in an epistemic position to know that the right physics is based on particles rather than fields.

An ontology of material objects that composes these objects out of particles is held hostage to a particle-based physics that may well not be true. It would be best if one could work on the ontology of material objects without presupposing an answer to the question whether fundamental physical reality is field-like, vector-like or particle-like. I do not know if this is tenable. If it’s not, then the ontology of material objects needs to be done conditionally: If fundamental physical reality is of this sort, then material objects are like this.

Interestingly, some metaphysical problems may become easier given a non-particulate physical substratum. For instance, one of the hardest problems for a contemporary Aristotelian metaphysics has been the problem of what happens to particles that get incorporated into a substance, in light of the axiom that a substance cannot be composed of substances. But if we do not see fundamental physical reality as made of apparently substantial particles, the problem dissolves.

Today I want to sketch two Aristotelian approaches that take globalized vector- and field-approaches seriously. On the vector- and field-approaches, fundamental physical reality consists of a mere handful of entities: a single vector-like entity or several (hopefully no more than a dozen, and ideally only one) field-like entities. But being Aristotelian, we will think there are at least billions of substances: every organism is a substance. If these substances are to be related to fundamental physical entities, billions of them will have to be related to the same fundamental physical entities.

The ordinary substances on my stories will be organisms. There are billions of them. In addition to the ordinary substances, there are extraordinary substances: one for each of the handful of fundamental physical entities (fields or a vector).

My stories now diverge. On the first story, the billions of ordinary substances each encode and ground local features of the global fundamental physical entities. On a field version of the story, you encode and ground the features that the global fields have where you are located and your dog encodes and grounds the features that the global fields have where your dog is located (I am less clear on how to describe the vector version). This is not enough. For there aren’t enough organisms in the universe to ground all of the richness of the global fundamental physical entities: too much of the universe is lifeless. Thus, I propose that there are additional substances located where the organisms are not, and the features of these substances ground the rest of the features of the global fundamental physical entities. One way to run this story is to say that there is one of these additional substances per global fundamental physical entity, and each grounds the features of its corresponding global fundamental phsyical entity away from organisms. These additional substances are like swiss cheese, with the holes being filled with organisms like people and dogs.

On this version of the Aristotelian story—which can be varied in a number of ways—the global fundamental physical entities are not metaphysically fundamental. They are grounded in the many substances of the world.

On the second story, the global fundamental physical entities are substances. They are global substances. These global substances interact with the ordinary substances (there are many ways to spell out this interaction). We can now identify the matter of an ordinary substance x either with x’s powers and liabilities for interaction with the global substances or with the plurality of these global substances qua interacting with x.

There are many options here. Much detail to be worked out. Some options may be inferior to others, but I doubt in the end we will come to a single clearly best option.

A measure of sincerity

On a supervaluationist view of vagueness, a sentence such as “Bob is bald” corresponds to a large number of perfectly precise propositions, and is true (false) if and only if all of these propositions are true (false). This is plausible as far as it goes. But it seems to me to be very natural to add to this a story about degrees of truth. If Bob has one hair, and it’s 1 cm long, then “Bob is bald” is nearly true, even though some precisifications of “Bob is bald” (e.g., that Bob has no hairs at all, or that his total hair length is less than 0.1 cm) are false. Intuitively, the more precisifications are true, the truer the vague statement:

1. The degree of truth of a vague statement is the proportion of precisifications that are true.

But for technical reasons, (1) doesn’t work. First, there are infinitely many precisifications of “Bob is bald”, and most of the time the proportion of precisifications that are true will be ∞/∞. Moreover, not all precisifications are equally good. Let’s suppose we somehow reduce the precisifications to a finite number. Still, let’s ask this question: If Bob is an alligator is Bob bald? This seems vague, even though the precisifications of “Bob is bald” that require Bob to be the sort of thing that has hair seem rather better. But for any precisification that requires Bob to be a hairsute kind of thing, there is one that does not. And so if Bob is an alligator, he is bald according to exactly half of the precisifications, and hence by (1) it would be half-true that he is bald. And that seems too much: if Bob is an alligator, he is closer to being non-bald than bald.

A better approach seems to me to be this. A language assigns to each sentence s a set of precisifications and a measure m_s on this set with total measure 1 (i.e., technically a probability measure, but it does not represent chances or credences). The degree of truth of a sentence, then, is the measure of the subset of precisifications that are actually true.

Suppose now that we add to our story a probability measure P representing credences. Then we can form the interesting quantity E_P(m_s) where E_P is the expected value with respect to P. If s is non-vague, then E_P(m_s) is just our credence for s. Then E_P(m_s) is an interesting kind of “sincerity measure” (though it may not be a measure in the mathematical sense) that combines both how true a statement is and how sure we are of it. When E_P(m_s) is close to 1, then it is likely that s is nearly true, and when it is close to 0, then it is likely that s is nearly false. But when it is close to 1/2, there are lots of possibilities. Perhaps, s is nearly certain to be half-true, or maybe s is either nearly true or nearly false with probabilities close to 1/2, and so on.

This is not unlikely worked out, or refuted, in the literature. But it was fun to think about while procrastinating grading. Now time to grade.