Triple effect, looping trolley and felix culpa

Frances Kamm uses her principle of triple effect to resolve the loop version of the trolley problem. On the loop version, as usual, the main track branches into are two tracks, track A with five people and track B with one person, and the trolley is heading for track A. But now the two tracks join via a loop, so if there were no one on either track, a trolley that goes on track A will come back on track B and vice versa. If we had five people on track A and no one on track B, and we redirected the trolley to track B, it would go on track B, loop around, and fatally hit the people on track A anyway. But the one person actually on track B is big enough that if the trolley goes on track B, it will be stopped by the impact and the five people will be saved.

The problem with redirecting to track B on the loop version of the trolley problem is that it seems that a part of your intention is that the trolley should hit the person on track B, since it is that impact which stops the trolley from hitting the five people on track A. And so you are intending harm to the person on track B.

In her Intricate Ethics book, Kamm gives basically this story about redirecting the trolley in the loop case:

• Initial Intention: Redirect trolley to track A to prevent the danger of five people being hit from the front.

• Initial Defeater: The five people come to be in danger of being hit from the back by the trolley.

• Defeater to Initial Defeater: The one person on track B blocks the trolley and prevents the dangers of being hit from the back.

The important point here is that the defeater to the defeater is not intended—it is just a defeater to a defeater. Thus there is no intention to block the trolley via the one person on track B, and hence that person’s being hit is not a case of their intentionally being used as a means to saving lives.

But this defeater-defeater story is mistaken as it stands. For given the presence of the person on track B, there is no danger of the five people being hit from the back. Thus, there is no initial defeater here.

Now, if you don’t know about the one person on track B, you would have a defeater to the redirection, namely the defeater that there is danger of being hit from the back. But learning about the person on track B would not provide a defeater to that defeater—it would simply remove the defeater by showing that the danger doesn’t exist.

That the story doesn’t have a defeater-defeater structure does not mean that one is intending the one person to be hit. Kamm might still be right in thinking there is no intention to block the trolley via the one person on track B. But I am dubious of Kamm’s story now, because I am dubious that the danger of being hit from the front yields a worthy initial intention. For there is nothing particularly bad about being hit from the front. It is only the danger of being hit simpliciter that seems worth preventing.

It is interesting to me to note that even if Kamm’s story doesn’t have defeater-defeater form, the main place where I want to use her triple effect account seems to still have defeater-defeater form. That place is the felix culpa, where God allows Adam and Eve to exercise their free will, even though he knows that this would or might well (depending on details about theories of foreknowledge and middle knowledge) result in their sinning, and God’s reasoning involves the great goods of salvation history that come from Adam and Eve’s sin.

• Initial Intention: Allow Adam and Eve to exercise their free will.

• Initial Defeater: They will or might well sin.

• Defeater to Initial Defeater: Great goods will come about.

Here the initial defeater is not mistaken as in the looping trolley case—the sin or its possibility is really real. Moreover, while it’s not an initially worthy intention to prevent people from being hit from the front, unless they aren’t going to be hit from behind (or some other direction) either, it is an initially worthy intention to allow Adam and Eve to exercise their free will, even if no further goods come about, because free will is intrinsically good.

Thus we can criticize Kamm’s own use of triple effect while yet preserving what I think is a really important theological application.

Christians and Jews should not be Aristotelian virtue ethicists

If virtue ethics is correct:

1. An choice is wrong if and only if a person with the relevant virtues and in these circumstances wouldn’t have made that choice. (Premise)

If Aristotelian virtue ethics is correct:

2. An adult lacking a virtue is defective. (Premise)

But:

3. Humans became defective because of the choice of Adam and Eve to eat the forbidden fruit. (Premise)

And it seems that:

4. Adam and Eve were adult humans when they chose to eat the forbidden fruit. (Premise)

Thus it seems:

5. When Adam and Eve chose to eat the forbidden fruit, they were not lacking relevant virtues. (By 2–4)

6. Thus, persons (namely Adam and Eve!) with the relevant virtues and in their circumstances did choose to eat the forbidden fruit. (By 5)

7. Thus, their choice to eat the forbidden fruit wasn’t wrong. (1 and 6)

8. But their choice was wrong. (Premise)

9. Contradiction!

Here is one thing the classic virtue ethicist can question about this argument: the derivation of (5) depends on how we read premise (1). We could read (1) as:

10. A choice of A is wrong if and only if a person who had the relevant virtues explanatorily prior to having chosen A and was in these circumstances would not have chosen A

or as:

11. A choice of A is wrong if and only if a person who had the relevant virtues while having chosen A and was in these circumstances would not have chosen A.

If we opt for (10), the derivation of (5) works, and the argument stands. But if we opt for (11) then we can say that as soon as Adam and Eve chose to eat the fruit, they no longer counted as virtuous.

Could the virtue ethicist thus opt for (11) in place of (10)? I don’t think so. It seems central to virtue ethics that the right choices are ones that result from virtue. And that is what (10) captures. To a great extent (11) would trivialize virtue ethics, in that obviously in doing a bad thing one isn’t virtuous.

Against the actual truth of transworld depravity

Here is an interesting result. If the Biblical account of creation is true, then Plantinga’s Trans-World Depravity (TWD) thesis is false. All this doesn’t affect Plantinga’s Free Will Defense which only needs the logical possibility of TWD, but it limits its usefulness a little by making clear that the defense is based on an actually-false assumption. (Quick review: Plantinga uses the logical possibility of TWD to argue for the logical possibility of evil. That argument would survive my critique. But he also suggests that TWD is epistemically possible, and hence could be the heart of a theodicy. That move does not survive, I think.)

I’ll take TWD to be:

1. Every significantly free creature in every feasible world does wrong.

A feasible world is one that would eventuate from God’s strongly actualizing the strongly strongly actualized portion of it.

But now consider this thesis which is very plausible on the Biblical account of creation:

2. At least one human made a significantly free right choice before any human made a free wrong choice.

For the first sin in the Biblical account is presented as Eve’s taking of the forbidden fruit in Genesis 3. But prior to that, indeed prior to Eve’s creation, Adam was commanded to take care of the garden (Gen. 2:15). It would have been a sin for Adam to fail to do that, and since this was before the first sin, it follows that Adam must have done it. Moreover, Adam being a full human being presumably had freedom of will, and hence was capable of refusing to work the garden. Hence Adam’s decision to obey God’s command to work the garden was a significantly free choice before any human made a free wrong choice.

Now, I don’t take the story of Genesis 2-3 to be literally true, but it tells us basic truths about the entry of evil into the world, and hence it is very likely that the structural claim (2) carries over into reality from the story.

I now argue that:

3. If (2) is true, then TWD is false.

Right after the first human made a significantly free right choice, God had the power to prevent any further significantly free choices from ever being made. Had God exercised that power, the world would have contained a creature—namely, the human who made the significantly free right choice—that is a counterexample to TWD. Moreover, the world where God exercises that power is plainly feasible. Hence, (1) is false, since in (1) there is a significantly free creature that does the right thing.

That said, Plantinga’s TWD is stronger than it needs to be for his defense. All he really needs to work with is:

4. Every feasible world that contains a significantly free creaturely right choice contains a free creaturely wrong choice.

And the world where God intervenes and prevents significantly free choices after the first human significantly free right choice is not a counterexample to (4), since prior to the creation of humans there was already sin by angels.

Note, though, that someone who wants to defend (4) by invoking the prior sin of angels needs to hold that the first humans would have sinned in their first significantly free choice had God not created angels or not given angels significant free will, no matter what circumstances the first humans were placed in. In other words, the defender of (4) has to hold that the actual righteousness of the first human significantly free choice has a strong counterfactual dependence on angelic freedom. The only plausible way I know of defending something like this is to say that angelic free choices are a part of human causal history and that essentiality of origins is true. So, interestingly, to hold that the weakened TWD thesis (4) is true seems to require both invoking the sin of angels and essentiality of origins.

Moreover, the defender of the actual truth of (4) would need to hold that the first angelic wrong choice preceded the first angelic significantly free right choice. For suppose an angelic significantly free choice came before any angelic sin. Then, again, God could have suspended free will right after that choice, and not created humans at all, and we would have a feasible world that is a counterexample to (4). Next, suppose that the first angelic significantly free choice was simultaneous with the first angelic sin. Presumably, the two were committed by different angels. But God could have suspended the freedom of those angels who in the actual world sin (this does not even require Molinism: God doesn’t need to know that they would sin to suspend their freedom), and plausible the simultaneous significantly free right choices of the other angels would still have eventuated. And then God could have suspended freedom altogether, thereby furnishing us with another feasible world that is a counterexample to (4).

One can modify (4) in various ways to get around this. For instance, one could say this:

5. Every feasible world that contains a significantly free creaturely right choice and that contains many generations of significantly free creatures contains a free creaturely wrong choice.

But note that if (5) is true, then one needs to invoke more than the value of freedom in saying that God is justified in creating a world with evil. One needs the value of multi-generational freedom.

A just-so story for Genesis 1-3

Consider this argument:

1. If Christianity is right, every assertion of rightly interpreted Scripture is true.
2. Genesis 1-3 is rightly interpreted literalistically.
3. The approximate truth of our best relevant science contradicts the assertions of Genesis 1-3 when these texts are interpreted literalistically.
4. Our best relevant science is approximately true.
5. So, Christianity is not right.

Liberal Christians reject (1), and often (2) as well. Young Earth Creationists either engage in revisionary science and deny (3), or they simply deny (4).

The right way out of the argument is, of course, to reject (2). But in this post I want to undercut the argument in a very different way. Basically, I will argue against (3) by offering a just-so story that is compatible with both our best science and a literalistic reading of Genesis 1-3, without scientific revisionism, scientific irrealism, or invocations of divine or demonic deception.

I am not claiming the story is true. In fact, I think it's false. It is in tension with the Thomistic view of the soul which I hold (but I think it may be logically compatible with it—but that's a longish story). As I said, the right way out is to deny (2).

The story is simple. First, everything happens exactly as it is described in Genesis 1-3 interpreted literalistically. Everything, including a light-studded dome ("firmament"), with waters above and below, creation in six days, vegetation without any sun or moon. Eve is literally taken from Adam's side, and so on. Then Adam and Eve sin, exactly as described in Genesis 3. All this happens in a universe ("Paradise") where all of this is possible by the laws of nature.

God then kicks them out of this universe. In the process, he destroys their bodies and puts their souls in stasis. But in Paradise, there was a law of nature that when the forbidden fruit is eaten, a Big Bang will occur (or this could be a miracle), initiating a 14 billion year process leading to some pretty clever apes in a universe better suited to sinners like Adam and Eve. God then takes the matter of two of these clever apes (if animals have souls, he de-souls them first, or perhaps he simply miraculously ensures that these two don't get souls) and instills Adam and Eve's souls in this matter.

And so all the science as to what has happened in the material universe since the Big Bang is right. Of course, science doesn't talk about souls.

A materialist Christian could also run a variant of this story of Adam and Eve being asleep for fourteen billion years, but it would involve some miracles in the physical world and maybe disagreement with science at one point. (Maybe Adam and Eve's brains are put in the bodies of some apes. Or maybe God is capable of so guiding indeterministic processes that there develop two apes that are just like Adam and Eve, and God can replace them with Adam and Eve.)

Of course, I don't believe these stories. But they do show that premise (3) of the anti-Christianity argument is false.

Did God act unjustly by kicking us out of paradise?

One might be worried--as a commenter recently has been--that the idea that God kicked Adam and Eve out of paradise, thereby ensuring that their descendants would grow up in our vale of tears, is unjust. Since the focus is on Adam and Eve's descendants, let us grant for the sake of argument that God was just in punishing Adam and Eve with death. The question, then, is whether God was just in having us live outside paradise.

Now, if God was unjust in acting as Genesis says he did, then whom did he wrong? He did not wrong Adam and Eve, for their punishment was deserved. Presumably, he wronged their descendants, namely us. But now consider a sequence of three possible worlds:

1. God kills Adam and Eve on the spot, and the human race gets no further.
2. God kicks Adam and Eve out of paradise, and prevents them from reproducing.
3. God kicks Adam and Eve out of paradise, but does not prevent them from reproducing.

We've granted for the sake of argument that God was right to punish Adam and Eve. So, world 1 is a world where (as far as these sketches go, at least) God does not act unjustly. What about world 2? Does God wrong anybody there? Not at all. He doesn't wrong Adam and Eve: he treats them somewhat less harshly than in world 1. Does he wrong us, Adam and Eve's descendants? Surely not--for we don't exist in world 2, and one cannot wrong the non-existent.

So, in 1 and 2 there is no injustice. What about world 3? If we say that in world 3 there is injustice, then it seems that God's failure to prevent Adam and Eve from reproducing was an injustice--for we have granted that there is no injustice in world 2 which is like world 3, except that Adam and Eve are prevented from reproduction. In other words, if we say that there is an injustice in world 3, we have to say that once God decided to kick Adam and Eve out of paradise, he acted unjustly towards their descendants by letting Adam and Eve have these descendants. But that, I think, is absurd. If we grant it, then by the same token any of us who choose to reproduce in this vale of tears are doing wrong. (Yes, there is a recent book arguing just for the wrongness of reproduction. Few absurdities are such that no philosopher could be found to defend them.)

But that's too simple an argument. After all, maybe the wrong in 3 is not just in the point where 2 and 3 branch off from each other (the prevention of progeny). God is omnipotent after all, and that makes a difference. I think the most plausible alternative way of salvaging the argument for God's injustice is the suggestion that God did wrong in not transporting Adam and Eve's children miraculously back to paradise, perhaps immediately after their conception. However, I do not think that God owed them, as a matter of justice, such miraculous transport, especially given that there were unique kinds of goods that would be available to them outside of paradise that wouldn't be available in paradise, goods such as sacrificial love, forgiveness, and courage.

Injustice

The following argument is valid:

1. (Premise) If there is no person who is causally responsible for an event E, then E is not an injustice, but at most a misfortune.
2. (Premise) There have been injustices (think of a child's dying after horrible suffering in an earthquake) for which no person was causally responsible by means of natural causal processes (in the sense of "natural" that naturalists talk about).
3. Therefore, some injustices were caused not by means of the natural causal processes of nature. (1 and 2)
4. (Premise) If naturalism holds, then all causal processes are the causal processes of nature.
5. Naturalism is false. (3 and 4)

There are two options in (3): either the injustices were caused by a supernatural person (e.g., a devil) or they were caused by a natural person but through processes that go beyond nature (e.g., Adam and Eve in causing the Fall).

The naturalist will likely deny (2). Thus, then naturalist is going to have to be an irrealist about a significant amount of human experience of the world—for people do experience various evils not that are not naturally caused by human beings as injustices.

The deposit of faith

Consider the following objection to the Catholic faith (this is based on something I got by email): Catholicism includes a large number of detailed and substantive doctrines that do not seem to be derivable from God's revelation as completed by around the time of death of the Apostles, even though the Catholic Church herself claims that revelation was completed by around the time of death of the Apostles.

Consider, after all, something like the doctrine that Mary was free of original sin from the first moment of her conception. This is a detailed and substantive doctrine that seems to go far beyond the information given in Scripture and what we know about the faith of the first century Church from non-Scriptural sources. The objection is an incredulous stare at the possibility that such doctrines could be derived from revelation as completed by around the time of death of the Apostles. But:

1. Twenty simple axioms of Euclidean geometry generate an infinity of detailed and substantive theorems. These theorems are such that there is no prima facie way to see that they would follow from the axioms. It can take centuries and centuries for humankind to discover that they can be derived. It should, thus, be no surprise at all that we can derive from a set S of propositions new propositions that are details and substantive, and that seem to go far beyond S. This is particularly true when S is not a list of twenty axioms, but includes about 27,570 verses of the Old Testament, about 7956 verses of the New Testament, as well as decades of Apostolic preaching which Catholics think became embedded in the tradition of the Church, particularly in her liturgy.

2. Furthermore, unlike the development of geometry which is as far as we know is typically done by the unaided human intellect, the development of Catholic doctrine is claimed to be done by the human intellect guided by Holy Spirit.

3. Moreover, the Scriptures and the Tradition of the Church not only contain particular doctrinal axioms from which we can derive further propositions, but contain ways of reasoning or rules of inference that embody an understanding of how God deals with the world. Prominent among these is typology. In the New Testament and the Church's liturgy, we learn that God works through parallels. The people of Israel pass through the sea; Christians pass through baptism. Adam sins and from his sin comes death; Christ conquers sin and from his conquering sin comes life. The New Testament (Luke 24:27) says that all of the Old Testament scriptures tell us about Christ. Thus there may be substantive ways of reasoning embodied in Scripture, liturgy and theological practice, ways of reasoning that include typological reasoning. These ways of reasoning are, plainly, more than just formal rules of logic. They are based, rather, on an understanding of God as acting in certain ways (maybe with certain motives), as producing a certain kind of deeply interconnected history.

And new insights might well come from this. Christ corresponds in an important way to Adam; but Mary in the Church's understanding corresponds in an important way to Eve. Just as Eve was created without sin, so, too, Mary was created without original sin. Now it is true that prima facie one might have tried different typological correspondences--one might, for instance, make Mary's being conceived in sin be parallel-by-contrast to Eve's being sinless (as Christ's raising us is parallel-by-contrast to Adam's bringing death on us). Working out a deep understanding of the typology here, and connecting it with many other aspects of Christian doctrine, is going to be difficult. It may take centuries, thus, for the Church to settle on a particular understanding, e.g., to see that the parallel between the new creation in Christ and the old creation in Adam does in fact call not just for Christ the new Adam to be without original sin, but Mary the new Eve as well, but of course with her freedom from the weight of original sin flowing from Christ's redemption, just as our Church's freedom from the weight of original sin does.

Conclusion: It should be no surprise if from a very large body of axioms, which includes substantive rules of inference, one could derive many doctrines that one is individually surprised by.