The combination of inductive reasoning and deductive reasoning seems like a natural category - which I think needs a name. You could call this "logical reasoning" - but "reasoning" seems better to me. The term covers both logical and illogical reasoning - though of course the latter sort is not of very much use. What is doesn't cover is perception, goals, or experimental generate-and-test.

If it is out there, better terminology would be welcomed.