合同签署的形式化研究

本文针对法律合同签署过程发展了一种逻辑理解，其动机源于区块链平台上智能合约法律认定的应用。我们提出若干公理与推理规则，可用于从某些内容已被签署的事实出发，证成合同成立所需的“合意”先决条件。除“要约与承诺”过程外，本文还考量“副本分别签署”，这是一种法律过程，允许两方或多方通过独立（可能远程）签署合同的不同副本、而非在实体会议中将签名置于同一副本上，使合同生效。本文主张，对副本分别签署给出令人满意的说明，得益于一种具有语法自指的逻辑。所用公理由形式语义支撑，并考察了该逻辑的若干进一步性质。特别地，我们证明该逻辑蕴含：当合同被签署时，各方不仅达成一致，而且就合同条款处于相互同意（一种类公共知识概念）状态。