Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!wuarchive!mit-eddie!bbn.com!BKort
From: BKort@bbn.com (Barry Kort)
Newsgroups: comp.ai.philosophy
Subject: Re: Language and Self-Awareness (was Re: Testing Intelligence)
Message-ID: <61527@bbn.BBN.COM>
Date: 12 Dec 90 15:38:06 GMT
Sender: news@bbn.com
Organization: BBN Labs
Lines: 16
References:<4832@gara.une.oz.au> <GREENBA.90Nov30092227@gambia.crd.ge.com>        <1990Nov30.180650.26648@watdragon.waterloo.edu> <GREENBA.90Dec3092259@gambia.crd.ge.com>

In article <GREENBA.90Dec3092259@gambia.crd.ge.com> 
greenba@gambia.crd.ge.com (Ben A. Green) writes:

> Problems can be solved by intuition without any reasoning.

I suspect that philosophers and logicians working on intuitionist logic 
would take exception to the suggestion that intuition is not a form of 
reasoning.  Creative problem solving and model-based reasoning (inlcuding 
the use of analogies, metaphors, and parables) may not be as formalized or 
mechanized as Aristotelian Logic or Boolean Logic, but these fluid forms 
of reasoning may yet be crystalized into systematic methods.

Barry Kort
Visiting Scientist
BBN Labs
Cambridge, MA