• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 19:57
CEST 01:57
KST 08:57
  • 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
[ASL21] Ro24 Preview Pt2: News Flash9[ASL21] Ro24 Preview Pt1: New Chaos0Team Liquid Map Contest #22 - Presented by Monster Energy16ByuL: The Forgotten Master of ZvT30Behind the Blue - Team Liquid History Book20
Community News
Weekly Cups (March 23-29): herO takes triple6Aligulac acquired by REPLAYMAN.com/Stego Research8Weekly Cups (March 16-22): herO doubles, Cure surprises3Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool51Weekly Cups (March 9-15): herO, Clem, ByuN win4
StarCraft 2
General
Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool What mix of new & old maps do you want in the next ladder pool? (SC2) Team Liquid Map Contest #22 - Presented by Monster Energy Aligulac acquired by REPLAYMAN.com/Stego Research Weekly Cups (March 23-29): herO takes triple
Tourneys
RSL Season 4 announced for March-April Sparkling Tuna Cup - Weekly Open Tournament StarCraft Evolution League (SC Evo Biweekly) WardiTV Mondays World University TeamLeague (500$+) | Signups Open
Strategy
Custom Maps
[M] (2) Frigid Storage Publishing has been re-enabled! [Feb 24th 2026]
External Content
Mutation # 519 Inner Power The PondCast: SC2 News & Results Mutation # 518 Radiation Zone Mutation # 517 Distant Threat
Brood War
General
Gypsy to Korea Pros React To: JaeDong vs Queen BGH Auto Balance -> http://bghmmr.eu/ How Can I Add Timer & APM Count? [ASL21] Ro24 Preview Pt2: News Flash
Tourneys
[ASL21] Ro24 Group E [Megathread] Daily Proleagues [ASL21] Ro24 Group F Azhi's Colosseum - Foreign KCM
Strategy
Fighting Spirit mining rates What's the deal with APM & what's its true value Simple Questions, Simple Answers
Other Games
General Games
Nintendo Switch Thread Stormgate/Frost Giant Megathread Starcraft Tabletop Miniature Game General RTS Discussion Thread Darkest Dungeon
Dota 2
The Story of Wings Gaming Official 'what is Dota anymore' discussion
League of Legends
G2 just beat GenG in First stand
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
Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
Russo-Ukrainian War Thread US Politics Mega-thread NASA and the Private Sector Things Aren’t Peaceful in Palestine Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Req][Books] Good Fantasy/SciFi books [Manga] One Piece Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion Cricket [SPORT] Tokyo Olympics 2021 Thread General nutrition recommendations
World Cup 2022
Tech Support
[G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Funny Nicknames
LUCKY_NOOB
Money Laundering In Video Ga…
TrAiDoS
Iranian anarchists: organize…
XenOsky
FS++
Kraekkling
Shocked by a laser…
Spydermine0240
ASL S21 English Commentary…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1983 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
Croatia9530 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
Croatia9530 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 States24767 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 States24767 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
BSL
19:00
S22 - Open Qualifier #5
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
SpeCial 189
StarCraft: Brood War
NaDa 21
Dota 2
capcasts108
League of Legends
tarik_tv2929
JimRising 487
Super Smash Bros
Westballz37
Other Games
summit1g6857
Grubby2914
ToD182
ViBE80
Organizations
Other Games
gamesdonequick1446
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 19 non-featured ]
StarCraft 2
• Hupsaiya 92
• davetesta53
• HeavenSC 45
• musti20045 24
• Kozan
• LaughNgamezSOOP
• sooper7s
• AfreecaTV YouTube
• intothetv
• Migwel
• IndyKCrew
StarCraft: Brood War
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• masondota2601
• Noizen38
League of Legends
• Doublelift4930
Other Games
• Scarra1212
• imaqtpie862
Upcoming Events
RSL Revival
7h 4m
Cure vs Rogue
Maru vs TBD
MaxPax vs TBD
uThermal 2v2 Circuit
14h 4m
BSL
19h 4m
Afreeca Starleague
1d 10h
Wardi Open
1d 10h
Replay Cast
2 days
Sparkling Tuna Cup
2 days
Kung Fu Cup
3 days
The PondCast
4 days
Replay Cast
5 days
[ Show More ]
Replay Cast
6 days
CranKy Ducklings
6 days
BSL
6 days
Liquipedia Results

Completed

Escore Tournament S2: W1
WardiTV Winter 2026
NationLESS Cup

Ongoing

BSL Season 22
CSL Elite League 2026
ASL Season 21
CSL Season 20: Qualifier 2
StarCraft2 Community Team League 2026 Spring
RSL Revival: Season 4
Nations Cup 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026

Upcoming

CSL 2026 SPRING (S20)
IPSL Spring 2026
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026
CCT Season 3 Global Finals
IEM Rio 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.