Hohfeldian Relation Matrix¶
Relational analysis — instantiates Rights–Freedoms Obligation Mapping
Lays every asserted position into a grid of its jural correlative and opposite, so a claim with no matching duty cell — or a liberty mistaken for a claim — becomes visible at a glance.
The Hohfeldian Relation Matrix takes positions that have already been typed and forces each one into a grid whose rows are bearers, whose columns are counterparty actors, and whose cells are the correlatives and opposites those positions logically require. Its single defining move is correlative completeness: a claim held by A logically entails a duty borne by a named B; a liberty entails another party's no-claim; a power entails a liability; an immunity entails a disability. The matrix does not decide what type a position is, and it does not resource, price, or enforce anything. It only exposes which cells a coherent set of positions must fill — and, far more usefully, which are empty. An empty duty cell sitting under a loudly asserted claim is its most valuable output: it means the "right" names no one who must act.
Example¶
A city drafts a "Tenant Bill of Rights" and hands the one-pager to its legal team. The phrases read cleanly — tenants have a right to a safe home, a right to decorate, a right to stay, and landlords have a right to enter. Each has already been tagged with a type in intake; the matrix's job now is to fill in the other side of every cell. "Right to a safe home" is entered as a claim, so the grid demands a duty cell: who repairs, on what trigger? The lease is silent, and the cell stays empty — a claim with no duty-bearer. "Right to decorate" is a liberty, so the grid asks only for the landlord's no-claim cell; correctly filled, nobody owes provision, and it must not be confused with a claim on the landlord's budget. "Landlord's right to enter" was written as a liberty, but the matrix pairs it with the tenant's cell and finds a liability — the entry changes the tenant's position, so it is a power, and it needs a bound (notice) that a liberty would not. The overlay row also separates a building-wide claim held by the whole tenancy from each unit's individual claim, so a collective habitability duty is not silently read as one tenant's personal entitlement. Two edits later, the bill has a repair owner, a bounded entry power, and a genuine liberty — and one "right" is exposed as an aspiration.
How it works¶
- Enter each position pre-typed, one bearer per row. The matrix consumes classifications; it does not generate them.
- Force the correlative cell. For every claim, name the duty-holder; for every liberty, the party who has no claim to interfere; for every power, who is liable; for every immunity, whose power is disabled. A blank correlative cell is a defect, not a blank.
- Check the opposite cell on the same bearer. A claim's opposite is a no-right; a liberty's opposite is a duty. This catches a bearer credited with both a liberty and a duty over the same act.
- Split the actor axis by collective and individual. A group-held position gets its own row so it is not read as an aggregate of individual entitlements.
The output is a filled (or conspicuously unfilled) grid — a structural x-ray, not a decision.
Tuning parameters¶
- Cell granularity — one row per broad role, or one per named actor and object. Finer rows expose more empty cells but multiply maintenance.
- Axis scope — how many counterparties enter the columns. Adding indirectly affected third parties surfaces exported burdens but widens the grid fast.
- Opposite-cell strictness — whether you also require every opposite (no-right, disability) to be filled, or only correlatives. Full strictness catches contradictions; partial keeps the grid readable.
- Collective/individual split depth — whether group positions get their own rows always, or only when a collective bearer is present.
When it helps, and when it misleads¶
Its strength is that it makes omission structural: you cannot state a claim in this grid without confronting an empty duty cell, and you cannot dress a power up as a liberty without the liability cell exposing it. That is exactly Hohfeld's original insight — that every jural relation has a determinate correlative, so a "right" with no correlative is not yet a legal relation at all.[n1] The classic misuse is matrix false neutrality: a tidy, fully-filled grid can look objective while the choice of which actors got rows quietly buried a low-power party who was never entered, so the exported burden never appears. The guarding discipline is to treat an unexpectedly clean grid with suspicion and re-ask who is affected but absent from the axes — an informal completeness check on the row set itself, before trusting any cell.
How it implements the components¶
counterpart_obligation_map— every claim cell is paired with a mandatory duty cell naming the counterparty; a blank there is a claim with no bearer.liberty_and_noninterference_zone— each liberty is paired with the other party's no-claim cell, marking the zone others may not invade and keeping it distinct from a claim on resources.collective_individual_relation_overlay— the bearer axis carries group rows alongside individual rows, so a collectively held position is not flattened into an individual entitlement.
The matrix arranges positions that are already typed; it does not itself decide whether a phrase is a claim or a liberty — that is the Claim–Liberty Classification Tree's normative_relation_classifier, its nearest twin — and it attaches no service levels or capacity to the duty cells it exposes (positive_enablement_and_capacity_map, the Counterparty Obligation Register).
Related¶
- Instantiates: Rights–Freedoms Obligation Mapping — the matrix supplies the correlative-completeness backbone the rest of the mapping hangs on.
- Consumes: Claim–Liberty Classification Tree supplies the typed positions the grid arranges.
- Sibling mechanisms: Claim–Liberty Classification Tree · Counterparty Obligation Register · Rights-Conflict Scenario Table · Least-Restrictive Alternative Screen · Proportionality Balancing Record · Permission–Entitlement Crosswalk · Remedy Traceability Review
Editorial Notes¶
Form Classification¶
Form family: Analysis, Modeling & Optimization
Rationale: Hohfeldian Relation Matrix operates as a computation, comparison, model, or analytic representation used to infer, estimate, or choose because it lays every asserted position into a grid of its jural correlative and opposite, so a claim with no matching duty cell — or a liberty mistaken for a claim — becomes visible at a glance
Independent corroboration: The frozen evidence defines Hohfeldian Relation Matrix as 'Lays every asserted position into a grid of its jural correlative and opposite, so a claim with no matching duty cell — or a liberty mistaken for a claim — becomes visible at a glance', so its operative form is Analysis, Modeling & Optimization.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Law & Governance
Origin pattern: Single lineage
Present-day reach: Specialized
Rationale: The matrix directly instantiates Hohfeld's jurisprudential system of jural correlatives and opposites.
Related originating lineages:
- Philosophy — Analytic work on rights and obligations materially extends Hohfeldian relations into normative philosophy.
Review resolution: Both reviewers independently assign law_governance as the primary originating domain, so that shared primary is retained. Alternate domains are the union of reviewer-identified formative or independently originating lineages; later application settings alone are excluded. The evidence describes one principal historical lineage. Its defining controls and vocabulary remain bounded to a particular professional or technical practice. The encyclopedia entry generalizes the established mechanism without creating a new composite lineage.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] Wesley Newcomb Hohfeld's early-twentieth-century scheme of jural correlatives (claim–duty, liberty–no-claim, power–liability, immunity–disability) and jural opposites. Its enduring point is that a right is a relation between two parties over an act, so naming one side without the other leaves the relation undefined — the exact gap the matrix is built to surface. ↩