Skip to content
docs
Arxo ↗

B. Rules and exceptions

For LLMs

11 pages in this book.

PageWhat it is for
General rule with an exceptionI want to lift a general rule by carrying the bound person into the exception itself.
Exception from an exceptionI want to restore the general conclusion when there is an exception from a prohibition.
An exception establishes negationI want an explicit refusal, not merely the removal of positive support.
A defeater blocks every ground of the headI want to keep an independent ground by shielding it from a general defeater.
Special rule over generalI want to pin the superiority of a special rule explicitly.
Later-enacted ruleI want to apply an explicitly chosen policy that compares dates of enactment.
Source hierarchyI want to compare source rank while keeping the rules defeasible.
Priority in a special territoryI want to turn priority on only when a territorial condition is established.
Conflict without a winnerI want to keep both opposite supports when there is no priority.
Strict consequence and a defeasible ruleI want to separate a strict definition from a rule with an exception.
Different amounts are not oppositesI want to replace a default amount by lifting its ground.

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.