Free will, Determinism and Banach-Tarsky paradox

In summary: The statement "In the determinsitic world, consciousness is also deterministic" is undecidable. So it is neither true nor false.
  • #1
Dmitry67
2,567
1
I read many threads in this forum (in QM section), and in many cases I witnessed the same logical flaw over and over again. People conclude that, for example, if world is deterministic, than there is no free will, because our consciousness is deterministic too. Why? Because our brain is nothing more than a huge collection of atoms and molecules. Hence all properties of the brain can be reduced to the properties/configuration of the parts it consists of.

This is not true for purely mathematical reasons. Let be begin from some hand-waving. Remember HUP? When we measure position we affect the impulse. So we can’t make 2 accurate position measurements of the same particle. This limitation is not instrumental. What if our consciousness has the same property? If you try to explain the consciousness based on how the molecules function in a brain, you destroy the brain in a process no matter how small is your scalpel. If you start measuring the positions of the particles in the brain you add random momentum to them, heating the brain and destroy it as it does not support even slight overheating.

Now, if that limitation is not instrumental than our consciousness is a very interesting object. Let say we have a predicate [itex]IsCons(x)[/itex] which is true when system [itex]x[/itex] is conscious. What we know is that for any system we know all the details about, isCons is false: [itex]isCons(\overline{x})=0[/itex] Note that [itex]\overline{x}[/itex] is constant, not a variable. In another words:

[itex]\forall X \vdash IsCons(X) = 0[/itex]
(for every constant X we can prove that isCons(x) is false). At the same time, conscious objects do exist:

[itex]\vdash \exists Y : IsCons(Y)=1[/itex]

Is it a contradiction? NO, even it is conter-intuitive. In mathematics many object possesses the same weird property. Look for example at famous http://en.wikipedia.org/wiki/Banach–Tarski_paradox
There exists a decomposition of a solid ball in 3-dimensional space can be split into a finite number of non-overlapping pieces, which can then be put back together in a different way to yield two identical copies of the original ball. That sounds really impossible because we can’t imagine such decomposition. But can we provide any examples of Banach-Tarsky decomposition?

No, this is absolutely impossible! Banach-Tarsky theorem is a consequence of AC (Axiom Of Choice). If it would be possible to provide an example of such decomposition, then the example itself would be a proof, so no AC would be needed. Hence providing an example is not possible.

The weird property I described is called [itex]\omega[/itex]-inconsistency, which is weaker then inconsistency. Formal arithmetic is [itex]\omega[/itex]-consistent. There is undecidable Goedel statement G, however. You can add G or [itex]\neg G[/itex] as a new axiom, but only one choice will be [itex]\omega[/itex]-consistent

Unfortunately, more complicated theories (Set Theory) are [itex]\omega[/itex]-inconsistent from the very beginning (for other examples check Continuum Hypothesis for example). We see how these weird properties emerge on some level of complexity. Of course, it is not a proof that human consciousness actually has weird property I explained above. However, it shows that the knowledge about the structure of a system and about how that system works might ‘non commute’ with some properties of that system. You can know all the details about the dead brain, not about the alive one.

Hence many ‘proofs’ in the QM section fundamentally flawed.
 
Physics news on Phys.org
  • #2
I won't pretend to understand your Banach-Tarsky theorem argument, but can you at least give some kind of definition of "free will"? I see many arguments going round in circles because folks are assigning different meanings to the term.
 
  • #3
'Free will exists' is just a way of saying 'consiousness is non-deterministic'

System is deterministic if the next state of the system is defined by it's previous state:

[itex]\exists_1 X' = next(X)[/itex]

However, as I explained above, X can't be found. So the statement above is undecidable. Hence the statement 'In the determinsitic world, consciousness is also deterministic' is neither true or false, it is undecidable.
 
  • #4
Basically you're saying that quantum mechanics (in the standard interpretation) adds a random factor, thus the next state cannot be determined from the previous. Is that an accurate summary?

(On the side: A randomly changing brain state is not what most folks want when they say they want "free will".)
 
  • #5
No. My argument is also applicable to even very complicated mechanical systems, or, say, the imaginary universe of the Conway Game Of Life. I meantioned HUP just as an example.
But I was mostly thinking about the BM and MWI as deterministic interpretations. 'Standard' CI is a total piece of crap (I don't say it in QM but here I can do it I guess?)
 
  • #6
Dmitry67 said:
[itex]\forall X \vdash IsCons(X) = 0[/itex]
(for every constant X we can prove that isCons(x) is false). At the same time, conscious objects do exist:

[itex]\vdash \exists Y : IsCons(Y)=1[/itex]

Is it a contradiction? NO

Isn't that the definition of a contradiction?

1. There is no such thing as a conscious object. (your 1)
2. Y is an object.
3. Y is not conscious. (from 1 and 2)
4. Y is conscious. (your 2)

Contradiction: Y is conscious and Y is not conscious.
 
  • #7
Dmitry67 said:
No. My argument is also applicable to even very complicated mechanical systems, or, say, the imaginary universe of the Conway Game Of Life. I meantioned HUP just as an example.
But I was mostly thinking about the BM and MWI as deterministic interpretations.
I'm still not getting it (or perhaps just not buying it). Just because you cannot predict what's next, doesn't mean it's not determined. Of course for many practical purposes, you can treat the systems as if they were "undetermined". But this is the philosophy section, after all.
'Standard' CI is a total piece of crap (I don't say it in QM but here I can do it I guess?)
I'd certainly agree that what's called the CI (above and beyond a minimalist standard QM) creates more "mystery" than it solves. :wink:
 
  • #8
no. check the position of the |- sign :)
yes, I know it is tricky

If you can prove A(0), A(1), A(2), ...
so if you can prove A(x) for any constant x
DOES NOT MEAN that you can prove [itex]\forall X : A(x)[/itex] (*)
If the last statement is undecidable then you can assume (*) or not (*) as an additional axiom.
Assuming (*) extends formal arithmetic keeping it [itex]\omega[/itex] consistent
Assuming not (*) making it [itex]\omega[/itex] inconsistent but consistent
 
  • #9
Doc Al said:
Just because you cannot predict what's next, doesn't mean it's not determined.

In my example only systems with UNKNOWN structure can be conscious. To check if system is deterministic we need to compare 2 states: before and after. But we can't obtain even a single state. Hence the question "is mind deterministic" does not make any sense.
 
  • #10
Dmitry67 said:
In my example only systems with UNKNOWN structure can be conscious.

Do you mean unknowable?
 
  • #11
Yes, correct.
 
  • #12
Dmitry67 said:
Yes, correct.

Does that mean all systems with unknowable structure are conscious?
 
  • #13
No of course...
 
  • #14
JoeDawg said:
Does that mean all systems with unknowable structure are conscious?
Define "system" please.
 
  • #15
Dmitry67 said:
No of course...

So what makes it conscious?
And how does a non-determinist, non-conscious, system decide what to do?
 
  • #16
Dealing with just the OP's attempt to abuse the BT theorem here, BT is a challenge to the axiom of choice rather than some kind of reason to believe the impossible is true.

BT depends entirely on the magic of an infinity of points and so you have to ask in reality whether physical locations (which are what zero-D points are meant to model) are conserved or freely produced.

So yes, axiom of choice is useful in modelling reality. But no, it has limits to its utility. It breaks down when pushed to an extreme - as vividly demonstrated via BT theorem.

Consciousness is a real world phenomenon and so unaffected by paradoxes that arise in mathematical models. BT in itself would be irrelevant to it.

Of course I agree that consciousness does not reduce just to neural firing patterns or any other local actions. You can only start to model consciousness using systems approaches which include both bottom-up and top-down causality in interaction. A complex causality.

A nice word for the naive reductionist approach is isomerism. Take a living creature and break it down into a test tube brew of its constituent chemicals. Surprise, surprise, the secret of life seems to have eluded you. Break down the molecules to QM level entities - wavefunctions measured to be at locations - and you have lost view of even the chemistry.

The OP is worried that it is impossible to measure the whereabouts of every last particle in the brain due to QM measurement issues. But how is this even relevant if it is the organisation, the form, the pattern of relationships, that is causal in systems?

The thermal jostle in real brains means that the constituent atoms are a statistical blur anyway. Nothing has to be located in exactly some place, just fairly roughly in a useful place. A little research into the topic of molecular turnover will show just how coarse-grained things actually are. The half life of microtubules is around 4 seconds for example! And those are structural macro-molecules.
 
  • #17
JoeDawg said:
So what makes it conscious?
And how does a non-determinist, non-conscious, system decide what to do?

I wish I knew! :)
I don't know any solutions to the 'Hard problem of consciousness'
 
  • #18
apeiron said:
So yes, axiom of choice is useful in modelling reality. But no, it has limits to its utility. It breaks down when pushed to an extreme - as vividly demonstrated via BT theorem.

It is not a fault of AC. There are other examples: GCH or unreachable sets.

When we prove a statement saying that [itex]\exists x : A(x)[/itex] we say: aha, x actually exists! But in fact, all we did is we played with character strings based on some rules, and as a result of such game we got a string which begins from a character [itex]\exists[/itex]. That is all! This a nightmare and damnation of the whole mathematics!

And that whole crazy mathematical stuff leaks into physics, because we can not avoid using sets and real numbers in physics.

P.S.
I also wanted to attract an attention to another interesting fact. You definitely know the Conway Game of Life? Simple and deterministic Universe with integer time. 'Law of physics' in that Universe are effectively computable, deterministic and again very simple.

It is quite shoking that still there are undecidable statements about the configurations of dots in that universe!
 
  • #19
Dmitry67 said:
When we prove a statement saying that [itex]\exists x : A(x)[/itex] we say: aha, x actually exists! But in fact, all we did is we played with character strings based on some rules, and as a result of such game we got a string which begins from a character [itex]\exists[/itex]. That is all! This a nightmare and damnation of the whole mathematics!

You can only prove a logical statement about existence by in some way assuming the existence of something. It's always a conditional proof. Math has nothing to do with existence. Math is the game. Or was that your point?
 
  • #20
Exactly. Math is a game.

Like in QM, in math there is a Formalism (character [itex]\exists[/itex]) and Interpretation ([itex]\exists[/itex] means 'exists') (well, it is called a 'model')

Like different Interpretaations in QM, there are many different and mutually inconsistent mathematics: with AC or without AC, with CCH or without it, with classes or just pure ZF.
 
  • #21
Dmitry67 said:
I wish I knew! :)
I don't know any solutions to the 'Hard problem of consciousness'


No, you kind of do, though it's probably not what were expecting to hear. Let me run a parallel so you can see my point. Most of us seldom think of water when we drink but the 2 different types of atoms in the molecule of water are gaseous. Yet when H and O atoms combine, a whole new property emerges, the combination of 2H+O atoms becomes water. Separate those atoms and you have no water properties anymore. Bam, the emergent property is gone. Stab a man(ruin the configuration that allowed the emergence of new properties), and the emergent property of life is gone. The emergent property of consciousness is gone too(together with free-will), it is not to be found among the atoms that comprise the brain. In time, the holistic approach will gain more appreciation as reductionist science keeps losing ground in explaining the emergence of the classical universe with completely new laws and rules that govern the macro level from a purely quantum state.

These targeted and highly specific ubiquitous emergent properties that create life and most of the substances that support life do not seem very 'natural'. But then again, i don't think anything is natural in the traditional sense of the word.
 
Last edited:
  • #22
But all properties of water CAN be derived from the Standard Model
I speculate that properties of the mind can't - in principle - be derived from the properties of matter.
 
  • #23
Determinism and free will are often thought of as contradictory terms, but free will is a concept that reaches beyond the realm of physics. Even though our thoughts, actions and perceptions are determined by some initial state, does not mean that we have no free will. The important thing here is that we percieve our will as free. When we decide to act, who is deciding? In every case it will be us who percieve ourself deciding. The predetermined states of the mind defines us as human beings. Thus it is meaningless to talk about the will as forced in any way.

This argument stands in any definition of determinism. The model of QM is still deterministic even though it is based on probability. For example, it`s not indeterminate where a particle really is; that question itself is meaningless. Particles have no definite position in QM.
 
  • #24
Jarle said:
The important thing here is that we percieve our will as free. When we decide to act, who is deciding? In every case it will be us who percieve ourself deciding. The predetermined states of the mind defines us as human beings. Thus it is meaningless to talk about the will as forced in any way.

The important thing would still in fact be whether this impression of freewill is true or an illusion/delusion?

And it could be a delusion born of deterministic micro-causality as you suggest. But we still would have to enquire if this were actually so.

Of course I've argued that freewill is "sort of a delusion" for a completely different reason - the macro-causality of sociocultural evolution. So this would be opening up yet another front of attack.

I am arguing that the essence of freewill has pretty much nothing to do with micro-causality and everything to do with macro or meta levels of systems. How you interpret QM is irrelevant as QM does not enter into brain function. It is only possibly a source of component noise that brains would be constructed to filter out.
 
  • #25
apeiron said:
The important thing would still in fact be whether this impression of freewill is true or an illusion/delusion?

And it could be a delusion born of deterministic micro-causality as you suggest. But we still would have to enquire if this were actually so.

What does it mean to say that free will is an illusion? Is it meaningful? We perceive our will as free, who are there to judge us wrong? In a deterministic world, physical processes does indeed determine our thoughts and actions, but that doesn`t mean our will isn`t free. I say it again, the physical state of our mind and the processes therein defines us as human beings. It is what makes us what we are, and as long as we perceive our will as free, we have free will. A proper analogy would be that reality was an illusion. Would that matter? What we would perceive every day would be our reality.

In questions like these I suggest we detach ourselves from the physical perspective of the world, and concentrate on the subjective perception which defines our reality.

Of course I've argued that freewill is "sort of a delusion" for a completely different reason - the macro-causality of sociocultural evolution. So this would be opening up yet another front of attack.[\QUOTE]

This is an interesting subject, the environment might have a greater affection on our thoughts and actions than we would like to admit. However, these affections still defines us who we are, and doesn`t make our will any less free.


I am arguing that the essence of freewill has pretty much nothing to do with micro-causality and everything to do with macro or meta levels of systems. How you interpret QM is irrelevant as QM does not enter into brain function. It is only possibly a source of component noise that brains would be constructed to filter out.[\QUOTE]

What do you mean by "QM does not enter into brain function"? Are you suggesting QM doesn`t apply to the human brain? Nevertheless, it does indeed have very much with this to do, as it is the interpretation of QM which is the framework of an interpretation of the physical attributes of the world and is thus very significant when we are talking about a deterministic physical world. However, the point I made about QM was only that QM is not a non-deterministic model.
 
  • #26
Jarle said:
In questions like these I suggest we detach ourselves from the physical perspective of the world, and concentrate on the subjective perception which defines our reality.

But I prefer to have full scientific explanations of things. That has been a free choice of mine I think. :wink:

And actually freewill is not an issue I've found particularly troublesome from my studies of psychology and neurology. It is only people seeking some "physics" model of what they call "freewill" - which is nothing like the choice-making, self-regulation and habit-formation that I see as psychological processes - that encounter these philosophical difficulties.

Of course there is a religious dimension to this - why personal choice has become such a fraught issue in western philosophy.

Jarle said:
What do you mean by "QM does not enter into brain function"? Are you suggesting QM doesn`t apply to the human brain? Nevertheless, it does indeed have very much with this to do, as it is the interpretation of QM which is the framework of an interpretation of the physical attributes of the world and is thus very significant when we are talking about a deterministic physical world. However, the point I made about QM was only that QM is not a non-deterministic model.

I was clear enough I hope. The brain would filter out noise to create signal. Even if you could argue that the QM foundations of the material world are shaky, this does not mean that material systems would not isolate themselves from such fluctuations. So QM may apply to the brain in the sense it applies to all reality, but it does not apply to brain function in any known way. And what we know of the brain is its success at homeostatic regulation, like all living processes. We would assume QM to be an irrelevant issue until some evidence shows otherwise. And "freewill" is not that evidence.
 
  • #27
apeiron said:
But I prefer to have full scientific explanations of things. That has been a free choice of mine I think. :wink:

And actually freewill is not an issue I've found particularly troublesome from my studies of psychology and neurology. It is only people seeking some "physics" model of what they call "freewill" - which is nothing like the choice-making, self-regulation and habit-formation that I see as psychological processes - that encounter these philosophical difficulties.

Of course there is a religious dimension to this - why personal choice has become such a fraught issue in western philosophy.
I was clear enough I hope. The brain would filter out noise to create signal. Even if you could argue that the QM foundations of the material world are shaky, this does not mean that material systems would not isolate themselves from such fluctuations. So QM may apply to the brain in the sense it applies to all reality, but it does not apply to brain function in any known way. And what we know of the brain is its success at homeostatic regulation, like all living processes. We would assume QM to be an irrelevant issue until some evidence shows otherwise. And "freewill" is not that evidence.

I agree with what you say, but I also think you may have misinterpreted some things I said. The point about the physical perspective is that a physical model of consciousness is inadequate, at least at the current time. The only possibility is indeed in the field of neurology and psychology, but this subject will need philosophy as a close partner during the study.

The general point is that the argument "The world is deterministic by our physical models, thus we have no free will" is flawed.

Also, I didn`t mean that the difference QM make on micro-level had any influence on brain function, I was rather making the point that if the world behaves as QM predicts, then it is not non-deterministic. And this is really an essential part of the argument; determinism.

The scientific perspective is not flawed in itself, but the conclusions of it may be flawed as often one does not know the boundaries of the area of definition. Consciousness is such a subject that cannot be taken lightly.

I think we`ll stay out of the religious dimension here on PF.
 
  • #28
Jarle said:
The general point is that the argument "The world is deterministic by our physical models, thus we have no free will" is flawed.

.

Of course I completely agree with this. So if you were saying that our models may say one thing, but not to worry because they are being extrapolated philosophically beyond their brief, then this would be my view too.

"Freewill" to me seems no issue at all from a knowledge of neuroscience and sociology. The way brains take decisions is complicated but not essentially mysterious.

However determinism at the micro-causal level of fundamental physics is a deal-breaker. It works extremely well as an axiom of modelling until it suddenly doesn't work at all. It is a deep issue for scientific modelling in physics, as opposed to a very shallow one for mind science.
 

What is the concept of free will?

Free will is the belief that individuals have the ability to make choices and decisions freely without being determined by external factors. It is the idea that we have control over our own actions and thoughts.

What is determinism?

Determinism is the philosophical belief that all events, including human actions, are ultimately determined by previous causes. This means that all actions and choices are predetermined and there is no room for free will.

What is the Banach-Tarsky paradox?

The Banach-Tarsky paradox is a mathematical theorem that states it is possible to divide a solid sphere into a finite number of pieces and reassemble them to form two identical copies of the original sphere. This goes against our intuition of physical objects and raises questions about the nature of space and infinity.

Does the Banach-Tarsky paradox disprove determinism?

No, the Banach-Tarsky paradox is a mathematical concept and does not have any direct implications on the philosophical debate of free will vs determinism. It simply challenges our understanding of space and infinity and does not provide evidence for or against the existence of free will.

Can free will and determinism coexist?

There are various philosophical beliefs and theories that attempt to reconcile the concepts of free will and determinism. Some argue that we may have limited free will within a deterministic framework, while others believe in a compatibilist view that free will and determinism are not contradictory. However, this is still a highly debated topic and there is no definitive answer.

Similar threads

Replies
7
Views
829
  • Quantum Interpretations and Foundations
Replies
30
Views
2K
Replies
23
Views
2K
Replies
3
Views
227
Replies
14
Views
5K
  • Precalculus Mathematics Homework Help
Replies
1
Views
497
  • Thermodynamics
Replies
5
Views
946
  • General Discussion
2
Replies
51
Views
17K
  • Special and General Relativity
3
Replies
78
Views
4K
  • General Discussion
3
Replies
71
Views
14K
Back
Top