Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!husc6!mit-eddie!uw-beaver!ubc-vision!ubc-cs!ubc-red!andrews
From: andrews@ubc-red.uucp (Jamie Andrews)
Newsgroups: sci.philosophy.tech
Subject: Re: The nature of belief
Message-ID: <1542@ubc-cs.UUCP>
Date: Fri, 10-Jul-87 14:10:32 EDT
Article-I.D.: ubc-cs.1542
Posted: Fri Jul 10 14:10:32 1987
Date-Received: Sun, 12-Jul-87 14:36:02 EDT
References: <3587e521.44e6@apollo.uucp> <680@gargoyle.UChicago.EDU> <121@cavell.UUCP> <4865@milano.UUCP> <19647@ucbvax.BERKELEY.EDU>
Sender: nobody@ubc-cs.UUCP
Reply-To: andrews@ubc-cs.UUCP (Jamie Andrews)
Distribution: world
Organization: UBC Department of Computer Science, Vancouver, B.C., Canada
Lines: 34
Keywords: logic probability theory belief truth consistency

In article <19647@ucbvax.BERKELEY.EDU> kube@cogsci.berkeley.edu.UUCP (Paul Kube) writes:
>  It's October 1980.  You hold the following plausible beliefs:
>    1.  If it's a Republican that will win the election, then if 
>        Reagan doesn't win, Anderson will.
>    2.  It's a Republican that will win the election.
>However, you don't believe what follows from these by modus ponens,
>viz. that if Reagan doesn't win, Anderson will (everyone believed that
>if Reagan didn't win, Carter would).

     Let's see if I remember the resolution of this paradox.  Let
R be the proposition that Reagan will win, similarly A and C.

     One approach is to consider the statements probabilistically,
and to note that modus ponens does not hold in this case for
probabilistic logic.  This approach seems the most sensible.

     The classical-logic approach is to forget about probabilities
and beliefs, in which case the statements become
1. ((R or A) -> (~R -> A))
2. (R or A)
...but the implication is that (R or A) is true because R is true.
Thus (~R -> A) is a perfectly reasonable conclusion because we
know that (~R) is always false, and by classical logic the implication
is always true.  Seen this way, the paradox becomes a challenge to
the validity of classical implication and an argument for relevance
logic.

     Another way to look at the classical-logic approach is that
(1) is a tautology (since (~R -> A) equiv. (~~R or A)), and so is
meaningless as a premise.

--Jamie.
...!seismo!ubc-vision!ubc-cs!andrews
"They hold the sky on the other side of border lines"