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