simon@engcon.marshall.ltv.com (SHSIMON) (12/19/89)
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
aaron@grad2.cis.upenn.edu (Aaron Watters) (12/21/89)
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