• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 21:37
CEST 03:37
KST 10:37
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
TL.net Map Contest #22 - Voting & Ladder Map Selection1Code S Season 2 (2026) - RO8 Preview4[ASL21] Finals Preview: Two Legacies21Code S Season 2 (2026) - RO12 Preview2herO wins GSL Code S Season 1 (2026)7
Community News
StarCraft II 5.0.16 PTR Patch Notes may 26th70Weekly Cups (May 18-25): MaxPax wins doubles0Crank Gathers Season 4: BW vs SC2 Team League4Weekly Cups (May 11-17): Classic wins double0Code S Season 1 (2026) - RO8 Results2
StarCraft 2
General
Changing from 12 to 8 is just asking for StarCraft StarCraft II 5.0.16 PTR Patch Notes may 26th TL.net Map Contest #22 - Voting & Ladder Map Selection herO wins GSL Code S Season 1 (2026) Code S Season 2 (2026) - RO8 Preview
Tourneys
GSL Code S Season 2 (2026) Sparkling Tuna Cup - Weekly Open Tournament Crank Gathers Season 4: BW vs SC2 Team League GSL Code S Season 1 (2026) Maestros of The Game 2 announcement and schedule !
Strategy
[G] Having the right mentality to improve
Custom Maps
[D]RTS in all its shapes and glory <3 [A] Nemrods 1/4 players
External Content
Welcome to the External Content forum Mutation # 527 Hell Train The PondCast: SC2 News & Results Mutation # 526 Rubber and Glue
Brood War
General
Every Matchup's Top 5 Winrates (all ASLs & KSLs) Pros React To: ASL S21 Finals VPN experiences Quality of life changes in BW that you will like ? BW General Discussion
Tourneys
[ASL21] Grand Finals Escore Tournament StarCraft Season 2 [BSL22] WB Final & LB Semis - Saturday 21:00 CEST Small VOD Thread 2.0
Strategy
Any training maps people recommend? Muta micro map competition [G] Hydra ZvZ: An Introduction Fighting Spirit mining rates
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread ZeroSpace Megathread Path of Exile Dawn of War IV
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine Trading/Investing Thread Dating: How's your luck?
Fan Clubs
The herO Fan Club!
Media & Entertainment
[Manga] One Piece Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books
Sports
McBoner: A hockey love story 2024 - 2026 Football Thread TeamLiquid Health and Fitness Initiative For 2023 Formula 1 Discussion
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread Facing Challenges in Mobile App Development
TL Community
The Automated Ban List
Blogs
Customization Drives Loyalty…
TrAiDoS
Why RTS gamers make better f…
gosubay
ramps on octagon
StaticNine
ASL S21 English Commentary…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 3635 users

Formal Proof About Classical Free Will - Page 2

Blogs > MichaelDonovan
Post a Reply
Prev 1 2 3 4 5 Next All
2Pacalypse-
Profile Joined October 2006
Croatia9538 Posts
May 28 2014 22:31 GMT
#21
On May 29 2014 07:14 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:



I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.
Moderator"We're a community of geniuses because we've found how to extract 95% of the feeling of doing something amazing without actually doing anything." - Chill
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 22:32 GMT
#22
On May 29 2014 06:36 L3gendary wrote:
Even though I don't believe in free will this isn't a very good argument. Basically you said that A and B=NOT A need to be both possible for free will to exist. And then (with some added unnecessary operations) concluded that it's impossible because A and NOT A can't simultaneously be true (something can't be both true and false).

So this is just the old argument that any proposition (even those about the future) must be either true or false right now. In other words you've concluded that free will doesn't exist by assuming that logical determinism is true.


Not quite...

First it's important to note that I'm not saying that free will doesn't exist. What I'm saying is that the classical free will thesis is incoherent. It's still perfectly possible that free will could exist (like the source view or something), but the classical free will thesis is logically incoherent.

The ability to do otherwise, or the retrospective possibility of having done something else is what I'm arguing against. All of my arguments come merely as a consequence of the classical definition of free will. Does that make sense?
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
Last Edited: 2014-05-28 22:50:18
May 28 2014 22:35 GMT
#23
On May 29 2014 07:31 2Pacalypse- wrote:
Show nested quote +
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Started watching the video. So far it seems like a kind of "Free Will for Dummies" thing. He's just kind of going over the most well known arguments against free will. It also seems like he's relying pretty heavily relying on the classical definition of free will. There are other ways of defining free will besides "the ability to do otherwise."
2Pacalypse-
Profile Joined October 2006
Croatia9538 Posts
May 28 2014 22:50 GMT
#24
On May 29 2014 07:35 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 07:31 2Pacalypse- wrote:
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Empirical evidence is hard to rely on? Is that why science doesn't make any progress?

The best method that we have to find out truth about the world, an objective truth, is scientific method. Rational thought and deductive reasoning go out the window once we're confronted with something that doesn't seem rational, eg. quantum mechanics.
Moderator"We're a community of geniuses because we've found how to extract 95% of the feeling of doing something amazing without actually doing anything." - Chill
urboss
Profile Joined September 2013
Austria1223 Posts
May 28 2014 22:53 GMT
#25
On May 29 2014 07:24 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 07:18 urboss wrote:
On May 29 2014 07:02 MichaelDonovan wrote:
On May 29 2014 06:42 urboss wrote:
On May 29 2014 06:23 MichaelDonovan wrote:
On May 29 2014 06:20 urboss wrote:
On May 29 2014 05:21 MichaelDonovan wrote:
...
Note that B is defined as an action contrary to A.

So by definition of B, we get the bi-conditional:

(1) B* <-> ~A*

...

I'm confused here.
How can you make the statement that B is defined as contrary to A?


That's just what we defined B to be in the original proposition. B is some action contrary to A.

The way you are doing it, you are already negating free will in the premise itself.
I think you are mixing up the meaning of contrary.

The original proposition is A* -> B*.
And B is contrary to A.
That means, you can say B* IS NOT A*.
But you cannot say, IF B* THEN NOT A*.

The original proposition is:

If an agent did some action A, then it was possible for him to have done some contrary action B.

So there it is. B is an action contrary to A. That's just what it's defined as.

Who has come up with this definition of free will?
Is this how logic defines free will?

It says that A* -> B* and A* -> ~B*.
This is in itself already a contradiction.
There is no need to further proof or disprove it.
The proposition itself returns already a false statement!


Classical free will is the old definition of free will that philosophers had been using for a very long time. It just defines free will as the ability to do otherwise. Meaning, if you did something, then looking back you could have chosen to do something else. Basically meaning that you aren't pidgeon holed into one choice by fatalism.

There are no a few other definitions of free will that compete with the classical version. I'm just tackling the logical inconsistency of the classical view here. I'm not showing that free will doesn't exist. I'm just showing that the classical free will thesis is incoherent.

Also, I think you might be misunderstanding the logic a bit.

What we have is the biconditional: B* -> ~A* and ~A* -> B*.

This is just from that definition of contrary action which says that you can't do both of them. Like you can't both slap your girlfriend on the ass and also not slap her on the ass. You either slap her on the ass, or you do something else.

I see, I'm not too familiar with logic, so maybe I'm misunderstanding something.

Can't you express the contrary action in a simpler way?
Instead of writing it like this: B* -> ~A* and ~A* -> B*
You can just write B* -> ~A and A* -> ~B*.
Is this correct?
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 22:54 GMT
#26
On May 29 2014 07:50 2Pacalypse- wrote:
Show nested quote +
On May 29 2014 07:35 MichaelDonovan wrote:
On May 29 2014 07:31 2Pacalypse- wrote:
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Empirical evidence is hard to rely on? Is that why science doesn't make any progress?

The best method that we have to find out truth about the world, an objective truth, is scientific method. Rational thought and deductive reasoning go out the window once we're confronted with something that doesn't seem rational, eg. quantum mechanics.


Well the problem is that empirical evidence isn't foolproof. We can only gather evidence from what we can sense. How do we know we're not in the matrix world, for example? We don't really know that do we? No amount of empirical evidence can prove that we aren't dreaming or that we aren't just brains in vats being stimulated with the illusion of experience. This is because any empirical evidence we gather is contingent upon our trust for our ability to sense it.

Quantum mechanics is not irrational necessarily. It just defies some our previous assumptions about the world. It renders many statements false that were once though to be true. That doesn't mean it's logically incoherent. It just means we don't understand it based on our current assumptions.
EatThePath
Profile Blog Joined September 2009
United States3943 Posts
May 28 2014 22:57 GMT
#27
Why not just say ~A instead of B, which makes clear immediately your line of thinking, and refocuses us on the real issue, which is what is the meaning exactly of saying "it was possible to do otherwise"?

But nevertheless it was a good exercise. ^^
Comprehensive strategic intention: DNE
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:00 GMT
#28
On May 29 2014 07:53 urboss wrote:
Show nested quote +
On May 29 2014 07:24 MichaelDonovan wrote:
On May 29 2014 07:18 urboss wrote:
On May 29 2014 07:02 MichaelDonovan wrote:
On May 29 2014 06:42 urboss wrote:
On May 29 2014 06:23 MichaelDonovan wrote:
On May 29 2014 06:20 urboss wrote:
On May 29 2014 05:21 MichaelDonovan wrote:
...
Note that B is defined as an action contrary to A.

So by definition of B, we get the bi-conditional:

(1) B* <-> ~A*

...

I'm confused here.
How can you make the statement that B is defined as contrary to A?


That's just what we defined B to be in the original proposition. B is some action contrary to A.

The way you are doing it, you are already negating free will in the premise itself.
I think you are mixing up the meaning of contrary.

The original proposition is A* -> B*.
And B is contrary to A.
That means, you can say B* IS NOT A*.
But you cannot say, IF B* THEN NOT A*.

The original proposition is:

If an agent did some action A, then it was possible for him to have done some contrary action B.

So there it is. B is an action contrary to A. That's just what it's defined as.

Who has come up with this definition of free will?
Is this how logic defines free will?

It says that A* -> B* and A* -> ~B*.
This is in itself already a contradiction.
There is no need to further proof or disprove it.
The proposition itself returns already a false statement!


Classical free will is the old definition of free will that philosophers had been using for a very long time. It just defines free will as the ability to do otherwise. Meaning, if you did something, then looking back you could have chosen to do something else. Basically meaning that you aren't pidgeon holed into one choice by fatalism.

There are no a few other definitions of free will that compete with the classical version. I'm just tackling the logical inconsistency of the classical view here. I'm not showing that free will doesn't exist. I'm just showing that the classical free will thesis is incoherent.

Also, I think you might be misunderstanding the logic a bit.

What we have is the biconditional: B* -> ~A* and ~A* -> B*.

This is just from that definition of contrary action which says that you can't do both of them. Like you can't both slap your girlfriend on the ass and also not slap her on the ass. You either slap her on the ass, or you do something else.

I see, I'm not too familiar with logic, so maybe I'm misunderstanding something.

Can't you express the contrary action in a simpler way?
Instead of writing it like this: B* -> ~A* and ~A* -> B*
You can just write B* -> ~A and A* -> ~B*.
Is this correct?

It's correct, but there are intermediate steps to getting there.

You start with the biconditional: B <-> ~A

It goes both ways so you can break it up into two separate statements:
B -> ~A (B implies not A)
~A -> B (not A implies B)

And then if you take the contrapostive of B -> ~A which is:
~~A -> ~B (not not A implies not B)

Then the two negatives cancel and you get
~B -> A (not B implies A)

EatThePath
Profile Blog Joined September 2009
United States3943 Posts
Last Edited: 2014-05-28 23:03:43
May 28 2014 23:02 GMT
#29
On May 29 2014 07:54 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 07:50 2Pacalypse- wrote:
On May 29 2014 07:35 MichaelDonovan wrote:
On May 29 2014 07:31 2Pacalypse- wrote:
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Empirical evidence is hard to rely on? Is that why science doesn't make any progress?

The best method that we have to find out truth about the world, an objective truth, is scientific method. Rational thought and deductive reasoning go out the window once we're confronted with something that doesn't seem rational, eg. quantum mechanics.


Well the problem is that empirical evidence isn't foolproof. We can only gather evidence from what we can sense. How do we know we're not in the matrix world, for example? We don't really know that do we? No amount of empirical evidence can prove that we aren't dreaming or that we aren't just brains in vats being stimulated with the illusion of experience. This is because any empirical evidence we gather is contingent upon our trust for our ability to sense it.

Quantum mechanics is not irrational necessarily. It just defies some our previous assumptions about the world. It renders many statements false that were once though to be true. That doesn't mean it's logically incoherent. It just means we don't understand it based on our current assumptions.

Were you arguing in a thread once with frogrubdown about the idea of the demon that tricks you into thinking your rational deduction is true when it really isn't? In other words, you are still relying on sense perception of a sort when you "know" that your rational thought process has delivered a truth. So you can't do better than "fuck it let's science", or so it is suggested. (And of course I'm saying science with some facetious looseness.)

Or maybe that wasn't you, but have you run into this demon idea before?
Comprehensive strategic intention: DNE
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:04 GMT
#30
On May 29 2014 07:57 EatThePath wrote:
Why not just say ~A instead of B, which makes clear immediately your line of thinking, and refocuses us on the real issue, which is what is the meaning exactly of saying "it was possible to do otherwise"?

But nevertheless it was a good exercise. ^^

I say B instead of ~A because saying ~A can cause people to misunderstand it to mean only one action (the action of not doing A).

If I say B is any action contrary to A, then it's clear that B contains many possibilities.

It's just for clarity's sake.
sOda~
Profile Joined April 2011
United Kingdom441 Posts
May 28 2014 23:07 GMT
#31
First a formal thing to point out: your quantifiers are mixed up at the start: you say that
- not (it was possible for the agent to have done some contrary action B)
is
- it was not possible for the agent to have done B.

But the correct negation would be
- it was not possible to do any action contrary to A.
You are pulling a specific B out of nowhere; there might be a whole load of actions contrary to A

There is another problem (which is maybe bigger): you state that if A and B are contrary then not doing A implies doing B. This doesn't follow from your definition of contrary, you would need to change your definition of contrary to
- A and B are contrary if one cannot do both and must do one of the two.
Now I think all you are saying is that one must do one of A or not A.
IM THE SHIT BITCH
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:08 GMT
#32
On May 29 2014 08:02 EatThePath wrote:
Show nested quote +
On May 29 2014 07:54 MichaelDonovan wrote:
On May 29 2014 07:50 2Pacalypse- wrote:
On May 29 2014 07:35 MichaelDonovan wrote:
On May 29 2014 07:31 2Pacalypse- wrote:
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Empirical evidence is hard to rely on? Is that why science doesn't make any progress?

The best method that we have to find out truth about the world, an objective truth, is scientific method. Rational thought and deductive reasoning go out the window once we're confronted with something that doesn't seem rational, eg. quantum mechanics.


Well the problem is that empirical evidence isn't foolproof. We can only gather evidence from what we can sense. How do we know we're not in the matrix world, for example? We don't really know that do we? No amount of empirical evidence can prove that we aren't dreaming or that we aren't just brains in vats being stimulated with the illusion of experience. This is because any empirical evidence we gather is contingent upon our trust for our ability to sense it.

Quantum mechanics is not irrational necessarily. It just defies some our previous assumptions about the world. It renders many statements false that were once though to be true. That doesn't mean it's logically incoherent. It just means we don't understand it based on our current assumptions.

Were you arguing in a thread once with frogrubdown about the idea of the demon that tricks you into thinking your rational deduction is true when it really isn't? In other words, you are still relying on sense perception of a sort when you "know" that your rational thought process has delivered a truth. So you can't do better than "fuck it let's science", or so it is suggested. (And of course I'm saying science with some facetious looseness.)

Or maybe that wasn't you, but have you run into this demon idea before?


That was not me arguing. But I am familiar with this example as any philosopher should be. It is an old example from Descartes. It's a pretty strong skeptical example and it's not really clear how to get around it. There's no real way for me to know with certainty that I'm not being manipulated by an evil being in this way.

At this point, my answer for skepticism in general is that you can't really get around it. There will always be some kind of skeptical thesis that refutes your belief. So what we have to do in order to move on from this is just acknowledge that all of our conclusions are contingent on there not being a demon manipulating me. That is, anything I conclude with logic must be believed true only under the assumption that logic is a reliable method of deriving truth.
Paljas
Profile Joined October 2011
Germany6926 Posts
May 28 2014 23:09 GMT
#33
On May 29 2014 08:07 sOda~ wrote:
First a formal thing to point out: your quantifiers are mixed up at the start: you say that
- not (it was possible for the agent to have done some contrary action B)
is
- it was not possible for the agent to have done B.

But the correct negation would be
- it was not possible to do any action contrary to A.
You are pulling a specific B out of nowhere; there might be a whole load of actions contrary to A

There is another problem (which is maybe bigger): you state that if A and B are contrary then not doing A implies doing B. This doesn't follow from your definition of contrary, you would need to change your definition of contrary to
- A and B are contrary if one cannot do both and must do one of the two.
Now I think all you are saying is that one must do one of A or not A.

he already stated that B isnt a single action but everything not A
TL+ Member
micronesia
Profile Blog Joined July 2006
United States24776 Posts
Last Edited: 2014-05-28 23:17:12
May 28 2014 23:12 GMT
#34
On May 29 2014 05:21 MichaelDonovan wrote:
Proof: The classical free will thesis is false.

If the classical free will thesis is correct, that is, if we have classical free will, then the following proposition is true:

Proposition (The classical definition of free will): If an agent did some action A, then it was possible for the agent to have done some contrary action B.

Definition: Two actions are contrary actions if an agent cannot perform both of them.

Contrapositive of the proposition: If it was not possible for the agent to have done B, then the agent did not do A.

My issue is with the red above.

I don't think the statement actually says what you intend for it to say. Let me try rewording it:

Proposition: If an agent did some action (A), then there exists at least one contrary action that the agent could have done instead.
Contrapositive: If no contrary action to action (A) exists, then an agent could not have taken action (A).

This of course assumes that every action has an alternative, which may or may not be too strong of a definition for free will. Even if this assumption is disproved, you haven't really accomplished much since free will, in general, can still exist. Regardless, I find the way I phrased the proposition less confusing and error-prone. Frankly, I'm not sure if I can follow your analysis beyond there without reading up on philosophical logic, but usually in these types of situations the phrasing of the initial statements is the most important part of avoiding weird or invalid conclusions.... or confusion from your readers.

ModeratorThere are animal crackers for people and there are people crackers for animals.
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:13 GMT
#35
On May 29 2014 08:07 sOda~ wrote:
First a formal thing to point out: your quantifiers are mixed up at the start: you say that
- not (it was possible for the agent to have done some contrary action B)
is
- it was not possible for the agent to have done B.

But the correct negation would be
- it was not possible to do any action contrary to A.
You are pulling a specific B out of nowhere; there might be a whole load of actions contrary to A

There is another problem (which is maybe bigger): you state that if A and B are contrary then not doing A implies doing B. This doesn't follow from your definition of contrary, you would need to change your definition of contrary to
- A and B are contrary if one cannot do both and must do one of the two.
Now I think all you are saying is that one must do one of A or not A.


My response to your first objection is that B is defined as some action contrary to A. When I say this, I am not saying that B is a particular action. I really mean the same thing as B is defined as any action contrary to A. So "some action" and "any action" are the same thing here. Doing B amounts to doing otherwise, basically. Does that make sense?

And to your second objection what I would say is that not doing A is an action in itself, and it is an action clearly contrary to A. So it is contained in B. If you don't do A, then that's a contrary choice to A. And yes, it is the case that you must either do A or not A. That's just a consequence of not being able to do both. They are mutually exclusive and exhaustive.
EatThePath
Profile Blog Joined September 2009
United States3943 Posts
May 28 2014 23:14 GMT
#36
On May 29 2014 08:04 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 07:57 EatThePath wrote:
Why not just say ~A instead of B, which makes clear immediately your line of thinking, and refocuses us on the real issue, which is what is the meaning exactly of saying "it was possible to do otherwise"?

But nevertheless it was a good exercise. ^^

I say B instead of ~A because saying ~A can cause people to misunderstand it to mean only one action (the action of not doing A).

If I say B is any action contrary to A, then it's clear that B contains many possibilities.

It's just for clarity's sake.

Yeah, but from the other perspective it just makes it seem like you are smuggling a problem into a non-issue (or at least a trivial one) by obfuscating the situation with an extra layer of description. I am sorry to sound belittling I don't mean it that way. Let me try and be constructive:

If you say "If you did A, then it was possible to do ~A [anything other than A]" and take the contrapositive "If ~A was precluded, then you did not do A", the only takeaway is that nothing is possible -- a silly state of affairs -- which I think is what that earlier poster was getting at.

On May 29 2014 08:08 MichaelDonovan wrote:
Show nested quote +
On May 29 2014 08:02 EatThePath wrote:
On May 29 2014 07:54 MichaelDonovan wrote:
On May 29 2014 07:50 2Pacalypse- wrote:
On May 29 2014 07:35 MichaelDonovan wrote:
On May 29 2014 07:31 2Pacalypse- wrote:
On May 29 2014 07:14 MichaelDonovan wrote:
On May 29 2014 07:09 2Pacalypse- wrote:
A good video on free will by Sam Harris that made it painfully obvious (to me) that free will is an illusion:

http://www.youtube.com/watch?v=hzj1helboAE


I would be wary of believing anything that seems to be "painfully obvious." If something like this were painfully obvious, we wouldn't be arguing about it for hundreds of years.

That's because philosophers love to argue. Until the real scientist comes along and puts the matter to rest with empiric evidence instead of pure thought .

Facetiousness aside, you should really watch the video. Sam makes a compelling argument on why the very concept of free will doesn't really make sense.


Empirical evidence is hard to rely on when our sense perception is so limited

There are really two versions of the world: The world as we perceive it to be and the world as it actually is outside of our experience of it. Truth can be found in the world as it actually is. What we perceive is only contingent on the accuracy and completeness of our sense perception. The only way to get at the way the world actually is, it would seem, through rational thought and deductive reasoning. A fairly lofty task though, to be sure.

Empirical evidence is hard to rely on? Is that why science doesn't make any progress?

The best method that we have to find out truth about the world, an objective truth, is scientific method. Rational thought and deductive reasoning go out the window once we're confronted with something that doesn't seem rational, eg. quantum mechanics.


Well the problem is that empirical evidence isn't foolproof. We can only gather evidence from what we can sense. How do we know we're not in the matrix world, for example? We don't really know that do we? No amount of empirical evidence can prove that we aren't dreaming or that we aren't just brains in vats being stimulated with the illusion of experience. This is because any empirical evidence we gather is contingent upon our trust for our ability to sense it.

Quantum mechanics is not irrational necessarily. It just defies some our previous assumptions about the world. It renders many statements false that were once though to be true. That doesn't mean it's logically incoherent. It just means we don't understand it based on our current assumptions.

Were you arguing in a thread once with frogrubdown about the idea of the demon that tricks you into thinking your rational deduction is true when it really isn't? In other words, you are still relying on sense perception of a sort when you "know" that your rational thought process has delivered a truth. So you can't do better than "fuck it let's science", or so it is suggested. (And of course I'm saying science with some facetious looseness.)

Or maybe that wasn't you, but have you run into this demon idea before?


That was not me arguing. But I am familiar with this example as any philosopher should be. It is an old example from Descartes. It's a pretty strong skeptical example and it's not really clear how to get around it. There's no real way for me to know with certainty that I'm not being manipulated by an evil being in this way.

At this point, my answer for skepticism in general is that you can't really get around it. There will always be some kind of skeptical thesis that refutes your belief. So what we have to do in order to move on from this is just acknowledge that all of our conclusions are contingent on there not being a demon manipulating me. That is, anything I conclude with logic must be believed true only under the assumption that logic is a reliable method of deriving truth.

Ah okay. I wish I remembered these things instead of just referring to them vaguely, so thanks for understanding. /armchair philosophy
Comprehensive strategic intention: DNE
NewEyes
Profile Joined March 2012
Germany113 Posts
May 28 2014 23:15 GMT
#37
You do know that your assumption already contains what you were trying to proof right?

So far you havent said anything but 'I'll assume the concepts of + and - and i'll assume that 1+1=3, therefore 3-1=1.'
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:17 GMT
#38
On May 29 2014 08:12 micronesia wrote:
Show nested quote +
On May 29 2014 05:21 MichaelDonovan wrote:
Proof: The classical free will thesis is false.

If the classical free will thesis is correct, that is, if we have classical free will, then the following proposition is true:

Proposition (The classical definition of free will): If an agent did some action A, then it was possible for the agent to have done some contrary action B.

Definition: Two actions are contrary actions if an agent cannot perform both of them.

Contrapositive of the proposition: If it was not possible for the agent to have done B, then the agent did not do A.

My issue is with the red above.

I don't think the statement actually says what you intend for it to say. Let me try rewording it:

Proposition: If an agent did some action (A), then there exists at least one contrary action that the agent could have done instead.
Contrapositive: If no contrary action to action (A) exists, then an agent could not have taken action A.

This of course assumes that every action has an alternative, which may or may not be too strong of a definition for free will. Even if this assumption is disproved, you haven't really accomplished much since free will, in general, can still exist. Regardless, I find the way I phrased the proposition less confusing and error-prone. Frankly, I'm not sure if I can follow your analysis beyond there without reading up on philosophical logic, but usually in these types of situations the phrasing of the initial statements is the most important part of avoiding weird or invalid conclusions.



I think I like your phrasing of the proposition more than mine as well, thank you. But the argument following from it remains the same. Be sure to understand that I am not attempting to disprove free will in general. I'm just trying to show that the classical definition of free will (the ability to do otherwise) is incoherent. There are definitions of free will (like the source definition of free will) which are unaffected by my argument.
MichaelDonovan
Profile Joined June 2011
United States1453 Posts
May 28 2014 23:19 GMT
#39
On May 29 2014 08:15 NewEyes wrote:
You do know that your assumption already contains what you were trying to proof right?

So far you havent said anything but 'I'll assume the concepts of + and - and i'll assume that 1+1=3, therefore 3-1=1.'

I'm not sure I understand what you're trying to say.
micronesia
Profile Blog Joined July 2006
United States24776 Posts
May 28 2014 23:20 GMT
#40
It's unfortunate that I don't remember the mathematical rules of logic that well, but I don't see how you can use logic alone to prove the following:

It is not possible for every action to have at least one alternative, mutually exclusive action.

I don't think there are enough tools to work with. Putting technical lines of math aside, what is the reason why the above statement is true?
ModeratorThere are animal crackers for people and there are people crackers for animals.
Prev 1 2 3 4 5 Next All
Please log in or register to reply.
Live Events Refresh
Replay Cast
00:00
2026 Season 2: Ro8 Group A
CranKy Ducklings96
Liquipedia
PSISTORM Gaming Misc
23:00
s11 supplemental draft
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft698
RuFF_SC2 150
-ZergGirl 53
Dota 2
monkeys_forever668
LuMiX1
Counter-Strike
taco 490
Super Smash Bros
Mew2King110
Other Games
summit1g11414
Doublelift1241
C9.Mang0463
JimRising 428
ViBE54
minikerr7
Organizations
Other Games
gamesdonequick799
BasetradeTV190
Counter-Strike
PGL177
StarCraft: Brood War
lovetv 37
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 13 non-featured ]
StarCraft 2
• Hupsaiya 80
• HeavenSC 46
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Stunt340
Upcoming Events
RSL Revival
5h 24m
Lambo vs SHIN
Solar vs Rogue
herO vs Clem
Maestros of the Game
9h 24m
SKillous vs Ryung
Solar vs Percival
Maru vs sOs
Lambo vs Arrogfire
IPSL
14h 24m
ZZZero vs WorsT
Julia vs eOnzErG
BSL
17h 24m
TerrOr vs Dewalt
Bonyth vs eOnzErG
Replay Cast
22h 24m
RSL Revival
1d 5h
Maestros of the Game
1d 11h
SHIN vs Nicoract
Rogue vs Gerald
ByuN vs Shameless
Cure vs TriGGeR
OSC
1d 11h
IPSL
1d 14h
Dragon vs Artosis
dxtr13 vs Hawk
BSL
1d 17h
[ Show More ]
Wardi Open
2 days
Monday Night Weeklies
2 days
Replay Cast
2 days
Sparkling Tuna Cup
3 days
WardiTV Spring Champion…
3 days
Maestros of the Game
3 days
The PondCast
4 days
Kung Fu Cup
4 days
Maestros of the Game
4 days
Replay Cast
4 days
Replay Cast
5 days
WardiTV Spring Champion…
5 days
Maestros of the Game
5 days
Replay Cast
6 days
uThermal 2v2 Circuit
6 days
Maestros of the Game
6 days
Liquipedia Results

Completed

Escore Tournament S2: King of Kings
2026 GSL S1
Heroes Pulsing #1

Ongoing

2026 KK StarCraft Pro League
BSL Season 22
IPSL Spring 2026
KCM Race Survival 2026 Season 2
KK 2v2 League Season 1
Acropolis #4
CSCL: Masked Kings S4
YSL S3
SCTL 2026 Spring
WardiTV Spring 2026
Maestros of the Game 2
2026 GSL S2
RSL Revival: Season 5
Bounty Cup 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026

Upcoming

BSL 22 Non-Korean Championship
CSLAN 4
Blizzard Classic Cup 2026
Kung Fu Cup 2026 Grand Finals
CranK Gathers Season 4: BW vs SC2 Team League
HSC XXIX
uThermal 2v2 2026 Main Event
Heroes Pulsing #3
Heroes Pulsing #2
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.