From newshub.ccs.yorku.ca!torn!cs.utexas.edu!zaphod.mps.ohio-state.edu!wupost!waikato.ac.nz!aukuni.ac.nz!kcbbs!nacjack!codewks!system Tue Nov 24 10:52:02 EST 1992
Article 7640 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!zaphod.mps.ohio-state.edu!wupost!waikato.ac.nz!aukuni.ac.nz!kcbbs!nacjack!codewks!system
Newsgroups: comp.ai.philosophy
Subject: Re: Human intelligence vs. Machine intelligence
Message-ID: <JP47TB2w165w@CODEWKS.nacjack.gen.nz>
>From: system@CODEWKS.nacjack.gen.nz (Wayne McDougall)
Date: Fri, 13 Nov 92 08:49:42 NZST
References: <1992Nov9.165212.470@oracorp.com>
Organization: The Code Works Limited, PO Box 10 155, Auckland, New Zealand
Lines: 28

daryl@oracorp.com (Daryl McCullough) writes:

> Notice that G is true if and only if David Chalmers *never* comes to
> believe G. The fact that David Chalmers doesn't believe G now does not
> imply that he will never come to believe G. Therefore, he cannot
> conclude that G is true from the fact that he doesn't *currently*
> believe G. There is no paradox.
> 
> However, a second implication is that if David Chalmers actually
> believes that he is consistent, then either he is mistaken (his
> beliefs are inconsistent), or his beliefs are not deductively closed.
> 
> Proof:
> 
[Proof deleted]

I accept all of your message. [I also appreciate that doesn't mean 
nuttin' but I thought you should know, since I'm obviously bothering 
you....  ;-)].

The trick is, what is G. I agree with your statements. I jsut don't 
accept the G you offered as cutting the cake.

-- 
  Wayne McDougall, BCNU
  This .sig unintentionally left blank.

Hello! I'm a .SIG Virus. Copy me and spread the fun.


