Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site umich.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!mb2c!umich!torek
From: torek@umich.UUCP (Paul V. Torek )
Newsgroups: net.puzzle,net.philosophy
Subject: Re: rational behavior
Message-ID: <543@umich.UUCP>
Date: Wed, 26-Mar-86 16:57:32 EST
Article-I.D.: umich.543
Posted: Wed Mar 26 16:57:32 1986
Date-Received: Thu, 27-Mar-86 07:38:35 EST
References: <12518@ucbvax.BERKELEY.EDU> <12539@ucbvax.BERKELEY.EDU> <738@hounx.UUCP> <533@umich.UUCP> <755@hounx.UUCP>
Reply-To: torek@zippy.de.do.dah.UUCP (Paul V. Torek )
Organization: University of Michigan, EECS Dept., Ann Arbor, MI
Lines: 14
Xref: watmath net.puzzle:1564 net.philosophy:4702
Summary: Deviant logic?

In article <755@hounx.UUCP> kort@hounx.UUCP (B.KORT) writes:
>(Example:  Law of the Excluded Middle.  We now have
>propositions which are formally undecidable as True or False.  They
>have "truth-value" somewhere in betweens, as in Fuzzy Logic.)

I for one am not ready to see LEM go.  Non-propositions must be
distinguished from unprovable-but-true propositions.  And then there's
the "quantum logic" issue (is that what you're talking about?), but
I don't see the need for "quantum logic" ... see L. Jonathan Cohen,
``Can Human Irrationality be Experimentally Demonstrated?'' _Behavioral
and Brain Sciences_ 1981.  (Also, Cohen refers to Haack, _Deviant Logic_,
which I haven't read but sounds interesting...)

--Paul Torek						torek@umich