• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 12:22
CET 18:22
KST 02:22
  • 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
RSL Season 3 - RO16 Groups C & D Preview0RSL Season 3 - RO16 Groups A & B Preview2TL.net Map Contest #21: Winners12Intel X Team Liquid Seoul event: Showmatches and Meet the Pros10[ASL20] Finals Preview: Arrival13
Community News
[TLMC] Fall/Winter 2025 Ladder Map Rotation13Weekly Cups (Nov 3-9): Clem Conquers in Canada4SC: Evo Complete - Ranked Ladder OPEN ALPHA8StarCraft, SC2, HotS, WC3, Returning to Blizzcon!45$5,000+ WardiTV 2025 Championship7
StarCraft 2
General
[TLMC] Fall/Winter 2025 Ladder Map Rotation Mech is the composition that needs teleportation t RotterdaM "Serral is the GOAT, and it's not close" RSL Season 3 - RO16 Groups C & D Preview TL.net Map Contest #21: Winners
Tourneys
RSL Revival: Season 3 Sparkling Tuna Cup - Weekly Open Tournament Constellation Cup - Main Event - Stellar Fest Tenacious Turtle Tussle Master Swan Open (Global Bronze-Master 2)
Strategy
Custom Maps
Map Editor closed ?
External Content
Mutation # 499 Chilling Adaptation Mutation # 498 Wheel of Misfortune|Cradle of Death Mutation # 497 Battle Haredened Mutation # 496 Endless Infection
Brood War
General
FlaSh on: Biggest Problem With SnOw's Playstyle BGH Auto Balance -> http://bghmmr.eu/ What happened to TvZ on Retro? SnOw's ASL S20 Finals Review BW General Discussion
Tourneys
[Megathread] Daily Proleagues Small VOD Thread 2.0 [BSL21] RO32 Group D - Sunday 21:00 CET [BSL21] RO32 Group C - Saturday 21:00 CET
Strategy
PvZ map balance Current Meta Simple Questions, Simple Answers How to stay on top of macro?
Other Games
General Games
Clair Obscur - Expedition 33 Should offensive tower rushing be viable in RTS games? Path of Exile Stormgate/Frost Giant Megathread Nintendo Switch Thread
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
TL Mafia Community Thread SPIRED by.ASL Mafia {211640}
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread Artificial Intelligence Thread Canadian Politics Mega-thread
Fan Clubs
White-Ra Fan Club The herO Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread Korean Music Discussion Series you have seen recently...
Sports
2024 - 2026 Football Thread Formula 1 Discussion NBA General Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
Dyadica Gospel – a Pulp No…
Hildegard
Coffee x Performance in Espo…
TrAiDoS
Saturation point
Uldridge
DnB/metal remix FFO Mick Go…
ImbaTosS
Reality "theory" prov…
perfectspheres
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1948 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
Croatia9517 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
Croatia9517 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 States24741 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 States24741 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
Next event in 2h 38m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
TKL 396
SteadfastSC 166
IndyStarCraft 129
Railgan 66
MindelVK 26
BRAT_OK 26
StarCraft: Brood War
Britney 24521
Horang2 1481
GuemChi 681
Soma 448
Stork 396
firebathero 254
hero 176
Rush 116
Barracks 75
Last 64
[ Show more ]
sorry 50
Mind 39
yabsab 33
zelot 26
Dewaltoss 24
Mong 23
scan(afreeca) 19
Dota 2
Gorgc7521
qojqva2273
League of Legends
Reynor73
Counter-Strike
fl0m239
Heroes of the Storm
Khaldor605
Other Games
RotterdaM374
Organizations
Dota 2
PGL Dota 2 - Main Stream9908
PGL Dota 2 - Secondary Stream5521
Other Games
EGCTV1018
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Reevou 5
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• HerbMon 6
• FirePhoenix2
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• Ler75
Other Games
• WagamamaTV457
• Shiphtur181
Upcoming Events
BSL 21
2h 38m
JDConan vs Semih
Dragon vs Dienmax
Tech vs NewOcean
TerrOr vs Artosis
IPSL
2h 38m
Dewalt vs WolFix
eOnzErG vs Bonyth
Replay Cast
5h 38m
Wardi Open
18h 38m
Monday Night Weeklies
23h 38m
Replay Cast
1d 5h
WardiTV Korean Royale
1d 18h
BSL: GosuLeague
2 days
The PondCast
2 days
Replay Cast
3 days
[ Show More ]
RSL Revival
3 days
BSL: GosuLeague
4 days
RSL Revival
4 days
WardiTV Korean Royale
4 days
RSL Revival
5 days
WardiTV Korean Royale
5 days
IPSL
5 days
Julia vs Artosis
JDConan vs DragOn
RSL Revival
6 days
Wardi Open
6 days
Liquipedia Results

Completed

Proleague 2025-11-14
Stellar Fest: Constellation Cup
Eternal Conflict S1

Ongoing

C-Race Season 1
IPSL Winter 2025-26
KCM Race Survival 2025 Season 4
SOOP Univ League 2025
YSL S2
BSL Season 21
CSCL: Masked Kings S3
SLON Tour Season 2
RSL Revival: Season 3
META Madness #9
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025

Upcoming

BSL 21 Non-Korean Championship
Acropolis #4
IPSL Spring 2026
HSC XXVIII
RSL Offline Finals
WardiTV 2025
IEM Kraków 2026
BLAST Bounty Winter 2026
BLAST Bounty Winter 2026: Closed Qualifier
eXTREMESLAND 2025
ESL Impact League Season 8
SL Budapest Major 2025
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 © 2025 TLnet. All Rights Reserved.