Logic and Abduction: cognitive externalizations in demonstrative environments