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

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

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

词条	条件句逻辑
释义	条件句逻辑数理化力学卷条件句逻辑　　研究与条件句有关的形式推理的现代逻辑分支学科。一般认为,现代的条件句逻辑是由逻辑学家斯托奈克(R.Stalnaker)开创的,1968年,斯托奈克在《条件句的理论》一文中建立了一个条件句的公理系统,并为虚拟条件句提供了形式语义。20世纪70年代起,条件句逻辑的研究有了飞速的发展,刘易斯(D.Lewis)、切拉斯(B.F.Chellas)、纽特(D.Nute)等人构造了多种条件句逻辑系统,有关条件句逻辑的可能世界语义理论、代数语义理论和概率语义理论的成果也相当丰富。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	栋鄂妃栋鄂部栌栎栎散栎树叶中毒栎蚕舟蛾栎阳县栎阳城遗址栏栏厩栏杆栏架栏楯栏肥栏遗栏间跑栐树树人树保爷树倒猢狲散树党树冠树冠层