回溯推理的逻辑结构与逻辑性质

回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认识形成新的综合。可是,人们迄今对这种推理方法本身的了解尚非常浅薄,与在实际思维中广泛运用这种推理的局面极不相称。因此,1987年在莫斯科召开的世界逻辑——科学方法论大会上,回溯推理被列为世界性攻关项目。为了推动这个问题研究的深入,本文拟就模态、相关和古典逻辑理论的角度,提出自己的看法。