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