试论法律推理的形式及其作用。