From newshub.ccs.yorku.ca!torn!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!hamblin.math.byu.edu!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes Sat Oct 24 20:44:31 EDT 1992
Article 7343 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!hamblin.math.byu.edu!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes
>From: holmes@opal.idbsu.edu (Randall Holmes)
Subject: Re: Human intelligence vs. Machine intelligence
Message-ID: <1992Oct20.225457.6637@guinness.idbsu.edu>
Sender: usenet@guinness.idbsu.edu (Usenet News mail)
Nntp-Posting-Host: opal
Organization: Boise State University
References: <1992Oct15.185041.19681@oracorp.com>
Date: Tue, 20 Oct 1992 22:54:57 GMT
Lines: 34

In article <1992Oct15.185041.19681@oracorp.com> daryl@oracorp.com (Daryl McCullough) writes:
>In article <Bvz218.5B6@usenet.ucs.indiana.edu>
>chalmers@bronze.ucs.indiana.edu (David Chalmers) writes:
[...]
>
>Consider the following sentence G:
>
>    David Chalmers will never believe this sentence.
>
>Now, some people will complain that G isn't a proper sentence, since
>it is self-referential.

Thus, you should use instead, " 'Appended to its own quotation yields
a sentence which will never be believed by David Chalmers' appended to
its oen quotation yields a statement which will never be believed by
David Chalmers".

[...]

>Daryl McCullough
>ORA Corp.
>Ithaca, NY
>
>P.S. There is a more formal version of this argument, but ultimately
>the argument has the same structure as above. The only tricky part
>formally is to get a sentence G with the property that G is true if
>and only if David Chalmers does not believe G.


-- 
The opinions expressed		|     --Sincerely,
above are not the "official"	|     M. Randall Holmes
opinions of any person		|     Math. Dept., Boise State Univ.
or institution.			|     holmes@opal.idbsu.edu


