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"