And four explanations of some remaining belief.
Free Will Is Interesting
Free Will and its arguments are pretty interesting. Determinism and compatibilism are also interesting. The issue that often seems to come about in discussions is that to be a libertarian in this day and age – the free will believing kind – you often have to withstand quite a few sneers from your determinist colleagues.
Determinism is very in vogue. It’s hip, it’s sexy. It, along with some square glasses, is how you identify yourself as in the intellectual elite.
I can give arguments for free will all day. I have a few, some on the compatibilist side, some on the libertarian side. And sometimes, people even pay attention. Most of the time, though, I simply get the standard proofs of determinism thrown back at me, rather than any attempt to analyze the arguments I put forward.
So, it seems to make progress on free will, rather than offer what free will is or how it might work, we should rather attack determinism – at least up to the point where determinist finally stops thinking the standard proofs are a good rebuttal of any discussion of free will.
The Standard Proof
The standard proof of free will goes something like this.
Everywhere we look in nature, anything we see has some other cause. We see eggs, birds laid them. We see birds, they came from eggs. How’d the whole thing start? Because of evolution. A causes B causes C – the great chain of cause all the way back to the big bang.
When I hit the cue ball on a pool table, it has no choice in the matter of where it’s going – it’s fundamentally determined by the laws of physics. Momentum, acceleration, force. Since down to the smallest atom and up to the largest galaxy, these same forces are in effect and none of these objects have any sort of ‘free choice’ in the matter, why would we believe that we are any different? It’d be the height of hubris to do so.
The Three Musketeers
Or, why determinism isn’t all it’s cracked up to be.
Ultimately, each of arguments deals with two major themes – computability (which we’re taking to mean some generalization of the ‘A causes B’ mechanism) and what people might call randomness, but probably shouldn’t. Finally, they all attack a common weak point in the deterministic argument – that it seems to rely on the idea of science from the 17th century.
Where do we stop? The Halting Problem
In a nutshell, the halting problem is a logical argument which shows there are some things computers can’t do. By computer, we mean a device which computes, which may also be the human brain, we really don’t know.
But we also mean mathematical logic. In fact, the exact same problem can be put in mathematical logic terms and it becomes the Incompleteness Theorem.
In a very similar nutshell, the incompleteness theorem states that no matter what axioms of math you chose, there will always be theorems you can ‘write down’ that are neither provable or unprovable using those axioms. I’m not a mathematician, so I am probably doing a lot of hand-waving right now. But the gist is, our methods of formal reasoning – computation and mathematical logic (which are more or less the same thing) – cannot do some things.
These things they cannot do? Well, as my Computer Science professor yelled at us over and over, these things are not “Vague things like, ‘What is beauty?’ or ‘What is love?’ These things are things you expect computers to do – like tell me if this loop halts or not!”
Does your program end – or not? Outside of certain heuristics, all we have is to run the program and wait. And there’s a whole bunch of programs that will run nearly until the end of time, and then halt, and a whole bunch more that will run right out past the end of time.
This means that any string of causal reasoning is most likely subject to the same issues. We haven’t really found a formal logic that gets around these issues, so until someone can show otherwise, the causal reasoning used to show determinism should be assumed to have the same holes.
That means that you can have any system in nature, formalize it, and there will be things that the system can do that you may, or may not, be able to prove about it. Constrain the system enough and you get a lot of strength with your theory. But the real world is entirely unconstrained, and any formal system rich enough to accurately describe it is going to have huge, gaping holes that naive logical arguments such as the standard proof won’t touch.
In other words, sure, the world may be fully determined, but not in such a way that I can algorithmize it.
Fuzz Factors: Chaos Theory
Speaking of computation, in the 1960’s and 1970’s, super computers were beginning to be used for weather forecasting. While debugging some of the forecasting software, engineers found that what the forecast predicted varied enormously from run to run.
It was later realized that tiny changes in the inputs of wind speeds, humidity, and so on, were leading to much larger changes in the outputs. As these phenomena – discovered in computation but attributed to dynamical systems themselves – became more well known, it gave us terms like the butterfly effect, chaos theory, and fractal to all describe the behavior of these systems.
Computer engineers can push back the veil of what’s chaotic by increasing the significant bits in a simulation – allowing the model to store more and more detail. But it’s ultimately a losing proposition, as doubling the precision (a large undertaking) might make the model accurate to another day out (a small win).
Additionally, we can always make the models themselves better, or apply heuristics such as building multiple models and averaging their results. Thus, weather forecasting today is still much better than it was in the 1970’s, but we’re still ultimately fighting the same chaos driven battles in our weather models.
These phenomena show up everywhere, from the financial markets to synapse patterns in the human brain. The issue here, in regards to computation, isn’t that chaotic models or random. It’s that determinism doesn’t mean what you think it might mean – something may be fundamentally deterministic, yet still need to be modeled as something fundamentally free. Our models of the exact weather in downtown Dallas next year on this date are going to be very vague, at best, and it’s best – if we have to plan for weather next year on this day – to treat it as free, as something that will be decided and figured out at a later date, maybe even on the day. Like a person, or a cat.
This is primarily a compatibilist argument against determinism – that determinism doesn’t really mean what people think it means. I can have the equations for fluid dynamics, but its tiny errors in my weather model that will ultimately dominate what happens in a week. But this can also be combined with the argument below to introduce a truly libertarian point of view – tiny, infinitesimally small things, tend to determine what happens over the course of time. And those tiny, infinitesimal things are random.
It’s Turtles All the Way Down: Quantum Mechanics
Let’s go back to the original standard argument. Billiard balls hit billiard balls, atoms hit atoms, planets hit planets. Or they orbit them, or whatever. Everything seems to be determined, so why would we be any different?
Only that’s not at all how the real world works.
Aristotle is criticised a lot for making claims about the world that he could have figured out from observation weren’t true. We all know about his theory that heavier things fall faster – but he also claimed women had different numbers of teeth. How hard would that ‘experiment’ have been to pull off and double check?
But here we are again, making grand gestures about how the world works that we know fundamentally are untrue, then using those gestures to make claims about the human condition.
First, as described above – planets don’t orbit. Beyond a small system, we get into the N-Body Problem, which is the archetypical problem for chaos. A moderately sized system of planets becomes increasingly difficult to predict as time goes out. It’s not billiard balls.
But even more damning, atoms don’t work that way. We know atoms, and their constituent particles, are heavily determined by quantum mechanics which has a huge element of probability to it.
In fact, the same thought experiment – the pool table – can often be seen in both domains. A teacher of quantum mechanics might say ‘particles aren’t at all intuitive, it’d be like hitting a cue ball straight at the 8 ball and having it ‘jump’ right around it and miss’. Meanwhile, our smug determinist might say ‘atoms behave just like billiard balls, one hits the other and it goes off where momentum says it should go. It’s determined all the way down.’
But it’s not. It’s not determined at all.
To sum up, where we are – we aren’t like planets, they’re subject to things like the butterfly effect. And we aren’t like atoms, they’re subject to quantum mechanics. So the naive determinist is left saying that we occupy the Newtonian space in between where everything’s determined by simple equations, and thus not free. And she’ll go on to say that to believe otherwise would be the height of hubris.
But isn’t the world telling us we’re different? If, by nothing else, showing us that everything is a bit different? Planets aren’t like particles, but people are still like billiard balls?
Let’s not ignore the fact that we’ve already shown the brain is heavily chaotic, and it exists on such small scales that quantum effects are in play there. So, taking what we know about the current world, there’d be very little reason to believe that human behavior is deterministic in any useful way beyond statistically. Adding on to the fact that the conceptual model for a brain is a computer, and we know what kind of issues those run into that seem undecidable (a kind of indeterminism), and we have a wet squishy quantum mechanical device that thrives on chaos, implements a computer of at least Turing completeness (and thus subject to the halting problem) and we claim that thing is fully determined? It’s like… the least determined thing.
Isn’t this just randomness? That’s not Free Will
Yes. No. Kind of.
A lot of people like to say if something’s not determined, then it’s just random. It’s arbitrary. This comes mostly from free will not having much of a positive definition. We define it, often, via negativa. The libertarian has her work set out for her, she somehow has to prove that something’s not determined, not random, and not magic, because those are the rocks that will be hurled at her, often in that order.
The issue is randomness itself is a poorly understood subject. We saw quantum particles, the stock market, and rolls of the dice are random, but in fact, only one of those things is believed to actually be random. The other two are chaotic events – hard to predict, and so we have a statistical distribution that approximates them very well (a random walk maybe, and a 1/6 uniform distribution).
Quantum mechanics is the only place in physics that we really do think is ‘random’, and it’s so unintuitive it’s probably better to not use that word in quantum mechanics at all. We’re pretty sure that hidden variable theories – i.e., theories what treat particles like die where the true state is actually determined just hard to get at – are all false. Meaning that quantum particles really do seem ‘random’, and not like the randomness of the die.
But the idea of randomness came from games of chance, which aren’t ‘random’. Wouldn’t it be easier to say that quantum mechanics isn’t ‘random’, while dice are? Dice are chaotic, they can be modeled via a distribution, and so we call them random. Quantum particles – in themselves, not in the systems they produce – are not necessarily chaotic. Rather than modelling them as a distribution, they may actually be a distribution. This is an entirely different thing, and we shouldn’t use the ‘r’ word with them.
Does that mean that I think quantum particles are ‘free’? Not necessarily. I’m saying we have a thing that doesn’t fit into any one of our defined categories – i.e., determined or random, and that thing is quantum particles. Since I don’t think ‘random’ is a good word for quantum particles, I don’t think systems that might be influenced by said particles are necessarily ‘random’ either.
Since this is primarily an attack, I’ll stay mum on positive accounts of free will. My main emphasis is that a completely unique phenomenon – not entirely unlike randomness in the Newtonian world – underlies all of reality, one where the word ‘determinism’ doesn’t really make sense to apply. And so accounts of reality that claim everything’s deterministic are simply false.
The Four Horsemen
Or, why we still seem to be irritated by this.
I’m betting right now you’re reading the above and saying
“This idiot doesn’t understand computation/dynamical systems/quantum mechanics/determinism.”
And that may well be true.
But if you’re anything like my archetypical determinist, I have a feeling that I had no chance to sway you because you cling to determinism for reasons unrelated to logic. I mean, let’s be honest, there are good arguments to make for determinism and none of them rely on a 17th century Newtonian understanding of physics and the world.
There’re a few conceptual problems you might have to break through first before you’re fully willing to take on the argument that determinism may be false, or erroneous. Even knowing all I do about the above, I still see cause and effect everywhere, even in my own decisions. What is that intuition that leaves us thinking determinism has merit?
Language Games Part Un: Breaking the Law
The Laws of Physics are entirely a human invention to recognize patterns.
These laws are frequently referred to by determinists as ironclad, the things that drive nature, and something we cannot escape. This is because they’re using a rather quaint notion – the actual idea of a law – where the term laws of physics came from. Again, we’ll see the issue lies in borrowing terminology in a literal sense from the 17th century.
When patterns in nature appeared to be so reproducible that science became possible, and the period that we now call the scientific revolution was underway, a common metaphor for these phenomena was they seemed so universal as to be laws. Laws like the king makes – inescapable.
Of course, our thinking on jurisprudence has evolved quite a bit since then, and we’ve also gotten rid of kings. Even today, when talking about the laws of physics, it’s an area of active research to see if they change – are they different from universe to universe in some grander ‘multiverse’? Have they changed over time? Could they be different for different parts of space?
Laws of physics ultimately were, and ultimately still are, patterns we observe in nature that are predictable, and the mathematical formalisms we use to communicate those patterns. They are a language we use to express ideas, and the idea of them as laws is fundamentally a human and social construct.
That’s not to say gravity doesn’t exist. That is to say that our concept of gravity is nothing but the repeated observation of such, and experimentation and prediction on the same pattern we’ve seen elsewhere to see how well it generalizes. The idea is just our mathematical formalism insofar as that formalism is both useful and relatively error free. All physical laws ultimately boil down to inductive reasoning.
Language Games Part Deux: Confusing Correlation and Causation
Or just causation.
Speaking of loops: The circular reasoning of causal determinism
Above I mentioned that our laws of science are little more than instances of inductive reasoning. They’ve proven super valuable, and our metaphors of laws and math to describe them are very useful. Whenever we find an issue in our understanding, we amend our theories to account for it. This is all fine.
But I argued that ultimately we can’t say the laws of physics are something out there in the world if they’re ultimately nothing but a metaphor we use to understand and communicate patterns we’ve seen in nature.
This same argument can be extended to strike at causal reasoning itself.
We talk about cause and effect as if the two things are actually out there, in the world. But in reality, they’re mental tools – tools we use to make sense of the world, but we shouldn’t mistake the map for the territory.
When you say:
“All effects have causes, therefore, my actions are merely the effect of some other cause, and I am determined.”
you have to understand I’m probably going to attack you on your assumption that there are real things such as effects and causes.
We can’t find these things through our experience. We use these things to structure our experience. It’d be similar to a microbiologist using a microscope and cleaning the lens frequently enough to suggest that perhaps dark matter is nothing but a smudge on God’s lens.
Wait, that’s a pretty cool idea. I’m going to steal it.
Anyway, we use tools to shape the experience around us – cause and effect is one of them. They ultimately have no standing in the physical world, though, and are assumptions we make depending on the context of the problem we’re trying to solve.
Moreover, determinism is just another word for cause an effect, basically. So the argument that:
“All effects have causes, therefore… I’m determined”
could be restated pretty easily to say instead:
“Determinism is true, therefore… I’m determined.”
Give yourself a nice pat on the back for that one, Bertrand.
If I’m gonna fight for a word, my word is Poontang.
Causation the word is a social construct, we use it communicate a belief about causation. Causation the concept is a way we shape reality. Neither the word nor the concept actually says anything that can be said to be true or false about reality but are ways to talk about and think about reality.
Ultimately you’re taking your statement “All things are caused” as a statement about the world when really it’s a statement about yourself. You’ve decided that something is important – made a value judgement – which is one of the freest choices you can make.
You can’t escape: Belief, Culture, and Standing
That nagging feeling that determinism is still correct? A lot of that is just you trying to fit in.
Let’s get out of the word games. You probably still aren’t convinced. In fact, you’re probably enraged I called science, an activity done by and for groups of human beings, a ‘social construct’. You’ve been told there’s objective truth out there, and you have it, and fuck everyone else.
In fact, you probably weren’t even told there was objective truth. You were probably laughed out of the room when you questioned it. I’m not here to propose relativism, but there’s an underlying dogma, faith, and culture to the belief of determinism. Ultimately, your holding on of determinism despite it being a somewhat empty and useless concept is tantamount to a Scholastic holding on to the literal Trinity. You’ve identified with the culture that pushes this stuff out so much that you’re not sure what you’re supposed to think anymore.
Here’s an experiment – let’s say you are frustrated with what I’ve said above. You have reasons to think I’m wrong. What’s the first thing you do? You probably share it with someone else (ooooh, something social) and say “This is such bullshit, isn’t it?”
You weren’t comfortable with your own arguments, you needed someone else to agree with you. This is like, the archetypical example of group think and culture. And no one is saying culture is bad. All I’m saying is, that emptiness you feel when you have something that seems so core as determinism questioned is what a lot of newfound agnostics feel, or any believer feels when doubts creep in.
You keep up the faith in determinism because all of your friends say you’re a moral… I mean, rational person when you do. You have a deep and abiding relationship with Jesus… I mean science. And they all like you, and you get to hang out with them and make fun of the nonbelievers together in your safe space.
Or maybe you liked my arguments, in which case, welcome to being on the outside.
The Depths of Hubris
No one’s buying that brave face. Pessimism isn’t always right.
You see the accusation of the height of hubris a lot whenever anything makes human beings seem or sound special. They make reference to Galileo who was to Steve Jobs as Copernicus was to Steve Wozniak, about how he diminished the importance of human beings in the world by putting the Sun at the center of the solar system.
Isn’t it great to tear down humanity, point out how we’re not special, how we occupy and fight and die over some pale blue dot and it’s all so grand and we’re all so stoic about it and wonderful people?
When people argue over death and the afterlife, so often I hear some say that belief in the afterlife is a safety blanket that the religious have, that they’re just not brave enough to face the facts that we simply cease to be.
I’m not even gonna get into that debate, but I would like to point out that many religions have no concept of an afterlife, and some religions actively preach ways to avoid the afterlife. To Buddhists, annihilation is nirvana. They’d probably see atheists clinging to their certain non-existance as so much wishful thinking.
You gotta earn that annihilation, buddy.
-Buddhism regarding Atheists
Likewise, the clinging to determinism is also so much hubris. It’s the scientistic, humanitarian hubris that we actually know what’s going on. It’s pretending that despite us not knowing where most of the universe is, what quantum mechanics mean, or why we’re fucking ticklish, we still somehow grasp ‘most’ of the world, and we can cuddle up in that warm blanket and hide from all the things we don’t know.
It’s arrogance. And the offense someone who claims to be evidence and reason driven takes to the mere argument is proof of it – if it was only reason that drove argument, people wouldn’t cling to anything. They wouldn’t have the motive to fight. This can all be a good thing – but it’s a bad thing when we pretend that’s not why we’re acting. When we don’t take responsibility for our actions and claim that was some sort of real, objective Truth and Science and Understanding and the American Way that drove us to despise mere words.
The Fifth Horsemen: I Find Your Abundance of Faith Disturbing
“Sure”, you say. “Maybe determinism looks bad now, but what about some future ideal science?”
Ah, the epilogue. So Newtonian determinism didn’t survive the halting problem, quantum mechanics or chaos theory. But still, some ideal form of determinism would. I mean, we all know such a thing exists as it must be true (I call this the ontological argument for damn near anything). Sometimes called physicalism, this is an extension on the deterministic cause that some ideal future scientific method will shed light on all these issues, and all arguments will be squelched for good.
Likewise, I posit that there is some ideal future teapot between the Earth and Mars and that we will find it someday when we have instruments that can peak into other dimensions, go backwards and forwards in time, etc… Therefore, I win, right?
I don’t fault anyone for believing in the merits of science. But this is a faith based argument – and again, faith can be a wonderful thing when you acknowledge you’re making a decision based on faith. If what you’re doing is faith based, but you flatly deny and point to some picture of the universal truth of Science as the reason you believe what you do, you’re being close-minded, inauthentic and you’re actually going to learn less about the world.
Does all of the world ultimately work in patterns? I think so, but I’m not sure. We don’t really have a good account of where all this shit came from, or what on earth we’re doing in it with all these feelings and experiences. The question of whether or not some future science will figure these things out is an interesting one – is there true mystery in the world, or is all the world ultimately understandable?
This gets back to our earlier language critiques. Let’s say that there is a pattern of human behavior, but that we call this pattern ‘free’. We use other words like ‘reasons’ and ‘choices’ and ‘will’ in describing our theory of human behavior. Let’s say this theory gives a reasonably good statistical account of human behavior. Are we free, or determined? Ultimately it’s just word choices here. As I said earlier, free is not the same as random, and it’s not the same as determined. It’s not the same as unpredictable either.
I can’t really tell you what free is because that’s what this debate is supposed to be about. What does freedom me, and what does it mean to be free? I have thoughts here. But before I can get to any of those, I have to make sure others are disarmed from giving me their poor rendition of the standard argument for determinism and catch them up on all the math and science that’s been done for the past 200 years.