Abductive Reasoning: Logical Investigations into Discovery and Explanation (Synthese Library)