逻辑推论与历史想象