In general, I agree that for avery complicated task that a machine intelligence performs far better than any human being, human-like reasoning might be just impossible. The logical formula might be too long to be reasonable to any human.

But from another side, current AI has a hard time to perform ordinary human reasoning at all. Those reasoning mostly contains a few logical clauses. Why?

Human like logic usually hide the common sense or context in other words. There is no absolute logic like FOL when we talk about human like logic. The traditional rule based AI system fails because of that.

On the other hand, deep learning are very strong at representing these hidden common sense and context. Look at the word2vec.

We now are at a point to combine these two approaches together not to build AlphaGo, but enable ordinary human like reasoning.

At least that is my hope.