Tuesday, January 26, 2016

OK, so you do/not have free will. So what?

We previously proved that you (do or do not) have free will. What are the consequences of that fact?

Before we answer, let's review the conclusion. There are many definitions of free will. It is worth asking (and I have been asked) whether we would reach the same conclusion based on other definitions.

One definition asks the question: if there were an infinitely powerful being who knew all facts about the present, would it be capable of predicting the outcome of your future decision? I cannot tell if this question has a counterfactual premise, like the question we previously answered, or if it is a theological question. If it is the former, the same proof form would apply to demonstrate the same result. If it is a theological question the answer probably depends on which holy book you consult. A related question asks: if we could build a sufficiently powerful computer and feed it the complete state of the universe, would it be capable of computing our future choices? Again, the proof form we used before can be applied. A team of rogue scientists (rogue because they used "borrowed" equipment) claim to have constructed such a computer, and they claim that its prediction rate is 100% so far. I am suspicious of this claim, as their computer appears not to be capable of predicting a decision until after it has been made. The computer is called World Of Real Life Determinator, with the nice-sounding acronym WORLD.

A different definition asks the perhaps more sensible question regarding your future decisions, rather than your past decisions: for your future decision, is more than one option a possible future? In other words, can you do "otherwise" for a future decision? This question can be answered scientifically! There are three scientific approaches to the question, but unfortunately the result is somewhat ambiguous. The first approach is simple: from experience it is obvious that every decision we made previously was not made "otherwise", but was instead made in precisely the way we made it. If we assume the future to be similar to the past - that is a basic assumption of science, after all - then we should expect that future decisions to similarly not be "otherwise". We can test this theory too and we observe, as we expect, that any further decision we make is not made "otherwise". This approach to the scientific question clearly points out that we do not have free will. This is a well-respected proof form called retrospective determinism.

The second approach is to consult the physicists. The most widely accepted interpretations of quantum physics teach us that the results of quantum interactions are not determined by the previous state of the universe. That leaves room for small random fluctuations at the quantum and microscopic levels to affect our behavior over time as differences are amplified by chaotic processes in nature. In other words, the future is not determined. The incompatibilists have shown that this does not allow for free will, as we are not fundamentally in control of the random processes that affect our decisions; this is the well-respected proof form moving the goalposts. On the other hand, there are interpretations of quantum mechanics that, though not widely accepted, say the opposite.

The final scientific approach to this question gets to the root of the issue. The point of the question regarding free will is really about moral judgments of others. If nobody has free will, the argument goes, it would be absurd to blame or praise other people, for they were unable to freely choose how to behave. This is a well-respected argument form called argumentum ad lapidem. Can we scientifically test whether blame and praise are absurd or useful?

It turns out such an experiment had already been performed. In 1954 a team of scientists put together one of the largest controlled scientific experiments involving people that had ever been conducted. Eight hundred thousand people were selected for participation in the experiment, and randomly assigned to one of two groups. One group was assigned to live in the newly constructed city Dexter, which was operated under the assumption that blame and praise are proper to the conduct of a society. The other group was assigned to the new city Sinister, which was operated under the assumption that blame and praise are useless. Most people were not told which group they were assigned to; though they knew the name of their city, they did not know under which set of assumptions it was operated. Of course it became apparent after a time. The experiment ran for a full year. It led to a large number of PhD theses, research results, conferences, and scholoarly scientific debates. As we'll see, the results of the experiment were somewhat ambiguous.

The differences between Dexter and Sinister were as follows. In Dexter, police detectives were given the duty of assigning blame for crimes to individuals living in the city based on the individual's presence late in the causal chain leading to the criminal act. In other words, in the usual way. These people, called "criminals", were then subjected to what we would consider a typical criminal justice system. Rather than eliminating the criminal justice system in Sinister entirely, scientists eliminated only the assignment of blame based on the person associated with the criminal act. Instead, the police detectives of Sinister were responsible for conducting a kind of lottery for each crime committed. In this way blame would be assigned to a random citizen, or nobody at all (at a rate comparable to the conviction rate in Dexter). The conduct of the criminal justice systems in Dexter and Sinister mirrored each other, with the exception that blame in Sinister was assigned randomly.

Similarly, praise and reward in Dexter would be assigned to individuals on the basis of their presence late in the causal chain of events leading to outcomes considered useful or desirable. Productive employees would receive a raise and perhaps a promotion. In Sinister, however, praise and reward would be assigned randomly, in a way unrelated to the behavior of the individual. Parents in Sinister were taught to love and praise their children unconditionally, no matter the child's behavior.

The experiment was originally intended to run longer than a year, but had to be cut short due to funding issues. By the end of the year there were severe problems in Sinister that led many of its citizens to want to quit the project. There was, however, sufficient funding to analyze the results. It was clear to all that there were deeply disturbing differences between the two cities. Dexter, on the one hand, evolved in the way one would expect of a civilized society. Sinister, on the other hand, experienced rampant crime, surprisingly low worker productivity, and many competing gangs and militia. A significantly larger number of people survived the experiment in Dexter rather than in Sinister. But what to make of these results?

There emerged two camps of scientists who differed in their interpretation of the experiment's results. They called themselves the conflationists and the inconflationists.

The inconflationists believed that the experiment had improperly conflated "fundamental, moral" blame with blame in the usual sense, and therefore was not useful for answering any question about whether or not blame and praise are appropriate. While the experiment had demonstrated differences between the two cities, the inconflationists argued that all such differences were easily explained by virtue of the usual mechanisms of the laws of physics, psychology, economics, and other sciences. Many of the inconflationist researchers went on to take prestigious and influential positions as Philosophy professors.

The conflationists believed that the experiment had solidly demonstrated the role of blame and praise in the conduct of a civilized society, and that the results on their face were a clear demonstration of their utility. Many of the conflationist researchers went on to take prestigious and influential positions as researchers in the Social Sciences.

Despite their differences, the conflationists and the inconflationists agreed, for the most part, on appropriate conduct for individuals.


This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. See http://creativecommons.org/licenses/by-sa/4.0/

Friday, January 22, 2016

Proof That We Have Free Will. And Don't Have Free Will!

A key question philosophers ask is whether the decisions and actions that a person takes could have been otherwise. If so, we say they have free will. If not, we say they do not have free will. The battle between these two camps of philosophers is fierce and bloody, and responsible for the severe shortage of philosophers around the world. I will attempt to finally settle the issue logically, in a way that each side will be able to claim victory. Finally, peace for philosophers!

If you're a compatibilist, and believe that free will is compatible with the laws of physics, you're in luck! Think of any decision you made in the past that turned out to be a good decision. Did you accept just the right marriage proposal? Pick the right stock at the right time? Maybe your dessert choice at the restaurant turned out to be even more delicious than you imagined. I will prove, logically, that you could have done otherwise, and therefore that the choice was up to you. You are therefore entitled to all the praise and enjoyment that may result from your decision. Hurray for you!

If you're an incompatibilist, and believe that free will is incompatible with the laws of physics, you're in luck! Think of any decision you made in the past that turned out to be a bad decision. Did you pick the wrong job? Cheat on your significant other, causing a breakup? Maybe you just picked something from the menu at the restaurant that turned out to be tainted and made you sick? I will prove, logically, that you could not have done otherwise, and therefore that the choice was not up to you. You are therefore excused from any moral responsibility for the choice. It wasn't your fault!

If you're a logician, and fear that these two positions are fundamentally incompatible, you're in luck too! If we parse the meaning of the two positions carefully, we will see that they are not logically opposite to each other. Perhaps you selected the most delicious dessert, but it also made you sick. Should you take credit for the decision or not? As we'll see, the answer is yes, your should take credit for the decision... or not. You will not need to believe impossible things, like the Queen in Alice Through the Looking-Glass, to believe both at the same time. I will prove that these two positions are not merely logically compatible, but they are both mutually necessary consequences of our understanding of the world. Yay logic!

Background, Assumptions, and Definitions


The thing to be proven is

(if you're an incompatibilist):
If we could rewind the world to precisely the state before any particular decision you made that you regret, then you would make exactly the same decision.

(if you're a compatibilist)
If we could rewind the world to precisely the state before any particular decision you made that you were happy with, then you would make a different decision.
If you are a logician we will expect a little more from you. You will have to follow two proofs at once. You're up to it.

We will prove these propositions using only first-order predicate logic and a few "facts" about the world that you are asked to agree to. Don't worry, we are not asking for much. These will be treated as axioms in our proofs. We'll label them so that we can refer to them later.
(A1) Axiom 1: Increasing Entropy. Future states of the universe have a higher total entropy than past states.
The time scales of interest here are those meaningful to a person: seconds, minutes, months, years. The intent of this axiom is that nothing may occur that would cause total entropy of the universe to decrease over any meaningful time scale. This axiom is consistent with every widely-held scientific view of the physical world. It is one form of the second law of thermodynamics.
(A2) Axiom 2: (In)Determinism. The world is deterministic, in the sense meant by physicists. (Unless you're a compatibilist.)
The future state of the world is fully determined by the present state, without the possibility of any variation. For those of you who believe in any of that hooey "quantum physics science" nondeterminism nonsense, or the soul, or god's influence over our actions, or karma, we won't allow any of that in our model of the world. Actually, no, wait, scratch that. If you're an incompatibilist, this axiom is that the world is deterministic. If you're a compatibilist, this axiom is that the world is nondeterministic, and you're allowed whichever of these odd beliefs make you happy. (If you're a logician, take your pick. We don't actually use this axiom.)
(A3) Axiom 3: No Time Travel. The future state of the world is only affected by the past state of the world.
The future can be affected by the past, and whatever other things we allowed you to believe through Axiom 2. But none of those things are allowed to carry information, or matter, of any kind from the future into the past. You're not allowed to whisper stock picks into the ear of your past self, or send an iPad to 1960, or kill your grandfather. These are things that would modify the state of the world after rewinding it to a previous state, so it isn't allowed. This axiom is consistent with the currently known laws of physics. (If you're a logician and aren't sure what Axiom 2 allowed you to believe, don't worry. We don't actually use this axiom either.)

The Experimental Method


One approach we could take to addressing this question is to just try it. Surely, as scientists, that would be the most rational thing to do. Unfortunately, reality rears its ugly head:
  • We do not currently have the technology to "reset" the complete state of the world to some previous state.
  • If you were to actually reset the world to a previous state, you would probably end up going through the day and then getting to a time that you do the same experiment again. You would, essentially, find yourself in some strange version of Bill Murray's Groundhog Day, living the same day of your life over and over again forever.
  • Since we are resetting the entire state of the world, as experimenters we would not know what you did the first time because our memory would have been erased. So we would have no way to judge whether or not you made the same decision the second time.
Unfortunately, this will remain a thought experiment for now.

Proof Technique


We use the ordinary proof techniques of first-order predicate logic. Specifically, if we want to prove a statement of the form "If P then Q" also sometimes written "P implies Q" for some proposed statements P and Q, then we can proceed using the technique of proof by contradiction. To do that, we assume all of our axioms, and also assume P, and also assume NOT Q, and then attempt to derive a contradiction from this set of assumptions. If we can derive a contradiction, then we consider the proposition "If P then Q" to be proven. Our original thing to be proven is precisely in this form, so this proof technique can be applied directly.

The Proof


Along with the axioms, we proceed to use proof by contradiction by assuming P (for "premise") and NOT Q (we will call this S) from the thing to be proven, which we recall is
(if you're an incompatibilist):
If we could rewind the world to precisely the state before any particular decision you made that you regret, then you would make exactly the same decision.

(if you're a compatibilist)
If we could rewind the world to precisely the state before any particular decision you made that you were happy with, then you would make a different decision.
(P) Premise: we could rewind the world to precisely the state before a particular decision that you made.
(S) You would not make
  • (for incompatibilists) exactly the same decision;
  • (for compatibilists) a different decision.
Now, we need a lemma, derived from Axiom A1. Note that the entropy of the universe is, by A1, a property of the total state of the universe that is monotonically increasing when viewed on human time scales. Rewinding the state of the universe from some time after a decision to some time before that decision would be changing the state of the universe from a higher entropy state to a lower entropy state, which would violate A1. Therefore, as a corollary to A1 we have the lemma L1:
(L1) Lemma: we could NOT rewind the world to precisely the state before a particular decision you made.
We now have two facts, (P) and (L1) that are directly contradictory to each other. As we have derived a contradiction, we have completed a proof by contradiction of "if P then Q", quod erat demonstrandum.

Counterfactual What?


The disagreement between the compatibilists and the incompatibilists is based entirely on a fundamentally false, or counterfactual, premise. It is not necessary to interpret such a position as literally requiring that the counterfactual be true when it isn't. Another way of interpreting this argument is to consider a universe as similar as possible to ours, but with the minimum possible changes such that the counterfactual statement is true. The question then becomes whether such a universe is more similar to the one understood by the compatibilist, or the one understood by the incompatibilist. Unfortunately, in this case the second law of thermodynamics is so deeply rooted in our understanding of the way the world works that it does not make sense to imagine what such a world would look like at all. A world like that would just not make sense to us, as the usual rules of cause and effect would not apply. So whichever camp you're in: congratulations, you're right!



This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. See http://creativecommons.org/licenses/by-sa/4.0/