Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site umcp-cs.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!umcp-cs!flink
From: flink@umcp-cs.UUCP (Paul V. Torek)
Newsgroups: net.philosophy
Subject: Re: Only 8 lines! (for a change!)
Message-ID: <1198@umcp-cs.UUCP>
Date: Mon, 12-Aug-85 16:02:06 EDT
Article-I.D.: umcp-cs.1198
Posted: Mon Aug 12 16:02:06 1985
Date-Received: Wed, 14-Aug-85 02:10:37 EDT
References: <3518@decwrl.UUCP> <1174@umcp-cs.UUCP> <462@spar.UUCP>
Reply-To: flink@maryland.UUCP (Paul V. Torek)
Organization: U of Maryland, Computer Science Dept., College Park, MD
Lines: 16
Summary: sometimes ~ ((p -> q) -> (q -> p))

In response to article <462@spar.UUCP> by ellis@spar.UUCP (Michael Ellis):

>>>2) Free implies that the choice is arbitrary 	[John Williams]
>>
>>Stop right there!  By what reasoning or evidence do you get 2)? [P.T.]
>
>    OED - arbitrary: To be decided by one's liking; dependent on will or 
>          pleasure..					[Michael Ellis]

That shows that (arbitrary -> up to one's will), but it doesn't show
that the reverse implication holds, unless there are no other necessary
conditions for arbitrariness.  But I think there is:  another necessary
condition for a choice to be arbitrary is that there is no clear superior
choice.

--Paul V Torek