思享 | 舒国滢：逻辑何以解法律论证之困？

在当代法学理论的讨论中，逻辑学与法学之间的关系是一个绕不开的话题。应当看到，法学所遭遇的论证难题（包括法律实践的论证难题）大体上是价值判断逻辑的难题，而价值判断似乎根本无法从形式逻辑的推演中导出，也似乎无法用纯粹的经验观察及事物的自证性质来分析。

故此，法学向现代逻辑学提出一个知识论上的问题：形式逻辑到底能不能用来论证法律上的（应然的、价值的或规范的）判断（理据）？

或者更直白地说，那些不能进行真假（真值性）判断、而用应当或不应当表达的陈述（命题）能否用形式逻辑来进行分析？所有的现代逻辑均必须首先直面来自法学上的问题。逻辑若不能解决法学上的难题，其效果意义可能是双重的：

一方面，对于逻辑而言，不能回应法学（当然也包括其他类似的学科，比如伦理学）难题，表明逻辑的应用价值是有限的，“一切关系均可用逻辑式表达”就是一句空话；另一方面，逻辑不能回应法学难题，对于法学来说更不是一个福音，这意味着，所谓的法学乃“逻辑不入之地”。

而不能进行逻辑阐释的所谓法学还是不是一门“科学”（Wissenschaft/science），就成了一个大问题。这个问题不解决，近代以来法学家们依照“几何学方式”或“科学/逻辑式样”建构起来的一套知识体系（尤其是19世纪德国的学说汇纂派建构的民法知识）则可能瞬间坍塌。兹事体大，不可不察。本文拟从历史与知识谱系的角度考察和梳理法律论证的逻辑难题及其解答尝试。

“逻辑”一词来源于古希腊语“λόγος”（logos,逻各斯）。然而，希腊语λόγο（logos）最早并非是逻辑的名称，而是希腊哲学、神学用语，指隐藏在宇宙之中、支配宇宙并使宇宙具有形式和意义的“绝对的神圣之理”或“理性灵性本元”（比如，斯多葛学派把它看作是“智慧”、“自然”、“神”、“宇宙的灵魂”，认为宇宙就是由总的逻各斯内所包含的小逻各斯所构成）。

《简明不列颠百科全书》

我们看到，在历史上，亚里士多德的《工具论》尽管本身并未采取“逻辑学”（希腊文：λογιχή）的名称，但却包含丰富的逻辑学理论（即，“语言结构理论”[认为简单命题是由名词表达式构造起来的]，“对当理论”，“换位理论”，“模态逻辑”），并创立了第一个（通过对前提与结论句法结构的分析来确认推理的有效性之）演绎推理系统（名词表达式逻辑的第一个系统），从三段论“第一格”（大前提：M——P；小前提：S——M；结论：S——P），推演出“第二格”（大前提：P——M；小前提：S——M；结论：S——P）和“第三格”（大前提：M——P；小前提：M——S；结论：S——P）。后来，这种由亚里士多德开创的、以三段论为中心的关于概念、命题、推理和方法的理论（即“亚里士多德逻辑学”），被德国著名哲学家伊曼努尔·康德（Immanuel Kant,1724—1804）在其1878年所写的《纯粹理性批判》“第二版序”中第一次称为“对一切思维的形式规则作详尽的阐明和严格的证明的科学”，即“形式逻辑”（formale Logik），从此，逻辑遂成为“形式逻辑”（或“真正的逻辑”[Die eigentliche Logik]）的代名词。

康德：《纯粹理性批判》，邓晓芒译，杨祖陶校，人民出版社。

按照康德的理解，“普遍纯粹逻辑”（形式逻辑）与纯粹的先天原则（laute Prinzipien a priori）打交道，它是“知性的法规”（Kannon des Verstandes），也是“理性的法规”（Kannon derVernunft），但只是就其运用的形式而言，而不管内容是什么（经验的、还是超验的）。也就是说，作为普遍逻辑，形式逻辑抽掉了知性知识的一切内容及其对象的差异性，并且只与思维的单纯形式打交道；作为纯粹逻辑，它不具有任何经验性的原则，因而不从心理学中汲取任何东西，它是一种明证（演证）的学说，在其中，一切都必须是完全先天确定的。

康德指出，“普遍纯粹逻辑”（形式逻辑）与“应用逻辑”（die angewandte Logik）不同：后者是“作为特殊的知性运用的逻辑”，它针对着心理学上“主观经验性条件之下的知性运用规则”，含有“经验性原则”（empirische Prinzipien），其运用的条件是“经验性地被给予的”，它所研究（处理）的是“注意”（Aufmerksamkeit）、注意的“障碍”（Hindernis）与“后果”（Folgen）以及“错误的来源”（Ursprunge des Irrtums）、“怀疑”（Zweifel）、“顾虑”（Skrupel）、“确信”（berzeugung）等等的状态。

康德有关“普遍纯粹逻辑”（形式逻辑）与“应用逻辑”的论述，实际上反映着自亚里士多德以来有关逻辑的性质及其应用功能的认识争议（亚里士多德的前后《分析篇》、《论题篇》和《修辞学》中有关“科学三段论”、“论辩三段论”[论题学]和“修辞式三段论”[恩梯墨玛]的论述本身就包含着这种认识争议，从中世纪至16世纪的法律辩证法[逻辑]、法律论题学中也包含着这种争议）。现象学创始人埃德蒙德·胡塞尔（Edmund Husserl，1859—1938）在1900年出版的《逻辑研究》（Logische Untersuchungen）第1卷“纯粹逻辑学导引”中把相关的认识争议概括为4个方面：（1）逻辑学究竟是一门理论学科、还是一门实践学科（一门“技艺学”[Kunstlehre，工艺论]）；（2）逻辑学是否是一门独立于其他科学、尤其是独立于心理学或形而上学的科学；（3）逻辑学是否是一门形式科学，它是否仅仅关系“认识的形式”，是否也应顾及认识的“质料”；（4）逻辑学究竟是具有先天的和明证（演证）的学科的特征，还是具有经验的和归纳的学科的特征。对于这些问题，存在着绝然对立的两种学说：一种学说仅承认逻辑学是一门属于纯粹理论学科的明证（演证）的先天科学（纯粹逻辑学或形式逻辑），否认逻辑学的实践特征；另一种学说则认为逻辑学自身也包括实用的或实践意义上的逻辑学（比如，发现[开题]的逻辑学），包括认识/思维的“技艺学”（工艺论或开题术），属于规范学科。

埃德蒙德·胡塞尔 ：《逻辑研究》，第1卷

倪梁康译，商务印书馆

如我们所看到的，由于受到科学主义思潮的影响，近现代逻辑学的发展显然走上了纯粹理论学科的形式逻辑学（甚至完全用数学符号表达的数理逻辑）之路：比如，德国哲学家、法学家和自然科学家戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz,1646—1716）本人在17世纪中后期试图使用数字表示未解析观念，把数学方法用于解释亚里士多德的三段论和论题学（后一点可参见其1666年博士论文的《论组合术》），推进了数理逻辑的兴起，也标志着“逻辑的再生”（rebirth of logic）。

19世纪中叶之后，数理逻辑进入了一个大发展时期：英国数学家、逻辑学家奥古斯塔斯·德·摩根（Augustus De Morgan，1806－1871）先后出版《第一逻辑观念》（First Notions of Logic, Preparatory to the Study of Geometry，1840）、《形式逻辑》（Formal Logic or The Calculus of Inference, Necessary and Probable，1847）、《逻辑建构体系概要》（Syllabus of a Proposed System of Logic，1860）等，首次发现了在命题逻辑中存在着“非（P 且Q）=（非P）或（非Q）”和“非（P或Q）=（非P）且（非Q）”等等关系法则（即，“德·摩根定理”），从而成功地发展了三段论；另一位数学家、逻辑学家乔治·布尔出版《逻辑的数学分析》（The Mathematical Analysis of Logic，1847）和《思维规律的研究》（An Investigation of The Laws of Thought，1854），建立了较为系统的逻辑代数（“布尔代数”），最终实现了莱布尼茨关于创立能作为非算术解释的代数演算的设想 ；后来，英国著名的经济学家和逻辑学家、边际效用学派的创始人之一的威廉姆·斯坦利·杰文斯（William Stanley Jevons,1835—1882）于1864年出版《纯逻辑，或数与量之间的逻辑》（Pure Logic, or, the Logic of Quality apart from Quantity,1864），美国哲学家、逻辑学家、实用主义之父查理·桑德斯·皮尔斯（Charles Sanders Peirce,1839-1914）于1870年出版《相关性逻辑》（Logicof Relatives,1870），德国数学家、逻辑学家弗里德里希·威廉·卡尔·厄恩斯特·施罗德（Friedrich Wilhelm Karl Ernst Schröder,1841-1902）于1890-1905年间出版3卷本的《逻辑代数讲义》（Vorlesungen über die Algebra der Logik,1890-1905），改进和发展了逻辑的“布尔代数”和“德·摩根定理”；德国数学家、逻辑学家和哲学家弗里德里希·路德维希·戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege，1848－1925）出版《概念符号文字——一种模仿算术的纯粹思维的公式语言》（1879年）、《算术的基础——对数的概念的逻辑数学研究》（1884年）、《算术的基本法则》（1卷，1893年，2卷，1903年），成为现代逻辑的创始人，也被公认是分析哲学和语言哲学的创始人。

进入20世纪后，逻辑学上出现了多个流派，这其中包括逻辑主义、直觉主义、形式主义。英国哲学家、数理逻辑学家伯特兰·罗素（Bertrand Russell，1872-1970）与英裔美籍数学家、哲学家阿尔弗雷德·诺斯·怀特海（Alfred North Whitehead, 1861—1947）于1910-1913年合著出版3卷本《数学原理》（Principia Mathematica,1910-1913），全面地、系统地总结了自莱布尼茨以来在数理逻辑研究方面所取得的重大成果，其内容除了纯逻辑论题（比如，命题逻辑、量词逻辑、类理论、关系理论）之外，还包括基数算术、一般的序数、关系数理论以及序列和度量立论，其主张数学就是逻辑学，认为全部数学问题都能从纯粹的逻辑学推导出来，并提出哲学争端可以通过与解决数学问题极为相似的方式加以解决，从而奠定了20世纪数理逻辑发展的基础，他们的思想被称为“逻辑主义”（logicism）。1907年，荷兰数学家、直觉主义数理哲学的创立者路易岑·埃格伯图斯·雅安·布劳威尔（Luitzen Egbertus Jan Brouwer,1881—1966）在《论数学基础》（Over de Groundslagen der Wiskunde,1907）对那种认为任何数学命题必须不是真就是假的排中律（das tertium non datur）观点提出质疑，从引起有关无限域命题（Aussagen über unendliche Bereiche）的难题出发。

我们设想有一个如哥德巴赫猜想的数学命题，即：任何偶数都是两个素数之和。这个命题（语句）可以根据任意多数来加以检验，但仍然得不到证实，因为总还有另一些数没有得到我们的检验。他的学生、阿姆斯特丹大学数学教授阿伦德·海廷（Arend Heyting,1898-1980）根据他的思想，认为数学预设了心智的构造，而心智的构造又预设了自然数集合，自然数序列可从对时  间的直觉以及对人们经验的各个瞬间的知觉推导出来，由此将直觉主义逻辑变成数理逻辑的一个部分。

德国 20 世纪最伟大的数学家、数学哲学家大卫·希尔伯特（David Hilbert,1862—1943）于1900年8月8日在巴黎（索邦）大学第二届国际数学家大会上，发表了题为《数学问题》的著名讲演，提出了新世纪数学家应当努力解决的23个数学问题（后来被称为“希尔伯特问题”[Hilbert’s problems]），他反对直觉主义否定排中律、否定非构造性方法，根据自己关于证明算术公理的相容性思想，力图通过形式化方法把具有直觉内容的公理系统变成没有内容的形式系统，然后应用有穷方法直接研究形式系统的相容性（“希尔伯特的有穷主义数学”），从而保证它的模型与原先的数学理论的相容性，证明了命题演算、一阶谓词演算和只含加法的算术的无矛盾性。他关于数学形式化的思想（即，数学本身是具有纯形式推理的完全形式化的系统，丝毫不涉及有关公式的可能解释），被后来的德裔美国数学家亚伯拉罕·罗宾森（Abraham Robinson,1918—1974）和波兰裔美国数学家保罗·约瑟夫·科恩（Paul Joseph Cohen,1934—）等人发展为数学哲学的一个派别——形式主义。

此外，在20世纪，传统的命题逻辑和谓词逻辑以及元逻辑研究均得到进一步的发展。在命题逻辑和谓词逻辑上，出现了“华沙学派”主要奠基人之一的斯坦尼斯拉夫·莱希涅夫斯基（Stanis?aw Le?niewski,1886-1939）“范畴语法”（类型逻辑语法）以及本体论系统和部分-全体关系理论，美国逻辑学家克拉伦斯·伊尔文·刘易斯（Clarence Irving Lewis,1883—1964）的“严格蕴涵系统”，波兰数学家、逻辑学家扬·卢卡西维茨（武卡谢维奇）的“多值逻辑”，德国数学家厄恩斯特·弗里德里希·费迪南·策梅洛（Ernst Friedrich Ferdinand Zermelo,1871—1953）的“公理集合论”（axiomatic set theory），等等。

在元逻辑研究方面，奥地利裔美国著名数学家、逻辑学家库尔特·哥德尔（Kurt Gödel,1906—1978）于1931年所写的论文“论〈数学原理〉及有关系统的形式不可判定命题”（Über formal unentscheidbare Sätze der “Principia Mathematica” und verwandter Systeme,1931）中，证明了形式数论（即算术逻辑）系统的“不完全性定理”（Incompleteness Theorem）：第一定理“任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为伪”（如果一个逻辑的或公理的形式系统是无矛盾的，那它不可能是完全的）和第二定理“如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明”（诸公理的无矛盾性不可能在它们的系统内被证明）；这些定理终结了从弗雷格以来半个世纪（到罗素、怀特海的逻辑主义和希尔伯特的形式主义达到高潮）试图为一切数学寻找一个充足的“公理集合”的理论企图。

在语言和逻辑方面，理论语言学家重新发现某些文法问题和逻辑学家的概念、理论有密切关系，开始研究逻辑语言并描述这种语言的纯形式（语法学），研究语言与实在之间的关系（语义学）。这些研究构成元逻辑的部门。

尽管现代数理逻辑发展到了相当精致的水平，但这种以研究“认识论意义上的真值”、强调以建立“公理集合”为基础、采取形式语言（符号语言）为载体的纯形式有效性论证的“普遍纯粹逻辑”，并不能直接转化为需要运用自然语言（非人工语言）、通常要求进行意见交换来寻找价值-规范判断（或认定）前提的“应用逻辑”，特别是不能直接把现代数理逻辑直接当作“法律逻辑”，从“自然推理系统”到“法律推理系统”，这中间还需要克服诸多理论上的障碍（法律中的大前提必须具有鲜明的权威性，缺乏数学中的绝对真理，而且随时代而变，与反省性思考不同）。

诚如以色列逻辑学者约瑟夫·霍洛维茨（Joseph Horovitz）所言，形式科学和数理逻辑确实应当成为其他科学仿效的典范，但它们均应接受来自这些蓬勃发展的学科之方法的冲击。

之所以不能直接把数理逻辑直接当作“法律逻辑”，这是由法律论证的性质所决定的。我们必须首先在理论上注意到一点：法律论证是一种独特的论证，这种论证的独特性在于它处理的并非关于“是什么”（事实证明）的问题，而处理“应当是”或“应当做”（价值与规范）的问题。

笔者的研究发现，古代的学者（比如，公元前2世纪中叶的修辞学家赫玛戈拉斯[Hermagoras of Temnos，希腊文 Ερμαγόρας]）很早就把法庭上争议的问题可以分为两类，即“逻辑问题”和“法律问题”，现代的学者更习惯于把法庭上的“争点”分为“事实争点”（事实判断的争议问题）和“法律争点”（法律判断的争议问题），这两类争点都需要借助逻辑论证才能予以澄清并加以解决。然而，从逻辑的角度看，上述两类争点（问题）的划分还不够精细：其实，无论“事实争点”、还是“法律争点”都存在着两种证明：

1）“真实性”（真伪）的证明，即，“有什么”、“是什么”或“什么发生”的证明：“事实争点”的“真实性”（真伪）证明侧重于行为/事件发生的问题争议之真伪的鉴别和认定，这需要借助逻辑通过证据证明“某事”（或某行为、事件）确实发生或没有发生。这个时候，有待证明的事实“有什么”、“是什么”或“什么发生”的命题其实是需要做（行为、事件[或物理事实]）“是”的真伪判断的命题。当然，“法律争点”也可能涉及真伪的鉴别和认定（我们也可以说，某法律确实存在或不存在、有效或失去效力，法律条文的字面含义与立法者意图之间存在冲突，法律规定之间存在冲突，法律的规定存在歧义），尽管“法律争点”是否存在、怎样存在本质上属于事实问题，但它们本身不是行为/事件是否发生的“事实”问题，所以，我们一般不把此类问题争议直接等同于行为/事件是否发生的“事实争点”，而把它看作是“法律争点”的“真实性”维度（面向）的证明。故此，两类争点还可以进一步区分为“行为/事件是否发生的事实争点”和“法律争点/争议问题本身是否存在、怎样存在的争点”，这种区分对于分清问题争议类别是必不可少的。相对于“行为/事件是否发生的事实争点”，“法律争点/问题本身是否存在、怎样存在的争点”的证明更为复杂一些，涉及诸多的概念辨析（比如，什么是“法”、“法律”、“条文的字面含义”、“立法意义或意图”、“法律冲突”、“歧义”，等等），而这些概念的语义/切确所指的辨析对于证明是否存在真正的“法律争点”是至关重要的（限于篇幅，兹不展开进一步的讨论）。

2）“正当性”的证明（证成或证立），即举出理由证明“有什么”、“是什么”或“什么发生”是“正当的”（“可欲的”或“好的”）：无论是在“事实争点”中、还是“法律争点”中都存在着是否“正当的”（“可欲的”或“好的”）的证明，我们也可以把它们称为“争点的价值性/规范性面向”。这个时候，“事实争点”的价值性/规范性面向所讨论的不再是“有什么”、“是什么”或“什么发生”的真伪问题，而是业已确证的“有什么”、“是什么”或“什么发生”的事实之价值/规范认定：即，从价值/规范的角度看，这个确证的事实（尤其是行为事实）如何评价、认定？比如，古希腊作家埃斯库罗斯根据神话故事改编成戏剧的《俄瑞斯忒斯》中，俄瑞斯忒斯弑母这件事（“什么发生”）应如何根据（法律）规范来加以定义和性质认定（“定义争点”和“性质争点”）？这里涉及“俄瑞斯忒斯（Orestes）弑母”行为（事实）的对错/正当与不正当之辩，“事理”（事情的道理/理由）之辩，更抽象一点讲，就是“法理”之辩，而这种所谓“事理”、“法理”不再是“有什么”、“是什么”或“什么发生”之真伪证明，而是行为（事实）之对错/正当与不正当的证成，即“应然之理”的证明。这种“应然之理”扭结着价值、情感、规范、人们的共同意见（看法），可能还有事物关系中不可变更的法则。

那么，扭结着诸多价值因素的“应然之理”能否通过形式逻辑来加以勾画、语言表达并进行推理呢？有没有一种处理“应当是”或“应当做”（价值与规范）的问题的“价值逻辑”、“道德逻辑”或“法律逻辑”？更确切地说，在法教义学领域，对于民法、刑法、公法（行政法）等实质内容做“分析-评价”阐释时可否依照形式逻辑（真假二值逻辑[two-valued logic]）展开？在这样的问题上，形式逻辑确实遇到了真正的挑战，逻辑学家必须对此做出令人信服、符合逻辑的解答，而不能简单否定了事。

亚历山大·佩策尼克 ：《论法律与理性》，陈曦译

中国政法大学出版社

在数理逻辑学界，人们最初关注的问题是：一个命令模态的语句（即命令句，或者：一个其客体表达直接的行为命令、而非描述某个事实的语句）到底能不能构成逻辑推理的一部分？

对此，法国著名数学家、理论天文学家、科学哲学家亨利·庞加莱（Henri Poincaré,1854—1912）在1913年殁后发表的论文“道德与科学”（La Morale et la Science,1913）中注意到，所有以直陈句作为前提的科学（逻辑）似乎不能确立道德的标准，然而，就像蒸汽可以用于不同的机器，科学（逻辑）也可以用于道德推理：即，道德情感可以赋予我们命令模态推理中的大前提，科学可以用作（直陈模态中的）小前提，由它们可以得出命令模态中的结论。比如下面这个三段论例子，大前提：“开门！”；小前提：“门不可能是开着的，除非它最初就没有关着”；结论：“因此，打开门！”然而，命令句（imperative）或“应然句”（Soll-Satz/an ought sentence）推论可能需要某些添加和修正，这会导致传统逻辑的困境，从而迫切需要新的逻辑工具。

1938年，丹麦逻辑学家、哥本哈根大学哲学教授约根·约根森（Jørgen Jørgensen,1894-1969）在《认识》（Erkenntnis）杂志第7期上发表的文章“命令句与逻辑”（Imperatives and logic）中称逻辑推论中有这样一个“困惑”（puzzle）：“依照通常被接受的关于逻辑推论的定义，只有可能是真假的语句才能在一个推论中用作前提或结论；然而，似乎显而易见的是，一个在命令模态中的结论可以从两个前提（其中一个是在命令模态中的前提或两个均是在命令模态中的前提）中推导出来。”

但问题在于，如果约根森所说的是对的话，那么，人们必须承认命令句不可能被有意义地称为真假的语句，而自身既不为真、也不为假的语句很难算作是（逻辑意义上的）“命题”。也就是说，一切命令句似乎既不可能作为（直陈句）三段论的结论，也不能作为推论的前提，命令句之间不存在前提和结论之间真值传导的关系（即，“假如前提为真，那么结论必然为真”的推论关系）。

如果逻辑蕴含（implication）只发生在真假句之间、命令句没有真假值，那就不可能有所谓“规范逻辑”（法律逻辑、道德逻辑，等等），也不可能有（讨论“较优于”、“偏好”、“好坏”等等的）“价值逻辑”/“偏好逻辑”。另一方面，在日常生活中，许多法律家、政治家和道德家经常喜欢从一些规范（制度化的命令句）中推断另一些规范，并以应用于规范中的逻辑连接词来进行操作，说一个规范蕴含另一个规范（比如，下面这个推论：大前提“请每个公民依法纳税”，小前提“你是一个公民”，结论“因此，请你依法纳税”；还有：“爱你的邻人如同爱你自己！”，“爱你自己！”，“因此，爱你的邻人！”）。如果这一点成立的话，那么传统的（古典）标准逻辑（包含真假值的直陈逻辑）就得改写：推论的观念就不可能仅仅指真假观念，或者逻辑连接词的意义也不可能仅仅依赖其组成部分的真假值。1941年，丹麦法哲学家、哥本哈根大学宪法教授阿尔夫·罗斯（Alf Ross,1899—1979）在《理论》（Theoria）杂志第7期上发表的（与约根·约根森）同名文章“命令句与逻辑”（Imperatives and logic）中把由命令句（包括制度化的命令句）推论所引发的这一两难情形（即命令句之可推论和不可推论难题）命名为“约根森困境”（Jørgensen’s Dilemma）。

耶日·施特尔马赫、巴尔托什·布罗泽克：《法律推理方法》

陈伟功译，中国政法大学出版社

“约根森困境”对于现当代逻辑学家构成持续性挑战。显然，假定规范没有真假值而否认其与逻辑毫无关系（“规范逻辑怀疑论”[Der normenlogischer Skeptizismus]）则会产生一系列严重的后果（比如，有一些说法具有直觉上的说服力，但却缺乏逻辑上的论证力，这种现象本身是人类的理智所不能忍受的），比较好的方案是重构逻辑的真值主义理论（以至于广义的真值主义理论可以用来说明规范/命令语句的真值性），或者把规范命题纳入逻辑之中而以其他的替代理论（比如，非真值主义的理论）说明或确认规范逻辑的逻辑性质。更进一步说，我们能不能接受这样一种观念：规范即使没有真假，我们也可以对它们进行逻辑关系和逻辑性质的说明，并把这种逻辑称为“没有真值的逻辑”（Logic Without Truth）？

首先，比较有积极意义的尝试是采取这样一种方式：命令句适用真值的理论（即符合证实原则[the verification principle]的命令[道德]认识论），用直陈句逻辑来解释命令句逻辑。比如，1949年，英国道德哲学家、牛津大学道德哲学教授理查德·梅尔文·黑尔（Richard Mervyn Hare,1919-2002）在《心灵》（Mind）杂志第58期上发表的论文“命令句”（Imperative Sentences）中指出：“命令句与直陈句具有相同方式的逻辑性。这是因为，命令句和直陈句均包含构成句子成分的、通常在我们的推理中进行操作的描述符。”因此，在他看来，能够在直陈句解释中使用的形式逻辑公式，也可以用在命令句解释之中：即，公式“(A∨B)→(¬A→B)”（直陈句）可以改写成“!(A∨B)→(!¬A→!B)”（命令句），例如，“请你马上使用斧头或者锯子”，“请你不要马上使用斧头”，“因此，请你马上使用锯子”。

1952年，黑尔在其名作《道德语言》（The Language of Morals,1952）一书中，既承认直陈句和命令句的推论规则不同，但又指出它们两者共享某些逻辑因素。他认为，命令句逻辑有独特的二值，即“同意”（assenting to）和“不同意”（dissenting from），而且无论直陈句还是命令句注定具有这二值中的一个值：“如果我们同意某个命题，那么当且仅当我们相信它是真的（即，相信言谈者所说的是真的），我们就被认为在我们的同意中是真诚的。

另一方面，如果我们同意第二人发布给我们的命令，那么当且仅当我们做或者决心做言谈者告诉我们要做的事情，我们就被认为在我们的同意中是真诚的。”为了进一步说明命令句的逻辑值，黑尔通过句法学区分命令句的命令（规定性的/prescriptive）部分和陈述（描述性的/descriptive）部分，提出“指陈”（phrastic，描述性的部分，其作用像直陈命题，可以进行逻辑运算）和“首肯”（neustic，规定性的部分，即命令本身，不可以进行逻辑运算）的概念，进而认为，命令句和直陈句有相同的“指陈”（采取“联结式”、“否定式”、“蕴含式”等逻辑表达式叙述），它们只不过由于各自的“首肯”而有所区别。有一些逻辑学家试图直接将命令句转化为直陈句来解决“约根森困境”：比如，将“请将这门关上”（Close the door, please）这个句子改写成“这门要被关上”（The door is to be closed）类似直陈句的表达，相应地，“这扇门”与“要被关上”这两个表达就发挥着直陈句中的“主词”和“谓词”的功能。

理查德·麦尔文·黑尔：道德语言，商务印书馆

其次，扩展逻辑值、特别是建立一套有关“应然”（Sollen）、“意愿”（Willen）或“行动”的逻辑系统，不失为一种值得期待的理论努力。由于上述的原因，之前几乎无人尝试把逻辑与应然的规范联系起来，直到1926年，奥地利哲学家、“迈农学派”（Meinong’s School）的重要代表人物厄恩斯特·马利（Ernst Mally,1879-1944）出版一本小册子《应然的根本法则：意愿逻辑原理》（Grundgesetze des Sollens: Elemente der Logik des Willens,1926），指出，经典逻辑是一种“判断”（真假）的逻辑，他试图以此为“应然”或“意愿”（意志）这样的纯粹伦理学问题建立一个“判断”二值的精确逻辑理论（A↔!A），比如：A f B = A → !B（“A f B”等于“A 要求 B”），A ∞ B = (A f B) & (B f A)（“A ∞ B”等于“A要求B”和“B要求A”），∩=¬U（“∩[绝对禁止]”等于“¬U[禁止绝对要求]”）；他把这个理论称之为“道义句逻辑”（Deontik，为了区别冯·赖特创立的道义逻辑[Deontic Logic]，此处译为“道义句逻辑”比较适当，特此说明）。马利的逻辑句逻辑系统遭到奥裔美国数学家卡尔·门格尔（Karl Menger,1902—1985）的批评，后者于1939年发表“可疑值逻辑：论祈使句逻辑与命令句逻辑”（A logic of the doubtful: On optative and imperative logic，1939），指出道义句逻辑在二值之外应增加一个“可疑值”（the doubtful），并根据定理一“A → !A”和定理二“!A → A”，推导出定理“A↔!A”。

同年，美国哲学家阿尔伯特·霍夫施塔特（Albert Hofstadter,1910-1989）和约翰·查尔斯·C·麦肯锡（John Charles Chenoweth McKinsey,1908-1953）发表“论命令句逻辑”（On the logic of imperatives，1939）一文，用“满足”（satisfied）和“不满足”（non-satisfied）作为命令句逻辑的逻辑值。在他们看来，如果命令的事情（直陈句）是真的，那么一个命令就是被满足了的：比如，如果“这扇门是关着的”（p表述），那么“让这扇门关着”这个命令（Op表述）就是被满足了的。故此，命令句的满足值（satisfaction）类似于直陈句的真值（truth），它们之间存在着对应关系。据此，我们就可以把经典逻辑（直陈句逻辑）改写成命令句逻辑：（1）“A → A”（直陈句），“A → !A”（命令句）；（2）“A ∧ ¬A”（直陈句），“!A ∧ ¬!A”（命令句）；（3）“{A1,A2,...} → Ax”（直陈句），“{!A1,!A2,...} → !Ax”（命令句）；（4）“(¬A→ A)→ A”（直陈句），“!(¬A → A) → !A”或者“(¬A → !A) → !A”（命令句）。

不过，霍夫施塔特和麦肯锡对满足值逻辑的心理学解释不能很好地解决命令句逻辑的效力基础。阿尔夫·罗斯在1941年发表的“命令句与逻辑”一文中提出了一个“主观有效性逻辑与满足值逻辑相统一”（Unification of the logic of subjective validity and the logic of satisfaction）的理论进路。他指出，命令句意指一种其客体表达某个直接的行为命令、而非描述某个事实的语句。按照满足值逻辑，当描述命令之主  题的相应直陈句S是真的，一个命令句I就是满足了的，当描述命令之主题的相应直陈句S是假的，一个命令句I就是不满足的，其逻辑式可表述为“!A/!(¬A)”。这实际上是说，当某个特定的、进一步界定的心理状态在某个人心里出现时，一个命令句I就是有效的（valid），当这样的状态在人心里不存在时，命令句I就是无效的（non-valid），其逻辑式可表述为“!A/¬!(A)”。

阿尔夫·罗斯：《指令与规范》，雷磊译，中国法制出版社

道义逻辑的形成与发展无疑为命令句逻辑以及规范逻辑（广义上均属于“应用逻辑”）的逻辑性质研究提供了更有吸引力的理论解释。在此方面，芬兰逻辑学家、哲学家乔治·亨里克·冯·赖特（Georg Henrik von Wright,1916-2003）做出了杰出的贡献，他把为“模态逻辑”奠定新基础的逻辑分为“认知逻辑”、“信念逻辑”、“道义逻辑”、和“时态逻辑”。

冯·赖特：《知识之树》

陈波编选，陈波、胡泽洪、周祯祥译

生活·读书·新知三联书店

1951年，冯·赖特在《心灵》杂志第60卷首次以“道义逻辑”（Deontic Logic，缩写为D. L.）为名发表文章。在赖特看来，逻辑“具有比真值更宽广的领域”，因此，“规范”和“评价”尽管由于其“文化依赖性”（culture-dependent）、“主观性”（subjective）和“相对性”（relative）而“被排除于真值领域（the realm of truth）之外，但依然服从逻辑法则”。也就是说，规范虽然没有真假值，但是它有“实施值”（performance value），对于“实施值”可以进行类似于真假值的处理。基于此种信念，赖特在批判性总结厄恩斯特·马利“道义句逻辑”的基础上（他把马利为“应然”或“意愿”建立的公理系统称为“Opp”，认为因这个系统蜕变为经典命题系统而失去价值），通过道义或规范中的“必须”（Obligation，记为O）、“允许”（Permission，记为P）、和“禁止”（Forbiddenness/Prohibition，记为F）等道义（逻辑）算子（Deontic operators）与经典逻辑之真势模态（alethic modalities）之“必然的”（necessary）、“可能的”（possible）和“不可能的”（impossible）等真势模态词的比较分析，以道义（逻辑）算子解释真势模态词（算子），对真势模态逻辑中的公理或规则加以修改或补充，建立了（基于语言FL1[初始符号和形式规则]之上的）关于行为类型（具有行为A、B、C……等等类型）的一元道义逻辑系统（该系统的合式公式被称为“O—表达式”[O—语句]），其由“公理”（定义、准许原则、道义分配原则、道义逻辑偶然性原则、外延性规则、边沁法则）、“推理规则”（分离规则、替换规则）以及15个“定理”等构成（比如，如果A是义务的，并且做A使我们承诺去做B，那么B也是义务的，用O—语句表达就是：OA∧O[A→B]→OB。在直观上，这个公式是一个逻辑真理，也就是说，它在纯粹形式基础上有效），标志着一门新的逻辑分支——现代道义逻辑的真正诞生。

不过，1963年，美国哲学家罗德里克·M·齐硕姆（Roderick M. Chisholm,1916-1999）在《分析》杂志上发表的“反义务命令与道义逻辑”（Contrary-to-Duty Imperatives and Deontic Logic,1963）一文中指出：包括冯·赖特1951年构建的道义系统在内的一些所谓的道义逻辑系统不能用来处理“反义务命令”（Contrary-to-Duty Imperatives,也有学者译为“渎职命令”）这一规范性概念。

“反义务命令”，简略地说，就是：一个人有义务去实现A（原初义务命令，或符合义务的命令，即“OA”[比如，“不得伤害他人的感情”]），但若他忽略（或违反）了自己的义务，其行为结果造成¬A（比如，“某个做了伤害他人的感情的行为”），此时他就有义务去实现B（反义务命令，即“¬A→OB”[比如，“若做了伤害他人的感情的行为，某人应当道歉”]）。

而按照赖特建构的道义逻辑系统，则推不出反义务命令，此种情形被称为“齐硕姆悖论”（Chisholm’s Paradox）。面对“齐硕姆悖论”，冯·赖特于1964年在《丹麦哲学年鉴》（Danish Yearbook of Philosophy）第1期发表论文“道义逻辑的一个新系统”（A New System of Deontic Logic）和1965年在《丹麦哲学年鉴》第2期发表论文“对道义逻辑一个新系统的修正”（A Correction to a New System of Deontic Logic），承认其早期（1951年）论文中提出的那个形式化理论是一个“道义逻辑的旧系统”，而这个旧系统不能用来表达“反义务命令”，要适当地表达反义务概念，消除“齐硕姆悖论”，就要对道义逻辑算子重新进行定义，把其绝对的一元性变成二元性，这样，一个道义逻辑的新系统用O—语句和P—语句表达即为：O（A/B），读作：“当B时（如果是B这种情形），人们应当实现A”（比如，倘若天开始下雨，则某人应该使窗子关着）；P（p/r），读作：当r时（如果是r这种情形），p是允许（成立）的。此后，赖特又先后出版或发表《道义逻辑和行动的一般理论》（An Essay in Deontic Logic and the General Theory of Action,1968）、《道义逻辑和条件理论》（Deontic Logic and the Theory of Conditions,1968）、《论规范和行动的逻辑》（On the Logic of Norms and Actions，1981）等著作及文章，建立了二元道义逻辑，并将行动逻辑作为道义逻辑的基础，尝试用“充分条件”、“必要条件”和“充分必要条件”关系的理论将道义逻辑化归为真势模态逻辑，从而进一步修正和完善其道义逻辑系统及其理论预设。

正因为赖特在道义逻辑上做出了开创性的贡献，他被奉为名副其实的“道义逻辑之父”。除冯·赖特之外，北欧地区另一些学者（比如，希尔皮伦[Ilkka Risto Juhani Hilpinen,1943—]、费勒斯戴尔[Dagfinn Kåre Føllesdal,1932—]、康格尔[Stig Kanger,1924—1988]、辛提卡[JaakkoKaarlo Juhani Hintikka,1929—2015]、汉森[Bengt Hansson,1925—2000]、塞格尔贝格[Krister Segerberg,1936—]等）以及其他地区学者（比如，法国国立法科学研究中心主任乔治·卡里诺夫斯基[Georges Kalinowski]）对于道义逻辑的完善和发展也做出了各自的理论努力，最终使道义逻辑在现代逻辑理论中占有相当重要的地位。

道义逻辑拓展了现代逻辑的应用范围，为交叉学科以及道德哲学研究提供了一个重要的逻辑增长点，而且，它在很大程度上也为法学概念、法律规范（体系性）结构与性质以及法律关系等等问题（比如，我们能不能宣称一个规范N_1是另一个规范N_2的一个逻辑结果？一定的答案是否蕴含在法律规范明示规定的内容之中？能否用逻辑来分析法的动态性质[the dynamic nature of law]？）的“形式分析”和“元法学研究”提供了一种新的逻辑手段和研究工具，这大大强化了受到现代逻辑浸润的“法律逻辑”（Die juristische Logik）的研究，并使后者在20世纪中叶之后逐渐成为一个相对独立的逻辑领域。

不过，“法律逻辑”或“法律辩证法”并不是一个全新的名称。早在16世纪中后期，以“法律逻辑”（Logica iuris）/“法律人的逻辑”（Logica iuris/iureconsultorum）或“法律辩证法”（Dialectica iuris）为书名的著作就出现在欧洲，但那个时候的所谓“法律逻辑”大多不过是“亚里士多德逻辑学”或早期的古典逻辑在法学上的应用。然而，19世纪中后期数理逻辑的发展并没有受到法学家们的关注和跟进，实际上，现代数理逻辑（符号逻辑）很长一段时间不为法学著作者们所知，这导致法学与逻辑学之间几乎将近一个世纪完全的隔绝。尽管在此期间也不乏若干以“法律逻辑”为名的专著（比如，欧根·埃利希于1918年出版的《法律逻辑》[Die juristische Logik,1918]，奥裔美国法哲学家菲利克斯·考夫曼[Felix Kaufmann,1895—1949]于1922年出版的《逻辑与法学》[Logik und Rechtswissenschaft,1922]等），但这些著作几乎没有触及19世纪中叶之后西方的现代逻辑（数理逻辑或符号逻辑）理论和逻辑方法。应当指出，法律逻辑并非一开始就借助冯·赖特一脉的“道义逻辑”才转向现代数理逻辑的，它的形成其实另有渊源。据认为，德国刑法学家与逻辑学家乌尔里希·克卢格教授于1951年出版的《法律逻辑》（Juristische Logik,1951）是第一本将现代符号逻辑应用于法庭适用的推理模式的专著，标志着法律逻辑作为一门应用逻辑分支的正式形成。

乌尔里希·克卢格：法律逻辑，雷磊译，法律出版社

如克卢格自己所言，他的这本书把法律逻辑理解为“在法的发现框架下旨在应用形式逻辑之既成规则的理论”，理解为（与“一般逻辑理论”/“纯粹逻辑”或“理论逻辑”相对比的）“应用逻辑”（一般逻辑的特殊部分）和“实践逻辑”（Die praktische Logik）。他在现代逻辑上以大卫·希尔伯特和威廉·阿克曼（Wilhelm Ackermann,1896—1962）于1928年出版的《理论逻辑原理》（Grundzuge der Theoretischen Logik,1928）关于“命题演算”（Aussagenkalkül）和“一阶谓词演算”（Pr?dikatenkalkül der ersten Stufe）的公理和运算规则的阐释为基础，把（中世纪经院哲学运用的）古典逻辑三段论第一式（Modus Barbara/AAA-1，即：MaP，SaM，SaP）改造为较为复杂的“司法三段论”（Justizsyllogismus，并用来分析德国刑法、商法上的相关概念[“职业窝藏者”、“完全商人”等]，得出法律推理的5个基本形式（公式[A]、[B]、[C]、[D]、[E]），从而证明“根据基本的一阶谓词演算之手段摹写出从规范性前提推导规范性后果之逻辑结构是可能的”，并认为这种逻辑结构受真值约束，或者，将规范翻译为命题演算和谓词演算的表述原则上不存在任何障碍或困难，也就是说，借助于命题演算和谓词演算的表述，在一个发展得非常成熟的法律系统中可以完全推导出一个恰当的语句。

此外，克卢格还论述了“类演算”（Klassenkalkül）、“关系演算”（Relationenkalkül）、“定义理论”（Definitionstheorie）及其在法律推理中的应用。尤其是，在这本著作的第3章，克卢格根据基本的一阶谓词演算摹写出的司法三段论之逻辑结论，专门研究了传统法学上的一些“法律逻辑的特殊论证”（spezielle Arhumente der juristischen Logik），这就是法学上的“类比推理”（“法律的类比”与“法的类比”，“精确类比”与“非精确类比”，“似真类比”，“严格类比”，“部分类比”，“完全类比”与“不完全类比”，“广义的类比”与“狭义的类比”，等等）及其逻辑图式、“反向推理”的图式、“类比推理”与“反向推理”的相互关系、“当然论证”（举轻以明重，举重以明轻）、“归谬论证”、“解释论证”（Interpretationsargumente，比如：主观解释与客观解释，语法解释/语义学解释，体系解释，逻辑解释）等等，他对于法律适用做出了前所未有的形式化努力，并且试图从逻辑角度对于法学的“科学性”进行理论说明和论证（其核心观点是：服从逻辑规则是使法律领域科学化的一个必要、但不充分的条件）。

然而，也应当看到，乌尔里希·克卢格根据命题演算和一阶谓词演算方法摹写出的法律逻辑其实并不像他本人乐观的估计那样一路顺畅，它同样面临真值论难题和规范逻辑的一系列悖论（比如“，罗斯悖论”）的困扰。以色列逻辑学者约瑟夫·霍洛维茨在1972年出版的《法律与逻辑：法律论证的批判性说明》中把克卢格的法律逻辑斥之为“一种伪形式主义立场”，认为他混淆了“命题的真值性”与证实这一命题的“伦理正确性”问题，因而在法律逻辑的理论上（“纯粹[一般/普通]逻辑+法律例子”的模式）并未获得完全的成功。

约瑟夫·霍洛维茨：《法律与逻辑》，陈锐译，中国政法大学出版社

与乌尔里希·克卢格不同，德国法学家卡尔·恩吉施（Karl Engisch,1899-1990，其乃克卢格1950年在海德堡大学的教授资格论文指导教师）对在法律领域应用“命题演算”和“谓词演算”等公理方法持怀疑态度。后者在1957年和1959年连续在《大学》（Studium Generale）杂志发表的两篇文章“法律系统论的意义与范围”（Sinn und Tragweite juristische Systematik, 1957）和“逻辑的任务与法学思维的方法论”（Aufgabe einer Logik und Methodik des juristischen Denkens,1959）中指出：借助于“命题演算”和“谓词演算”等公理方法发展出一个法律系统是非常困难的。在法律之中，逻辑演绎只起着“概念脚手架”的作用，其每一演绎步骤都包含许多的实质内容的运用，纯粹的演绎要素似乎无足轻重。在解释和实施法律时，法官的“主观性”操作起到决定性的作用（法官的判决有时甚至带有“任意性”特征），但也必须承认，法律之中也包含有客观性要素，法律知识本质上是规范性的，法律论证具有“客观有效性”特点。

由于法律知识是主观因素和客观因素的结合，这就需要一种独特的“法律逻辑”，即，一种需要实质认识支持的“实质法律逻辑”（或者：作为实质逻辑的法律逻辑），这种逻辑的任务在于分析法律思维的结构，考察司法三段论之前提的来源与证据。希腊裔德国法学家、法兰克福大学法学教授司皮洛斯·西米提斯（Spiros Simitis,希腊文：Σπύρος Σημίτης,1934—）也不同意克卢格的法律逻辑概念，他在1960年《理由》（Ratio）杂志发表的文章“论法律逻辑的难题”（Zum Problem einer juristischen Logik,1960）中，反对那种要求法律从属于形式逻辑的“逻辑主义”倾向，而仅仅承认逻辑是实现法律任务的几种“工具性”手段之一。

在他看来，法律不是一个纯理论领域，而是一个与“具体目的”、“社会基础”、“生活”、“现实”联系在一起的“应用领域”，因此，法律逻辑应当是考察诸如“评价”、“实质性决定”、“内容分析”、“为规范赋予意义”之类的“非形式的”、“探索性的”推理模式，具有非形式逻辑的特点，法庭上使用的“类比论证”、“反对论证”、“举重明轻式论证”等等并不是真正逻辑意义上的论证，它们其实是“伪逻辑论证”（pseudological argumentation）。总之，他的结论是：一种纯演绎的法律系统不可能存在，法律的任务不是为了产生逻辑上精确的判断，而是为了得出合理的判断；法律适用中论证的决定性步骤“不能采用形式逻辑的方式，而只能借助价值论手段”。

说到底，法律逻辑作为实践推理而具有独特性，在“规则→实践”关系层面，其主要涉及如何寻找大前提和确定小前提的问题，本质上是道义性的（如卡里诺夫斯基所言：“法律需要道义逻辑”）或规定性的，也与“一个法律上的可能世界”（a legal possible world）或可能世界的“法律的约束条件”（legal constraints）有关，乃“法律领域运用的形式推理”（或“形式推理在法律领域中的应用”），一定程度上也是“应当”或“当为”理由（其中，规则作为“权威性理由”或“排他性理由”）的证成逻辑，而不是有关事实命题的真伪证明逻辑。如前所言，事实上，纯粹的真伪证明逻辑（真值逻辑）在形式上也不适于支持证成逻辑（命令或规范逻辑，价值逻辑，等等），不能完全解决“事实与法律之间的逻辑漏洞”（特别是实践理由之逻辑）之难题，故此，将一般的命题演算和谓词演算的逻辑直接应用于法律领域可能还是远远不够的。尽管道义逻辑仍然被普遍认为是不成熟、不完善的一个学科分支，目前这一领域开放性的问题依然很多，关于一些基本概念和原则仍存在广泛的争议，但基于道义逻辑这一特殊的规范逻辑来重新描述和说明规范性行动的特性、规范集的体系（系统）结构以及规范体系的形式性质等等，仍不失为是一种值得尝试的探索路径。

在这个过程中，冯·赖特自20世纪60年代以来出版或发表一系列有关“规范与行动”的论著（参见上文），为道义逻辑进路的法律逻辑的发展提供了前期探索的基础。1971年，阿根廷逻辑学家、法哲学家卡洛斯·E·阿尔科隆（Carlos E. Alchourrón,1931—1996）和欧根尼奥·布柳金（Eugenio Bulygin,1931—）合作出版《规范系统》（Normative System,1971），从理论上讨论了道义逻辑在分析“规范性话语”（normative discourse）中的价值，但也指出了其在逻辑建构规范体系上的难题（比如，道义逻辑不能为规范系统的形式研究提供确定的事先分析基础）。荷兰马斯特里赫特大学法学院法理学教授雅普·哈赫（Jaap Hage，也可为“雅普·哈格”，或“亚普·哈格”）在2005年出版的《法律逻辑研究》中基于约翰·朗肖·奥斯汀（John Langshaw Austin,1911-1960）、约翰·罗杰斯·塞尔（John Rogers Searle,1932—）等人的“言语行为”（speech acts）理论，提出所谓的“道义事实”（deontic facts）概念，试图跨越（休谟式的）“是”与“应当”之间的理论鸿沟，以此说明法律（规范）逻辑的性质。

在他看来，“进入本楼宇是被禁止的”或者“约翰应当去看医生”等等本身是在世界当中存在、但同时又依赖于心灵（心智）的（社会约定）事实，属于内在地具有“行为指导”（behavior guiding）意义的事实（即，具有“规定性或禁止性意义”[prescriptive or prohibitive meaning]的事态）或者具有一种能够激发行为的内在倾向（a built- in disposition to motivate behavior）的事实——“道义事实”或“应当型事实”（facts of ought-type），它们通常分为三类：“义务”（应当）、“禁止”（不应当）和“允许”，可以通过“道义的描述性语句”表达，因而语句本身具有真值性。这些事实是人类通过设定的意义“添加进”世界之中的，关联于人的“将来的行为”（future acts），是为我们人类的行为提供理由的事实（或基于理由的事实）的一种特定类型，它们的存在是基于其他事实的，其他事实是其存在的理由，理由之间的关系是特定的规则设定的，正是规则为那些理由的出现附加了道义事实作为后果。对于任何一个“应当”而言，我们基本上都可以指明它所随附的那些原始事实，并且给出一条规则来将该“应当”与它所随附的事实关联起来。对一个既定的世界而言，每一个“应当”都关联一组规则，这些规则将该“应当”与既定世界的某些内容联系在一起，成为针对世界的可能内容的约束条件。从逻辑上看，法律规则的独特性在于：它因为“法律上的意义约定”（legal meaning conventions）而具有直接的“世界适应语词的方向”（在此意义上，它是针对可能世界的约束条件），并且作为具有“道义后果”（deontic consequences）的道义规则（“立法行为”→“确权规则”/“承认规则”→“道义规则”），能够将道义事实附加于那些能够满足其规则条件的事实之上，从而产生某种（影响、但并非改变现实世界的）“本体论效果”，即：如果一条（道义）规则得以形成，那么，该规则通过“在不同的事实类型之间建立起某种关联”而为世界所增加的那个结构（比如，“盗贼是应当受惩罚的”这一道义事态/道义事实）也随之得以构成。由此，雅普·哈赫打算在逻辑上提出一个关于“法的抽象模型”（an abstract model oft he law），来说明法的动态性和内在相互关联性。

[荷兰]雅普·哈赫：法律逻辑研究，谢耘译，中国政法大学出版社

当然，在此期间，还有其他相当数量的法学著作和论文也开始运用由其他（并非完全属于道义逻辑的）逻辑学家们发展的新技术分析规范系统问题。法律体系观念成为许多法学家（特别是法哲学家）关心的中心主题，大量的出版物研究法的逻辑方面（logical aspects of the law）。1958年，法哲学家、逻辑学家、制度法学的代表人物奥塔·魏因伯格（Ota Weinberger, 1919—2009）出版博士论文《现代逻辑上的应然命题难题》（Die Sollsatzproblematik in der modernen Logik,1958），较早以现代逻辑学加入法律逻辑性质讨论的行列；后来，他先后出版《法的逻辑》（Rechtslogik,1970）、《规范逻辑与法信息学研究》（Studien zur Normenlogik und Rechtsinformatik,1974）、《法学上的逻辑分析》（Logische Analyse in der Jurisprudenz,1979）、《逻辑、语义学与诠释学》（Logik, Semantik, Hermeneutik,1987）等逻辑学著作，在“规范逻辑”、“法律逻辑”、“偏好逻辑”（Logic of Preference）、“效用逻辑”（Logic of Utility）以及“法律论证理论”和“制度法论”等方面所做出的理论贡献受到广泛关注。当代著名法理学家约瑟夫·拉兹自1970年后陆续出版《法律体系的概念》（The Concept of a Legal System,1970）、《实践理性与规范》（Practical Reason and Norms,1975），主编《实践推理》（Practical Reasoning,1978），从逻辑学和法哲学角度对于规范体系与行动理由的逻辑特征、规范的实践理论以及实践推理等问题进行了深度的研究。1974年和1977年，奥地利萨尔茨堡大学法哲学与逻辑学教授伊尔马·塔麦洛（Ilmar Tammelo,1917—1982）和时任萨尔茨堡大学教授助手的赫尔穆特·施莱纳（Helmut Schreiner,1942—2001）出版2卷本的《法律逻辑的基本特征与基本程序》（Grundzüge und Grundverfahren der Rechtslogik,I 1974,II 1977），认为在法学理论领域，法律逻辑起着主要的作用，其任务是规定正确思维的必要条件和程序，从而在德语世界建立起独特的法律逻辑和法信息学（Rechtsinformtik）。1978年，英国爱丁堡大学公法与自然法教授尼尔·麦考密克在《法律推理与法律理论》中提出法律裁决之“一阶证成”和“二阶证成”的法律（实践）逻辑方法。

尽管有这么多的法逻辑学家、法学理论家研究法律逻辑，但问题并未就此终了，或许由法律逻辑所开放出的真正的法学理论问题、尤其是法律实践（法律规范适用）的难题才刚刚开始显出端倪。实际上，法律实践（法律规范适用）的问题是一个远远比纯粹地在理论上“独白式地”建构法律系统的逻辑问题更加复杂的论证领域。该领域涉及“认识→理论→规则→实践”循环中的一系列复杂难题，比如，认识兴趣（旨趣）的选择，理论路径的确定，行为决定的理由及其权衡，规则确立的基础，规则的运用及其推理，法律概念与案件事实（案型）的规范描述与涵摄，等等，这些问题的每一步解答都离不开逻辑论证。

说到底，法律实践论证的难题主要在于这种法律论证的对象发生了改变，从知识论上讲，这个时候的法律逻辑的知识兴趣在于寻求法律（行动）实践领域——法律裁决中的“法理”，此种“法理”是一种有“案件关联性”（Fallbezogenheit）的“法理”，有语境限定的“法理”，而不是（像逻辑或哲学那样）在一般意义或者在非语境意义上探讨终极意义上的“法理”或“法理”的（理论）逻辑。

这就需要法学者凭借“概念之观察镜子”透视形形色色的晦暗不明的“事实/语境的帷幔”，寻求符合（案件）事实性质的认知、分析评价标准、尤其是进行逻辑推论的“可接受前提”（Acceptable Premises,可接受前提的论证属于“外部证成”），在规范与（案件）事实之间进行双向对流的解释（“目光的往返流转”[Hin-und Herwandern des Blickes]），即，从（案件）事实解释法律规范，也从法律规范角度来解释（案件）事实，确定“法律-事实”这一关系维度的“法理”之统一、稳定的科学知识，以弥补因事实与法律之间的不调和而产生的实践上的“逻辑漏洞”。

总之，不能因为无法找到百分之百的司法裁决之知识确实性而让法官的裁判完全交给法官（纯粹出于个人乖张意志的）无根据的决断或无理由的任性。未来的逻辑学必须在此领域建构出更为精致、实用的逻辑操作技术，使司法裁决真正受到法教义学和逻辑的双重检验。到了这一步，作为实践学问的法学才可以称得上是“真正的法律科学”。