Problem
Research questions and friction points this paper is trying to address.
Grassroots Social Contracts
Legal Text
Grassroots Platforms
Social Contract
Digital Transformation
Formalising Grassroots Social Contracts: From Legal Text to Grassroots Platforms
🤖 AI Summary
本文探讨了将基层社会契约形式化为数字平台的方法，通过从契约文本到正式行为模式的抽象级联，确保满足八个特定条件。
📝 Abstract
Two centuries ago Pierre-Joseph Proudhon envisioned a social contract that is (1) an agreement of man with man; (2) reciprocal; (3) imposing no obligation upon the parties except that which results from their personal promise; (4) subject to no external authority; (5) freely accepted and signed by all the participants; (6) of the nature of a contract of exchange. He also envisioned a property of social contracts, analogous to a property of digital platforms we term grassroots: that one could"make a contract with all, as ... with some"; digitally, that a grassroots platform can have multiple instances, which may coalesce by mutual consent. We define grassroots social contracts as social contracts meeting these conditions and that (7) people are free to deal with each other; and (8) there is no external register of people. We show that a grassroots social contract can be transformed into a working grassroots platform through an abstraction cascade, from the contract text to formal act schemas, verified syntactically to be grassroots, and then to volition-guarded multiagent atomic transactions. Act schemas are a formal language for the acts the contract describes, each naming the parties'roles, which of them must will the act, and its precondition and effect at each role. Any contract written in this language meets the eight conditions, provided it is syntactically grassroots, satisfying three decidable conditions, Introduction, Provenance and Volition. We prove that the protocol realising a syntactically grassroots contract is grassroots, and volitionally so. Clauses of a grassroots social contract are of three legal types: a breach of an enforced clause is impossible with a correct implementation; a breach of an attested or undertaken clause can be taken to court, with signed evidence for an attested clause. We illustrate them with a grassroots social graph and grassroots currencies.
Innovation
Methods, ideas, or system contributions that make the work stand out.
grassroots social contracts
abstraction cascade
formal act schemas
volition-guarded multiagent atomic transactions
legal clause types
🔎 Similar Papers
No similar papers found.
