条件句逻辑 conditional logic 研究与条件句有关的形式推理的现代逻辑分支学科。一般认为,现代的条件句逻辑是由逻辑学家斯托奈克(R.Stalnaker)开创的,1968年,斯托奈克在《条件句的理论》一文中建立了一个条件句的公理系统,并为虚拟条件句提供了形式语义。20世纪70年代起,条件句逻辑的研究有了飞速的发展,刘易斯(D.Lewis)、切拉斯(B.F.Chellas)、纽特(D.Nute)等人构造了多种条件句逻辑系统,有关条件句逻辑的可能世界语义理论、代数语义理论和概率语义理论的成果也相当丰富。 |