An embodied logical model for cognition