Sets
Relations
Correspondences
Ordered Sets
Lattices
Graphs
Powersets
Binary Strings
Logic
AIA
Greek
Glossary
Abstracts
Argument
Inquiry Cycle
Legal Relations
Presentations
Elicitation
Glossaries
Goals
i*
SCR
Tracing
Design Patterns
Javadoc
Java Packages
Java Types
right | is the opposite of | no-right |
correlates with | correlates with | |
duty | is the opposite of | privilege |
Figure 1. Four legal relations for ordinary actions
Hohfeld [Hohfeld1913-sflc] defines two groups of four legal relations between individuals, the first group having to do with ordinary actions:
“A right is one's affirmative claim against another” [Hohfeld1913-sflc:55].
power | is the opposite of | disability |
correlates with | correlates with | |
liability | is the opposite of | immunity |
Figure 2. Four legal relations for actions that change
legal relationships
and the second group having to do with actions that change legal relations:
Each relation is paired with its opposite, the relation that is in a sense its negation, and also with its correlative, the relation that is in a sense its inverse (Figures 1 and 2).
If R and Ropp are opposites, then for P to have relation R is equivalent to P to fail to have relation Ropp.
If R and Rcorr are correlatives, then for P to have relation R is equivalent to all other persons Q to have a corresponding relation Rcorr.
Each relation is fundamentally between two people; where a relation is presented as between a person P and many or all people, the meaning is the union of all the pairwise relations between P and one of the other people.
For each relation R, its opposite Ropp, and its correlative Rcorr:
"P has the right to do A" | ⇔ | "P fails to have the no-right to do A". |
"P has the duty to do A" | ⇔ | "P fails to have the privilege to not do A". |
"P has the power to change S" | ⇔ | "P fails to have the disability to change S". |
"P has immunity from changes to S" | ⇔ | "P fails to have the liability to changes to S". |
"P has the right to do A" | ⇔ | "Every Q other than P has the duty to allow P to do A". |
"P has the duty to do A" | ⇔ | "Some Q other than P has a right that depends on P doing A". |
"P has the no-right to do A" | ⇔ | "Some Q other than P has the privilege to prevent P from doing A". |
"P has the privilege to do A" | ⇔ | "Every Q other than P has the no-right to do anything prevented by P doing A". |
"P has the power to change S" | ⇔ | "Some Q other than P has a liability to changes in S". |
"P has the liability to changes in S" | ⇔ | "Some Q other than P has a power to change S". |
"P has the disability to change S" | ⇔ | "Every Q other than P has immunity to changes in S". |
"P has immunity to changes in S" | ⇔ | "Every Q other than P has the disability to change S". |