论代码的可规制性:计算法律学基础与新发展

The DAO事件引发了人们对于法律与代码的关系思考,代码世界不可以脱离法律的规制,法律治理应当与技术治理有机结合,法律治理优先于技术治理,且技术治理不可突破法律治理的框架.作为域外兴起的新领域计算法律学,其发展经历了计量法学、旧计算法律学和新计算法律学三个阶段,正伴随着区块链等新技术发展而不断迭代升级.未来的计算法律学从架构上应当优先选择私有区块链,并进一步强化智能合约法律化.计算法律学核心难点在于法律本体的代码化,具体表现为法律条文的语义处理、合同文本的代码化、法律推理分析等多个内容.中国的计算法律学,需要落实到中国法律本体问题的研究上.

霍菲尔德法律概念的原点及其逻辑展开

霍菲尔德作为分析法学派的代表人物之一,将复杂的法律关系化约为八个基本法律概念,力图实现各部门法之间法律术语的统一及精确适用。这种钩玄提要而又一以贯之的有效尝试,为司法应用在基石性的原点上作逻辑展开提供了无限可能。为此,需要我们对霍菲尔德基本法律关系进行解构,厘清它们的内部关系,进而对霍菲尔德立方体进行分析和证成,并以数理逻辑的方法进行道义逻辑的推理,以符号表和维恩图探析霍菲尔德法律关系的自洽性。更进一步,在信息时代,将法律概念对应的裁判要素转化为二进制语言与Unicode编码,以实现对海量案件进行检索与大数据分析,实现人工智能的法律推理,乃至辅助个案裁判,将传统裁判中的定性分析与司法智能化的定量分析相结合,可谓前景广阔。