> embodied, conscious and metaphorical

Now you have 3 terms you also need to provide proper definitions of. Having studied plenty of analytical philosophy prior to computer science, I can tell you that at least the conscious option is going to trip you up. I imagine the others will as well.

On top of that, these, at least at my first guess, seem to be just labeling different models of computation (i.e. computation with these properties is "thinking") but it's not clear why it would be meaningful for a specific implementation of computation to have these properties. Are there tasks that are non-computable that are "thinkable"? And again it sounds like you're wandering into tautology land.