Presentism, multiverses and discrete time

Suppose time is in fact continuous and modeled by the real numbers.

It seems odd indeed to me that the real numbers should be the only possible way for time to run. The real numbers are a very specific mathematical system. There are other systems, such as the hyperreals or the rationals or even the integers, that seem to be plausible alternatives. I know of no argument that the time sequence has to be numbered by the real numbers.

Thus, given our initial supposition, it should be possible to have time sequences corresponding to ordered sequences numbered by the integers or the hyperreals. Here, then, is a further intuition. It is possible to have a multiverse with radically different spacetime structures in each universe of it. If so, then we would expect the possibility of a multiverse where different universes in a multiverse have time sequences based on very different ordered sets.

Suppose presentism is necessarily true. Then even in such a multiverse, there would be an absolute present running across all of these timelines in the different universes. And that would be rather odd. Imagine that in one universe the time-line is corresponds to the integers and in the other it corresponds to the reals, and both are found in one multiverse. What happens in the universe whose time-line is based on the integers when the line of the present moves continuously across the uncountable infinity of times numbered by the real numbers? Does it stay for infinitely moments at the same integer? But then at infinitely many moments of time it would be at one moment, which is a contradiction. Or does the universe with the integer time-line pop out of existence when the present doesn’t meet up with these integers? Maybe that’s the best view, but it’s a weird view.

Perhaps the presentist’s best bet is to say that there is a privileged mathematical structure that models what a time-line could be like. If so, my intuition says that the only candidate for that privileged structure would be a discrete structure like the integers. For there are arguments in the history of philosophy for time having to be discrete (arguments from Zeno through myself), but none for time having to be modeled by specifically the real numbers, or the rational numbers, or some specific hyperreal field.

Darwin and Einstein against the shared-form interpretation of Aristotle

Assume an Aristotelian account of substantial form on which forms are found in the informed things. A classic question is whether substantial forms are shared between members of the same kind or whether each individual has their own numerically (but maybe not qualitatively) distinct form.

Here’s a fun argument against the shared-form view. For evolution to work with substantial forms, sometimes organisms of one metaphysical kind must produce organisms of another kind. For instance, supposing that wolves are a different metaphysical kind from dogs, and dogs evolved from wolves, it must have happened that two wolves reproduced and made a dog. (I suspect wolves and dogs are metaphysically the same kind, but let’s suppose they aren’t for the sake of the argument.) If we are to avoid occasionalism about this, we have to suppose that the two wolves had a causal power to produce a dog-form under those circumstances.

Plausibly dogs evolved from wolves in Siberia, but there was also a Pleistocene wolf population in Japan, and imagine that the causal power to produce a dog was found in both wolf populations. Suppose, counterfactually, that a short period of time after a pair of wolves produced a dog in Siberia, a pair of Japanese wolves also produced a dog. On a shared-form view, when the Siberian wolves produced a dog, they did two things: they produced a dog-form and they made a dog composed of the dog-form and matter. But when the Japanese wolves produced a dog, the dog-form already existed, so they only thing they could do is make a dog composed of matter and that dog-form.

The first oddity here is this. Our (perhaps imaginary) Japanese wolves didn’t know that there was already a dog in Siberia, so when they produced a dog, they exercised exactly the same causal powers that their Siberian cousins did. But their exercise of these causal powers had a different effect, because it did not produce a new form, since the form already existed, and instead it made the form get exemplified in some matter in Japan. It is odd that the exercise of the same causal power worked differently in the same local circumstances.

Second, there is an odd action-at-a-distance here. The dog-form was available in Siberia, and somehow the Japanese wolves in the story made matter get affected by it thousands of kilometers away.

In fact, to make things worse, we can suppose the Japanese wolves only lagged a two or three milliseconds after their Siberian cousins. In that case, the Siberian wolves caused the existence of the dog-form, which then affected the coming-into-existence of a dog in Japan in a faster-than-light way. Indeed, in some reference frames, the Japanese dog came into existence shortly before the dog-form came into existence in Siberia. In those reference frames we have backwards causation: the Siberian wolves make a dog-form and that dog form organizes matter in Japan earlier.

If, on the other hand, every dog has a numerically distinct form, there is no difficulty: the Japanese wolves’ activity can be entirely causally independent of the Siberian ones’.

Inferentialism and the fictitious isolated hydrogen atom

This is another attempt at an argument against inferentialism about logical constants.

Given a world w, let w^* be a world just like w except that it has added to it an extra spatiotemporally disconnected island universe containing exactly one hydrogen atom with a precisely specified wavefunction ψ₀. Suppose that in in the actual world there is no such isolated hydrogen atom. Now, given a nice first-order language L describing our world, let L^* be a language whose constants are the same as the constants of L with an asterisk added to every logical constant, name and predicate. Given a sentence ϕ of L, let ϕ^* be the corresponding sentence of L^*—i.e., the sentence with all of L’s logical constants asterisked.

Let the rules of inference of L^* be the same as those of L with asterisks added as needed.

Let the semantics of L^* be as follows:

• Every predicate P^* in L^* means the same thing as P in L.

• Every name a^* in L^* means the same thing as a in L.

• Any sentence ϕ^* in L^* without quantifiers means the same thing as ϕ in L.

• But if ϕ^* has a quantifier, then ϕ^* means that ϕ would be true if there were an extra spatiotemporally disconnected island universe containing exactly one hydrogen atom with wavefunction ψ₀.

Thus, ϕ^* is true in world w if and only if ϕ is true in w^*.

Observe that because L contains only names for things that exist in the actual world, and hence not for the extra hydrogen atom or its components, an atomic sentence P(a₁,...,a_n) in L is true if and only if the corresponding sentence P^*(a₁^*,...,a_n^*) is true in L^*.

Logical inferentialism tells us that the logical constants of L^* mean the same thing as those of L, modulo asterisks. After all, modulo asterisks, we have the same inferences, the same meanings of names, and the same meanings of predicates. But this is false: for if ∃^* in L^* were an existential quantifier, then it would be true that there exists an isolated hydrogen atom with wavefunction ψ₀. But there is none such.

Probabilities of regresses of chickens

Suppose we have a backwards-infinite sequence of asexually reproducing chickens, ..., c₋₃, c₋₂, c₋₁, c₀ with c_n having a chance p_n of producing a new chicken c_n + 1 (chicken c₀ may or may not have succeeded; the earlier ones have succeeded). Suppose that the p_n are all strictly between 0 and 1, and that the infinite product p₋₁p₋₂p₋₃... equals some number p strictly between 0 and 1.

Intuitively, we should be surprised that chicken c₀ exists if p is low and not surprised if p is high. If we have observed c₀ and are considering theories as to what the chances p_n are, other things being equal, we should prefer the theories on which the product p is high to ones on which it’s low.

But what exactly does p measure? It seems to be some kind of a chance of us getting c₀. But it doesn’t measure the unconditional probability of getting an infinite sequence of chickens leading up to c₀. For that is very tiny indeed, since it is extremely unlikely that the world would contain chickens at all. It seems to be a kind of conditional probability. Let q_n be the proposition that chicken c_n exists. Then P(q₀∣q_n) = p₀p₋₁p₋₂...p_n, and so p is the limit of the conditional probabilities P(q₀∣q_n). It is plausible thus to think of p as a conditional probability of q₀ on q_−∞, which is the infinite disjunction of all the q_n.

But q_−∞ is a rather odd proposition. It is grounded in q_n for every finite n, assuming that a disjunction, even an infinite one, is grounded in its true disjuncts. Thus every one of the q_n is explanatorily prior to q_−∞. But this means that P(q₀∣q_−∞) is actually a conditional probability of q₀ on something that isn’t explanatorily prior to q₀—indeed, that is explanatorily posterior to q₀. This challenges the interpretation of p as a chance of getting chicken c₀.

I am not quite sure what conclusion to draw from the above argument. Maybe it offers some support for causal finitism, by suggesting that things are weird when you have a backwards infinite causal sequence?

Inferentialism and the completeness of geometry

The Quinean criterion for existential commitment is that we incur existential commitment precisely by affirming existentially quantified sentences. But what’s an existential quantifier?

The inferentialist answer is that an existential quantifier is anything that behaves logically like an existential quantifier by obeying the rules of inference associated with quantifiers in classical logic.

Here is a fun little problem with the pairing of the above views. Tarski proved that, with an appropriate axiomatization, Euclidean geometry is complete and consistent, i.e., for every geometric sentence ϕ, exactly one of ϕ and its negation is provable from the axioms. Now let us stipulate a philosophically curious language L^*. Syntactically, the symbols of L^* are the symbols of L but with asterisks added after every logical connective, and the sentences are of L^* are the sentences of L with an asterisk added after every connective and predicate. The semantics of L^* are as follows: the sentence ϕ of L^* means that the sentence of L formed by dropping the asterisks from ϕ is provable from the axioms of Euclidean geometry.

Inferentially, the asterisked connectives of L^* behave exactly like the corresponding non-asterisked connectives of L.

Consider the sentence ϕ of L^* that is written ∃^*x(x=^*x). This sentence, by stipulation, means that ∃x(x=x) is provable from the axioms of Euclidean geometry. According to the Quinean criterion plus inferentialism, it incurs existential commitment, because ∃^*x, since it behaves inferentially just like an existential quantifier, is an existential quantifier. Now, it is intuitively correct that ∃^*x(x=^*x) does incur existential commitment: it claims that there is a proof of ∃x(x=x), so it incurs existential commitment to the existence of a proof. So in this case, the inferentialist Quinean gets right that there is existential commitment. But rather clearly only coincidentally so! For now consider the sentence ψ that is written ∀^*x(x=^*x). Since ∀^*x behaves inferentially just like ∀x, by inferentialist Quineanism it incurs no existential commitment. But ψ means that there is a proof of ∀x(x=x), and hence incurs exactly the same kind of existential commitment as ϕ did, which said that there was a proof of ∃x(x=x).

What can the inferentialist Quinean respond? Perhaps this: The language L^* is syntactically and inferentially compositional, but not semantically so. The meaning of p∨^*q, namely that the unasterisked version of p∨^*q has a proof, is not composed from the meanings of p and of q, which respectively mean that p has a proof and that q has a proof. But that’s not quite right. For meaning-composition is just a function from meanings to meanings, and there is a function from the meanings of p and of q to the meaning of p∨^*q—it’s just a messy function, rather than the nice function we normally associate with disjunction.

Perhaps what the inferentialist Quinean should do is to insist on the intuitive non-inferentialist semantic compositional meanings for the truth-functional connectives, but not for the quantifiers. This feels ad hoc.

Even apart from Quineanism, I think the above constitutes an argument against inferentialism about logical connectives. For the asterisked connectives of L^* do not mean the same thing as their unasterisked variants in L.

Some issues concerning eliminative structuralism for second-order arithmetic

Eliminative structuralist philosophers of mathematics insist that what mathematicians study is structures rather than specific realizations of these structures, like a privileged natural number system would be. One example of such an approach would be to take the axioms of second-order Peano Arithmetic PA2, and say an arithmetical sentence ϕ is true if and only if it is true in every standard model of PA2. Since all such models are well-known to be isomorphic, it follows that for every arithmetical sentence ϕ, either ϕ or  ∼ ϕ is true, which is delightful.

The hitch here is the insistence on standard (rather than Henkin) models, since the concept of a standard depends on something very much like a background set theory—a standard model is a second-order model where every subset of Dⁿ is available as a possible value for the second-order n-ary variables, where D is the first-order domain. Thus, such an eliminative structuralism in order to guarantee that every arithmetical sentence has a truth value seems to have to suppose a privileged selection of subsets, and that’s just not structural.

One way out of this hitch is to make use of a lovely internal categoricity result which implies that if we have any second-order model, standard or not, that contains two structures satisfying PA2, then we can prove that any arithmetical sentence true in one of the two structures is true in the other.

But that still doesn’t get us entirely off the hook. One issue is modal. The point of eliminative structuralism is to escape from dependence on “mathematical objects”. The systems realizing the mathematical structures on eliminative structuralism don’t need to be systems of abstract objects: they can just as well be systems of concrete things like pebbles or points in space or times. But then what systems there are is a contingent matter, while arithmetic is (very plausibly) necessary. If we knew that all possible systems satisfying PA2 would yield the same truth values for arithmetical sentences, life would be great for the PA2-based eliminative structuralist. But the internal categoricity results don’t establish that, unless we have some way of uniting PA2-satisfying systems in different possible worlds in a single model. But such uniting would require there to be relations between objects in different worlds, and that seems quite problematic.

Another issue is the well-known issue that assuming full second-order logic is “too close” to just assuming a background set-theory (and one that spans worlds, if we are to take into account the modal issue). If we could make-do with just monadic second-order logic (i.e., the second-order quantifiers range only over unary entities) in our theory, things would be more satisfying, because monadic second-order logic has the same expressiveness as plural quantification, and we might even be able to make-do with just first-order quantification over fusions of simples. But then we don’t get the internal categoricity result (I am pretty sure it is provable that we don’t get it), and we are stuck with assuming a privileged selection of subsets.

Causal Robinson Arithmetic

Say that a structure N that has a distinguished element 0, a unary function S, and binary operations + and ⋅ is a causal Robinson Arithmetic (CRA) structure iff:

1. The structure N satisfies the axioms of Robinson Arithmetic, and

2. For any x in N, x is a partial cause of the object Sx.

The Fundamental Metaphysical Axiom of CRA is:

• For every sentence ϕ in the language of arithmetic, ϕ is either true in every metaphysically possible CRA structure or false in every metaphysically possible CRA structure.

Causal Finitism—the doctrine that nothing can have infinitely many things causally prior to it—implies that any CRA is order isomorphic to the standard natural numbers (for any element in the CRA structure other than zero, the sequence of predecessors will be causally prior to it, and so by Causal Finitism must be finite, and hence the number can be mapped to a standard natural number), and hence implies the Fundamental Metaphysical Axiom of CRA.

Given the Fundamental Metaphysical Axiom of CRA, we have a causal-structuralist foundation for arithmetic, and hence for meta-mathematics: We say that a sentence ϕ of arithmetic is true if and only if it is true in all metaphysically possible CRA structures.

Sensory-based hacking and consent

Suppose human beings are deterministic systems.

Then quite likely there are many cases where the complex play of associations combined with a specific sensory input deterministically results in a behavior in a way where the connection to the input doesn’t make rational sense. Perhaps I offer you a business deal, and you are determined to accept the deal when I wear a specific color of shirt because that shirt unconsciously reminds you of an excellent and now deceased business partner you once had, while you have found the deal dubious if I wore any other color. Or, worse, I am determined to reject a deal offered by some person under some circumstances where the difference-maker is that the person is a member of a group I have an implicit and irrational bias against. Or perhaps I accept the deal precisely because I am well fed.

If this is true, then we are subject to sensory-based hacking: by manipulating our sensory inputs, we can be determined to engage in specific behaviors that we wouldn’t have engaged in were those sensory inputs somewhat different in a way that has no rational connection with the justification of the behavior.

Question: Suppose a person consents to something (e.g., a contract or a medical procedure) due to deliberate deterministic sensory-based hacking, but otherwise all the conditions for valid consent are satisfied. Is that consent valid?

It is tempting to answer in the negative. But if one answers in the negative, then quite a lot of our consent is in question. For even if we are not victims of deliberate sensory-based hacking, we are likely often impacted by random environmental sensory-based hacking—people around us wear certain colors of shirts or have certain shades of skin. So the question of whether determinism is true impacts first-order questions about the validity of our consents.

Perhaps we should distinguish three kinds of cases of consent. First, we have cases where one gives consent in a way that is rational given the reasons available to one. Second, we have cases where one gives consent in a way that is not rational but not irrational. Third, we have cases of irrational consent.

In cases where the consent is rational, perhaps it doesn’t matter much that we were subject to sensory-based hacking.

In cases where the consent is neither rational nor irrational, however, it seems that the consent may be undermined by the hacking.

In cases where the consent is irrational, one might worry that the irrationality undercuts validity of consent anyway. But that’s not in general true. It may be irrational to want to have a very painful surgery that extends one’s life by a day, but the consent is not invalidated by the irrationality. And in cases where one irrationally gives consent it seems even more plausible that sensory-based hacking undercuts the consent.

I wonder how much difference determinism makes to the above. I think it makes at least some difference.

We have systematic overdetermination in our movements

The causal exclusion argument requires us to deny that there is systematic overdetermination between mental and physical causes.

But it is interesting to note that in the real world there is systematic overdetermination of physical movements. Suppose I raise my arm. My muscle contraction is caused by a bunch of electrons moving in the nerves between the brain and the muscle. Suppose there are N electrons involved in the electrical flow, for some large number N. But now note that except in extremely rare marginal cases, any N − 1 of the electrons are sufficient to produce the same muscle contraction. Thus, my muscle contraction is overdetermined by at least N groups of electrons. Each of these groups differs from the original N electron group by omitting one of the electrons. And each group is sufficient to produce the effect.

One might try to defend the no-systematic-overdetermination view by saying that what doesn’t happen is systematic overdetermination by non-overlapping causes. There are two problems with this approach. First, it is not empirically clear that there isn’t systematic overdetermination by non-overlapping causes. It could turn out that typically twice as many electrons are involved in nerve impulses as are needed, in which case there are two non-overlapping groups each of which is sufficient. Second, the anti-physicalist can just say that there is overlap between the mental cause and the physical cause—the mental cause is not entirely physical, but is partially so.

Alternately, one might say that there may be systematic overdetermination of physical events by physical events, but not of physical events by physical and mental events. This would need an argument.

More on God causing infinite regresses

In my previous two posts I focused on the difficulty of God creating an infinite causal regress of indeterministic causes as part of an argument from theism to causal finitism. In this post, I want to drop the indeterministic assumption.

Suppose God creates a backwards infinite causal regress of (say) chickens, where each chicken is caused by parent chickens, the parent chickens by grandparent chickens, and so on. Now, I take it that the classical theist tradition is right that no creaturely causation can function without divine cooperation. Thus, every case where a chicken is caused by parent chickens is a case of divine cooperation.

Could God’s creative role here be limited to divine cooperation? This is absurd. For then God would be creating chickens by cooperating with chickens!

So what else is there? One doubtless correct thing to say is this: God also sustains each chicken between its first moment of life and its time of death. But this sustenance doesn’t seem to solve the problem, because the sustenance is not productive of the chickens—it is what keeps each chicken in existence after it has come on the scene. So while there is sustenance, it isn’t enough. God cannot create chickens by cooperating with chickens and by sustaining them.

Thus God needs to have some special creative role in the production of at least some of the chickens, fulfilling a task over and beyond cooperation and sustenance. Furthermore, this special task must be done by God in the case of an infinite number of the chickens, since otherwise there would be a time before which that task was not fulfilled—and yet God created infinitely the chickens before that time, too, since we’re assuming an infinite regress of chickens.

What happens in these cases? One might say is that in these special cases, God doesn’t cooperate with the parent chickens. But since no creaturely causation happens without divine cooperation, in these cases the parent chickens don’t produce their offspring, which contradicts our assumption of the chickens forming a causal regress. So that won’t do.

So in these cases, we seem to have two things happening: divine cooperation with chicken reproduction and divine creation of the chicken. Since divine cooperation with chicken reproduction is sufficient to produce the offspring, and divine creation of the chicken is also sufficient, it follows that in these cases we have causal overdetermination.

Now, we have some problems. First, does this overdetermination happen in all cases of chicken reproduction or only in some? It doesn’t need to happen in all of them, since it is overdetermination after all. But if it happens only in some, then it is puzzling to ask how God chooses which cases he overdetermines and which he does not.

Second, when there is overdetermination, the overdetermination is not needed for the effect. So it seems that if God’s additional role is that of overdetermining the outcome, that role is an unnecessary role, and the chickens could be produced by mere divine cooperation, which we saw is absurd. This isn’t perhaps the strongest of arguments. One might say that while in each particular case the overdetermining divine creative action is not needed, it is needed that it occur in some (indeed, infinitely many) cases.

Third, just as it is obviously absurd if God creates chickens merely by cooperating with chickens, it seems problematic, and perhaps absurd, that God creates chickens merely by cooperating with chickens and overdetermining that cooperation.

Famously, Aquinas thinks that God could have created an infinite regress of fathers and sons, and hence presumably of chickens as well. At this point, I can think of only one plausible way of getting Aquinas out of the above arguments, and it’s not a very attractive way. Instead of saying that God cooperates with the production of offspring, we can say that occasionalism holds in every case of substantial causation, that all causation of one substance’s existence by another is a case of direct divine non-cooperative causation, with the creaturely causation perhaps only limited to the transmission of accidents. Like all occasionalism, an occasionalism about substance causation is unappealing philosophically and theologically.

God and chancy infinite causal regresses

Suppose that a dod is a critter that chancily, with probability 1/2, causes one offspring during its life. The lifespan of a dod is one year. Further, imagine that like Sith, there are only ever one or two dods at a time, because each dod dies not long after reproducing, and if there were two or more mature dods at once, they’d fight to the death.

Now, imagine we have an infinite regress of dods, because each dod comes from an earlier dod. This would be hard to believe! After all, at any time at which we have a dod, we should be extremely (infinitely?) surprised that the dods haven’t died out yet. After all the probability that, given a dod at some time that there would be a dod in n years exponentially decreases with n.

Assuming causal finitism is false, it seems God could intentionally create an infinite regress of dods. But what would that look like? Here’s one story. God overrides the chances and directly and intentionally creates a backwards-infinite (and maybe even forwards-infinite, if he so chooses) sequence of dods. In that case, within that sequence the 1/2 chance of dod reproduction plays no explanatory role whatsoever. It seems we have occasionalism or a miracle or both. In any case, it does not appear that we actually have an infinite causal regress of dods in this case—the causation between dods, with its 1/2 chance, seems not to have any explanatory role. So the “overriding” story doesn’t work.

The other option is the Thomistic story. God doesn’t override chances. Instead, through primary causation, God concurs in creaturely causation and makes the finite cause produce its effect in such a way that the finite cause is fully acting as an indeterministic cause (this goes along with a view on which God can make us freely and indeterministically choose things). But this is very strange. For what explanatory role does the 1/2 in the chancy causation play? Assuming God wanted there to be an infinite sequence of dods, he could do exactly the same thing if the chance were 1/10 or 9/10 or even 1. It seems that the dod reproduces if and only if God intends the dod to reproduce, and whether God intends the dod to reproduce seems to have nothing to do with the “1/2” in the dod’s reproductive probabilities—it’s not plausible that God has probability 1/2 of intending each given dod to reproduce. And if God had probability 1/2 of intending each given dod to reproduce, how could he intentionally ensure that there ever are any dods, since the probability that God has infinitely many of these individual-dod-reproduction intentions is zero.

So we have problems. This gives further evidence that theism implies causal finitism.

From theism to causal finitism

Causal Finitism—the thesis that nothing can have an infinite causal history—implies that there is a first cause, and our best hypothesis for what a first cause would be is God. Thus:

1. If Causal Finitism is true, God exists.

But I think one can also argue in the other direction:

2. If God exists, Causal Finitism is true.

Aquinas wouldn’t like this since he thought that God could create a per accidens ordered backwards-infinite causal series.

In this post, I want to sketch an argument for (2). The form of the argument is this.

3. God cannot create a sequence of beings ..., A₋₃, A₋₂, A₋₁, A₀ where each being causes the next one.

4. If God cannot create such a sequence, such a sequence is impossible.

5. The best explanation of the impossibility of such a sequence is Causal Finitism.

Claim (4) comes from omnipotence. Claim (5) is I think the weakest part of the argument. Causal Finitism follows logically from the conjunction of two theses, one ruling out backwards-infinite causal chains and the other ruling out infinite causal cooperation (a precise statement and a proof is given in Chapter 2 of my Infinity book). But I am now coming to think that there is a not crazy view where one accepts the anti-chain part of Causal Finitism but not the anti-cooperation part. However, (a) the main cost of Causal Finitism come from the anti-chain part (the anti-chain part is what forces either a discrete time or a discrete causal reinterpretation of physics), (b) there are significant anti-paradox benefits to maintaining the anti-cooperation part, and (c) the theory may seem more unified in having both parts.

Now let’s move on to (3). Here is an argument. Say that an instance of causation is chancy provided that the outcome has a probability less than one.

6. If God can create a backwards-infinite causal sequence of beings, he can create a backwards-infinite chancy causal sequence of beings as the only thing in creation.

7. Necessarily, if God creates a backwards-infinite chancy causal sequence of beings as the only thing in creation, then there is no creature x such that God determines x to exist.

8. Necessarily, if God creates, he acts in a way that determines that something other than God exists.

9. Necessarily, if God determines that something other than God exists then there is a creature x that God determines x to exist.

10. Necessarily, if God creates a backwards-infinite chancy causal sequence of beings, then there is a creature x such that God determines x to exist. (8,9)

11. Hence, God cannot create a backwards-infinite chancy causal sequence of beings. (7,10)

12. Hence, God cannot create a backwards-infinite causal sequence of beings. (6,11)

The thought behind (6) is an intuition about modal uniformity. I think (6) is probably the most vulnerable part of the argument, but I don’t think it’s the one Aquinas would attack. What I think Aquinas would attack would most likely be (7). I will get to that shortly.

But first a few words about (8). In theory, it is possible to determine that something exists without determining any particular thing to exist. One can imagine a being with a chancy causal power such that if it waves a wand necessarily either a bunny or a pigeon is caused to exist, with the probability of the bunny being 1/2 and the probability of the pigeon being 1/2. But God is not like that. God’s will is essentially efficacious and not chancy. God can play dice with the universe, but only by creating dice. Thus, if God wanted to ensure there is a bunny or a pigeon without ensuring which specific one exists, he would have to create a random system that has chancy propensities for a bunny and for a pigeon and that must exercise one of the two propensities.

In fact, I think divine simplicity may imply this. For by divine simplicity, any two possible worlds that differ must differ in something outside God. Now consider a world w₁ where God determines a bunny to exist, and a world w₂ where God merely determines that a bunny or a pigeon exists and in fact a bunny is what comes about. There seems to be no difference outside God between these two worlds (one might wonder about the relation of being-created: could there be an relation of being-created-chancily and being-created-non-chancily? this seems fishy to me, and suggests a regress—how are the two relations differently related to God? and do we want to multiply such relations, saying there is such a thing as being-created-chancily-with-probability-0.7?). If both worlds are possible, by divine simplicity they must be the same, which is absurd. So at least one must be impsosible. And w₂ is a better candidate for that than w₁.

That still doesn’t establish (8). For I admitted that God can play dice if he creates dice. Thus, it seems that God could determine that something exists without determining where it’s A or B or C (say) by determining there to be dice that decide whether A or B or C are produced. But on this story, God still determines there to be dice, so there is an x—a die—that God determines to exist. I think a bit more could be said here, but as I said, I don’t think this is the main thing Aquinas would object to.

Back to (7). Why can’t God create a chancy backwards-infinite causal sequence while determining some item A_n in it to exist? Well, the sequence is chancy, so the probability that A_n − 1 causes A_n given that A_n − 1 exists is some p < 1. But, necessarily, if one creature causes another, it does so with divine cooperation (Aquinas will not disagree), and conversely if God cooperates with one creature to cause another, the one creature does cause the other. That the probability that God cooperates with A_n − 1 to cause A_n is equal to the probability that A_n − 1 causes A_n, because necessarily one thing happens if and only if the other does. Thus, the probability that God cooperates with A_n − 1 to cause A_n, given that A_n − 1 exists, is p. But p < 1, so it sure doesn’t look like a case of God determining A_n to exist!

But perhaps there is something like overdetermination, but between determination and chanciness (so not exactly over-determination). Perhaps God both determines A_n to exist and chancily cooperates with A_n − 1 to produce A_n. One problem with this hypothesis is with divine simplicity: it does not seem that there is any difference outside God between a world where God does both and God merely cooperates or concurs. But Aquinas may respond: “Yes, exactly. Necessarily, when one creature chancily causes another, God’s primary causation determines which specific outcome results. Thus there is no world where God merely cooperates.” So now the view is that whenever we have chancy causation, necessarily God determines the outcome. But suppose I chancily toss a coin, and it has chance 1/2 of heads and chance 1/2 of tails. Then on this view, I get heads if and only if God determines that I get heads. Hence the chance that God determines I get heads is 1/2. But it seems plausible that God’s determinations are not measured by numerical probabilities, and in any case that they are not measured by numerical probabilities coming from our world’s physics!

Megethology as mathematics and a regress of structuralisms

In his famous “Mathematics is Megethology”, Lewis gives a brilliant reduction of set theory to mereology and plural quantification. A central ingredient of the reduction is a singleton function which assigns to each individual a singleton of which the individual is the only member. Lewis shows that assuming some assumptions on the size of reality (namely, that it’s very big) there exists a singleton function, and that different singleton functions will yield the same set theoretic truths. The result is that the theory is supposed to be structuralist: it doesn’t matter which singleton function one chooses, just as on structuralist theories of natural numbers it doesn’t matter if one uses von Neumann ordinals or Zermelo ordinals or anything else with the same structure. The structuralism counters the obvious objection to Lewis that if you pick out a singleton function, it is implausible that mathematics is the study of that one singleton function, given that any singleton function yields the same structure.

It occurs to me that there is one hole in the structuralism. In order to say “there exists a singleton function”, Lewis needs to quantify over functions. He does this in a brilliant way using recently developed technical tools where ordered pairs of atoms are first defined in terms of unordered pairs and an ordering is defined by a plurality of fusions, relations on atoms are defined next, and so on, until finally we get functions. However, this part can also be done in a multiplicity of ways, and it is not plausible that mathematics is the study of singleton functions in that one sense of function, given that there are many sense of function that yield the same structure.

Now, of course, one might try to give a formal account of what it is for a construction to have the structure of functions, what it is to quantify not over functions but over function-notions, one might say. But I expect a formal account of quantification over function-notions will presumably suffer from exactly the same issue: no one function-notion-notion will appear privileged, and a structuralist will need to find a way to quantify over function-notion-notions.

I suspect this is a general feature with structuralist accounts. Structuralist accounts study things with a common structure, but there are going to be many accounts of common structure that by exactly the same considerations that motivate structuralism require moving to structuralism about structure, and so on. One needs to stop somewhere. Perhaps with an informal and vague notion of structure? But that is not very satisfying for mathematics, the Queen of Rigor.

Metaphysical universism

Here’s a metaphysical view I haven’t seen: the fundamental obejcts (priority version) or the only objects (existence version) are universes, but there can be more than one of these. Call this metaphysical universism (as distinguished from Quisling’s philosophy).

If in fact there is only one universe, metaphysical universism extensionally coincides with monism. But even in that case, metaphysical universism is a different theory, because it has different modal implications. And if we live in a multiverse, metaphysical universism is extensionally different from monism, since monism says that the one fundamental (priority) or one and only (existence) entity is the multiverse as a whole, not the universes.

I can think of two main advantages of metaphysical universism over monism.

First, suppose there is only one universe. It is plausible that there could be another in addition to this one. Metaphysical universism embraces this possibility. Monism only says that The One could have been bigger so as to comprise two spatiotemporally disconnected regions.

Second, there is an old intuition that being and unity are connected. In a multiverse, monism violates this intuition, for in a multiverse it is the universes that have unity, not the multiverse. Indeed quantum entanglement arguments for monism in the context of a non-Everettian multiverse seem to me to point more towards metaphysical universism than monism.

On the other hand, monism has a significant advantage over metaphysical universism insofar as monism solves the problem of truthmakers of negative and universal claims by making The One be the truthmaker of all of them.

Of course, both theories are false.

The ethics of plant care

If someone devotes a significant part of their life to affectionately caring for plastic flowers, there is something wrong with them. Not so in the case of real, living plants. This points to me to the idea that life as such, and not just conscious life or the life of animals, is a valuable thing.

I don’t want to say that it’s always bad to affectionately care for artifacts. When the artifacts have an intimate and significant connection with human beings, as in the case of a chair that grandma made or a work of art, such affectionate care can make sense. But having an affectionate care for plants makes sense even in the absence of a connection to human beings.

What about microscopic forms of life? Can it make sense to fondly feed a bacterium? I think so, but I agree that the case is less clear.