🚀 go-pugleaf

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