Out of Their Minds
“Progress in using logic to express facts about the world has always been slow.”
He goes on to talk about Aristotle, Boole, Frege ...
“I think that we humans find it difficult to formulate many facts about our thought processes that are apparent when suggested.” John McCarthy