• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 22:02
CEST 04:02
KST 11:02
  • 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
[ASL22] Ro24 Preview: Siren's Call8[ASL22] Ro24 Preview: Summer's End9Serral wins HomeStory Cup 2915Serral wins Maestros of the Game 244ByuL, and the Limitations of Standard Play3
Community News
Official StarCraft website teases new content ahead of BlizzCon?67Stellar Fest TWO the Moon (Dec 16-20)9Weekly Cups (August 24-30): Patches' balance mod takes over3New 3v3 BGH Ladder (and more) on ShieldBattery!40Weekly Cups (August 17-23): Zerg dominate the week6
StarCraft 2
General
SC4ALL: II Winner Will Earn a Spot at HSC 30! Nexon wins bid to develop StarCraft IP content, distribute Overwatch mobile game Weekly Cups (August 24-30): Patches' balance mod takes over Balance hotfix patch 5.0.16b (July 16) September World Ranking: herO leads, Serral climbs
Tourneys
Stellar Fest TWO the Moon (Dec 16-20) IntoTheTV X SOOP SC2 League : Weekly & Monthly SC2 INu's Battles#20 [BO.9] 2026 GSTL Announcement PIG STY FESTIVAL 8.0! (13 - 23 August)
Strategy
[G] Having the right mentality to improve
Custom Maps
Nexus Wars 2021 GUIDE [M] (2) Industrial Park
External Content
Mutation # 541 Binary Choice The PondCast: SC2 News & Results Mutation # 540 Dodge This Mutation # 539 Thunder Dome
Brood War
General
Official StarCraft website teases new content ahead of BlizzCon? BW General Discussion ASL22 General Discussion [Personal Project Share] Terran Defense v0.60 BGH Auto Balance -> http://bghmmr.eu/
Tourneys
KCM Race Survival 2026 Season 3 Brood War in Budapest ! WORTEX 2026 BW Finals [Megathread] Daily Proleagues BSL LAN Party - Kraków 29-30 August - OPEN SIGNUPS
Strategy
Replay Review Process - What do you do? Game Theory for Starcraft Odyssey Mineral Stack Saturation Fighting Spirit mining rates
Other Games
General Games
Nintendo Switch Thread Diablo IV EVE Corporation [Maplestory Hardcore] Let's Play~!! General RTS Discussion Thread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish TSM pausing esports and CLG Dead
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Power Rank TL Mafia Community Thread NeO.D_StephenKing vs This Guy From 1 Million Dance
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Canadian Politics Mega-thread Artificial Intelligence Thread UK Politics Mega-thread
Fan Clubs
MarineLorD Fan Club The Creator Fan Club The ShoWTimE Fan Club
Media & Entertainment
Movie Discussion! Anime Discussion Thread
Sports
Football (Soccer) Thread TeamLiquid Health and Fitness Initiative For 2023 MLB/Baseball 2023 NBA General Discussion
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List Northern Ireland Global Starcraft
Blogs
Dreaming of BW patches (mod…
c3rberUs
Regacy Esports: The Bh…
regacyesports
Violent Games and Crime Rate…
TrAiDoS
LOCKPICKING NOOB
LUCKY_NOOB
Cathedral Of CS And NY pizza a…
FuDDx
Customize Sidebar...

Website Feedback

Closed Threads



Active: 5901 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
Croatia9555 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
Croatia9555 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 States24799 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 States24799 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
01:00
ISSL Weekly #3
EnkiAlexander 63
Liquipedia
Replay Cast
00:00
Enki Epic Series #10
Rogue vs Cure
Liquipedia
The PiG Daily
22:35
GSTL Replay Cast
BASILISK vs Onsyde Gaming
PiGStarcraft510
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft510
RuFF_SC2 159
ProTech150
StarCraft: Brood War
Hyuk 47
Dota 2
NeuroSwarm146
League of Legends
Doublelift4464
Counter-Strike
taco 417
minikerr41
Super Smash Bros
hungrybox584
Mew2King113
Other Games
summit1g4282
Day[9].tv743
JimRising 564
WinterStarcraft299
C9.Mang0288
Maynarde111
insan1a92
ViBE50
Organizations
Other Games
gamesdonequick1548
[ Show 12 non-featured ]
StarCraft 2
• CranKy Ducklings SOOP84
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• RayReign 1
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Other Games
• Day9tv743
• Scarra726
Upcoming Events
Big Brain Bouts
7h 58m
Garitos vs ArT
Lambo vs Percival
TriGGeR vs ByuN
Sparkling Tuna Cup
1d 7h
OSC
1d 9h
Shopify Rebellion Sundays
1d 12h
Mixu vs TBD
Spirit vs TBD
Clem vs TBD
Patches Events
1d 13h
OSC
1d 21h
Afreeca Starleague
2 days
Soma vs Shuttle
BeSt vs Rush
WardiTV Weekly
2 days
Afreeca Starleague
3 days
Leta vs ggaemo
Jaedong vs Queen
GSL
3 days
[ Show More ]
PiGosaur Cup
3 days
Kung Fu Cup
4 days
Replay Cast
4 days
The PondCast
5 days
KCM Race Survival
5 days
Escore
6 days
IntoTheTV X SOOP
6 days
Liquipedia Results

Completed

Proleague 2026-09-02
PiG Sty Festival 8.0
Light Tournament 2026

Ongoing

KCM Race Survival 2026 Season 3
K-JUNGMAN
ASL Season 22
Super Anchor Qualifying S3
CSL 2026 AUTUMN (S22)
Acropolis #5
Acropolis #5 - TRS
RSL Revival: Season 6
Calamity Invitational
Big Dog Cup 2026 Div 1
BLAST Open Fall 2026
Esports World Cup 2026
Esports World Cup 2026: LCQ
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026

Upcoming

Escore Tournament S3: King of Kings
Blizzard Classic Cup 2026
Acropolis #5 - GSA
Acropolis #5 - GSB
Acropolis #5 - GSC
SC4ALL II: Brood War
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
BLAST Rivals Fall 2026
IEM Beijing 2026
Stake Ranked Episode 5
PGL Masters Bucharest 2026
1win Private Club #2
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
Logitech G Play Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #3
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.