Newsgroups: rec.arts.books,comp.ai,comp.ai.philosophy,sci.cognitive,sci.psychology.theory
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!news.sesqui.net!newsfeed.internetmci.com!news.mathworks.com!uunet!in2.uu.net!allegra!alice!rhh
From: rhh@research.att.com (Ron Hardin <9289-11216> 0112110)
Subject: Re: Does AI make philosophy obsolete?
Message-ID: <DFwEJ6.KGJ@research.att.com>
Organization: AT&T Bell Labs, Murray Hill, NJ
References: <DFnG0u.1Gu@research.att.com> <44h0ga$dqh@scotsman.ed.ac.uk> <DFp1px.IHE@research.att.com> <44jp46$9p8@scotsman.ed.ac.uk> <DFqyp6.9oD@research.att.com> <JMC.95Oct1094721@Steam.stanford.edu> <DFsBDo.1x9@research.att.com> <JMC.95Oct1163339@Steam.stanford.edu> <DFstCz.MJ3@research.att.com> <JMC.95Oct1195337@Steam.stanford.edu> <DFtMqy.9tD@research.att.com> <JMC.95Oct2092236@Steam.stanford.edu> <DFu7D2.EFz@research.att.com> <JMC.95Oct2190847@Steam.stanford.edu> <DFvHFv.1Hp@research.att.com> <JMC.95Oct3084423@Steam.stanford.edu>
Date: Wed, 4 Oct 1995 00:25:53 GMT
Lines: 7
Xref: glinda.oz.cs.cmu.edu comp.ai:33833 comp.ai.philosophy:33331 sci.cognitive:9848 sci.psychology.theory:922

John McCarthy writes:
>By the way, I concede that the elaboration with the big cannibal and
>the little missionary is the addition of a constraint provided you
>don't require using predicates corresponding to the English "big" and
>"little".

I concede that probably some constraint has to come out as well.
