[YeGoblynQueenne]

>> (both neural networks and sybolic reasoning systems).

Woa, woa. Symbolic reasoning _has_ been claimed to model the way the brain works (the original Pitts and McCulloch neuron was a propositional logic circuit that purported to model the way actual neurons work) but that sort of thing is much more common in connectionism. In fact, it's basically the whole story of connectionism ("let's copy the brain").

In any case first order logic was originally proposed as the foundation of maths, and nothing to do with how the human brain works.