From newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz Wed Oct 14 14:58:47 EDT 1992
Article 7224 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:4745 comp.ai.neural-nets:4675 comp.ai.philosophy:7224 sci.psychology:4811
Newsgroups: comp.ai,comp.ai.neural-nets,comp.ai.philosophy,sci.psychology
Path: newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
>From: oz@ursa.sis.yorku.ca (Ozan Yigit)
Subject: Re: Human intelligence vs. Machine intelligence
In-Reply-To: chalmers@bronze.ucs.indiana.edu's message of Sun, 11 Oct 1992 19: 27:08 GMT
Message-ID: <OZ.92Oct12011443@ursa.sis.yorku.ca>
Sender: news@newshub.ccs.yorku.ca (USENET News System)
Organization: York U. Student Information Systems Project
References: <26608@castle.ed.ac.uk <burt.718665726@aupair.cs.athabascau.ca>
	<OZ.92Oct10164812@ursa.sis.yorku.ca>
	<Bvz218.5B6@usenet.ucs.indiana.edu>
Date: Mon, 12 Oct 1992 06:14:43 GMT

David Chalmers writes [re: my reference]:

   >[1] Roland Kirk
   >    Mental Machinery and Godel
   >    Synthese, 66, 437-452. 1986

   Is this really by "Roland Kirk"?  I had presumed it was by Robert Kirk,
   the British philosopher. 

Mea Culpa. I have no idea how I managed to type Roland instead of
Robert, but the rest of the reference is correct. 

			... In any case, I don't think this paper is
   a particularly good refutation of Lucas (although in general, Kirk is
   an interesting and underrated philosopher). It takes the line that
   although humans may be modeled by a formal system, the output of that
   formal system won't be sentences of arithmetic -- they'll rather be
   at the level of actions, or noises, or whatever, so Godel's theorem
   doesn't apply.  (A similar line to this is taken by Dennett in
   _Brainstorms_, and also by Hofstadter in _GEB_.)

I don't think this sound-bite summary of yours does justice to his
paper. For example, Kirk also argues that one is _not_ required to
grant Lucas or any other bearer of G"odelian argument that anybody 
at anytime instentiate ony _one_ formal system. It also includes a
reply to, what I believe to be the gist of your "misses the point"
bit [elided, see <Bvz218.5B6@usenet.ucs.indiana.edu>] at page 448.

Thanks for the detailed response, which I have elided, as I do not
have anything to add.

oz
---
Some people need to count noses before | electric: oz@sis.yorku.ca
they will admit to having one. - Fodor | ph:[416] 736 2100 x 33976



