Thank you, that was very enlightening. I see now where you were coming from.

I still think that some breakthroughs are more -equal- fundamental and some methods are more correct, that is, efficient in seeking the truth. Perhaps attempts to first point out some specific interesting features of human consciousness (or intelligence, or brain) and only then try to analyse and replicate them would meet more success. In that sense logic and neural networks are successful, while bayesian inference is not.

I wonder if you are familiar with TRIZ? It strikes me as positively loony, but it is a not-outright-unsuccessful attempt at a general algorithm for discovering new, uh, counterintuitive implications of known natural laws. Not truths per se, but pretty close.