回溯推理与科学发现的逻辑[*]