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

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

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

词条	条件句逻辑
释义	条件句逻辑数理化力学卷条件句逻辑　　研究与条件句有关的形式推理的现代逻辑分支学科。一般认为,现代的条件句逻辑是由逻辑学家斯托奈克(R.Stalnaker)开创的,1968年,斯托奈克在《条件句的理论》一文中建立了一个条件句的公理系统,并为虚拟条件句提供了形式语义。20世纪70年代起,条件句逻辑的研究有了飞速的发展,刘易斯(D.Lewis)、切拉斯(B.F.Chellas)、纽特(D.Nute)等人构造了多种条件句逻辑系统,有关条件句逻辑的可能世界语义理论、代数语义理论和概率语义理论的成果也相当丰富。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	林业区划林业可持续发展林业工程林业工程学林业废弃物林业播种机林业机械化林业机械学林业气象学林业测量二妙二妙丸二姓二婚二婚头二子乘舟二宗三际二宗经二尖瓣二尖瓣交界分离术二尖瓣关闭不全二尖瓣狭窄二尖瓣脱垂综合征二尹二帝三王