“条件句逻辑”的意思、由来-百科全书

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

出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础

词条	条件句逻辑
释义	条件句逻辑数理化力学卷条件句逻辑　　研究与条件句有关的形式推理的现代逻辑分支学科。一般认为,现代的条件句逻辑是由逻辑学家斯托奈克(R.Stalnaker)开创的,1968年,斯托奈克在《条件句的理论》一文中建立了一个条件句的公理系统,并为虚拟条件句提供了形式语义。20世纪70年代起,条件句逻辑的研究有了飞速的发展,刘易斯(D.Lewis)、切拉斯(B.F.Chellas)、纽特(D.Nute)等人构造了多种条件句逻辑系统,有关条件句逻辑的可能世界语义理论、代数语义理论和概率语义理论的成果也相当丰富。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	祖孝孙祖宗祖宗愿祖宗板祖尔肯乌拉山祖居祖师祖师堂祖师殿祖师爷祖师禅祖帐祖席祖拜尔祖方言祖日祖明祖暅之祖暅之原理祖服祖本祖武祖母祖母绿祖法儿国