Xref: utzoo comp.ai:5238 sci.philosophy.tech:1792 sci.logic:656 talk.philosophy.misc:3314
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!uwm.edu!uakari.primate.wisc.edu!aplcen!uunet!engcon!simon
From: simon@engcon.marshall.ltv.com (SHSIMON)
Newsgroups: comp.ai,sci.philosophy.tech,sci.logic,talk.philosophy.misc
Subject: Logic Based Intuition
Message-ID: <697@engcon.marshall.ltv.com>
Date: 18 Dec 89 21:35:33 GMT
Reply-To: simon@engcon.UUCP (SHSIMON)
Distribution: usa
Organization: LTV MEG, Dallas, TX
Lines: 39


I have a question about intuition being a higher order logic.

Many years ago, in a place long forgotten, I read a reference
which went through a progression of the orders of logic and led
to intuition.  I am not sure, but I think the book(?) included a
phrase which said "and that is why Mr. Spock of Star Trek is so
intuitive."

I remember, perhaps in error, the progression from lambda calculus,
to 1st order predicate calculus, to 2nd order predicate calculus, etc.

The reference could have been in a Star Trek book, a philosophy book,
a logic book, an AI book, or some other.  I think it was in the late
70s to early 80s.

The main thing I am looking for is a progression of the various forms
of logic leading up to a possible insight about intuition as a
"logical" process, all in simple terms without math or symbols.

I am not interested in proofs, but explanations...perhaps leading to
implementations and applications.

Please send directly to me and I will post a summary a little later on.
If my mail address does not work, please try comp.ai.

		Thanx in advance
		Happy Chanukkah
		Merry Xmas

						Hank Simon
						simon@engcon.BITNET.uunet
		

this notice is being posted on:
comp.ai
sci.philosophy.tech
sci.logic
talk.philosophy.misc