Lex Specialis Derogat Legi Generali

Lex specialis functions as a deterministic conflict resolution operator. When two valid norms, N1 (general) and N2 (specific), apply to the same factual matrix, the principle mandates that N2 takes precedence. This is not a weighing of merits but a structural override based on the logical subset relation of their applicability conditions. The specific rule's conditions are a strict subset of the general rule's conditions, creating an exception by definition.

The core mechanism is a set-theoretic check. A rule R1 is 'special' relative to R2 if the set of facts triggering R1 is a proper subset of the facts triggering R2. This creates a formal hierarchy:

• General Rule: Applies to all contracts.
• Specific Rule: Applies only to insurance contracts.
• Resolution: The insurance contract rule carves out an exception from the general rule, suspending it for that specific domain.

A critical distinction for computational modeling: lex specialis suspends the general rule's effect within the specific rule's scope; it does not abrogate (permanently delete) the general rule. The general norm remains fully valid and enforceable for all factual scenarios outside the specific rule's narrow domain. This requires a rule suspension mechanism, not a rule deletion operation, in any normative knowledge base.

Specificity is a second-order conflict resolver, subordinate to hierarchical authority. The full conflict resolution sequence is:

1. Lex Superior: The rule from the higher authority always wins, regardless of specificity.
2. Lex Specialis: Between rules of the same hierarchical rank, the more specific rule prevails.
3. Lex Posterior: Between rules of the same rank and specificity, the later-enacted rule prevails. This creates a normative hierarchy graph with layered precedence logic.

In formal deontic logic, lex specialis is implemented as a defeasible conditional. A general obligation Facts → OBLIGATORY(A) is defeated by a more specific rule (Facts ∧ Exception) → PERMITTED(¬A). This is handled by non-monotonic logic systems like Default Logic or Answer Set Programming (ASP), where the addition of the specific exception premise retracts the previously valid general conclusion without creating a logical contradiction.

Lex specialis most commonly resolves a specific type of deontic conflict: a collision between a general obligation and a specific permission (or prohibition). For example:

• General Rule: All vehicles must stop at a red light. (Obligation)
• Specific Rule: Emergency vehicles are permitted to proceed with caution. (Permission) The normative collision matrix classifies this as an Obligation-Permission conflict, with the specific permission carving out an exception to the general obligation.