[haliax]

> humans don't reason based on mechanistic principles

Do you support an empiricist view of logic then (http://en.wikipedia.org/wiki/Is_logic_empirical%3F) ? That we justify logical rules because they so strongly correspond with our own experiences?

[vbtemp]

Not really. I'm just saying we don't go around all day doing logic-algebra in our head and saying only true, consistent things :)

[haliax]

Ahh, fair enough. I'd have to agree with you there. My guess is that that plus being able to inductively generate axioms from experience are largely what let us escape that particular weakness of formal systems.