Formalising Grassroots Social Contracts: From Legal Text to Grassroots Platforms

• URL: http://arxiv.org/abs/2609.06231v1
• Date: Sat, 05 Sep 2026 19:09:44 GMT
• Title: Formalising Grassroots Social Contracts: From Legal Text to Grassroots Platforms
• Abstract summary: 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.<n>We show that a grassroots social contract can be transformed into a working grassroots platform.
• Score: 1.357291726431012
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• 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.

Related papers

• Generative Gap Filling [0.0]
  Most contract litigation turns on contracts that imperfectly record parties' bargains.<n>When the parties' dispute can't be solved by interpreting the text, courts fill the gap.<n>Despite generations of work, courts have no real alternative to such unruly methods.
  arXiv  Detail & Related papers  (2026-08-07T05:19:02Z)
• Contract Usage and Evolution in Android Mobile Applications [45.44831696628473]
  We present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We analyzed 2,390 Android applications from the F-Droid repository and processed more than 51,749 KLOC. Our findings show that it would be desirable to have libraries that standardize contract specifications in Java and Kotlin.
  arXiv  Detail & Related papers  (2024-01-25T15:36:49Z)
• Language of Bargaining [60.218128617765046]
  We build a novel dataset for studying how the use of language shapes bilateral bargaining. Our work also reveals linguistic signals that are predictive of negotiation outcomes.
  arXiv  Detail & Related papers  (2023-06-12T13:52:01Z)
• ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction [84.0634340572349]
  We study automatic Contract Clause Extraction (CCE) by modeling implicit relations in legal contracts. In this work, we first comprehensively analyze the complexity issues of contracts and distill out three implicit relations commonly found in contracts. We propose a novel framework ConReader to exploit the above three relations for better contract understanding and improving CCE.
  arXiv  Detail & Related papers  (2022-10-17T02:15:18Z)
• Computable Contracts in the Financial Services Industry [1.713291434132985]
  A computable contract is a contract that a computer can read, understand and execute. We argue that the use of computable contracts in the financial services industry will lead to substantial improvements in customer experience.
  arXiv  Detail & Related papers  (2022-07-03T00:06:39Z)
• Detecting Logical Relation In Contract Clauses [94.85352502638081]
  We develop an approach to automate the extraction of logical relations between clauses in a contract. The resulting approach should help contract authors detecting potential logical conflicts between clauses.
  arXiv  Detail & Related papers  (2021-11-02T19:26:32Z)
• ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts [39.75232199445175]
  We propose "document-level natural language inference (NLI) for contracts" A system is given a set of hypotheses and a contract, and it is asked to classify whether each hypothesis is "entailed by", "contradicting to" or "not mentioned by" (neutral to) the contract. We release the largest corpus to date consisting of 607 annotated contracts.
  arXiv  Detail & Related papers  (2021-10-05T03:22:31Z)
• Towards Socially Intelligent Agents with Mental State Transition and Human Utility [97.01430011496576]
  We propose to incorporate a mental state and utility model into dialogue agents. The hybrid mental state extracts information from both the dialogue and event observations. The utility model is a ranking model that learns human preferences from a crowd-sourced social commonsense dataset.
  arXiv  Detail & Related papers  (2021-03-12T00:06:51Z)
• Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society [21.09021899088913]
  A digital social contract is a voluntary agreement between people that is specified, undertaken, and fulfilled in the digital realm. It embodies the notion of "code-is-law" in its purest form. We present a formal definition of a digital social contract as agents that communicate asynchronously via crypto-speech acts.
  arXiv  Detail & Related papers  (2020-05-13T11:45:49Z)
• A Formal Treatment of Contract Signature [0.0]
  The paper develops a logical understanding of processes for signature of legal contracts. It is motivated by applications to legal recognition of smart contracts on blockchain platforms.
  arXiv  Detail & Related papers  (2020-02-23T04:39:56Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.