Fairness (CI-protocol)
Fairness, in the τ-framework, is the categorical-imperative protocol over Reg_C: a τ-categorical procedure where every commitment-stance is tested for universalizability and dignity-preservation under permutation of label-coordinates. Fairness is not an additional axiom — it is a structural consequence of Commitment Register Admissibility plus dignity (label-independence) plus no-conflict.
τ-Definition
Fairness, in the τ-framework, is the categorical-imperative protocol over Reg_C: a τ-categorical procedure where every commitment-stance is tested for universalizability and dignity-preservation under permutation of label-coordinates. Fairness is not an additional axiom — it is a structural consequence of Commitment Register Admissibility plus dignity (label-independence) plus no-conflict.
Categorical invariant. Fairness = the protocol Φ : Reg_C → Reg_C that returns the universalizable, dignity-preserving sub-section of every commitment-stance; equivalently, Φ is the equalizer of the CI-action and the dignity-action on Reg_C.
Primary registry anchor:
VII.D67
τ-Derivation Chain
Phenomenological Correlate
Fairness is instantiated whenever a commitment is tested by asking: 'Could every relevantly-similar agent take this stance, and does the stance preserve dignity for all parties?' Examples: Rawlsian veil-of-ignorance reasoning; impartial juror selection; algorithmic-bias audits that test classifier outputs under label permutation.
Examples:
- Rawlsian original position — universalizability test as procedural device
- Blind grading and double-blind peer review — fairness via label-removal
- Algorithmic-bias audits — testing classifier stability under demographic relabeling
- Citizens' assemblies and lottocratic juries — universalizability via random stance-sampling
Register codomain: Stance (Reg_C — fairness is the universalizable, dignity-preserving sub-functor of commitment-stance)
Manuscript reference: manuscript-sources/book-07/part07/ch80.tex
Lean Coverage
Status: Planned
See Also
Related glossary entries
Referenced by
-
MG-C03-justiceJustice (gluing of fair stances) -
MG-C04-earned-unearnedEarned / Unearned framework -
MG-C05-characterCharacter (ethical fixed point) -
MG-C06-legitimacyLegitimacy (recognition coherence) -
MG-C07-promisePromise / Commitment (admissible Reg_C-update) -
MG-C10-dutyDuty / Obligation (typed Reg_C-edge)