From newshub.ccs.yorku.ca!torn!cs.utexas.edu!sun-barr!olivea!uunet!munnari.oz.au!comp.vuw.ac.nz!waikato.ac.nz!aukuni.ac.nz!kcbbs!nacjack!codewks!system Mon Nov  9 09:36:54 EST 1992
Article 7526 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!sun-barr!olivea!uunet!munnari.oz.au!comp.vuw.ac.nz!waikato.ac.nz!aukuni.ac.nz!kcbbs!nacjack!codewks!system
>From: system@CODEWKS.nacjack.gen.nz (Wayne McDougall)
Newsgroups: comp.ai.philosophy
Subject: Re: Human intelligence vs. Machine intelligence
Message-ID: <aV0TTB3w165w@CODEWKS.nacjack.gen.nz>
Date: 7 Nov 92 13:02:18 GMT
References: <1992Nov3.051741.21719@oracorp.com>
Organization: The Code Works Limited, PO Box 10 155, Auckland, New Zealand
Lines: 35

daryl@oracorp.com (Daryl McCullough) writes:

> In article <kH5FTB5w165w@CODEWKS.nacjack.gen.nz>,
> system@CODEWKS.nacjack.gen.nz (Wayne McDougall) writes:
> 
> >> `Diagonalizing `Diagonalizing this sentence produces a string of words
> >> that will never be believed by David Chalmers.' produces a string of words
> >> that will never be believed by David Chalmers.'
> 
> Well, what difference does it make whether it is self-referential? It
> is clear what G says, and it is clear that it is inconsistent for
> David Chalmers to believe G, and it is clear that if David Chalmers
> *doesn't* believe G, then what G says is true. Putting it all
> together, if David Chalmers is consistent, then G is true, but not
> believed by David Chalmers.
> 
> If it turns out that the reason David Chalmers doesn't believe G is
> because he thinks G is a meaningless, self-referential sentence, fine.
> That's just one way to not believe something, and any way is good enough
> for G to be true.
> 
But surely now we are back to a paradox? Unless you are trying to 
separate "believing" from "co-incidentally agreeing with". If David 
Chalmers doesn't believe it because it is self-referential, than David 
Chalmers is agreeing with it (ie he doesn't believe the sentence). 
Surely if he agree with it, he believes it? But then he isn't agreeing 
with it?

Perhaps we should ask David? ;-)

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

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


