Bottom up and top down seem a false dicotomy as Uri suggests. Rather constraints from mutliple directions would be employed.

I do agree with you that there is a gap between DL and symbolic yet to be bridged.

But I suspect we diverge on our thinking of symbolic. Seems to me that FOPC (or any other formal logic) is an extremely specialized style of human thought. it is not the basis of that thought, but rather a very esoteric specialization that has great mathematical power.

I think the symbolic that we will find native in the human mind will be symbols with some kind of conditional activation propagation or some such built over top of it. This substrate can be used to implement FOPC and other paradigms.

still there IS a gap to be bridged. You and I share a belief that logic-ish representations are key to human like reasoning, so there is work yet to do!