[RightWingAtheist]

Do think this implies that there is a common universal logical structure underlying all forms of human reasoning, just as there exists a common grammatic structure underlying all language?

[Doctor Stochastic]

I'm not sure what it means. Perhaps the Turing Machine is the ultimate and nothing else is computable. If a quantum computer can only compute these functions, it's hard to say what else can be computable. The universal may be that humans have just found the ultimate computing machine.

I'm not convinced that there is a common gramatical structure underlying all language. I've proposed a type of common structure, but it differs from Chomsky rather drastically.