Natural and Artificial Reasoning