《拉德布鲁赫公式:司法判决证立问题研究》以司法裁决证立为主要对象,探讨何为法官裁决证立、法官为何证立裁决以及法官如何证立裁决的问题,概括了裁决证立标准与裁决论证模式,并以此为基础建立了司法裁决证立理论的新体系。主要内容包括:其一将法律领域中的论证与推理概括为事实推理、法律推理与判决推理,在此基础上对司法裁决证立问题进行了充分与深入的研究;其二研究了实在法的开放性、非协调性、不完全性问题,研究了法律的不确定性与法律的可推导性问题,在此基础上研究了法律不确定条件下的司法裁决证立问题,概括了法律不确定条件下的裁决证立标准与裁决论证模式,发展了图尔敏论证模型和阿列克西法律论证理论,发展了恩吉施与考夫曼的等置模式和纽特的非单调推理模式理论。《拉德布鲁赫公式:司法判决证立问题研究》开辟了法律逻辑研究的一个新领域,促进了逻辑学研究与法学研究在这些领域里的交流与融合。