Monday, May 20, 2019

Presentism, gappy existence and self-causation

Yesterday, at the invitation of a student, I did a Marian pilgrimage to Walsingham. If you have a chance to go, go. It’s worth it for spiritual reasons. But here I want to reflect on a metaphysics of time question, related to the experience of participating in this venerable institution.

The Walsingham pilgrimage is an institution dating back to the middle ages. It was abolished by an unecumenical king in 1538, but then eventually re-established around the 19th century.

According to presentism, between the 16th and 19th centuries, it was true that the pilgrimage does not exist. Those who caused it to be re-established, thus, caused it to exist plain and simple. But it is very strange that one could cause to exist something that already once existed—and without any time travel or backwards causation. (Given time travel, one can make something and take it into the past. In making it, then, one caused something to exist that already existed. That’s just a part of the strangeness of time travel.)

One might try to get out of this puzzle by supposing that institutions like pilgrimages do not really exist, and that nothing that exists can have gappy existence. (As stated, corruptionist presentists who believe in a resurrection are out of luck. But they can say that when God is causing the re-existence of something, it’s not so strange.)

But the puzzle remains when we consider self-preservation.

Saturday, May 18, 2019

Regularity

Plausibly—though there are some set-theoretic worries that require some care if the language is rich enough—for a fixed language, there are only countably many situations we can describe. Consequently, we only need to do Bayesian epistemology for countably many events. But this solves the problem of regularity for uncountable sample spaces. For even if there are uncountably many events, only countably many are describable and hence matter, and they form a field (i.e., are closed under finite unions and complements) and:

Proposition: For any countable field F of subsets of a set Ω, there is a countably additive probability measure P on the power set of Ω such that every event in F has non-zero probability.

Proof: Let the non-empty members of F be u1, u2, .... Let a1, a2, ... be any sequence of positive numbers adding up to 1 (e.g., an = 2n). Choose one point xn ∈ un. Let P(A)=∑nanAn where An is 1 if xn ∈ A and 0 otherwise.

Note that this proof uses the countable Axiom of Choice, but almost nobody is worried about that.

Thursday, May 16, 2019

Analogies to ectopic pregnancy

The standard Catholic view of tubal pregnancy is that it is permissible to remove the tube with the child. The idea seems to be that the danger to the mother comes from the potential rupture of the tube, and hence removal of the tube is removal of that which poses the danger, and the death of the child is a non-intended side-effect, with the action justified by double effect. I’ve always been queasy about this reasoning, but I now have two related analogies that make me feel better about this.

Case 1: There are two astronauts on a spaceship, with no oxygen left in the air. The astronauts are wearing spacesuits with oxygen tanks. The oxygen tanks are sufficient for the astronauts to survive until they get home: 50% of the oxygen can be expected to be used up before getting home. However, one of the tanks is rigged by a malefactor with an explosive device such that if more than 20% of the oxygen is used, it will explode, killing both astronauts. The astronaut wearing that particular spacesuit is unconscious and cannot be consulted. It is not feasible to disarm the bomb or to swap tanks. The conscious astronaut removes the explosive tank from the other astronaut’s space suit and throws it into space, knowing that this will result in the unconscious astronaut dying from lack of oxygen. The intention, however, is to remove the item that will dangerously rupture if it is left in place. It is not the intention to kill the other astronaut. This is true even though it is the other astronaut’s breathing that would trigger the tank’s explosion.

The proximate source of the danger is the oxygen tank. But the more distant source is the breathing. It seems very plausible that it makes a moral difference whether the conscious astronaut shoots the unconscious astronaut to stop their breathing (wrong) or removes their tank to expel the danger (right action). This seems a legitimate case of double effect reasoning.

Case 2: Much as in Case 1, but (a) there is intense radiation outside the spaceship’s shielding, so that getting pushed into space even while wearing a spacesuit on will be fatal, and (b) there is no way to separate the tank from the astronaut. Thus, the other astronaut picks up the explosive tank, and throws it far into space. The tank is connected to the unconscious astronaut, so the unconscious astronaut flies out with the tank, and is killed by radiation. The tank never explodes, because the oxygen doesn't get depleted

Again, this seems a perfectly legitimate case of double effect reasoning.

What about the alternative of removing the child from the tube, which orthodox Catholic ethicists tend to reject (unless done in the hope reattaching in the correct place)? Well, the child is connected to the tube via a placenta. The placenta is to a large degree an organ of the child. As I understand it, removal of the child from the tube would require intentionally cutting the placenta, in a way that is fatal to the child. This directly fatal intervention seems akin to slicing the astronaut to remove them from the suit. This seems harder to justify.

Monday, May 13, 2019

A tweak to regularity

Let Gp be the law of gravitation that states that F = Gm1m2/rp, for some real number p. There was a time when it was rational to believe G2. But here is a problem. When 0 < |p − 2|<10−100 (say), Gp is practically empirically indistinguishable from G2, in the sense that within the accuracy of our instruments it predicts exactly the same observations. Moreover, there are uncountably many values of p such that 0 < |p − 2|<10−100. This means that the prior probability for most (i.e., all but at most countably many) such values of p must have been 0. On the other hand, if the prior probability for G2 had been 0, then the posterior probability would have always stayed at 0 in our Bayesian updates (because the probability of our measurements conditionally on the denial of G2 never was 0, which it would have to have been to budge us from a zero prior).

So, G2 is exceptional in the sense that it has a non-zero prior probability, whereas most hypotheses Gp have zero prior probability. This embodies a radical preference for a more elegant theory.

Let N be the set of values of p such that the rational prior probability P(Gp) is non-zero. Then N contains at most countably many values of p. I conjecture that N is the set of all the real numbers that can be specifically defined in the language of mathematics (e.g., 2, 3.8, eπ and the smallest real root of z7 + 3z6 + 2z5 + 7πz3 − z + 18).

If this is right, then Bayesian regularity—the thesis that all contingent hypotheses should have non-zero probability—should be replaced by the weaker thesis that all contingent expressible hypotheses should have non-zero probability.

Note that all this doesn’t mean that we are a priori certain that the law of gravitation involves a mathematically definable exponent. We might well assign a non-zero probability to the disjunction of Gp over all non-definable p. We might even assign a moderately large non-zero probability to this disjunction.

Punishment by loss of reputation

John Stuart Mill famously wrote:

We do not call anything wrong, unless we mean to imply that a person ought to be punished in some way or other for doing it; if not by law, by the opinion of his fellow-creatures; if not by opinion, by the reproaches of his own conscience.

I have two concerns about the middle item, punishment “by the opinion of his fellow-creatures”: (1) standing and (2) due process.

1. Standing

Punishment requires the right kind of standing on the part of the punisher. Unless in some way you are under my authority or perhaps I am an aggrieved party, I do not have the standing to punish you. There are two ways of taking this worry.

First, one might take it that without standing it is literally impossible for me to punish you. It is certainly possible for me to treat you harshly, and my harshness can be a reaction to your wrongdoing, but perhaps it won’t be a punishment.

I am not completely sure about this, though. For suppose you have done something wrong and a vigilante without standing has imposed harsh treatment on you in reaction to this, a harsh treatment that would have counted as maxing out retribution if the vigilante had standing, and then you fall into the hands of an authority with the standing to punish. A case can be made that at that point it is inappropriate for the authority to impose further harsh treatment, and that the best explanation is that the vigilante has already punished you. But perhaps this case isn’t right. Our law does not, I think, work this way. A judge might take into account what you suffered at the hands of the vigilante and reduce your sentence, but it does not seem that the judge would be unjust in still giving you the full sentence that the law calls for (and the vigilante then being punished if caught, too). Moreover, the intuition that “you’ve suffered enough already” may apply even in cases where you something bad happens to you as a non-punitive consequence of a crime, say if you’re a drunk driver and you crash into a wall causing yourself to be paralyzed from the neck down. So on the whole, I am dubious that it is possible to punish without standing.

The second worry about standing is that without standing, I have no right to impose the harsh treatment on you (barring special circumstances, such as your giving me permission). This is clear if in fact the previous worry about standing applies and the harsh treatment would not count as punishment—for in that case, the harsh treatment is unjustly applied, since the one relevant justification for it would be that it is a punishment, and it’s not. But even if the harsh treatment were to count as punishment, without standing an injustice has happened.

But perhaps third-parties do in fact have standing to punish. I can see two stories being told to defend this standing.

First, no man is an island, so if you wrong one person, perhaps you wrong all of society, and so third-parties have standing as aggrieved parties. I am doubtful, however, whether aggrieved parties as such do have standing to punish. My children do not have the right to punish each other for misdeeds committed against each other. Moreover, it seems implausible that there be a disjunctive story about the standing to punish, so that both authorities and aggrieved parties have standing. One might try to say that only aggrieved parties have standing to punish, and then say that authorities punish as representatives of the aggrieved community, but that seems mistaken. For authorities can also legitimately punish wrongs done against those that are not members of the aggrieved community. Parents can legitimately punish children for things that the children did against members of other families. (It is tempting to say that this is a punishment for the violation of family rules, which damages the peace of the family, but that approach does not seem pedagogically right.)

Moreover, in a Christian context, it is very dubious whether aggrieved parties have any right to punish on account of their grievance: to impose punishment on account of one’s own grievance seems to be the kind of behavior that the duty of forgiveness rules out and that is also ruled out by Romans 12:19. So a justification of punishment in terms of a standing that derives from being aggrieved is not available to Christians.

Second, perhaps random third-parties count as deputed by society to impose punishment by adverse opinion, even though they are not deputed to impose punishment by violent means. If so, then they have standing to punish on the grounds of deputed authority rather than ont he grounds of being aggrieved. This fits much better with the anti-vengeance motif of the New Testament. Perhaps some evidence of such a deputation is that truth is a defense in defamation lawsuits.

I think an implicit deputation model is the best story about punishment by adverse third-party opinion. But I am still sceptical. One reason is this. Punishment by third-party opinion can be at least as harsh on the wrongdoer as a fine or even a moderate term of imprisonment. Yet we do not think courts have a duty to routinely significantly reduce punishments for significant crimes on the grounds that the person has already been punished by public opinion, or to increase punishments on the grounds that public opinion has been silent. Thus, adverse opinion does not seem to be a properly deputed part of the punishment.

2. Due process

Punishment requires procedural justice. But public opinion rarely follows best practices there. Even though punishments through adverse opinion can be as harsh on the accused as criminal penalties, the thorough examination of evidence, with a presentation of both sides by able legal representation and a factual examination by independent peers following a “beyond reasonable doubt” standard is rarely present in the case of punishment by public opinion. And even if there are no reasonable grounds for doubt about the wrongs committed, rarely is there a serious examination of evidence about mens rea or sanity.

About the only time that public opinion is able to follow our best practices is if the public opinion comes after a proper criminal trial and is entirely conditioned on its outcome. But that is rare, and anyway isn’t the case that Mill is thinking about.

Final remarks

The above does not mean, however, that public opinion needs to be silent on wrongs done. For there are other reasons to criticize someone’s conduct besides punishment, such as:

  • protecting vulnerable others

  • leading the perpetrator to change of behavior and/or heart

  • inspiring others to resist injustice.

But if I am right, it is crucial for the sake of justice that the adverse public opinion be motivated by such goods as these rather than by retribution. And there is always the danger of self-deceit and the need for prudent choice of means (public denunciation seems less likely to lead to positive change than private admonition).

Saturday, May 11, 2019

Feeling bad about harms to our friends

Suppose something bad happens to my friend, and while I am properly motivated in the right degree to alleviate the bad, I just don’t feel bad about it (nor do I feel good about). Common sense says I am morally defective. But suppose, instead, something bad happens just to me, and I stoically (I am not making any claims about the Stoic movement by using this word, despite the etymology) bear up under it, without feeling bad, though being properly motivated to alleviate the harm. Common sense praises this rather than castigating it. Yet, aren’t friends supposed to be other selves?

So, we have a paradox generated by:

  1. The attitudes we should have towards our friends are very much like those we should have towards ourselves.

  2. It is wrong not to feel bad about harms to our friends even when we are properly motivated to fight those harms.

  3. It is not wrong to feel bad about harms to ourselves when we are properly motivated to fight those harms.

As some terminological background, feeling bad about our friends’ losses is not exactly empathy. In empathy, we feel the other’s feelings as we see things from their point of view. So, feeling bad about harms to our friends will only be empathy if our friends are themselves feeling bad about these harms. There are at least two kinds of cases where we feel bad about harms to our friends when our friends themselves do not: (a) our friends are being stoical and (b) our friends are unaware of the harms (e.g., their reputation is being harmed by gossip we witness, or our friends are being harmed by acting viciously while thinking it’s virtuous). Moreover, even when our friends are feeling bad about the harms, our feeling bad about the harms will only be a case of empathy if we feel bad because they are feeling bad. If we feel bad because of the badness of the harms, that’s different.

In fact, we don’t actually have a good word in English for feeling bad on account of a friend’s being harmed. Sympathy is perhaps a bit closer than empathy, but it has connotations that aren’t quite right. Perhaps “compassion” in the OED’s obsolete sense 1 and sense 2a is close. The reason we don’t have a good word is that normally our friends themselves do feel bad about having been harmed, and our terminology fails to distinguish whether our feeling bad is an instance of sharing in their feeling or of emotionally sharing in the harm to them. (Think of how the “passion” in “compassion” could be either the other’s negative feeling or it could be the underlying harm.) And I think we also don’t have a word for feeling bad on account of our own being harmed, our “self compassion” (we do have “self pity”, but that’s generally seen as bad), though we do have thicker words for particular species of the phenomenon, such as shame or grief. So I’ll just stick to the clunky “feeling bad on account of harm”.

When we really are dealing with empathy, i.e., when we feel bad for our friend because our friend feels bad for it, the paradox is easier to resolve. We can add a disjunct to (1) and say:

  1. The attitudes we should have towards our friends are very much like either those that we should have towards ourselves or those that our friends non-defectively have towards themselves.

This is a bit messy. I’m not happy with it. But it captures a lot of cases.

But what about the pure case of feeling bad for harms to a friend, not because the friend feels bad about it?—either because the friend doesn’t know about the harm, or the friend is being stoical, or our bad feeling is a direct reflection of the harms rather than indirectly via the other’s feeling of the harms. (Of course there will also be the special case where the feeling is the harm, as perhaps in the case of pains.) I am not sure.

I actually feel a pull to saying that especially when our friend doesn’t feel bad about the harm, we should, on their behalf. If our friend nobly does not feel the insult, we should feel it for them. And if our friend is being unjustly maligned, we should not only work to rescue their reputation, but we should feel bad.

But I am still given pause by the plausibility of (1) (even as modified to (4)) and (3). One solution would be to say that we should feel bad about harms to ourselves, that we should not be stoical about them. But I don’t want to say that the stoical attitude is always wrong. If our friends are being stoical about something, we don’t always want to criticize them for it, even mentally. Still there are cases where our friends are rightly criticizable for a stoical attitude. One case is where they should be grieving for the loss of someone they love. A more extreme case is where they should be feeling guilt for vicious action—in that case, we wouldn’t even use the fairly positive word “stoical”, but we would call their attitude “unfeeling” or something like that. In those cases, at least, it does seem like they should feel bad for the harm, and we should likewise feel bad on their behalf whether or not they do. (And, yes, this feeling may be in the neighborhood of a patronizing feeling in the case where they are not feeling the guilt they should—but the neighborhood of patronization has some places that sometimes need to be occupied.)

Still, I doubt that it is ever wrong not feel something. That would be like saying that it is wrong not to smell something. Emotions are perceptions of putative normative facts, I think. It can be defective not to smell an odor, either because one has lost one’s sense of smell or because one has failed to sniff when one should have. But the failure to smell an odor is not wrong, though it may be the consequence of doing something wrong, as when the repair person has neglected to sniff for a gas leak.

Instead, I think the thing to say is that there is a good in feeling bad about harms to a friend—or to ourselves. The good is the good of correct perception of the normative state of affairs. A good always generates reasons, and the good is to be pursued absent countervailing reasons. But there can be countervailing reasons. When I injure my shoulder, my pain is a correct perception of my body’s injured state. Nonetheless, because that pain is unpleasant (or fill in whatever the right story about why we rightly avoid pain), I take an ibuprofen. I have reason to feel the pain, namely because the pain is a correct way of seeing the world, but I also have reason not to feel the pain, namely because it hurts.

Similarly, if someone has insulted me, I have reason to feel bad, because feeling bad is a correct reflection of the normative state of affairs. But I also have reason not to feel bad, because feeling bad is unpleasant. So it can be reasonable not to feel bad. Loving my friend as myself does not require me to make greater sacrifices for my friend than I would make for myself, though it is sometimes supererogatory to do so (and sometimes foolish, as when the sacrifice is excessive given the goods gained). So if I don’t have an obligation to sacrifice my equanimity to in order to feel bad for the insult to me, it seems that I don’t have an obligation to sacrifice it in order to feel bad for the insult to my friend. But that sounds wrong, doesn’t it?

So where does the asymmetry come from? Here is a suggestion. In typical cases where our friend feels bad for the harm, our feeling does not actually match the intensity of our friend’s, and this is not a defect in friendship. So the unpleasantness of feeling bad for oneself is worse than in the case of feeling bad for one’s friend. Thus, more equanimity is sacrificed for the sake of our feelings correctly reflecting reality when it is our own case, and hence the argument that if I don’t have an obligation to make the sacrifice for myself, I don’t have an obligation to make the sacrifice for my friend is fallacious, as the sacrifices are not the same. Furthermore, to be honest, there is a pleasure in feeling bad for a friend. The OED entry for “compassion” cites this psychological insight from a sermon by Mozley (1876): “Compassion … gives the person who feels it pleasure even in the very act of ministering to and succouring pain.” I haven’t read the rest of the sermon, but I think this is not any perverse wallowing or the like. The “compassion” is an exercise of the virtue of friendship, and there is an Aristotelian pleasure in exercising a virtue. And this is much more present when it is one’s friend one is serving. Thus, once again, the sacrifice tends to be less when one feels bad for one’s friend than when one feels bad for oneself, and hence the reason that one has to feel bad for one’s friend is less often outbalanced by the reason not to than in one’s own case.

Nonetheless, the reason to feel bad for one’s friend can be outbalanced by reasons to the contrary. Correct perceptual reflection of reality is not the only good to be pursued—not even the only good in the friendship.

Friday, May 10, 2019

Closure views of modality

Logical-closure views of modality have this form:

  1. There is a collection C of special truths.

  2. A proposition is necessary if and only if it is provable from C.

For instance, C could be truths directly grounded in the essences of things.

By Goedel Second Incompleteness considerations like those here, we can show that the only way a view of modality like this could work is if C includes at least one truth that provably entails an undecidable statement of arithmetic.

This is not a problem if C includes all mathematical truths, as it does on Sider’s view.

Anti-S5

Suppose narrowly logical necessity LL is provability from some recursive consistent set of axioms and narrowly logical possibility ML is consistency with that set of axioms. Then Goedel’s Second Incompleteness Theorem implies the following weird anti-S5 axiom:

  • LLMLp for every statement p.

In particular, the S5 axiom MLp → LLMLp holds only in the trivial case where MLp is false.

For suppose we have LLMLp. Then MLp has a proof. But MLp is equivalent to ∼LLp. However, we can show that ∼LLp implies the consistency of the axioms: for if the axioms are not consistent, then by explosion they prove p and hence LLp holds. Thus, if LLLLp, then ∼LLp can be proved, and hence consistency can be proved, contrary to Second Incompleteness.

The anti-S5 axiom is equivalent to the axiom:

  • MLLLp.

In particular, every absurdity—even 0≠0—could be necessary.

I wonder if there is any other modality satisfying anti-S5.

An infinite chain can't have two ends

Say that a chain C is a collection of nodes with the following properties:

  1. Each node is connected to at most two other nodes.

  2. If x is connected to y then y is connected to x (symmetry).

  3. C is globally connected in the sense that for any proper subset S of C, there is a node in S and a node outside of S that are connected to each other.

(This is a different sense of “chain” from the one in Zorn’s Lemma.)

Fun fact: Every infinite chain has at most one endpoint, where an endpoint is a node that is connected to only one other node.

I.e., one cannot join two nodes with an infinite chain.

Corollary: We cannot join two events by an infinite chain of instances of immediate causation.

I've occasionally wondered if there is a useful generalization of transitive closure to allow for infinite chains, and to my intuition the fact above suggests that there isn't.

An argument for animals in heaven

In quick outline, here’s a valid argument:

  1. There are plants in heaven.

  2. If there are plants in heaven, there are non-human animals in heaven.

  3. So, there are non-human animals in heaven.

Let me expand on the argument.

Humans in heaven (i.e., on the New Earth, after resurrection) will have both supernatural and natural fulfillment. The natural fulfillment of humans requires an appropriate environment. That environment requires plants. A heavenly city with no trees or grass or flowers just wouldn’t be heavenly for us. This is fitting as humans were made for a garden. The fall turned the garden into a field of hard labor for survival, but all will be restored, and so there will be a garden again.

But plants, of the sort that form the natural environment of humans, require an ecosystem that includes non-human animals. There need to be pollinators in the air and worms in the ground. And how eerily quiet a garden would be with no birds chirping, how unnatural for humans.

This does not mean that there will be a resurrection of animals. Just as a plant can be perfect without living forever, a non-rational animal can be perfect without living forever. One may, however, worry that we will form attachments to non-human animals and would be saddened by their death. There are three responses. First, perhaps some non-human organisms could live forever, namely particular ones which are important to humans: say, a bonsai or a companion dog. Second, perhaps we wouldn’t form these attachments, maybe because no animals would be tame. Third, it might be that we would all transcend time to the extent that (a) our memory would not fade and (b) we would all have the correct view of time, i.e., eternalism, so that we would be constantly aware that our beloved animal exists simpliciter, albeit in the past.

Thursday, May 9, 2019

Yet another bundle theory of objects

I will offer a bundle theory with one primitive symmetric relationship. Moreover, the primitive relationship is essential to pairs. I don’t like bundle theories, but this one seems to offer a nice and elegant solution to the bundling problem.

Here goes. The fundamental entities are tropes. The primitive symmetric relationship is partnership. As stated above, this is essential to pairs: if x and y are partners in one world, they are partners in all worlds in which both exist. If x and y are tropes that exist and are partners, then we say they are coinstantiated.

Say that two possible tropes, existing in worlds w1 and w2 respectively, are immediate partners provided that there is a possible world where they both exist and are partners. Then derivative partnerhood is defined to be the transitive closure of immediate partnerhood.

The bundles in any fixed world are in one-to-one correspondence with the maximal non-empty pluralities of pairwise-partnered tropes, and each bundle is said to have each of the tropes that makes up the corresponding plurality. We have an account of transworld identity: a bundle in w1 is transworld identical with a bundle in w2 just in case some trope in the first bundle is a derivative partner of some trope in the second bundle. (This is a four-dimensionalist version. If we want a three dimensionalist one, then replace worlds throughout with world-time pairs instead.) So we have predication (or as good as a trope theorist is going to have) and identity. That seems enough for a reductive story about objects.

We can even have ersatz objects if we have the ability to form large transworld sets of possible tropes: just let an ersatz object be a maximal set of pairwise derivately partnered tropes. An ersatz object then is said to ersatz-exist at a world w iff some trope that is a member of the ersatz object exists at w. We can then count objects by counting the ersatz objects.

This story is compatible with all our standard modal intuitions without any counterpart theoretic cheats.

Of course, the partnership relationship is mysterious. But it is essential to pairs, so at least it doesn’t introduce any contingent brute facts. And every story in the neighborhood has something mysterious about it.

There are two very serious problems, however:

  1. On this story we don’t really exist. All that really exist are the tropes.

  2. This story is incompatible with transsubstantiation—as we would expect of a story on which there is no substance.

So what’s the point of this post? Well, I think it is nice to develop a really good version of an opposing theory, so as to be able to focus one’s critique on what really matters.

Wednesday, May 8, 2019

A ray of Newtonian particles

Imagine a Newtonian universe consisting of an infinite number of equal masses equidistantly arranged at rest along a ray pointing to the right. Each mass other than first will experience a smaller gravitational force to the left and a greater (but still finite, as it turns out) gravitational force to the right. As a result, the whole ray of masses will shift to the right, but getting compressed as the masses further out will experience less of a disparity between the left-ward and right-ward forces. There is something intuitively bizarre about a whole collection of particles starting to move in one direction under the influence of their mutual gravitational forces. It sure looks like a violation of conservation of momentum. Not that such oddities should surprise us in infinitary Newtonian scenarios.

Wednesday, May 1, 2019

Wilde Lectures schedule

For the benefit of any readers who will be in Oxford this month, here is a schedule of my Wilde Lectures in Natural and Comparative Religion.

The Bayesian false belief pandemic

Suppose that a credence greater than 95% suffices to count as a belief, and that you are a rational agent who tossed ten fair coins but did not see the results. Then you have at least 638 false beliefs about coin toss outcomes.

To see this, for simplicity, suppose first that all the coins came up heads. Let Tn be the proposition that the nth coin is tails. Then the disjunction of five or more of the Tn has probability 96%, and so you believe every disjunction of five or more of the Tn. Each such belief is false, because all the coins will in fact come up heads. There are 638 (pairwise logically inequivalent) disjunctions of five or more of the Tn. So, you have at least 638 false beliefs here (even if we are counting up to logical equivalence).

Things are slightly more complicated if not all the coins come up heads, but exactly the same conclusion is still true: you have 638 disjunctions of five or more false single-coin-outcome beliefs.

But it seems that nothing went wrong in the coin toss situation: everything is as it should be. There is no evil present. So, it seems, reasonable false belief is not an evil.

I am not sure what to make of this conclusion, since it also seems to me that it is the telos of our beliefs to correctly represent reality, and a failure to do that seems an evil.

Perhaps the thing to say is this: the belief itself is bad, but having a bad belief isn’t always intrinsicallybad bad for the agent? This seems strange, but I think it can happen.

Consider a rather different case. I want to trigger an alarm given the presence of radiation above a certain threshold. I have a radiation sensor that has practically no chance of being triggered when the radiation is below the threshold but has a 5% independent failure rate when the radiation is above the threshold. And a 5% false negative rate is not good enough for my application. So I build a device with five independent sensors, and have the alarm be triggered if any one sensor goes off. My false negative rate goes down to 3 ⋅ 10−7. Suppose now four sensors are triggered and the fifth is not. The device is working correctly and triggers the alarm, even though one sensor has failed. The failure of the sensor is bad for the sensor but not bad for the device.

Another move is to say that there is an evil present in the false belief case, but it’s tiny.

And yet another move is to deny that one should have a belief when the credence rises above a threshold.

Tuesday, April 30, 2019

A pre-established harmony with genuine mind-world causation

Molinists have the ability to give a distinctive pre-established harmony account of how the exceptionless truth of deterministic laws of nature could be made compatible with libertarianism.

Here is the story. God considers possible worlds where dualistic agents have the causal power to miraculously contradict the physical laws in their free choices, but where outside of exercises of free will, there are elegant deterministic mathematical laws governing the world. Call such worlds Candidate Worlds.

God then narrows his consideration to Finalist Worlds, which are Candidate Worlds that are feasible—i.e., compatible with the Molinist conditionals—and where as it happens the agents’ free choices accord with the elegant deterministic mathematical laws that govern the rest of the world.

And then God wisely and prudently chooses one of the Finalist Worlds for actualization.

On this story, there are elegant deterministic mathematical laws of nature which are true even of the agents’ choices, but they are true of the agents’ choices because the agents freely chose as they did. The agents had the causal power to violate, say, the conservation of momentum, but in fact freely did not do so.

There is an ambiguity in the concept of “exceptionless laws”. “Exceptionless laws” could mean: laws that allow no exception (they are pushy laws that are so strong as to make no exception possible) and laws that in fact have no exception. The deterministic laws in this story are exceptionless in the sense of having no exception, which is why I am talking of their exceptionless truth rather than their exceptionless power.

In this story, there is a dual explanation of the agents’ choices. On the one hand, there is a standard libertarian story about the agents’ free causality. On the other hand, the laws have explanatory power, because God chose the Finalist Worlds because they are worlds where the laws have exceptionless truth.

The big difficulty with the above story is Molinism. Also, it is worth noting that it is metaphysically possible that there turn out not to be any (feasible) Finalist Worlds: in that scenario, God wouldn’t be able to create a world where there is freedom and elegant deterministic mathematical laws holding exceptionlessly. But for reasons similar to why many people think Transworld Depravity is unlikely to be true, I think it is unlikely that there would be no Finalist Worlds.

It is also interesting to note that there are two more views that could be plugged into the story that can do the same job: Thomism and compatibilism.

On Thomism, God can use primary causation to make agents freely choose as he desires. Then we can suppose that God surveys the same Candidate Worlds as on the Molinist story. Then he chooses Finalist Worlds as those Candidate Worlds where the agents’ free choices in fact do not contradict the mathematical laws. And then God uses primary causation to actualize one of the Finalist Worlds. Again, the agents have the power to contradict the laws, but freely choose not to exercise it.

Finally we have straightforward compatibilism. A dualist can just as easily be a compatibilist as a materialist. On this story, we skip the Candidate Worlds, and the Finalist Worlds are worlds with compatibilist agents, with a deterministic non-physical mental life, who have the power of contradict the physical laws of the world but who are mentally determined, in a way compatible with freedom, never to exercise such a power. And then God chooses one of the Finalist Worlds. The agents then are as free as any compatibilist agents.

The compatibilist version of this story is close to Leibniz’s pre-established harmony, except that it has real mind-world causation, which is a big improvement.

Of course, the non-theist can’t make any of these moves. And, alas, neither can I, since my mere foreknowledge view denies Molinism, Thomism (about free will) and compatibilism.