DIS: Re: BUS: self-reference is not the point

2012-07-26 Thread Tanner Swett
On Wed, Jul 25, 2012 at 1:30 PM, Sean Hunt scsh...@csclub.uwaterloo.ca wrote: Amend the rule 'Win by Paradox' by replacing actual or hypothetical, but not arising from that case itself, and not occurring after the initiation of that case with actual or hypothetical,

Re: DIS: Re: BUS: self-reference is not the point

2012-07-26 Thread Ed Murphy
Machiavelli wrote: Anyway, if self-reference is not the point, then what is? It seems like the only thing that could result in a turtle would be a single clause within a rule that contradicts itself. Which has happened. Here's a rundown from my Hall of Fame list: * CFJ 3087

DIS: Re: BUS: self-reference is not the point

2012-07-25 Thread Kerim Aydin
On Wed, 25 Jul 2012, Sean Hunt wrote: Proposal: No Klein Turtles (AI=1) {{{ Amend the rule 'Win by Paradox' by replacing actual or hypothetical, but not arising from that case itself, and not occurring after the initiation of that case with actual or

Re: DIS: Re: BUS: self-reference is not the point

2012-07-25 Thread Sean Hunt
On Wed, Jul 25, 2012 at 1:43 PM, Kerim Aydin ke...@u.washington.edu wrote: 1. Doesn't everything paradoxical include some degree of self-reference? Even the first one (was due to retroactivity, but was a retroactive cancellation of itself)? Perhaps explicit self-reference should be needed,

Re: DIS: Re: BUS: self-reference is not the point

2012-07-25 Thread ais523
On Wed, 2012-07-25 at 10:43 -0700, Kerim Aydin wrote: 3. I think instead we should get rid of hypothetical win conditions. Basically, if you can set it up for real you should get it, but just saying If ABC were true, then it would be undecided shouldn't be enough. I don't see what this gains.

DIS: Re: BUS: self-reference is not the point

2012-07-25 Thread Pavitra
On 07/25/2012 12:30 PM, Sean Hunt wrote: and not involving self-reference or mutually recursive references. Doesn't rule out loops of length 3 and up.