Xref: utzoo comp.ai:5261 sci.philosophy.tech:1807 sci.logic:658 talk.philosophy.misc:3345
Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!netnews.upenn.edu!grad2.cis.upenn.edu!aaron
From: aaron@grad2.cis.upenn.edu (Aaron Watters)
Newsgroups: comp.ai,sci.philosophy.tech,sci.logic,talk.philosophy.misc
Subject: Re: Logic Based Intuition
Message-ID: <18383@netnews.upenn.edu>
Date: 21 Dec 89 00:56:06 GMT
References: <697@engcon.marshall.ltv.com>
Sender: news@netnews.upenn.edu
Reply-To: aaron@grad2.cis.upenn.edu.UUCP (Aaron Watters)
Distribution: usa
Organization: University of Pennsylvania
Lines: 10

It is proposed that logic leads to intuition.

Sounds like garbage to me.  Intuition has an interesting property
not shared by self respecting logics (outside of AI, that is) --
it can be dead wrong, and frequently is.  I have similar reservations
about a previous posting about including diagrams in logic.
Unless these diagrams can mislead us into incorrect conclusions,
they certainly don't capture the spirit of true mathematical
diagrams, and I can't see how they'll offer any real advance over old
fashioned logics.  -Aaron Watters