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

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

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

词条	条件句逻辑
释义	条件句逻辑数理化力学卷条件句逻辑　　研究与条件句有关的形式推理的现代逻辑分支学科。一般认为,现代的条件句逻辑是由逻辑学家斯托奈克(R.Stalnaker)开创的,1968年,斯托奈克在《条件句的理论》一文中建立了一个条件句的公理系统,并为虚拟条件句提供了形式语义。20世纪70年代起,条件句逻辑的研究有了飞速的发展,刘易斯(D.Lewis)、切拉斯(B.F.Chellas)、纽特(D.Nute)等人构造了多种条件句逻辑系统,有关条件句逻辑的可能世界语义理论、代数语义理论和概率语义理论的成果也相当丰富。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	都兰都兰吐蕃墓葬都兰蒙古族自治区都养都内都军司都冶都凡都匀都卢都厕都司都吏都哇都噜都场都城都城纪胜都堂都天圣君都头都子都安都安瑶族自治县都官