谈谈自然推理

自然推理系统是二十世纪三十年代首先被波兰逻辑学家C·雅斯科夫斯基和德国的逻辑学家G·根森分别提出的。在自然推理系统中,出发点并不是公理,而是随时引进的假设前提,从这些假设前提出发,应用推理规则或推理图式,就能有效的达到推理目的。由于这种推理方法类似于自然科学尤其数学中常用的那种证明程序(如定律,定理的证明)。因此,把它称为自然推理或自然演算。为了了解自然推理的实质及特点,我们必须对构成自然推理系统的推理部分,即推理规则及推理所依据的推理图式作一简单介绍。(由于篇幅所限其它部分不在此介绍了)。